From 653105123415ad287a1290b421dcf37f3dbd2b14 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 18 Jan 2022 14:08:38 +0100
Subject: [PATCH] [E-ACSL] fix Makefile targets when plugin indirectly disabled
---
src/plugins/e-acsl/Makefile.in | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 25672c530b4..2b0b6a3b57c 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -215,11 +215,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 \
@@ -281,10 +283,12 @@ $(EACSL_DLMALLOC_LIB): $(EACSL_DLMALLOC_SRC)
echo 'RANLIB $@'
ranlib $@
+ifneq ("$(PLUGIN_ENABLE)","no")
all:: $(EACSL_DLMALLOC_LIB)
clean::
$(RM) $(EACSL_DLMALLOC_LIB)
+endif
############
# Cleaning #
--
GitLab