#			by Eiji Sugino (sugino@jaist.ac.jp) at [Sep.4.1997]

DEST= .
TEST= ../test/main.kl1 ../test/dealer.kl1 ../test/eval.kl1
SRC = *.kl1

KLIC = klic

go: $(SRC) $(TEST)
	$(KLIC) -v -o $(DEST)/go  -x $(DEST) $(TEST) $(SRC)

clean:
	/bin/rm -r -f verifydir core \
		*.h *.o *.c *.ext klic.db \
		*~ \#*\#

destclean: 
	/bin/rm -r -f verifydir core \
		*.h *.o *.c *.ext klic.db go\
		*~ \#*\#

