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

diff --git a/matita/Makefile.defs.in b/matita/Makefile.defs.in
index 18c2549dc..90a203f73 100644
--- a/matita/Makefile.defs.in
+++ b/matita/Makefile.defs.in
@@ -1,4 +1,4 @@
-OCAMLPATH ?= @OCAMLPATH@
+OCAMLPATH := @OCAMLPATH@:$(OCAMLPATH)
 OCAMLFIND = OCAMLPATH=$(OCAMLPATH) @OCAMLFIND@
 CAMLP5O = @CAMLP5O@
 LABLGLADECC = @LABLGLADECC@