Remove some unused files related to WASM/WASI (GH-124635)

diff --git a/Tools/wasm/Setup.local.example b/Tools/wasm/Setup.local.example
deleted file mode 100644 (file)
index 7b2fb13..0000000
--- a/Tools/wasm/Setup.local.example
+++ /dev/null
@@ -1,13 +0,0 @@
-# Module/Setup.local with reduced stdlib
-*disabled*
-_asyncio
-_bz2
-_decimal
-_pickle
-pyexpat _elementtree
-_sha3 _blake2
-_zoneinfo
-xxsubtype
-
-# cjk codecs
-#_multibytecodec _codecs_cn _codecs_hk _codecs_iso2022 _codecs_jp _codecs_kr _codecs_tw

diff --git a/Tools/wasm/build_wasi.sh b/Tools/wasm/build_wasi.sh
deleted file mode 100755 (executable)
index 4363062..0000000
--- a/Tools/wasm/build_wasi.sh
+++ /dev/null
@@ -1,44 +0,0 @@
-#!/usr/bin/bash
-
-set -e -x
-
-# Quick check to avoid running configure just to fail in the end.
-if [ -f Programs/python.o ]; then
-    echo "Can't do an out-of-tree build w/ an in-place build pre-existing (i.e., found Programs/python.o)" >&2
-    exit 1
-fi
-
-if [ ! -f Modules/Setup.local ]; then
-    touch Modules/Setup.local
-fi
-
-# TODO: check if `make` and `pkgconfig` are installed
-# TODO: detect if wasmtime is installed
-
-# Create the "build" Python.
-mkdir -p builddir/build
-pushd builddir/build
-../../configure -C
-make -s -j 4 all
-export PYTHON_VERSION=`./python -c 'import sys; print(f"{sys.version_info.major}.{sys.version_info.minor}")'`
-popd
-
-# Create the "host"/WASI Python.
-export CONFIG_SITE="$(pwd)/Tools/wasm/config.site-wasm32-wasi"
-export HOSTRUNNER="wasmtime run --mapdir /::$(pwd) --env PYTHONPATH=/builddir/wasi/build/lib.wasi-wasm32-$PYTHON_VERSION $(pwd)/builddir/wasi/python.wasm --"
-
-mkdir -p builddir/wasi
-pushd builddir/wasi
-../../Tools/wasm/wasi-env \
-    ../../configure \
-        -C \
-        --host=wasm32-unknown-wasi \
-        --build=$(../../config.guess) \
-        --with-build-python=../build/python
-make -s -j 4 all
-# Create a helper script for executing the host/WASI Python.
-printf "#!/bin/sh\nexec $HOSTRUNNER \"\$@\"\n" > run_wasi.sh
-chmod 755 run_wasi.sh
-./run_wasi.sh --version
-popd
-

diff --git a/Tools/wasm/wasi-env b/Tools/wasm/wasi-env
index 95eda863cb62c6c04d993050181386889230d6f1..4c5078a1f675e2126024c17d9899a644069756c9 100755 (executable)
--- a/Tools/wasm/wasi-env
+++ b/Tools/wasm/wasi-env
@@ -1,6 +1,8 @@
 #!/bin/sh
 set -e
 
+# NOTE: to be removed once no longer used in https://github.com/python/buildmaster-config/blob/main/master/custom/factories.py .
+
 # function
 usage() {
     echo "wasi-env - Run command with WASI-SDK"