set -e
+for d in `cat libraries/core-packages`
+do
+ if test ! -d libraries/$d
+ then
+ echo "Looks like you're missing libraries/$d,"
+ echo "maybe you haven't done './darcs-all get'?"
+ exit 1
+ fi
+done
+
+chmod +x rts/gmp/configure
+
autoreconf
for lib in libraries/*; do