# on execute KB

include ../../configuration

ZFLAGS= -f -O fast
# ZFLAGS= -g -C -K

Z2K2= $(BINDIR)/camlot
PROJET=../..

OBJS= prelude.o terms.o equations.o orderings.o kb.o go.o

PROG= ./go

test: $(PROG)

$(PROG): $(OBJS)
	$(Z2K2) $(ZFLAGS) $(OBJS) -o $(PROG)
	time $(PROG)

$(OBJS): %.o : %.ml
	$(Z2K2) $(ZFLAGS) -c $(@:.o=.ml) 

clean:
	$(RM) $(OBJS) $(OBJS:.o=.k2) $(OBJS:.o=.ki) $(OBJS:.o=.c) 

scratch: clean
	$(RM) $(PROG) 

# dependances

equations.o: prelude.ki terms.ki
kb.o: prelude.ki terms.ki equations.ki
orderings.o: prelude.ki terms.ki
terms.o: prelude.ki
go.o: prelude.ki terms.ki equations.ki orderings.o kb.ki

$(OBJS): $(PROJET)/Include/z2k2.h $(PROJET)/Include/main.h \
	 $(Z2K2) $(PROJET)/Runtime/runtime.a \
         $(PROJET)/Lib/cautious.a $(PROJET)/Lib/lib.a $(PROJET)/GC/gc.a
