Add the time library, and support for libraries in tarballs
[ghc.git] / boot
1 #! /bin/sh
2 set -e
3
4 # Create libraries/*/{ghc.mk,GNUmakefile}
5 sh boot-pkgs
6
7 # Check that we have all boot packages.
8 for dir in `grep "^[^# ][^ ]*  *[^ ][^ ]*  *[^ ][^ ]*$" packages | sed "s/ .*//"`
9 do
10     if test ! -f $dir/LICENSE
11     then
12         echo "Error: $dir/LICENSE doesn't exist." >&2
13         echo "Maybe you haven't done './darcs-all get'?" >&2
14         exit 1
15     fi
16 done
17
18 # autoreconf everything that needs it.
19 for dir in . libraries/*
20 do
21     if test -f $dir/configure.ac
22     then
23         echo "Booting $dir"
24         ( cd $dir && autoreconf )
25     fi
26 done
27
28 # Alas, darcs doesn't handle file permissions, so fix a few of them.
29 for f in boot darcs-all push-all validate
30 do
31     if test -f $f
32     then
33         chmod +x $f
34     fi
35 done