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 autoreconf
  18
  19 for lib in libraries/*; do
  20     if test -e $lib/configure.ac
  21     then
  22         cd $lib
  23         autoreconf
  24         cd ../..
  25     fi
  26 done
  27