CALL命令で、ローカルレベルも読み込めるように仕様変更
[YACASL2.git] / test / integration / comet2 / hanoi / Makefile
index ab136a1..a5ef0eb 100644 (file)
@@ -1,4 +1,5 @@
-include ../CMD.mk    # YACASL2DIR, CASL2
+include ../CMD.mk    # YACASL2DIR, CASL2, COMET2
 ASDIR = $(YACASL2DIR)/as/FUNC
 ASFILE = $(ASDIR)/hanoi.casl
+CMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)
 include ../TEST.mk