]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile
use OCAMLFIND variable instead of "ocamlfind" directly
[helm.git] / helm / gTopLevel / Makefile
index d897036c03ecb9a7ae4f78d328f31896cc945e9e..8f6205de11c7e7630101856cc213160023d031bf 100644 (file)
@@ -11,8 +11,8 @@ OCAMLC = $(OCAMLFIND) ocamlc -thread $(OCAMLOPTIONS)
 OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep -pp camlp4o
 
-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))
+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: styles gTopLevel
 opt: styles gTopLevel.opt