YACAL2: CASL2処理系
[YACASL2.git] / test / astest / hanoi / Makefile
1 UNITNAME = hanoi
2 CASL2FLAG = -s
3 include ../Test.mk