]> matita.cs.unibo.it Git - helm.git/commitdiff
use OCAMLFIND variable instead of "ocamlfind" directly
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 28 Jul 2003 12:57:10 +0000 (12:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 28 Jul 2003 12:57:10 +0000 (12:57 +0000)
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