diff --git a/.github/workflows/reusable-wasi.yml b/.github/workflows/reusable-wasi.yml index 6db4b0ce5ad5a6a..41fad6d72dbf2c7 100644 --- a/.github/workflows/reusable-wasi.yml +++ b/.github/workflows/reusable-wasi.yml @@ -18,7 +18,6 @@ jobs: WASMTIME_VERSION: 38.0.3 WASI_SDK_VERSION: 24 WASI_SDK_PATH: /opt/wasi-sdk - CROSS_BUILD_PYTHON: cross-build/build CROSS_BUILD_WASI: cross-build/wasm32-wasip1 steps: - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2 @@ -51,12 +50,14 @@ jobs: run: python3 Tools/wasm/wasi.py configure-build-python -- --config-cache --with-pydebug - name: "Make build Python" run: python3 Tools/wasm/wasi.py make-build-python - - name: "Configure host" + - name: "Display build info of the build Python" + run: python3 Tools/wasm/wasi.py pythoninfo-build + - name: "Configure host/WASI Python" # `--with-pydebug` inferred from configure-build-python run: python3 Tools/wasm/wasi.py configure-host -- --config-cache - - name: "Make host" + - name: "Make host/WASI Python" run: python3 Tools/wasm/wasi.py make-host - - name: "Display build info" - run: make --directory "${CROSS_BUILD_WASI}" pythoninfo + - name: "Display build info of the host/WASI Python" + run: python3 Tools/wasm/wasi.py pythoninfo-host - name: "Test" run: make --directory "${CROSS_BUILD_WASI}" test diff --git a/Tools/wasm/wasi.py b/Tools/wasm/wasi.py index d932544fc12b408..e20191afa7b23f6 100644 --- a/Tools/wasm/wasi.py +++ b/Tools/wasm/wasi.py @@ -171,6 +171,12 @@ def make_build_python(context, working_dir): print(f"🎉 {binary} {version}") +@subdir(BUILD_DIR) +def pythoninfo_build_python(context, working_dir): + """Display build info of the build Python.""" + call(["make", "pythoninfo"], quiet=context.quiet) + + def find_wasi_sdk(): """Find the path to wasi-sdk.""" if wasi_sdk_path := os.environ.get("WASI_SDK_PATH"): @@ -316,13 +322,21 @@ def build_all(context): steps = [ configure_build_python, make_build_python, + pythoninfo_build_python, configure_wasi_python, make_wasi_python, + pythoninfo_wasi_python, ] for step in steps: step(context) +@subdir(lambda context: CROSS_BUILD_DIR / context.host_triple) +def pythoninfo_wasi_python(context, working_dir): + """Display build info of the host/WASI Python.""" + call(["make", "pythoninfo"], quiet=context.quiet) + + def clean_contents(context): """Delete all files created by this script.""" if CROSS_BUILD_DIR.exists(): @@ -364,6 +378,9 @@ def main(): make_build = subcommands.add_parser( "make-build-python", help="Run `make` for the build Python" ) + pythoninfo_build = subcommands.add_parser( + "pythoninfo-build", help="Display build info of the build Python" + ) configure_host = subcommands.add_parser( "configure-host", help="Run `configure` for the " @@ -374,6 +391,9 @@ def main(): make_host = subcommands.add_parser( "make-host", help="Run `make` for the host/WASI" ) + pythoninfo_host = subcommands.add_parser( + "pythoninfo-host", help="Display build info of the host/WASI Python" + ) subcommands.add_parser( "clean", help="Delete files and directories created by this script" ) @@ -381,8 +401,10 @@ def main(): build, configure_build, make_build, + pythoninfo_build, configure_host, make_host, + pythoninfo_host, ): subcommand.add_argument( "--quiet", @@ -421,7 +443,12 @@ def main(): "(default designed for wasmtime 14 or newer: " f"`{default_host_runner}`)", ) - for subcommand in build, configure_host, make_host: + for subcommand in ( + build, + configure_host, + make_host, + pythoninfo_host, + ): subcommand.add_argument( "--host-triple", action="store", @@ -434,10 +461,13 @@ def main(): dispatch = { "configure-build-python": configure_build_python, "make-build-python": make_build_python, + "pythoninfo-build": pythoninfo_build_python, "configure-host": configure_wasi_python, "make-host": make_wasi_python, + "pythoninfo-host": pythoninfo_wasi_python, "build": build_all, "clean": clean_contents, + None: lambda args: parser.print_help(), } dispatch[context.subcommand](context)