X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=3cb9f6aba5514025a2e7d63ab3b5c19198ccab33;hb=d6a972fb003ab3a21011564c654487788ae7be55;hp=14d886a347229da6dbeda75d026eb0c9d35e7097;hpb=fdf1cd0399158308769fcb2ab7e46e215a68d865;p=ghc-hetmet.git

diff --git a/boot b/boot
index 14d886a..3cb9f6a 100644
--- a/boot
+++ b/boot
@@ -1,29 +1,69 @@
-#!/bin/sh
-
+#! /bin/sh
 set -e
 
-for d in `cat libraries/core-packages`
+# Check that we have all boot packages.
+for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`
 do
-    if test ! -d libraries/$d
+    if test ! -f $dir/LICENSE
     then
-        echo "Looks like you're missing libraries/$d,"
-        echo "maybe you haven't done './darcs-all get'?"
+        echo "Error: $dir/LICENSE doesn't exist." >&2
+        echo "Maybe you haven't done './darcs-all get'?" >&2
         exit 1
     fi
 done
 
-chmod +x push-all
-
-echo "Booting ."
-autoreconf
+# autoreconf everything that needs it.
+for dir in . libraries/*
+do
+    if test -f $dir/configure.ac
+    then
+        echo "Booting $dir"
+        ( cd $dir && autoreconf )
+    fi
+done
 
-for lib in libraries/*; do
-    if test -e $lib/configure.ac
+# Alas, darcs doesn't handle file permissions, so fix a few of them.
+for f in boot darcs-all push-all validate
+do
+    if test -f $f
     then
-        echo "Booting $lib"
-        cd $lib
-        autoreconf
-        cd ../..
+        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