From e426fa638798146f7725d4b9a89b50f35ab80e41 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 20 Apr 2022 20:36:45 +0200
Subject: [PATCH] Remove last traces of PLUGIN_DYNAMIC
---
Makefile | 1 -
doc/developer/advance.tex | 1 -
src/plugins/e-acsl/Makefile.in | 1 -
src/plugins/qed/Makefile | 1 -
4 files changed, 4 deletions(-)
diff --git a/Makefile b/Makefile
index 28e44e62128..b3c71e5680d 100644
--- a/Makefile
+++ b/Makefile
@@ -959,7 +959,6 @@ $(eval $(call include_generic_plugin_Makefile,$(PLUGIN_NAME)))
# Reduc #
#########
PLUGIN_ENABLE:=$(ENABLE_REDUC)
-PLUGIN_DYNAMIC:=$(DYNAMIC_REDUC)
PLUGIN_NAME:=Reduc
PLUGIN_DISTRIBUTED:=yes
PLUGIN_DIR:=src/plugins/reduc
diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 906403ec31d..0ba7efc9921 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -542,7 +542,6 @@ the specific features of \texttt{Makefile.dynamic}.
%% into \texttt{Makefile}.
%% \codeidx{PLUGIN\_ENABLE}
%% \codeidx{PLUGIN\_DIR}
-%% \codeidx{PLUGIN\_DYNAMIC}
%% \codeidx{DISTRIB\_FILES}
%% \codeidx{@ENABLE\_$plugin$}
%% \begin{makefilecode}
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index cc93b4ebe1c..9cab3d4490a 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -123,7 +123,6 @@ PLUGIN_EXTRA_DIRS:=\
src/project_initializer \
src/code_generator
PLUGIN_ENABLE:=@ENABLE_E_ACSL@
-PLUGIN_DYNAMIC:=@DYNAMIC_E_ACSL@
PLUGIN_NAME:=E_ACSL
PLUGIN_CMO:= src/local_config \
src/options \
diff --git a/src/plugins/qed/Makefile b/src/plugins/qed/Makefile
index 28b9b514946..1e228735cfd 100644
--- a/src/plugins/qed/Makefile
+++ b/src/plugins/qed/Makefile
@@ -41,7 +41,6 @@ endif
# --------------------------------------------------------------------------
PLUGIN_ENABLE:=yes
-PLUGIN_DYNAMIC:=yes
PLUGIN_NAME:=Qed
PLUGIN_CMO:= \
hcons \
--
GitLab