ALL=common/term.cmo common/namedTerm.cmo cbv_construction/machine.cmo

default: all

all: ${ALL}

common/term.cmo: common/term.ml
	ocamlc -c $^

common/namedTerm.cmo: common/namedTerm.ml
	ocamlc -c -I common $^

common/trampoline.cmo: common/trampoline.ml
	ocamlc -c $^

cbv_construction/machine.cmo: common/term.cmo common/trampoline.cmo cbv_construction/08_machine.ml
	ocamlc -c -I common -I cbv_construction $^ -o $@

clean:
	rm */*.cmi */*.cmo

