From 12c9352354b213d283eabb0f018f6e3e3b3190ea Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 15 Feb 2021 16:26:03 +0100
Subject: [PATCH] [configure] fix dependency: eva requires callgraph
---
configure.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure.in b/configure.in
index 1e63553354a..0d6550cc285 100644
--- a/configure.in
+++ b/configure.in
@@ -856,7 +856,7 @@ check_plugin(eva,src/plugins/value,
[support for value analysis],yes)
plugin_use(eva,gui)
plugin_use(eva,scope)
-plugin_use(eva,callgraph)
+plugin_require(eva,callgraph)
plugin_require(eva,server)
####################
--
GitLab