1 BIN_DIR = /usr/local/bin
2 REQUIRES = helm-xml helm-cic_proof_checking
3 PREDICATES = miniReduction
4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
7 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
8 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
13 DEPOBJS = mk_forward.ml
15 MKFORWARDOBJS = mk_forward.cmo
18 $(OCAMLDEP) $(DEPOBJS) > .depend
20 mk_forward: $(MKFORWARDOBJS)
21 $(OCAMLC) -linkpkg -o mk_forward $(MKFORWARDOBJS)
23 mk_forward.opt: $(MKFORWARDOBJS:.cmo=.cmx)
24 $(OCAMLOPT) -linkpkg -o mk_forward.opt $(MKFORWARDOBJS:.cmo=.cmx)
26 .SUFFIXES: .ml .mli .cmo .cmi .cmx
35 rm -f *.cm[iox] *.o mk_forward mk_forward.opt