X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot-pkgs;h=5bc6f6be619bc17fec73a8fc24ee261e2c0390e8;hb=aa0c0de94e25aa64139688f8e4c4ba51ddca6f54;hp=4892b520546ab16d13c295f3934a14d5f0dd5142;hpb=11e3da87d34465406147927fd89fb64b147cfaca;p=ghc-hetmet.git

diff --git a/boot-pkgs b/boot-pkgs
index 4892b52..5bc6f6b 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