diff --git a/Makefile b/Makefile index 75ce964f2676d2864a79bc775967653a12fb1194..344f46c5033ace000ddfe855e674f21575e1f985 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 60f6dab2a2ca8ded43f37965ef3c099e0b52e3d8..a4895377d4a3705db3c720e0540419e69fdc1521 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) ####################