1 BIN_DIR = /usr/local/bin
2 REQUIRES = helm-cic_proof_checking
4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
5 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
6 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
12 DEPOBJS = proofChecker.ml
14 PROOFCHECKEROBJS = proofChecker.cmo
17 $(OCAMLDEP) $(DEPOBJS) > .depend
19 proofChecker: $(PROOFCHECKEROBJS)
20 $(OCAMLC) -linkpkg -o proofChecker $(PROOFCHECKEROBJS)
22 proofChecker.opt: $(PROOFCHECKEROBJS:.cmo=.cmx)
23 $(OCAMLOPT) -linkpkg -o proofChecker.opt $(PROOFCHECKEROBJS:.cmo=.cmx)
25 .SUFFIXES: .ml .mli .cmo .cmi .cmx
34 rm -f *.cm[iox] *.o proofChecker proofChecker.opt
37 cp proofChecker proofChecker.opt $(BIN_DIR)
40 rm -f $(BIN_DIR)/proofChecker $(BIN_DIR)/proofChecker.opt
42 .PHONY: install uninstall clean