#! /bin/sh
set -e
-# Check that we have all core packages.
-for dir in `cat libraries/core-packages`
+# Check that we have all boot packages.
+for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"`
do
- if test ! -d libraries/$dir
+ if test ! -d $dir
then
- echo "Looks like you're missing libraries/$dir." >&2
+ echo "Looks like you're missing $dir." >&2
echo "Maybe you haven't done './darcs-all get'?" >&2
exit 1
fi