##  Kima version 2.13 Makefile
##  Copyright (C) 2001  Yasuhiro Ajiro

SRCS	= kima-mainB.kl1 read_program4.kl1 normalize5.kl1 unify.kl1 \
		builtin_DB_st6.kl1 numberbuiltin3.kl1 findpath4.kl1 \
		constraints_stC.kl1 type_st2.kl1 stdinout2.kl1 \
		minsub.kl1 type_minsub.kl1 copygraph3.kl1 tcopygraph.kl1 \
		group_doubt3.kl1 generate_test8.kl1 gen_alt2.kl1 \
		test_alt8.kl1 heuristics9.kl1 common2.kl1 probability2.kl1\
		command_line4.kl1 \
		graphH.kl1 decode2.kl1 reduce6.kl1 sort.kl1 \
		outmessage5.kl1 tdecode.kl1 tgraph_st5.kl1

all:	kima213

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