-for f in $libraries; do
- dir=`basename $f`
- cabals=`echo $f/*.cabal`
- if test -f $cabals; then
- echo "Creating $f/ghc.mk"
- rm -f $f/ghc.mk
- pkg=`echo "$cabals" | sed -e 's#.*/##' -e 's#\.cabal$##'`
- if test -f $f/ghc-stage; then
- stage=`cat $f/ghc-stage`
- else
- stage=1
- fi
- top=`echo $f | sed 's#[^/]\+#..#g'`
- echo "${f}_PACKAGE = ${pkg}" >> $f/ghc.mk
- echo "${f}_dist-install_GROUP = libraries" >> $f/ghc.mk
- echo "\$(eval \$(call build-package,${f},dist-install,${stage}))" >> $f/ghc.mk
- rm -f $f/GNUmakefile
- echo "Creating $f/GNUmakefile"
- echo "dir = ${f}" >> $f/GNUmakefile
- echo "TOP = ${top}" >> $f/GNUmakefile
- echo "include \$(TOP)/mk/sub-makefile.mk" >> $f/GNUmakefile
- fi
-done
+$curdir = &cwd()
+ or die "Can't find current directory: $!";
+
+# Check that we have all boot packages.
+open PACKAGES, "< packages";
+while (<PACKAGES>) {
+ if (/^#/) {
+ # Comment; do nothing
+ }
+ elsif (/^([a-zA-Z0-9\/.-]+) +([^ ]+) +[^ ]+ +[^ ]+ +[^ ]+$/) {
+ $dir = $1;
+ $tag = $2;
+
+ # If $tag is not "-" then it is an optional repository, so its
+ # absence isn't an error.
+ if (defined($required_tag{$tag})) {
+ # We would like to just check for an _darcs directory here,
+ # but in an lndir tree we avoid making _darcs directories,
+ # so it doesn't exist. We therefore require that every repo
+ # has a LICENSE file instead.
+ if (! -f "$dir/LICENSE") {
+ print STDERR "Error: $dir/LICENSE doesn't exist.\n";
+ die "Maybe you haven't done './darcs-all get'?";
+ }
+ }
+ }
+ else {
+ die "Bad line in packages file: $_";
+ }
+}
+close PACKAGES;
+
+# autoreconf everything that needs it.
+foreach $dir (".", glob("libraries/*/")) {
+ if (-f "$dir/configure.ac") {
+ print "Booting $dir\n";
+ chdir $dir or die "can't change to $dir: $!";
+ system("autoreconf") == 0
+ or die "Running autoreconf failed with exitcode $?";
+ chdir $curdir or die "can't change to $curdir: $!";
+ }
+}
+
+# Alas, darcs doesn't handle file permissions, so fix a few of them.
+for my $file ("boot", "darcs-all", "validate") {
+ if (-f $file) {
+ chmod 0755, $file
+ or die "Can't chmod 0755 $file: $!";
+ }
+}