From f51271dd51815d37b8e605f0aba44fad183d12ca Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Wed, 26 Jun 2024 08:30:21 +0000 Subject: [PATCH] build_sdk.py: add support for skipping tool Signed-off-by: Nick Spinale --- build_sdk.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/build_sdk.py b/build_sdk.py index 19fc444d2..ff07f9dc1 100644 --- a/build_sdk.py +++ b/build_sdk.py @@ -414,6 +414,7 @@ def main() -> None: parser.add_argument("--tool-target-triple", default=get_tool_target_triple(), help="Compile the Microkit tool for this target triple") parser.add_argument("--boards", metavar="BOARDS", help="Comma-separated list of boards to support. When absent, all boards are supported.") parser.add_argument("--configs", metavar="CONFIGS", help="Comma-separated list of configurations to support. When absent, all configurations are supported.") + parser.add_argument("--skip-tool", action="store_true", help="Tool will not be built") parser.add_argument("--skip-docs", action="store_true", help="Docs will not be built") parser.add_argument("--skip-tar", action="store_true", help="SDK and source tarballs will not be built") @@ -480,10 +481,10 @@ def main() -> None: copy(p, dest) dest.chmod(0o444) - tool_target = root_dir / "bin" / "microkit" - - test_tool() - build_tool(tool_target, args.tool_target_triple) + if not args.skip_tool: + tool_target = root_dir / "bin" / "microkit" + test_tool() + build_tool(tool_target, args.tool_target_triple) if not args.skip_docs: build_doc(root_dir)