From ed02a1be57dd82b4c4bc73f560764a2ce599b3b1 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 20 Apr 2017 19:40:13 +0200
Subject: [PATCH] fixes install target when manuals have been generated
---
src/plugins/e-acsl/Makefile.in | 15 +++++++--------
1 file changed, 7 insertions(+), 8 deletions(-)
diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 2eda1bdfdd0..efb479fcfd6 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -352,6 +352,8 @@ include $(FRAMAC_SHARE)/Makefile.dynamic
# Install #
###########
+MANUALS=$(wildcard $(E_ACSL_DIR)/doc/manuals/*.pdf)
+
install::
$(PRINT_INSTALL) E-ACSL share files
$(MKDIR) $(FRAMAC_DATADIR)/e-acsl
@@ -367,14 +369,11 @@ install::
$(FRAMAC_DATADIR)/e-acsl/glibc
# manuals are not present in standard distribution.
# Don't fail because of that.
- if test -f $(E_ACSL_DIR)/doc/manuals/e-acsl.pdf; then \
- $(PRINT_INSTALL) E-ACSL manuals \
- $(MKDIR) $(FRAMAC_DATADIR)/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_DATADIR)/manuals; \
- fi
+ifneq ("$(MANUALS)","")
+ $(PRINT_INSTALL) E-ACSL manuals
+ $(MKDIR) $(FRAMAC_DATADIR)/manuals
+ $(CP) $(MANUALS) $(FRAMAC_DATADIR)/manuals;
+endif
$(PRINT_INSTALL) E-ACSL libraries
$(MKDIR) $(LIBDIR)
$(CP) $(EACSL_LIBDIR)/libeacsl-*.a $(LIBDIR)
--
GitLab