YACASL2DIR=../../../..
CASL2 = $(YACASL2DIR)/casl2
OBJFILE = a.o
ASCMD = $(CASL2) $(CASL2FLAG) -O $(ASFILE) 2>$(ERRFILE)
COMET2 = $(YACASL2DIR)/comet2
EXECCMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)