CASLファイルの整理

[YACASL2.git] / as / misc / hanoi / Makefile

diff --git a/as/misc/hanoi/Makefile b/as/misc/hanoi/Makefile
new file mode 100644 (file)
index 0000000..b34f79d
--- /dev/null
+++ b/as/misc/hanoi/Makefile
@@ -0,0 +1,6 @@
+include ../CMD.mk    # YACASL2DIR, CASL2
+CASL2FLAG = -sla
+ASDIR = $(YACASL2DIR)/as/misc
+ASFILE = $(ASDIR)/hanoi.casl
+CMD = $(CASL2) $(CASL2FLAG) $(ASFILE)
+include ../TEST.mk