+# We do the sed in 3 steps, as the -snapshot may or may not be there,
+# and I can't see a way to optionally match it with POSIX BREs
+tarred=`ls -1 libraries/tarballs | sed -e 's/\.tar\.gz$//' -e 's/-snapshot$//' -e 's/-[0-9.]*$//'`
+
+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"
+ cat ../../$tarball | gzip -d | tar xf -
+ mv */* .
+ )
+ touch "$stamp"
+ fi
+ fi
+done
+