From f4bce9ad55aedaf53f247b84dd3ac7319fbbdd0e Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Fri, 8 May 2009 23:29:20 +0000
Subject: Add a Makefile in libraries/

---
 boot | 1 +
 1 file changed, 1 insertion(+)

(limited to 'boot')

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"
-- 
cgit v1.2.1