diff --git a/configure.in b/configure.in index f9f8298220518fdc3d6a6d4f9a55660801fc27db..b30e87b5c7fffb36580317bea0f6c759a5d44641 100644 --- a/configure.in +++ b/configure.in @@ -766,7 +766,7 @@ plugin_use_external(gui,dot) check_plugin(impact,src/plugins/impact,[support for impact plugin],yes) plugin_use(impact,gui) -plugin_use(impact,slicing) +plugin_require(impact,slicing) plugin_require(impact,pdg) plugin_require(impact,eva) plugin_require(impact,inout) @@ -832,6 +832,7 @@ plugin_require(slicing,from_analysis) plugin_require(slicing,pdg) plugin_require(slicing,eva) plugin_require(slicing,callgraph) +plugin_require(slicing,sparecode) plugin_use(slicing,gui) # spare code @@ -841,6 +842,7 @@ check_plugin(sparecode,src/plugins/sparecode, [support for sparecode plugin],yes) plugin_require(sparecode,pdg) plugin_require(sparecode,eva) +plugin_require(sparecode,users) # users ####### @@ -856,7 +858,8 @@ 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) #################### # External plugins # diff --git a/src/plugins/dive/configure.ac b/src/plugins/dive/configure.ac index dddb5ed24e2092387c4c801ab35f0a3d061f8b41..edb290cdabc6d6269bf7ec750b4f1124f96e2d33 100644 --- a/src/plugins/dive/configure.ac +++ b/src/plugins/dive/configure.ac @@ -39,6 +39,7 @@ check_plugin(dive,PLUGIN_RELATIVE_PATH(plugin_file), plugin_require(dive,eva) plugin_require(dive,studia) +plugin_require(dive,server) #plugin_use(dive,usable_plugin_but_not_mandatory) check_plugin_dependencies diff --git a/src/plugins/studia/configure.ac b/src/plugins/studia/configure.ac index b4d031aab1a19f217014dce87b0429d6cc0e294f..0d646f6e1bdfaaf720255d87b3309aa1e0adcb85 100644 --- a/src/plugins/studia/configure.ac +++ b/src/plugins/studia/configure.ac @@ -39,6 +39,7 @@ check_plugin(studia,PLUGIN_RELATIVE_PATH(plugin_file), [support for studia plug-in],yes) plugin_require(studia,eva) +plugin_require(studia,server) ####################### # Generating Makefile #