Skip to content
Snippets Groups Projects
Commit e8777a8f authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[release] Fix Makefile for standard distribution 

a plugin in the standard distribution must have `PLUGIN_DISTRIBUTED`
set to `yes` :cry:
parent f5239343
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
+ 1
− 1
View file @ e8777a8f
...@@ -72,7 +72,7 @@ PLUGIN_CMO:= local_config \ ...@@ -72,7 +72,7 @@ PLUGIN_CMO:= local_config \
main main
PLUGIN_HAS_MLI:=yes PLUGIN_HAS_MLI:=yes
PLUGIN_DISTRIBUTED:=no PLUGIN_DISTRIBUTED:=yes
# Suppress a spurious warning in ocaml 4.04.0 # Suppress a spurious warning in ocaml 4.04.0
mmodel_analysis.cmo mmodel_analysis.cmi: E_ACSL_BFLAGS+= -w -60 mmodel_analysis.cmo mmodel_analysis.cmi: E_ACSL_BFLAGS+= -w -60
......
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