REQUIRES = helm-xml helm-cic_proof_checking PREDICATES = miniReduction OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o OCAMLDEP = ocamldep OCAMLFIND = ocamlfind OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS) LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES)) LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES)) all: mk_forward opt: mk_forward.opt DEPOBJS = mk_forward.ml MKFORWARDOBJS = mk_forward.cmo depend: $(OCAMLDEP) $(DEPOBJS) > .depend mk_forward: $(MKFORWARDOBJS) $(LIBRARIES) $(OCAMLC) -linkpkg -o mk_forward $(MKFORWARDOBJS) mk_forward.opt: $(MKFORWARDOBJS:.cmo=.cmx) $(LIBRARIES_OPT) $(OCAMLOPT) -linkpkg -o mk_forward.opt $(MKFORWARDOBJS:.cmo=.cmx) .SUFFIXES: .ml .mli .cmo .cmi .cmx .ml.cmo: $(LIBRARIES) $(OCAMLC) -c $< .mli.cmi: $(LIBRARIES) $(OCAMLC) -c $< .ml.cmx: $(LIBRARIES_OPT) $(OCAMLOPT) -c $< clean: rm -f *.cm[iox] *.o mk_forward mk_forward.opt .PHONY: clean include .depend