From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 28 Jul 2003 12:57:10 +0000 (+0000)
Subject: use OCAMLFIND variable instead of "ocamlfind" directly
X-Git-Tag: LucaOK~28
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=9abc7a37a8ec0f13ddc3e9722fd278141ccb778e

use OCAMLFIND variable instead of "ocamlfind" directly
---

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index d897036c0..8f6205de1 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -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