Skip to content
Snippets Groups Projects
Commit 7ab3d933 authored by Andre Maroneze's avatar Andre Maroneze Committed by David Bühler
Browse files

[Dive] Synchronize with frama-c!2021: Value becomes Eva (2)

parent 87a86873
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/dive/Makefile.in
+ 1
− 1
View file @ 7ab3d933
...@@ -39,7 +39,7 @@ endif ...@@ -39,7 +39,7 @@ endif
PLUGIN_DIR ?=. PLUGIN_DIR ?=.
PLUGIN_NAME := Dive PLUGIN_NAME := Dive
PLUGIN_CMO := self imprecision_graph build main PLUGIN_CMO := self imprecision_graph build main
PLUGIN_DEPENDENCIES:= Value Studia PLUGIN_DEPENDENCIES:= Eva Studia
PLUGIN_HAS_MLI:= yes PLUGIN_HAS_MLI:= yes
PLUGIN_TESTS_DIRS:=dive PLUGIN_TESTS_DIRS:=dive
PLUGIN_GENERATED:= PLUGIN_GENERATED:=
......
src/plugins/dive/configure.ac
+ 1
− 1
View file @ 7ab3d933
...@@ -37,7 +37,7 @@ check_plugin(dive,PLUGIN_RELATIVE_PATH(plugin_file), ...@@ -37,7 +37,7 @@ check_plugin(dive,PLUGIN_RELATIVE_PATH(plugin_file),
# Plug-in dependencies # Plug-in dependencies
###################### ######################
plugin_require(dive,value_analysis) plugin_require(dive,eva)
plugin_require(dive,studia) plugin_require(dive,studia)
#plugin_use(dive,usable_plugin_but_not_mandatory) #plugin_use(dive,usable_plugin_but_not_mandatory)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment