From acdeebf13aa6996cfa4389b695262ecb932bb6e9 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 30 Aug 2016 15:11:36 +0200
Subject: [PATCH] [Makefile] Disable -warn-error Ocaml flags since they are
 enforced by Frama-C

---
 src/plugins/e-acsl/Makefile.in | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 3304fb156df..146cc5b6b14 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -77,19 +77,8 @@ PLUGIN_DISTRIB_BIN:=no
 ###############
 # Local Flags #
 ###############
-
-# Enable -warn-error in development mode, but not in distribution mode
 # Do not edit the line below: it is automatically set by 'make e-acsl-distrib'
 IS_DISTRIBUTED:=no
-ifneq ($(IS_DISTRIBUTED),yes)
-ifeq ($(EACSL_HAS_OCAML312),yes)
-EACSL_DEV_FLAGS=-warn-error +a
-else
-EACSL_DEV_FLAGS=-warn-error A
-endif
-endif
-PLUGIN_BFLAGS:=$(EACSL_DEV_FLAGS)
-PLUGIN_OFLAGS:=$(EACSL_DEV_FLAGS)
 
 #######################
 # Local configuration #
-- 
GitLab