boot

   1 #! /bin/sh
   2 set -e
   3
   4 # Create libraries/*/{ghc.mk,GNUmakefile}
   5 sh boot-pkgs
   6
   7 # Check that we have all boot packages.
   8 for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`
   9 do
  10     if test ! -f $dir/LICENSE
  11     then
  12         echo "Error: $dir/LICENSE doesn't exist." >&2
  13         echo "Maybe you haven't done './darcs-all get'?" >&2
  14         exit 1
  15     fi
  16 done
  17
  18 # autoreconf everything that needs it.
  19 for dir in . libraries/*
  20 do
  21     if test -f $dir/configure.ac
  22     then
  23         echo "Booting $dir"
  24         ( cd $dir && autoreconf )
  25     fi
  26 done
  27
  28 # Alas, darcs doesn't handle file permissions, so fix a few of them.
  29 for f in boot darcs-all push-all validate
  30 do
  31     if test -f $f
  32     then
  33         chmod +x $f
  34     fi
  35 done