test/integration/CASL2/hanoi/Makefile

   1 include ../CMD.mk    # YACASL2DIR, CASL2
   2 CASL2FLAG = -sla
   3 ASDIR = $(YACASL2DIR)/as/FUNC
   4 ASFILE = $(ASDIR)/hanoi.casl
   5 CMD = $(CASL2) $(CASL2FLAG) $(ASFILE) $(IN)
   6 include ../TEST.mk