YACASL2DIR=../../../.. CASL2 = $(YACASL2DIR)/casl2