From a73502fda8320a72e8d5fda27d00eb2bb51a401e Mon Sep 17 00:00:00 2001
From: Florian Kargl <f.kargl@posteo.de>
Date: Sat, 26 Aug 2023 13:59:40 +0200
Subject: [PATCH] Re-add mypy script
---
tools/mypy.sh | 37 +++++++++++++++++++++++++++++++++++++
1 file changed, 37 insertions(+)
create mode 100755 tools/mypy.sh
diff --git a/tools/mypy.sh b/tools/mypy.sh
new file mode 100755
index 0000000000..d25bd5a76e
--- /dev/null
+++ b/tools/mypy.sh
@@ -0,0 +1,37 @@
+#!/usr/bin/env bash
+set -e -u
+
+if [ ! -f sdkconfig.defaults ] || [ ! -f recovery/sdkconfig.defaults ]; then
+ echo >/dev/stderr "Run this script for the root of the repository (ie. tools/mypy.sh)."
+ exit 1
+fi
+
+export MYPYPATH=$(pwd)/python_payload/mypystubs:$(pwd)/python_payload
+echo "Checking st3m..."
+
+_CI="${CI:-}"
+
+if [ ! -z "${_CI}" ]; then
+ : > warnings.txt
+fi
+
+failed=""
+function _mypy() {
+ if [ ! -z "${_CI}" ]; then
+ mypy "$1" --strict --no-color-output >> warnings.txt || failed=true
+ else
+ mypy "$1" --strict || failed=true
+ fi
+}
+
+_mypy python_payload/main.py
+for f in python_payload/apps/*/flow3r.toml; do
+ app_name="$(basename $(dirname $f))"
+ echo "Checking ${app_name}..."
+ _mypy python_payload/apps/${app_name}
+done
+
+if [ $failed ]; then
+ echo "Failed"
+ exit 1
+fi
--
GitLab