grafite parser updated

[helm.git] / matita / Makefile.defs.in

diff --git a/matita/Makefile.defs.in b/matita/Makefile.defs.in
index 18c2549dc412a16926430db7c51497f33faea7c3..90a203f738c8ccec2480f35ceaa751a63c85e908 100644 (file)
--- 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@