From 538b694e70fafbf298f27cf57cae13928bac95af Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 3 Dec 2001 14:56:05 +0000 Subject: [PATCH] Makefile improved. --- helm/proofChecker/Makefile | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/helm/proofChecker/Makefile b/helm/proofChecker/Makefile index 1c3b9a174..8cea8c8dc 100644 --- a/helm/proofChecker/Makefile +++ b/helm/proofChecker/Makefile @@ -2,10 +2,13 @@ BIN_DIR = /usr/local/bin REQUIRES = helm-cic_proof_checking PREDICATES = OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) +OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) -g OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) OCAMLDEP = ocamldep +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: proofChecker opt: proofChecker.opt @@ -16,18 +19,18 @@ PROOFCHECKEROBJS = proofChecker.cmo depend: $(OCAMLDEP) $(DEPOBJS) > .depend -proofChecker: $(PROOFCHECKEROBJS) +proofChecker: $(PROOFCHECKEROBJS) $(LIBRARIES) $(OCAMLC) -linkpkg -o proofChecker $(PROOFCHECKEROBJS) -proofChecker.opt: $(PROOFCHECKEROBJS:.cmo=.cmx) +proofChecker.opt: $(PROOFCHECKEROBJS:.cmo=.cmx) $(LIBRARIES_OPT) $(OCAMLOPT) -linkpkg -o proofChecker.opt $(PROOFCHECKEROBJS:.cmo=.cmx) .SUFFIXES: .ml .mli .cmo .cmi .cmx -.ml.cmo: +.ml.cmo: $(LIBRARIES) $(OCAMLC) -c $< -.mli.cmi: +.mli.cmi: $(LIBRARIES) $(OCAMLC) -c $< -.ml.cmx: +.ml.cmx: $(LIBRARIES_OPT) $(OCAMLOPT) -c $< clean: -- 2.39.2