Let's make the psalm cache local, for better handling

stronk7 · stronk7 · commit cc6fcf711dce · 2023-03-14T14:38:52.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -10,5 +10,6 @@ nbproject/
 composer.phar
 phpunit.xml
 .php_cs.cache
+.psalm.cache/
 /build/*
-!/build/.gitkeep
+!/build/.gitkeep
diff --git a/Makefile b/Makefile
@@ -63,6 +63,7 @@ clean:
 	rm -rf build/logs
 	rm -rf vendor
 	rm -f .php_cs.cache
+	rm -rf .psalm.cache
 
 # Output error if not initialised.
 check-init:
diff --git a/psalm.xml b/psalm.xml
@@ -5,6 +5,7 @@
     xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
     xmlns:xi="http://www.w3.org/2001/XInclude"
     errorLevel="2"
+    cacheDirectory=".psalm.cache"
     reportMixedIssues="false"
     resolveFromConfigFile="true"
     disableSuppressAll="true"
