Merge branch 'fix/andre/add-server-dependencies' into 'master'

[configure] add missing mandatory dependencies between plugins

Closes #1021

See merge request frama-c/frama-c!3073

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 #

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

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 #