From 5606bd084cbbf6c187b21ee5f523fa3b313bb9de Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 31 Mar 2017 12:34:49 +0000
Subject: [PATCH] we always update OCAMLPATH rather than leaving it unchanged
 if defined

---
 matita/Makefile.defs.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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@
-- 
2.39.2