X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile.in;h=4c3138a39201e02f8dd26d1e29a837c652147dea;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=402813f91e157a08a5e929fd28769dafd5e31713;hpb=c6d966bbc276fb0d3bb36ef2945c7bfa31a5ff1b;p=helm.git

diff --git a/helm/gTopLevel/Makefile.in b/helm/gTopLevel/Makefile.in
index 402813f91..4c3138a39 100644
--- a/helm/gTopLevel/Makefile.in
+++ b/helm/gTopLevel/Makefile.in
@@ -17,7 +17,7 @@ REQUIRES = $(TEST_REQUIRES) gdome2-xslt helm-hbugs
 PREDICATES = "gnome,init,glade"
 OCAMLOPTIONS = \
 	-package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o -thread
-OCAMLFIND = ocamlfind
+OCAMLFIND = @OCAMLFIND@
 OCAMLDEBUGOPTIONS = -g
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS)
 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)