diff --git a/configure.in b/configure.in
index a4895377d4a3705db3c720e0540419e69fdc1521..54d56f2f332a02e82021d094e5031ac2a9be11d3 100644
--- a/configure.in
+++ b/configure.in
@@ -742,6 +742,7 @@ check_plugin(from_analysis,src/plugins/from,[support for from analysis],yes)
 
 plugin_require(from_analysis,eva)
 plugin_require(from_analysis,callgraph)
+plugin_require(from_analysis,postdominators)
 
 # gui
 #####
@@ -807,6 +808,13 @@ plugin_require(pdg,callgraph)
 check_plugin(postdominators,src/plugins/postdominators,
              [support for postdominators plugin],yes)
 
+# reduc
+############
+
+check_plugin(reduc,src/plugins/reduc,[support for reduc plugin],yes)
+plugin_require(reduc,eva)
+plugin_require(reduc,inout)
+
 # rte
 #####
 
@@ -848,7 +856,7 @@ plugin_require(sparecode,users)
 
 check_plugin(users,src/plugins/users,[support for users analysis],yes)
 plugin_require(users,eva)
-plugin_use(users,callgraph)
+plugin_require(users,callgraph)
 
 # value
 #######
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 53ce2e006677883db6856908a6d1fd3265267138..f73d51faec339ec281bc3ce71f9e1d7e1d706642 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -225,11 +225,13 @@ TEST_DEPENDENCIES += \
 	$(EACSL_PLUGIN_DIR)/tests/E_ACSL_test.cmxs
 endif
 
+ifneq ("$(PLUGIN_ENABLE)","no")
 # Add the test dependencies to the test targets, but also to
 # `plugins_ptests_config` so that they are built along with the main target.
 plugins_ptests_config: $(TEST_DEPENDENCIES)
 E_ACSL_TESTS E_ACSL_DEFAULT_TESTS: $(TEST_DEPENDENCIES)
 tests:: $(TEST_DEPENDENCIES)
+endif
 
 $(EACSL_PLUGIN_DIR)/tests/test_config: \
 		$(EACSL_PLUGIN_DIR)/tests/test_config.in \
@@ -293,10 +295,12 @@ $(EACSL_DLMALLOC_LIB): $(EACSL_DLMALLOC_SRC) $(EACSL_PLUGIN_DIR)/Makefile
 	echo 'RANLIB       $@'
 	ranlib $@
 
+ifneq ("$(PLUGIN_ENABLE)","no")
 all:: $(EACSL_DLMALLOC_LIB)
 
 clean::
 	$(RM) $(EACSL_DLMALLOC_LIB)
+endif
 
 ############
 # Cleaning #