include ../CMD.mk    # YACASL2DIR, CASL2
CASL2FLAG = -sla
ASDIR = $(YACASL2DIR)/as/misc
ASFILE = $(ASDIR)/hanoi.casl
CMD = $(CASL2) $(CASL2FLAG) $(ASFILE)
include ../TEST.mk