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

[Makefile] Disable -warn-error Ocaml flags since they are enforced by

Frama-C
parent 175dfc8c
No related branches found
No related tags found
No related merge requests found
...@@ -77,19 +77,8 @@ PLUGIN_DISTRIB_BIN:=no ...@@ -77,19 +77,8 @@ PLUGIN_DISTRIB_BIN:=no
############### ###############
# Local Flags # # 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' # Do not edit the line below: it is automatically set by 'make e-acsl-distrib'
IS_DISTRIBUTED:=no 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 # # Local configuration #
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment