Update Makefile

Author: staabm

Makefile

@@ -172,7 +172,8 @@ infection:
 	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=$(jq -r '.packages[] | select(.name == "infection/infection") | .version' build-infection/composer.lock)
-	composer require infection/infection:$version --dev
-	php build-infection/vendor/bin/infection --ignore-msi-with-no-mutations --logger-text=php://stdout
-	rm 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;
+	chmod +x infection.phar
+	php infection.phar --ignore-msi-with-no-mutations --logger-text=php://stdout
+	rm infection.json5 infection.phar