Skip to content

Added make infection command to run it locally #4524

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 7 commits into
base: 2.1.x
Choose a base branch
from
Draft

Added make infection command to run it locally #4524

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
131314e
Added `make infection` command to run it locally
staabm Nov 4, 2025
374676a
Update Makefile
staabm Nov 4, 2025
c600d8f
Update Makefile
staabm Nov 4, 2025
110851f
Update .gitignore
staabm Nov 4, 2025
108f77d
Update Makefile
staabm Nov 4, 2025
1d5946d
Update Makefile
staabm Nov 4, 2025
cabaa73
Added #[Covers*] attributes to tests
staabm Nov 5, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,9 @@
/compiler/vendor
/conf/config.local.yml
/build-cs
/infection.json5
/infection.phar
/build-infection
/vendor
/.idea/*
!.idea/icon.png
Expand Down
12 changes: 12 additions & 0 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -163,3 +163,15 @@ name-collision:

composer-dependency-analyser:
php vendor/bin/composer-dependency-analyser --config build/composer-dependency-analyser.php

.PHONY: infection
infection:
git clone https://github.com/phpstan/build-infection.git || true
git -C build-infection fetch origin && git -C build-infection reset --hard origin/1.x
composer install --working-dir build-infection --no-interaction --no-progress
php build-infection/bin/infection-config.php --source-directory='build/PHPStan/Build'> infection.json5
version=$(shell jq -r '.packages[] | select(.name == "infection/infection") | .version' build-infection/composer.lock); \
wget https://github.com/infection/infection/releases/download/$$version/infection.phar --no-clobber;
Copy link
Member

@ondrejmirtes ondrejmirtes Nov 4, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

You don't need to download infection.phar, you can run infection from build-infection/vendor/bin/infection

Copy link
Contributor Author

@staabm staabm Nov 4, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tried this beforehand, but it doesn't work. our generated config requires infection to run from the project root.

chmod +x infection.phar
php infection.phar --ignore-msi-with-no-mutations --logger-text=php://stdout
rm infection.json5 infection.phar
Loading