summaryrefslogtreecommitdiff
path: root/boot
diff options
context:
space:
mode:
Diffstat (limited to 'boot')
-rw-r--r--boot37
1 files changed, 0 insertions, 37 deletions
diff --git a/boot b/boot
index 3cb9f6aba5..78c9295dd1 100644
--- a/boot
+++ b/boot
@@ -30,40 +30,3 @@ do
chmod +x $f
fi
done
-
-libraries=
-
-for f in libraries/*; do
- pkgs=$f/ghc-packages
- if test -f $pkgs; then
- for p in `cat $pkgs`; do
- libraries="$libraries $f/$p"
- done
- else
- libraries="$libraries $f"
- fi
-done
-
-for f in $libraries; do
- dir=`basename $f`
- cabals=`echo $f/*.cabal`
- if test -f $cabals; then
- echo "Creating $f/ghc.mk"
- rm -f $f/ghc.mk
- pkg=`echo "$cabals" | sed -e 's#.*/##' -e 's#\.cabal$##'`
- if test -f $f/ghc-stage; then
- stage=`cat $f/ghc-stage`
- else
- stage=1
- 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"
- echo "dir = ${f}" >> $f/GNUmakefile
- echo "TOP = ${top}" >> $f/GNUmakefile
- echo "include \$(TOP)/mk/sub-makefile.mk" >> $f/GNUmakefile
- fi
-done