X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=0cdee985f69dfc7a3a4a41dd6b207691456d24a2;hb=ed4beb8bc5e49d84e38b047c2dfc14eb22c74607;hp=f2128de5b91b5673ed430c904a7944b730967647;hpb=a3d55e4f4a365a79b765e489e80ab6f05fe47c7c;p=ghc-hetmet.git

diff --git a/boot b/boot
index f2128de..0cdee98 100644
--- a/boot
+++ b/boot
@@ -1,12 +1,12 @@
 #! /bin/sh
 set -e
 
-# Check that we have all core packages.
-for dir in `cat libraries/core-packages`
+# Check that we have all boot packages.
+for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`
 do
-    if test ! -d libraries/$dir
+    if test ! -f $dir/LICENSE
     then
-        echo "Looks like you're missing libraries/$dir." >&2
+        echo "Error: $dir/LICENSE doesn't exist." >&2
         echo "Maybe you haven't done './darcs-all get'?" >&2
         exit 1
     fi
@@ -25,6 +25,44 @@ done
 # Alas, darcs doesn't handle file permissions, so fix a few of them.
 for f in boot darcs-all push-all validate
 do
-    test -f $f && chmod +x $f
+    if test -f $f
+    then
+        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 "\$(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