CAMLCOMP=..\camlrun.exe ..\camlcomp -stdlib ..\lib
CAMLLINK=..\camlrun.exe ..\camllink -stdlib ..\lib

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

kb: $(KB_FILES)
	$(CAMLLINK) -o kb stdlib.zo $(KB_FILES)

clean scratch:
	rm kb *.zo *.zi

.ml.zo:
	$(CAMLCOMP) $<

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