include ../CMD.mk    # YACASL2DIR, CASL2, COMET2
ASDIR = $(YACASL2DIR)/as/FUNC
ASFILE = $(ASDIR)/hanoi.casl
CMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)
include ../TEST.mk