
KB_FILES=prelude.zo terms.zo equation.zo order.zo kb.zo go.zo
ZC=camlc

kb: $(KB_FILES)
	$(ZC) -o kb $(KB_FILES) 

clean scratch:
	rm -f kb *.zo *.zi

.SUFFIXES :
.SUFFIXES : .ml .mli .zi .zo

.ml.zo:
	$(ZC) -c $<
.ml.zi:
	$(ZC) -c $<

equation.zi equation.zo: prelude.zi terms.zi
go.zi go.zo: prelude.zi terms.zi equation.zi order.zi kb.zi
kb.zi kb.zo: prelude.zi terms.zi equation.zi
order.zi order.zo: prelude.zi terms.zi
terms.zi terms.zo: prelude.zi
