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 push-all
  16 chmod +x rts/gmp/configure
  17
  18 echo "Booting ."
  19 autoreconf
  20
  21 for lib in libraries/*; do
  22     if test -e $lib/configure.ac
  23     then
  24         echo "Booting $lib"
  25         cd $lib
  26         autoreconf
  27         cd ../..
  28     fi
  29 done
  30