1 BIN_DIR = /usr/local/bin
2 REQUIRES = helm-cic_proof_checking http
4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
5 OCAMLFIND = OCAMLPATH=../../components/METAS/ ocamlfind
6 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) -g
7 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
10 LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
11 LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
13 all: $(PROOFCHECKEROBJS) proofChecker
14 opt: $(PROOFCHECKEROBJS:.cmo=.cmx) proofChecker.opt
16 DEPOBJS = proofChecker.ml
18 PROOFCHECKEROBJS = proofChecker.cmo
21 $(OCAMLDEP) $(DEPOBJS) > .depend
23 proofChecker: $(PROOFCHECKEROBJS) $(LIBRARIES)
24 $(OCAMLC) -linkpkg -o proofChecker $(PROOFCHECKEROBJS)
26 proofChecker.opt: $(PROOFCHECKEROBJS:.cmo=.cmx) $(LIBRARIES_OPT)
27 $(OCAMLOPT) -linkpkg -o proofChecker.opt $(PROOFCHECKEROBJS:.cmo=.cmx)
29 .SUFFIXES: .ml .mli .cmo .cmi .cmx
32 .mli.cmi: $(LIBRARIES)
34 .ml.cmx: $(LIBRARIES_OPT)
38 rm -f *.cm[iox] *.o proofChecker proofChecker.opt
41 cp proofChecker proofChecker.opt $(BIN_DIR)
44 rm -f $(BIN_DIR)/proofChecker $(BIN_DIR)/proofChecker.opt
46 .PHONY: install uninstall clean