# kima Makefile
# Copyright (C) 1997  Kazunori Ueda and Kenta Cho

SRCS1	= klint101-main.kl1 read_program.kl1 normalize.kl1 unify.kl1 \
		numbergoal.kl1 findpath.kl1 constraints.kl1 stdinout.kl1 \
		getpgraph.kl1 pnode.kl1 stack.kl1

SRCS2	= kima2-main.kl1 checkprocess.kl1 fixvariable.kl1\
		copygraph.kl1 renamegraph.kl1 getminimal200.kl1 \
		graph.kl1 decode.kl1 reduce.kl1 stdinout.kl1 outmessage.kl1

all:    klint101 kima2

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

kima2: $(SRCS2)
	klic -o kima2 $(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 \
        klint101 kima2 *~

