summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--libraries/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/libraries/Makefile b/libraries/Makefile
index 35dc5b96e4..0f237bc10e 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -347,6 +347,7 @@ binary-dist.library.%:
if ifBuildable/ifBuildable $*; then \
cd $* && \
cp $*.cabal $(BIN_DIST_LIBDIR)/$* && \
+ cp LICENSE $(BIN_DIST_LIBDIR)/$* && \
cp -a dist $(BIN_DIST_LIBDIR)/$* && \
(cp -aL include $(BIN_DIST_LIBDIR)/$* || :) && \
$(FIND) $(BIN_DIST_LIBDIR)/$*/dist \