From ddced9fa0c3e96925aac9efda39d3fb29e8bdfcd Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 29 Aug 2017 13:56:37 +0200
Subject: coq_makefile: do not overwrite CAMLFLAGS

---
 tools/CoqMakefile.in | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/CoqMakefile.in b/tools/CoqMakefile.in
index 9713b8eb57..fc8c450ec8 100644
--- a/tools/CoqMakefile.in
+++ b/tools/CoqMakefile.in
@@ -170,8 +170,7 @@ COQMAKEFILE_VERSION:=@COQ_VERSION@
 
 COQSRCLIBS?= $(foreach d,$(COQ_SRC_SUBDIRS), -I "$(COQLIB)$(d)")
 
-CAMLFLAGS=$(OCAMLLIBS) $(COQSRCLIBS) -I $(CAMLP4LIB) $(OCAML_API_FLAGS)
-CAMLFLAGS=$(OCAMLLIBS) $(COQSRCLIBS) -I $(CAMLP4LIB)
+CAMLFLAGS+=$(OCAMLLIBS) $(COQSRCLIBS) -I $(CAMLP4LIB) $(OCAML_API_FLAGS)
 CAMLPKGS?=
 
 CAMLLIB:=$(shell "$(OCAMLFIND)" printconf stdlib)
-- 
cgit v1.2.3