mirror of
https://github.com/python/cpython.git
synced 2025-09-26 18:29:57 +00:00
Remove some unused files related to WASM/WASI (GH-124635)
This commit is contained in:
parent
5e7eba09bc
commit
66cc6d4c50
3 changed files with 2 additions and 57 deletions
|
@ -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
|
|
|
@ -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
|
|
||||||
|
|
|
@ -1,6 +1,8 @@
|
||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
|
# NOTE: to be removed once no longer used in https://github.com/python/buildmaster-config/blob/main/master/custom/factories.py .
|
||||||
|
|
||||||
# function
|
# function
|
||||||
usage() {
|
usage() {
|
||||||
echo "wasi-env - Run command with WASI-SDK"
|
echo "wasi-env - Run command with WASI-SDK"
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue