#			by Eiji Sugino (sugino@jaist.ac.jp) at Jul.17.1997
SRC  = main.kl1 dealer.kl1 eval.kl1

all: 
	klic -v -o pk $(SRC)

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