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 'sh darcs-all get'?"
- exit 1
- fi
-done
+chmod +x rts/gmp/configure
+chmod +x darcs-all
+
+./darcs-all ${1+"$@"} get
autoreconf