Add the time library, and support for libraries in tarballs

1 files changed, 27 insertions, 0 deletions

diff --git a/boot-pkgs b/boot-pkgs
index 4892b52054..5bc6f6be61 100644
--- a/boot-pkgs
+++ b/boot-pkgs
@@ -3,6 +3,33 @@ set -e
 
 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