From b7f2779fdb97fa014502db7862f65f9cf4769be4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 14 Jan 2022 22:25:24 +0100
Subject: [PATCH] [Eva] Makefile and configure: removes unnecessary dependency
 to other plugins.

---
 Makefile     | 2 +-
 configure.in | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 75ce964f267..344f46c5033 100644
--- a/Makefile
+++ b/Makefile
@@ -910,7 +910,7 @@ PLUGIN_CMO:= partitioning/split_strategy domains/domain_mode value_parameters \
 	utils/unit_tests
 PLUGIN_CMI:= values/abstract_value values/abstract_location \
 	domains/abstract_domain domains/simpler_domains
-PLUGIN_DEPENDENCIES:=Callgraph RteGen Server
+PLUGIN_DEPENDENCIES:=Server
 
 # These files are used by the GUI, but do not depend on Lablgtk
 VALUE_GUI_AUX:=gui_files/gui_types gui_files/gui_eval \
diff --git a/configure.in b/configure.in
index 60f6dab2a2c..a4895377d4a 100644
--- a/configure.in
+++ b/configure.in
@@ -857,7 +857,8 @@ check_plugin(eva,src/plugins/value,
              [support for value analysis],yes)
 plugin_use(eva,gui)
 plugin_use(eva,scope)
-plugin_require(eva,callgraph)
+plugin_use(eva,inout)
+plugin_use(eva,callgraph)
 plugin_require(eva,server)
 
 ####################
-- 
GitLab