From 91479c10792579b0b474bee84229513428e50eb5 Mon Sep 17 00:00:00 2001 From: Benjamin Canou Date: Wed, 6 Jun 2018 11:48:49 +0200 Subject: [PATCH] Proto: fix jbuild to remove spurious warnings when using Merlin --- src/lib_protocol_compiler/jbuild_embedded_protocol_template | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lib_protocol_compiler/jbuild_embedded_protocol_template b/src/lib_protocol_compiler/jbuild_embedded_protocol_template index 02a8bd0ad..ccf2b449d 100644 --- a/src/lib_protocol_compiler/jbuild_embedded_protocol_template +++ b/src/lib_protocol_compiler/jbuild_embedded_protocol_template @@ -44,7 +44,6 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| ((name tezos_embedded_raw_protocol_%s) (public_name tezos-embedded-protocol-%s.raw) (libraries (tezos_embedded_protocol_environment_%s)) - (flags (:standard)) (library_flags (:standard -linkall)) (flags (:standard -nopervasives -nostdlib -safe-string -w +a-4-6-7-9-29-32-40..42-44-45-48 @@ -61,6 +60,8 @@ let () = Format.kasprintf Jbuild_plugin.V1.send {| (libraries (tezos_embedded_raw_protocol_%s tezos-protocol-updater tezos-protocol-environment-shell)) + (flags (:standard -w +a-4-6-7-9-29-32-40..42-44-45-48 + -warn-error -a+8)) (modules (Registerer)))) |} version version version version version version version version