CASLファイルとテストの整理
[YACASL2.git] / test / integration / casl2 / hanoi / Makefile
index ccce287..b34f79d 100644 (file)
@@ -1,6 +1,6 @@
 include ../CMD.mk    # YACASL2DIR, CASL2
 CASL2FLAG = -sla
-ASDIR = $(YACASL2DIR)/as/FUNC
+ASDIR = $(YACASL2DIR)/as/misc
 ASFILE = $(ASDIR)/hanoi.casl
-CMD = $(CASL2) $(CASL2FLAG) $(ASFILE) $(IN)
+CMD = $(CASL2) $(CASL2FLAG) $(ASFILE)
 include ../TEST.mk