Skip to content
Snippets Groups Projects
Commit 4181aa40 authored by Andreas Klebinger's avatar Andreas Klebinger Committed by Marge Bot
Browse files

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.
parent c645fe40
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment