From 97478e6527a30d5cb015489d7b17475b243b9f8a Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 3 Sep 2019 08:47:38 +0200
Subject: [PATCH] [Makefile] improve test dependencies

---
 src/plugins/e-acsl/Makefile.in | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 3217ed21a1f..a1ba16861e7 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -175,12 +175,14 @@ else
 endif
 PLUGIN_PTESTS_OPTS:=-config $(EACSL_TEST_CONFIG)
 
-E_ACSL_TESTS E_ACSL_DEFAULT_TESTS: \
+TEST_DEPENDENCIES:= \
 	$(EACSL_PLUGIN_DIR)/tests/ptests_config \
 	$(EACSL_PLUGIN_DIR)/tests/test_config_$(EACSL_TEST_CONFIG) \
 	$(EACSL_PLUGIN_DIR)/tests/print.cmxs \
 	$(EACSL_PLUGIN_DIR)/tests/print.cmo
 
+E_ACSL_TESTS E_ACSL_DEFAULT_TESTS: $(TEST_DEPENDENCIES)
+tests:: $(TEST_DEPENDENCIES)
 
 $(EACSL_PLUGIN_DIR)/tests/test_config_ci: \
 		$(EACSL_PLUGIN_DIR)/tests/test_config_ci.in \
@@ -194,8 +196,6 @@ $(EACSL_PLUGIN_DIR)/tests/test_config_dev: \
 	$(PRINT_MAKING) $@
 	$(SED) -e "s|@SEDCMD@|`which sed `|g" $< > $@
 
-tests:: $(EACSL_PLUGIN_DIR)/tests/ptests_config
-
 clean::
 	for d in $(E_ACSL_EXTRA_DIRS); do \
 	  $(RM) $$d/*~; \
@@ -254,7 +254,9 @@ clean::
 
 EACSL_CLEANFILES = doc/doxygen/doxygen.cfg \
 	Makefile config.log config.status configure .depend autom4te.cache/* \
-	META.frama-c-e_acsl Makefile.plugin.generated src/local_config.ml top/*
+	META.frama-c-e_acsl Makefile.plugin.generated src/local_config.ml \
+	top/* \
+	$(TEST_DEPENDENCIES)
 
 e-acsl-distclean: clean
 	$(PRINT_RM) generated project files
-- 
GitLab