no more multiple configure/Makefile, just one for both ocaml/ and matita/

[helm.git] / helm / ocaml / cic_proof_checking / utilities / Makefile

diff --git a/helm/ocaml/cic_proof_checking/utilities/Makefile b/helm/ocaml/cic_proof_checking/utilities/Makefile
index 174546634a91bf2181bb0718513332c80c049347..383391d70b2caf56db0eb4f35546bab4833f04f2 100644 (file)
--- a/helm/ocaml/cic_proof_checking/utilities/Makefile
+++ b/helm/ocaml/cic_proof_checking/utilities/Makefile
@@ -2,8 +2,8 @@ UTILITIES = create_environment parse_library list_uris
 UTILITIES_OPT = $(patsubst %,%.opt,$(UTILITIES))
 LINKOPTS = -linkpkg -thread
 LIBS = helm-cic_proof_checking
-OCAMLC = ocamlfind ocamlc $(LINKOPTS) -package $(LIBS)
-OCAMLOPT = ocamlfind opt $(LINKOPTS) -package $(LIBS)
+OCAMLC = $(OCAMLFIND) ocamlc $(LINKOPTS) -package $(LIBS)
+OCAMLOPT = $(OCAMLFIND) opt $(LINKOPTS) -package $(LIBS)
 all: $(UTILITIES)
        @echo -n
 opt: $(UTILITIES_OPT)
@@ -17,3 +17,5 @@ opt: $(UTILITIES_OPT)
 clean:
        rm -f $(UTILITIES) $(UTILITIES_OPT) *.cm[iox] *.o
 
+include ../../../Makefile.defs
+