include ../CMD.mk # YACASL2DIR, CASL2 CASL2FLAG = -slatd ASDIR = $(YACASL2DIR)/as/MISC/out ASFILE = $(ASDIR)/hello1.casl CMD = $(CASL2) $(CASL2FLAG) $(ASFILE) include ../TEST.mk