From c4ca94cb0aad37e5593e84790446f101c9feb07d Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 28 Dec 2015 08:34:06 +0100
Subject: [PATCH] better install messages
---
src/plugins/e-acsl/Makefile.in | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 0325f19a574..30126812b1e 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -123,18 +123,19 @@ endif
###########
install::
- $(PRINT_CP) E-ACSL share files
+ $(PRINT_INSTALL) E-ACSL share files
$(MKDIR) $(FRAMAC_SHARE)/e-acsl
$(CP) $(E_ACSL_DIR)/share/e-acsl/*.[ch] $(FRAMAC_SHARE)/e-acsl
$(MKDIR) $(FRAMAC_SHARE)/e-acsl/memory_model
$(CP) $(E_ACSL_DIR)/share/e-acsl/memory_model/* \
$(FRAMAC_SHARE)/e-acsl/memory_model
- $(PRINT_CP) E-ACSL manuals
+ $(PRINT_INSTALL) E-ACSL manuals
$(MKDIR) $(FRAMAC_SHARE)/manuals
$(CP) $(E_ACSL_DIR)/doc/manuals/e-acsl.pdf \
$(E_ACSL_DIR)/doc/manuals/e-acsl-implementation.pdf \
$(E_ACSL_DIR)/doc/manuals/e-acsl-manual.pdf \
$(FRAMAC_SHARE)/manuals
+ $(PRINT_INSTALL) E-ACSL scripts
find scripts -maxdepth 1 -type f -executable -exec $(CP) {} $(BINDIR) \;
uninstall::
@@ -144,6 +145,7 @@ uninstall::
$(RM) $(FRAMAC_SHARE)/manuals/e-acsl.pdf \
$(FRAMAC_SHARE)/manuals/e-acsl-implementation.pdf \
$(FRAMAC_SHARE)/manuals/e-acsl-manual.pdf
+ $(PRINT_RM) E-ACSL scripts
find scripts -maxdepth 1 -type f -executable -execdir $(RM) $(BINDIR)/{} \;
################################
--
GitLab