From 64487121a35628512c1bd1b4e7039132f84ab270 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Tue, 5 Jan 2016 19:41:08 +0100 Subject: Avoid warning 31: test printer was linked twice with Dynlink and Str. Linking a module twice is unsafe and warning 31 will be fatal by default in OCaml 4.03. See PR#5461. --- Makefile.build | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.build b/Makefile.build index 56fc5f0c7d..d9090197a2 100644 --- a/Makefile.build +++ b/Makefile.build @@ -132,10 +132,11 @@ SYSMOD:=str unix dynlink threads SYSCMA:=$(addsuffix .cma,$(SYSMOD)) SYSCMXA:=$(addsuffix .cmxa,$(SYSMOD)) +# We do not repeat the dependencies already in SYSMOD here ifeq ($(CAMLP4),camlp5) -P4CMA:=gramlib.cma str.cma +P4CMA:=gramlib.cma else -P4CMA:=dynlink.cma camlp4lib.cma str.cma +P4CMA:=camlp4lib.cma endif -- cgit v1.2.3