Allow overriding PHP_DEFAULT_VERSION
Ondřej Surý
3 years ago
22 | 22 | export NO_INTERACTION=1 |
23 | 23 | |
24 | 24 | # Pull the default PHP version from php-config |
25 | PHP_DEFAULT_VERSION := $(shell php-config --version | sed -e 's,\.[^.]*$$,,') | |
25 | PHP_DEFAULT_VERSION := $(if $(PHP_DEFAULT_VERSION_OVERRIDE),$(PHP_DEFAULT_VERSION_OVERRIDE),$(shell php-config --version | sed -e 's,\.[^.]*$$,,')) | |
26 | 26 | |
27 | 27 | PHP_VERSIONS := $(shell /usr/sbin/phpquery -V) |
28 | 28 |