# klint Makefile
# Copyright (C) 1999  Kazunori Ueda

SRCS	= klint-main4.kl1 read_program4.kl1 normalize5.kl1 unify.kl1 \
		builtin_DB6.kl1 numberbuiltin3.kl1 findpath4.kl1 \
		constraintsB.kl1 type.kl1 iostream.kl1 commandline.kl1 \
		klint25.kl1 graphF.kl1 tgraph3.kl1 \
		decode2.kl1 tdecode.kl1 reduce6.kl1 sort.kl1 \
		outgraph.kl1 outdecl.kl1 tc.kl1 outconstraints.kl1

klint: $(SRCS)
	klic -o klint $(SRCS)

clean:
	/bin/rm -f *.o *.h *.c *.ext atom.* funct.* predicates.* klic.db

realclean:
	/bin/rm -f *.o *.h *.c *.ext atom.* funct.* predicates.* klic.db \
        klint *~
