Add a Makefile in libraries/

1 files changed, 1 insertions, 0 deletions

diff --git a/boot b/boot
index 9c5f1c5d7f..3cb9f6aba5 100644
--- a/boot
+++ b/boot
@@ -58,6 +58,7 @@ for f in $libraries; do
        fi
        top=`echo $f | sed 's#[^/]\+#..#g'`
        echo "${f}_PACKAGE = ${pkg}" >> $f/ghc.mk
+       echo "${f}_dist-install_GROUP = libraries" >> $f/ghc.mk
        echo "\$(eval \$(call build-package,${f},dist-install,${stage}))" >> $f/ghc.mk
        rm -f $f/GNUmakefile
        echo "Creating $f/GNUmakefile"