X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=boot;h=644c6d9ea251a8bde192f9ab449ad3c6b66344d6;hp=6f6b8792340ee695b2b5f332b758fe2c5579b1b2;hb=d8b99b7e9b2ce9fd8ba97fa10657082ceac09c59;hpb=44fa40018be30ebb837ab6ad5766c57558e88cf8 diff --git a/boot b/boot index 6f6b879..644c6d9 100644 --- a/boot +++ b/boot @@ -1,9 +1,16 @@ #! /bin/sh set -e +# Create libraries/*/{ghc.mk,GNUmakefile} +sh boot-pkgs + # Check that we have all boot packages. for dir in `grep "^[^# ][^ ]* *[^ ][^ ]* *[^ ][^ ]*$" packages | sed "s/ .*//"` do + # 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 test ! -f $dir/LICENSE then echo "Error: $dir/LICENSE doesn't exist." >&2 @@ -30,6 +37,3 @@ do chmod +x $f fi done - -# Create libraries/*/{ghc.mk,GNUmakefile} -sh boot-pkgs