X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FMakefile.defs.in;h=90a203f738c8ccec2480f35ceaa751a63c85e908;hb=d02c188ee3d4bd9885490447e63453adb2cb4ea1;hp=d7a7620d5949bcfd9eb6cac398a823ad8843ec79;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/Makefile.defs.in b/matita/Makefile.defs.in
index d7a7620d5..90a203f73 100644
--- a/matita/Makefile.defs.in
+++ b/matita/Makefile.defs.in
@@ -1,8 +1,5 @@
-ifeq ($(origin OCAMLPATH), undefined)
-OCAMLFIND = OCAMLPATH=@OCAMLPATH@ @OCAMLFIND@
-else
-OCAMLFIND = @OCAMLFIND@
-endif
+OCAMLPATH := @OCAMLPATH@:$(OCAMLPATH)
+OCAMLFIND = OCAMLPATH=$(OCAMLPATH) @OCAMLFIND@
 CAMLP5O = @CAMLP5O@
 LABLGLADECC = @LABLGLADECC@
 HAVE_OCAMLOPT = @HAVE_OCAMLOPT@