]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile.in
detects and uses {ocamlc,ocamlopt}.opt when available
[helm.git] / helm / gTopLevel / Makefile.in
index 402813f91e157a08a5e929fd28769dafd5e31713..4c3138a39201e02f8dd26d1e29a837c652147dea 100644 (file)
@@ -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)