Skip to content
Snippets Groups Projects
Commit 55371cb9 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Suppress a spurious warning in ocaml v4.04.0

parent 2ac4afb3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/Makefile.in
+ 4
− 0
View file @ 55371cb9
...@@ -74,6 +74,10 @@ PLUGIN_CMO:= local_config \ ...@@ -74,6 +74,10 @@ PLUGIN_CMO:= local_config \
PLUGIN_HAS_MLI:=yes PLUGIN_HAS_MLI:=yes
PLUGIN_DISTRIBUTED:=no PLUGIN_DISTRIBUTED:=no
# Suppress a spurious warning in ocaml 4.04.0
mmodel_analysis.cmo mmodel_analysis.cmi: E_ACSL_BFLAGS+= -w -60
mmodel_analysis.cmx: E_ACSL_OFLAGS+= -w -60
PLUGIN_DISTRIB_EXTERNAL:= Makefile.in configure.ac configure PLUGIN_DISTRIB_EXTERNAL:= Makefile.in configure.ac configure
PLUGIN_DISTRIB_BIN:=no PLUGIN_DISTRIB_BIN:=no
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment