X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot;h=38d2cb5680cc2c5c65b62a0b7e20b062384bf426;hb=2fa48f4ea462a6e7f0bb22a8c292ee4efcec81e0;hp=014efff4dbf30f1655bc234f09b85e45e6d8e9ff;hpb=63cddb36f1dd2e3e41274f494873a62921d3f787;p=ghc-hetmet.git diff --git a/boot b/boot index 014efff..38d2cb5 100644 --- a/boot +++ b/boot @@ -1,20 +1,30 @@ -#!/bin/sh - +#! /bin/sh set -e -chmod +x rts/gmp/configure -chmod +x darcs-all - -./darcs-all ${1+"$@"} get - -autoreconf +# Check that we have all boot packages. +for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"` +do + if test ! -d $dir + then + echo "Looks like you're missing $dir." >&2 + echo "Maybe you haven't done './darcs-all get'?" >&2 + exit 1 + fi +done -for lib in libraries/*; do - if test -e $lib/configure.ac +# autoreconf everything that needs it. +for dir in . libraries/* +do + if test -f $dir/configure.ac then - cd $lib - autoreconf - cd ../.. + echo "Booting $dir" + ( cd $dir && autoreconf ) fi 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 +done +