Just wondering... PHP 7.1 and phar.phar

[Pzz]

I updated PHP 7.1 (but I don't use it anymore but the question remains)

I took a look at the log and see at the end of the updatelog:

...
You may want to add: /usr/local/php71/lib/php to your php.ini include_path
/usr/local/directadmin/custombuild/php-7.1.22/build/shtool install -c ext/phar/phar.phar /usr/local/php71/bin
ln -s -f phar.phar /usr/local/php71/bin/phar
Installing PDO headers:           /usr/local/php71/include/php/ext/pdo/
Enabling temporary disabled extensions...
Copying php.ini..
/usr/local/php71/lib/php.ini already exists, skipping
...

Is

/usr/local/directadmin/custombuild/php-7.1.22/build/shtool install -c ext/phar/phar.phar /usr/local/php71/bin
ln -s -f phar.phar /usr/local/php71/bin/phar

an inivitation to install phar?

Do I need it? It probably saves me a warning next update... And "/usr/local/directadmin/custombuild/php-7.1.22/" doesn't even exist.

Thanks in advance!

GJ

 

[zEitEr]

Hello,


You don't need to do anything manually here, the installation process shows which commands are executed. In the end you should get:

/usr/local/php71/bin/phar
/usr/local/php71/bin/phar.phar

installed automatically.

And "/usr/local/directadmin/custombuild/php-7.1.22/" doesn't even exist.

It's expected with clean=yes set in options.conf. All source directories get removed after a build process completes OK. The folders are not removed if a build process fails.