Makefile

   1 YACASL2DIR= ../../../..
   2 CASL2 = $(YACASL2DIR)/casl2
   3 MISCDIR = $(YACASL2DIR)/as/misc
   4 ASFILE = $(MISCDIR)/hanoi.casl
   5 CMD = $(CASL2) $(ASFILE)
   6 include $(YACASL2DIR)/test/TEST.mk