From 38edbe557a40199e2bbb2b014cc88455322ef224 Mon Sep 17 00:00:00 2001
From: Marco Ferrari <ferrari.marco@gmail.com>
Date: Tue, 6 Feb 2024 15:53:30 +0100
Subject: [PATCH] fix: create mypy cache directory (#5240)

MyPy expects the cache directory to be there. We now remove it after
each super-linter run to avoid leftovers, so we need to create it before
running MyPy.

See https://github.com/python/mypy/issues/10768
and https://github.com/python/mypy/issues/10863
---
 lib/functions/detectFiles.sh | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/lib/functions/detectFiles.sh b/lib/functions/detectFiles.sh
index 91841c867fc..a82fe41356a 100755
--- a/lib/functions/detectFiles.sh
+++ b/lib/functions/detectFiles.sh
@@ -314,6 +314,13 @@ function RunAdditionalInstalls() {
     fi
   fi
 
+  if [ "${VALIDATE_PYTHON_MYPY}" == "true" ] && [ -e "${FILE_ARRAYS_DIRECTORY_PATH}/file-array-PYTHON_MYPY" ]; then
+    local MYPY_CACHE_DIRECTORY_PATH
+    MYPY_CACHE_DIRECTORY_PATH="${GITHUB_WORKSPACE}/.mypy_cache"
+    debug "Create MyPy cache directory: ${MYPY_CACHE_DIRECTORY_PATH}"
+    mkdir -v "${MYPY_CACHE_DIRECTORY_PATH}"
+  fi
+
   ###############################
   # Run installs for R language #
   ###############################