bump cabal (again)
[ghc.git] / boot
diff --git a/boot b/boot
index b6ecc09..7dc2983 100755 (executable)
--- a/boot
+++ b/boot
@@ -14,6 +14,7 @@ cwd = os.getcwd()
 parser = argparse.ArgumentParser()
 parser.add_argument('--validate', action='store_true', help='Run in validate mode')
 parser.add_argument('--required-tag', type=str, action='append', default=set())
+parser.add_argument('--hadrian', action='store_true', help='Do not assume the make base build system')
 args = parser.parse_args()
 
 def print_err(s):
@@ -97,7 +98,6 @@ def boot_pkgs():
         else:
             library_dirs.append(package)
 
-    print(library_dirs)
     for package in library_dirs:
         if package[-1] == '/':
             # drop trailing '/'
@@ -180,6 +180,8 @@ def check_build_mk():
             """))
 
 check_for_url_rewrites()
-boot_pkgs()
+if not args.hadrian:
+    boot_pkgs()
 autoreconf()
-check_build_mk()
+if not args.hadrian:
+    check_build_mk()