Previously, I had Custombuild have 2 php releases (with all sites set to php2_release):
- php1_release: PHP 7.2
- php2_release PHP 7.1
Because I got segmentation faults in PHP 7.2, I removed it with:
./build set php1_release 7.1
./build set php2_release no
and
./build php
Now, my sites don't work any more.
It appears that PHP isn't loading extentions from the new extensions directory, but from the old.
# php -v
Failed loading /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/opcache.so: /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/opcache.so: undefined symbol: zend_one_char_string
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/yaml' - /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/yaml: cannot open shared object file: No such file or directory in Unknown on line 0
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/phalcon' - /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/phalcon: cannot open shared object file: No such file or directory in Unknown on line 0
PHP 7.1.30 (cli) (built: Jun 17 2019 14:31:00) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2018 Zend Technologies
So, while the PHP version is 7.1.30, it apparently request the extensions from /usr/local/php72/...
How is this possible?
- php1_release: PHP 7.2
- php2_release PHP 7.1
Because I got segmentation faults in PHP 7.2, I removed it with:
./build set php1_release 7.1
./build set php2_release no
and
./build php
Now, my sites don't work any more.
It appears that PHP isn't loading extentions from the new extensions directory, but from the old.
# php -v
Failed loading /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/opcache.so: /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/opcache.so: undefined symbol: zend_one_char_string
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/yaml' - /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/yaml: cannot open shared object file: No such file or directory in Unknown on line 0
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/phalcon' - /usr/local/php72/lib/php/extensions/no-debug-non-zts-20170718/phalcon: cannot open shared object file: No such file or directory in Unknown on line 0
PHP 7.1.30 (cli) (built: Jun 17 2019 14:31:00) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2018 Zend Technologies
So, while the PHP version is 7.1.30, it apparently request the extensions from /usr/local/php72/...
How is this possible?