From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 31 Mar 2017 12:34:49 +0000 (+0000)
Subject: we always update OCAMLPATH rather than leaving it unchanged if defined
X-Git-Tag: make_still_working~468
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5606bd084cbbf6c187b21ee5f523fa3b313bb9de

we always update OCAMLPATH rather than leaving it unchanged if defined
---

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@