# Kima ver.2 Makefile
# Copyright (C) 1999  Yasuhiro Ajiro

SRCS	= kima-main5.kl1 read_program4.kl1 normalize5.kl1 unify.kl1 \
		builtin_DB_st6.kl1 numberbuiltin3.kl1 findpath4.kl1 \
		constraints_stB.kl1 type_st2.kl1 stdinout2.kl1 \
		minsub.kl1 type_minsub.kl1 copygraph3.kl1 tcopygraph.kl1 \
		group_doubt2.kl1 generate_test5.kl1 gen_alt.kl1 \
		test_alt4.kl1 heuristics4.kl1 common2.kl1 probability.kl1\
		command_line2.kl1 \
		graphD.kl1 decode2.kl1 reduce6.kl1 sort.kl1 \
		outmessage4.kl1 tdecode.kl1 tgraph_st3.kl1

all:	kima

kima: $(SRCS)
	klic -o kima $(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 \
        kima *~
