Skip to content

Commit 533d2bc

Browse files
committed
Added make infection command to run it locally
1 parent d194c2c commit 533d2bc

File tree

2 files changed

+11
-0
lines changed

2 files changed

+11
-0
lines changed

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@
33
/compiler/vendor
44
/conf/config.local.yml
55
/build-cs
6+
/infection.json5
7+
/build-infection
68
/vendor
79
/.idea/*
810
!.idea/icon.png

Makefile

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -164,3 +164,12 @@ name-collision:
164164

165165
composer-dependency-analyser:
166166
php vendor/bin/composer-dependency-analyser --config build/composer-dependency-analyser.php
167+
168+
.PHONY: infection
169+
infection:
170+
git clone https://github.com/phpstan/build-infection.git || true
171+
git -C build-infection fetch origin && git -C build-infection reset --hard origin/1.x
172+
composer install --working-dir build-infection --no-interaction --no-progress
173+
php build-infection/bin/infection-config.php --source-directory='build/PHPStan/Build'> infection.json5
174+
php vendor/bin/infection --ignore-msi-with-no-mutations --logger-text=php://stdout
175+
rm infection.json5

0 commit comments

Comments
 (0)