#! /bin/sh
set -e
+# Create libraries/*/{ghc.mk,GNUmakefile}
+sh boot-pkgs
+
# Check that we have all boot packages.
for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"`
do
chmod +x $f
fi
done
-
-# Create libraries/*/{ghc.mk,GNUmakefile}
-sh boot-pkgs
libraries=
+tarred="time"
+
+for p in $tarred
+do
+ libraries="$libraries libraries/$p"
+ if [ -d "libraries/$p/_darcs" ]
+ then
+ echo Ignoring libraries/$p as it looks like a darcs checkout
+ else
+ tarball=libraries/tarballs/$p-*.tar.gz
+ stamp="libraries/stamp/$p"
+ if [ ! -d "libraries/$p" ] ||
+ [ ! -f "$stamp" ] ||
+ [ "libraries/stamp/$p" -ot $tarball ]
+ then
+ rm -rf "libraries/$p"
+ mkdir "libraries/$p"
+ (
+ cd "libraries/$p"
+ tar -zxf ../../$tarball
+ mv */* .
+ )
+ touch "$stamp"
+ fi
+ fi
+done
+
for f in libraries/*; do
pkgs=$f/ghc-packages
if test -f $pkgs; then