boot

   1 #!/bin/sh
   2
   3 set -e
   4
   5 for d in `cat libraries/core-packages`
   6 do
   7     if test ! -d libraries/$d
   8     then
   9         echo "Looks like you're missing libraries/$d,"
  10         echo "maybe you haven't done './darcs-all get'?"
  11         exit 1
  12     fi
  13 done
  14
  15 chmod +x rts/gmp/configure
  16
  17 echo "Booting ."
  18 autoreconf
  19
  20 for lib in libraries/*; do
  21     if test -e $lib/configure.ac
  22     then
  23         echo "Booting $lib"
  24         cd $lib
  25         autoreconf
  26         cd ../..
  27     fi
  28 done
  29