Add `ninja tools` helper for downloading all tools

2024-08-11 18:07:07 -06:00 · 2024-08-11 18:07:07 -06:00 · a57d08dd07
parent 5e7990495b
commit a57d08dd07
1 changed files with 11 additions and 0 deletions
--- a/tools/project.py
+++ b/tools/project.py
@ -367,6 +367,17 @@ def generate_build_ninja(

    n.newline()

+    ###
+    # Helper rule for downloading all tools
+    ###
+    n.comment("Download all tools")
+    n.build(
+        outputs="tools",
+        rule="phony",
+        inputs=[dtk, sjiswrap, wrapper, compilers, binutils],
+    )
+    n.newline()
+
    ###
    # Build rules
    ###