# klint Makefile
# Copyright (C) 1998  Kazunori Ueda

SRCS1	= klint1-main3.kl1 read_program3.kl1 normalize5.kl1 unify.kl1 \
		builtin_DB5.kl1 numberbuiltin3.kl1 findpath4.kl1 \
		constraints9.kl1 type.kl1 stdinout.kl1

SRCS2  = klint2-mainA.kl1 graphB.kl1 tgraph2.kl1 \
		decode2.kl1 tdecode.kl1 reduce5.kl1 sort.kl1 \
		outmessage4.kl1 type.kl1 stdinout.kl1

SRCS	= klint-main.kl1 read_program3.kl1 normalize5.kl1 unify.kl1 \
		builtin_DB5.kl1 numberbuiltin3.kl1 findpath4.kl1 \
		constraints9.kl1 type.kl1 stdinout.kl1 \
		klint2.kl1 graphB.kl1 tgraph2.kl1 \
		decode2.kl1 tdecode.kl1 reduce5.kl1 sort.kl1 \
		outmessage4.kl1

all:    klint1 klint klint2

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

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

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