Skip to content
Snippets Groups Projects
Commit b7f2779f authored by David Bühler's avatar David Bühler
Browse files

[Eva] Makefile and configure: removes unnecessary dependency to other plugins.

parent 793b7f20
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Makefile
+ 1
− 1
View file @ b7f2779f
...@@ -910,7 +910,7 @@ PLUGIN_CMO:= partitioning/split_strategy domains/domain_mode value_parameters \ ...@@ -910,7 +910,7 @@ PLUGIN_CMO:= partitioning/split_strategy domains/domain_mode value_parameters \
utils/unit_tests utils/unit_tests
PLUGIN_CMI:= values/abstract_value values/abstract_location \ PLUGIN_CMI:= values/abstract_value values/abstract_location \
domains/abstract_domain domains/simpler_domains 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 # These files are used by the GUI, but do not depend on Lablgtk
VALUE_GUI_AUX:=gui_files/gui_types gui_files/gui_eval \ VALUE_GUI_AUX:=gui_files/gui_types gui_files/gui_eval \
......
configure.in
+ 2
− 1
View file @ b7f2779f
...@@ -857,7 +857,8 @@ check_plugin(eva,src/plugins/value, ...@@ -857,7 +857,8 @@ check_plugin(eva,src/plugins/value,
[support for value analysis],yes) [support for value analysis],yes)
plugin_use(eva,gui) plugin_use(eva,gui)
plugin_use(eva,scope) plugin_use(eva,scope)
plugin_require(eva,callgraph) plugin_use(eva,inout)
plugin_use(eva,callgraph)
plugin_require(eva,server) plugin_require(eva,server)
#################### ####################
......
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