# klint Makefile
# Copyright (C) 1996  Kazunori Ueda

SRCS1	= klint1-main.kl1 read_program.kl1 normalize.kl1 unify.kl1 \
		numberbuiltin.kl1 findpath.kl1 constraints.kl1 stdinout.kl1

SRCS2   = klint2-main.kl1 graph.kl1 decode.kl1 reduce.kl1 \
		outmessage.kl1 stdinout.kl1

all:    klint1 klint2

klint1: $(SRCS1)
	klic -o klint1 $(SRCS1)

klint2: $(SRCS2)
	klic -o klint2 $(SRCS2)

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 \
        klint1 klint2 *~
