From 3d95c929c23fd5458c5062e02c796a1098f3a8c7 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Fri, 7 Apr 2017 18:30:47 +0200
Subject: [PATCH] [release] Fix Makefile for standard distribution
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

a plugin in the standard distribution must have `PLUGIN_DISTRIBUTED`
set to `yes` 😢
---
 src/plugins/e-acsl/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 5949e01e653..57957c80bc2 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -72,7 +72,7 @@ PLUGIN_CMO:= local_config \
 	main
 
 PLUGIN_HAS_MLI:=yes
-PLUGIN_DISTRIBUTED:=no
+PLUGIN_DISTRIBUTED:=yes
 
 # Suppress a spurious warning in ocaml 4.04.0
 mmodel_analysis.cmo mmodel_analysis.cmi: E_ACSL_BFLAGS+= -w -60
-- 
GitLab