From 803cc23d2f35a097d22ed9082d947f2253873773 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 5 Jul 2016 09:57:35 +0200
Subject: [PATCH] [Makefile] Set built E-ACSL libraries be removed on distclean
 rather on clean

---
 src/plugins/e-acsl/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 717cf419ced..15028e45825 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -169,7 +169,6 @@ all:: $(JEMALLOC_LIB) $(GMP_LIB)
 
 clean::
 	$(PRINT_RM) e-acsl contrib libraries
-	$(RM) $(JEMALLOC_LIB) $(GMP_LIB)
 	if test -f $(JEMALLOC_DIR)/Makefile; \
 		then $(MAKE) -C$(JEMALLOC_DIR) relclean; \
 	fi
@@ -188,6 +187,7 @@ clean::
 	$(RM) $(foreach dir, $(PLUGIN_TESTS_DIRS), tests/$(dir)/result/*)
 
 DISTCLEANFILES = $(wildcard \
+	$(JEMALLOC_LIB) $(GMP_LIB) \
 	doc/doxygen/doxygen.cfg \
 	Makefile config.log config.status configure .depend autom4te.cache/* \
 	META.frama-c-e_acsl Makefile.plugin.generated local_config.ml top/*)
-- 
GitLab