2023-10-24 17:50:54 +02:00
|
|
|
#!/bin/bash -e
|
|
|
|
|
|
|
|
|
|
standalone=$PWD/bugs/wrap.php
|
|
|
|
|
|
|
|
|
|
cd /tmp
|
|
|
|
|
|
|
|
|
|
rm -rf psalm_7
|
|
|
|
|
|
|
|
|
|
git clone https://github.com/nicelocal/psalm -b master psalm_7
|
|
|
|
|
cd psalm_7
|
|
|
|
|
git checkout c7d7b48bdd798b404976054d1b5220082c2f246e
|
|
|
|
|
|
|
|
|
|
git branch -D master || true
|
|
|
|
|
git branch master
|
|
|
|
|
git checkout master
|
|
|
|
|
|
2023-11-11 19:04:15 +01:00
|
|
|
sed 's:findUnusedCode=:cacheDirectory="/tmp/psalm" findUnusedCode=:g' -i psalm.xml.dist
|
|
|
|
|
|
2023-10-24 17:50:54 +02:00
|
|
|
export PSALM_ALLOW_XDEBUG=1
|
|
|
|
|
|
|
|
|
|
cp $standalone .
|
|
|
|
|
|
|
|
|
|
composer i --ignore-platform-reqs
|
|
|
|
|
|
|
|
|
|
echo "About to run psalm"
|
|
|
|
|
|
2023-11-11 19:04:15 +01:00
|
|
|
sleep 3
|
|
|
|
|
|
|
|
|
|
docker run -v $PWD:/app --rm --privileged -it asan_tests bash -c 'export USE_ZEND_ALLOC=1; /usr/bin/php --repeat 2 -f /app/wrap.php /app/psalm --no-cache'
|
2023-10-24 17:50:54 +02:00
|
|
|
|
2023-10-30 22:41:26 +01:00
|
|
|
echo "OK, no bugs!"
|
