From 7ab3d9333ab55959fa36f255a62d92cc2d729d1b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 10 Oct 2018 16:23:20 +0200
Subject: [PATCH] [Dive] Synchronize with frama-c!2021: Value becomes Eva (2)

---
 src/plugins/dive/Makefile.in  | 2 +-
 src/plugins/dive/configure.ac | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/dive/Makefile.in b/src/plugins/dive/Makefile.in
index 163f493c8ca..6c45a932adb 100644
--- a/src/plugins/dive/Makefile.in
+++ b/src/plugins/dive/Makefile.in
@@ -39,7 +39,7 @@ endif
 PLUGIN_DIR ?=.
 PLUGIN_NAME := Dive
 PLUGIN_CMO := self imprecision_graph build main
-PLUGIN_DEPENDENCIES:= Value Studia
+PLUGIN_DEPENDENCIES:= Eva Studia
 PLUGIN_HAS_MLI:= yes
 PLUGIN_TESTS_DIRS:=dive
 PLUGIN_GENERATED:=
diff --git a/src/plugins/dive/configure.ac b/src/plugins/dive/configure.ac
index 55b6144f5e6..79358234e19 100644
--- a/src/plugins/dive/configure.ac
+++ b/src/plugins/dive/configure.ac
@@ -37,7 +37,7 @@ check_plugin(dive,PLUGIN_RELATIVE_PATH(plugin_file),
 # Plug-in dependencies
 ######################
 
-plugin_require(dive,value_analysis)
+plugin_require(dive,eva)
 plugin_require(dive,studia)
 #plugin_use(dive,usable_plugin_but_not_mandatory)
 
-- 
GitLab