Stop generating make files when using hadrian.
authorMoritz Angermann <moritz.angermann@gmail.com>
Mon, 20 Nov 2017 03:12:09 +0000 (22:12 -0500)
committerBen Gamari <ben@smart-cactus.org>
Mon, 20 Nov 2017 03:12:10 +0000 (22:12 -0500)
The boot script generates lots of .mk files
for the make based build system. This change adds
a `--hadrian` flag to `boot`, which skips the `.mk`
file generation.

Reviewers: bgamari

Subscribers: rwbarton, thomie

Differential Revision: https://phabricator.haskell.org/D4211

boot

diff --git a/boot b/boot
index b6ecc09..05706af 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):
@@ -180,6 +181,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()