diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-01-05 19:41:08 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-01-05 19:41:08 +0100 |
commit | 64487121a35628512c1bd1b4e7039132f84ab270 (patch) | |
tree | c8eaace42c793eb0be416261e1078f2cb195367d | |
parent | 8a9445fbf65d4ddf2c96348025d487b4d54a5d01 (diff) |
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.
-rw-r--r-- | Makefile.build | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index 56fc5f0c7..d9090197a 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 |