From 4181aa40fff5653a121cd2ece33ab0f7454d421d Mon Sep 17 00:00:00 2001
From: Andreas Klebinger <klebinger.andreas@gmx.at>
Date: Thu, 16 May 2024 16:55:59 +0200
Subject: [PATCH] bindists: Check for existence of share folder before trying
to copy it.
This folder isn't distributed in windows bindists
A lack of doing so resulted us copying loads of files twice.
---
hadrian/bindist/Makefile | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/hadrian/bindist/Makefile b/hadrian/bindist/Makefile
index 5983855a16dc..efeaa7bf6e5e 100644
--- a/hadrian/bindist/Makefile
+++ b/hadrian/bindist/Makefile
@@ -211,10 +211,12 @@ install_docs:
install_data:
@echo "Copying data to $(DESTDIR)share"
$(INSTALL_DIR) "$(DESTDIR)$(datadir)"
- cd share; $(FIND) . -type f -exec sh -c \
- '$(INSTALL_DIR) "$(DESTDIR)$(datadir)/`dirname $$1`" && \
- $(INSTALL_DATA) "$$1" "$(DESTDIR)$(datadir)/`dirname $$1`"' \
- sh '{}' ';';
+ if [ -d share ]; then \
+ cd share; $(FIND) . -type f -exec sh -c \
+ '$(INSTALL_DIR) "$(DESTDIR)$(datadir)/`dirname $$1`" && \
+ $(INSTALL_DATA) "$$1" "$(DESTDIR)$(datadir)/`dirname $$1`"' \
+ sh '{}' ';'; \
+ fi
MAN_SECTION := 1
MAN_PAGES := manpage/ghc.1
--
GitLab