From 5606bd084cbbf6c187b21ee5f523fa3b313bb9de Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi 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