boot 239 Bytes
Newer Older
1
2
3
4
#!/bin/sh

set -e

5
chmod +x rts/gmp/configure
6
7
8
chmod +x darcs-all

./darcs-all ${1+"$@"} get
9

10
11
12
13
14
15
16
17
18
19
20
autoreconf

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