YACASL2DIR=../../../..
CASL2 = $(YACASL2DIR)/casl2
OBJFILE = a.o
COMET2 = $(YACASL2DIR)/comet2
CMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)