Bug report

Bug description:

Executing make install in cross-build/wasm32-wasip1 after following the instruction to build WASI target fails. Here're the steps to replicate.

Configure and build (see https://devguide.python.org/getting-started/setup-building/#wasi for the details):

WASI_SDK_PATH=<your_wasi_sdk_install_path> python3 Tools/wasm/wasi build -- --config-cache

where <your_wasi_sdk_install_path> points to WASI SDK installation (https://github.com/WebAssembly/wasi-sdk/releases).

Now attempting make install:

cd cross-build/wasm32-wasip1
make install

ended up with

...
install: cannot stat 'build/lib.wasi-wasm32-3.15/build-details.json': No such file or directory
make: *** [Makefile:2865: libinstall] Error 1

CPython versions tested on:

3.14, 3.15, CPython main branch

Operating systems tested on:

Linux