boot


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

#!/bin/sh

set -e

for d in `cat libraries/core-packages`
do
    if test ! -d libraries/$d
    then
        echo "Looks like you're missing libraries/$d,"
        echo "maybe you haven't done './darcs-all get'?"
        exit 1
    fi
done

chmod +x push-all
chmod +x rts/gmp/configure

echo "Booting ."
autoreconf

for lib in libraries/*; do
    if test -e $lib/configure.ac
    then
        echo "Booting $lib"
        cd $lib
        autoreconf
        cd ../..
    fi
done