From 9fecd70ca5a3c782a1a52775de8c5117b5ccb2b9 Mon Sep 17 00:00:00 2001
From: pmp-p <mail.peny@free.fr>
Date: Sat, 23 Nov 2024 13:36:45 +0100
Subject: [PATCH] 3.1.72.3bi

---
 sources.plus/mypy.sh | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 sources.plus/mypy.sh

diff --git a/sources.plus/mypy.sh b/sources.plus/mypy.sh
new file mode 100755
index 0000000..efe31ba
--- /dev/null
+++ 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
+