Update the in-tree GMP; fixes trac #832
[ghc.git] / 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
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