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

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

clean:
	del kb.exe
	del *.zo
	del *.zi

.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
