##
## Copyright (C) 1997 Takayasu Ito
##

## conceptlr
## Makefile
## 1997 4 7


KLIC = klic

OBJS =  domain.o pred.o theory.o example.o data_structure.o \
	eqv.o environment.o base_op.o \
	interpreter.o userinterface.o iostream.o myfile.o \
        rec_generalization.o generalization.o \
	constraint.o specialization.o analogy.o handle.o

## main program

shm : main.o pjustification.o ${OBJS}
	$(KLIC) -o conceptlrpar main.o pjustification.o ${OBJS}

seq : main.o justification.o ${OBJS}
	$(KLIC) -o conceptlr main.o justification.o ${OBJS}

##  main module 

main.o : main.kl1
	$(KLIC) -c main.kl1

constraint.o : constraint.kl1
	$(KLIC) -c constraint.kl1

handle.o : handle.kl1
	$(KLIC) -c handle.kl1 

## inferrence module
# induction

justification.o : justification.kl1
	$(KLIC) -c justification.kl1

pjustification.o : pjustification.kl1
	$(KLIC) -c -shm pjustification.kl1

rec_generalization.o : rec_generalization.kl1
	$(KLIC) -c rec_generalization.kl1

generalization.o : generalization.kl1
	$(KLIC) -c generalization.kl1

specialization.o : specialization.kl1
	$(KLIC) -c specialization.kl1

# analogy 

analogy.o : analogy.kl1
	$(KLIC) -c analogy.kl1

## base module

interpreter.o : interpreter.kl1 
	$(KLIC) -c interpreter.kl1

environment.o : environment.kl1
	$(KLIC) -c environment.kl1

## knowledge database operating module

theory.o : theory.kl1
	$(KLIC) -c theory.kl1

example.o : example.kl1
	$(KLIC) -c example.kl1

domain.o : domain.kl1
	$(KLIC) -c domain.kl1

pred.o : pred.kl1
	$(KLIC) -c pred.kl1

data_structure.o : data_structure.kl1
	$(KLIC) -c data_structure.kl1

eqv.o : eqv.kl1
	$(KLIC) -c eqv.kl1

base_op.o : base_op.kl1
	$(KLIC) -c base_op.kl1

## user interface module

userinterface.o : userinterface.kl1
	$(KLIC) -c userinterface.kl1

iostream.o : iostream.kl1
	$(KLIC) -c iostream.kl1

myfile.o : myfile.kl1
	$(KLIC) -c myfile.kl1

## file clean

clean :
	rm *.c *.ext *.db *.h *.o 
