2025-05-07 12:10:53 -07:00
|
|
|
if __name__ == "__main__":
|
|
|
|
|
import pathlib
|
|
|
|
|
import runpy
|
|
|
|
|
import sys
|
2023-11-29 16:18:25 -08:00
|
|
|
|
2025-05-08 09:54:46 -07:00
|
|
|
print("⚠️ WARNING: This script is deprecated and slated for removal in Python 3.20; "
|
2025-05-07 12:10:53 -07:00
|
|
|
"execute the `wasi/` directory instead (i.e. `python Tools/wasm/wasi`)\n",
|
|
|
|
|
file=sys.stderr)
|
2023-11-29 16:18:25 -08:00
|
|
|
|
2025-05-07 12:10:53 -07:00
|
|
|
runpy.run_path(pathlib.Path(__file__).parent / "wasi", run_name="__main__")
|