From 55371cb9f467bc9a83f7e2f29802a241aadf152b Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Thu, 30 Mar 2017 08:51:45 +0000
Subject: [PATCH] Suppress a spurious warning in ocaml v4.04.0

---
 src/plugins/e-acsl/Makefile.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index ee12b9ccfad..5949e01e653 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -74,6 +74,10 @@ PLUGIN_CMO:= local_config \
 PLUGIN_HAS_MLI:=yes
 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_BIN:=no
 
-- 
GitLab