balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Proto: fix jbuild to remove spurious warnings when using Merlin

Browse Source
This commit is contained in:
Benjamin Canou 2018-06-06 11:48:49 +02:00
parent f53cb40915
commit 91479c1079
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/lib_protocol_compiler/jbuild_embedded_protocol_template
View File

@ -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