3.1.72.3bi

pygame-web · Nov 23, 2024 · 9fecd70 · 9fecd70
1 parent f7ca93e
commit 9fecd70
Showing 1 changed file with 25 additions and 0 deletions.
diff --git a/sources.plus/mypy.sh b/sources.plus/mypy.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+. ${CONFIG:-config}
+
+if [ -d src/mypy ]
+then
+    pushd src/mypy
+    git pull
+else
+    pushd src
+    git clone --no-tags --depth 1 --single-branch --branch master https://github.com/python/mypy
+fi
+popd
+
+
+pushd src/mypy
+if ${SDKROOT}/python3-wasm -m build .
+then
+    ${SDKROOT}/python3-wasm -m pip install dist/mypy-*.whl
+else
+    echo failed to build mypyc wheel
+    exit 21
+fi
+popd
+