On 03/10/2016 11:38 AM, Ondřej Surý wrote:
You might be right, the PHP packages stopped building PEAR between
5.6.18 and 5.6.19, because it's a separate source package now and
perhaps the defaults has changed because of this.
I'll investige more later this or next week.
BTW if it can be of help to diagnose the problem, php7 on my workstation
seems unaffected
ivan@gloom:~$ php7.0 -r 'echo(get_include_path());'
.:/usr/share/php:
But here I dont have php5 installed.
On the other hand on my home server
php7.0-common and php7.0-xml were installed as dependencies of something
but no other php7 package was installed.
--
Ivan Sergio Borgonovo
http://www.webthatworks.it
