Make boot handle getting the libraries

1 files changed, 10 insertions, 3 deletions

diff --git a/boot b/boot
index 014efff4db..11e1785adc 100644
--- a/boot
+++ b/boot
@@ -2,10 +2,17 @@
 
 set -e
 
-chmod +x rts/gmp/configure
-chmod +x darcs-all
+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
 
-./darcs-all ${1+"$@"} get
+chmod +x rts/gmp/configure
 
 autoreconf