JFTR php5 is not going to be shipped in Debian stretch, so this will get fixed itself when php5 is removed from the archive.
Cheers, -- Ondřej Surý <ond...@sury.org> Knot DNS (https://www.knot-dns.cz/) – a high-performance DNS server On Thu, Mar 24, 2016, at 04:24, Olly Betts wrote: > Package: php5-dev > Version: 5.6.19+dfsg-2 > Severity: normal > > "php-config5 --php-binary" gives "/usr/bin/php" which is a managed by > alternatives. Currently /usr/bin/php7.0 has the highest priority: > > $ update-alternatives --config php > There are 2 choices for the alternative php (providing /usr/bin/php). > > Selection Path Priority Status > ------------------------------------------------------------ > * 0 /usr/bin/php7.0 70 auto mode > 1 /usr/bin/php5 50 manual mode > 2 /usr/bin/php7.0 70 manual mode > > On a system with both php5-cli and php7.0-cli installed (which users who > have > installed php-cli will have, since this dependency package has now > switched to > pulling in php7.0-cli), the upshot is that you get the wrong PHP > interpreter > version: > > $ php-config5 --php-binary > /usr/bin/php > $ /usr/bin/php --version > PHP 7.0.4-6 (cli) ( NTS ) > Copyright (c) 1997-2016 The PHP Group > Zend Engine v3.0.0, Copyright (c) 1998-2016 Zend Technologies > with Zend OPcache v7.0.6-dev, Copyright (c) 1999-2016, by Zend > Technologies > > Really "php-config5 --php-binary" should give "/usr/bin/php5": > > $ /usr/bin/php5 --version > PHP 5.6.19-2 (cli) > Copyright (c) 1997-2016 The PHP Group > Zend Engine v2.6.0, Copyright (c) 1998-2016 Zend Technologies > with Zend OPcache v7.0.6-dev, Copyright (c) 1999-2016, by Zend > Technologies > > It appears that php-config7.0 gets this right: > > $ php-config7.0 --php-binary > /usr/bin/php7.0 > > Cheers, > Olly > > -- System Information: > Debian Release: stretch/sid > APT prefers unstable > APT policy: (500, 'unstable'), (500, 'stable'), (1, 'experimental') > Architecture: amd64 (x86_64) > Foreign Architectures: i386 > > Kernel: Linux 4.3.0-1-amd64 (SMP w/8 CPU cores) > Locale: LANG=en_NZ.UTF-8, LC_CTYPE=en_NZ.UTF-8 (charmap=UTF-8) > Shell: /bin/sh linked to /bin/dash > Init: systemd (via /run/systemd/system) > > Versions of packages php5-dev depends on: > ii autoconf 2.69-9 > ii automake 1:1.15-4 > ii libpcre3-dev 2:8.38-3.1 > ii libssl-dev 1.0.2g-1 > ii libtool 2.4.6-0.1 > ii php5-common 5.6.19+dfsg-2 > ii shtool 2.0.8-8 > > Versions of packages php5-dev recommends: > ii dh-php5 0.2 > ii pkg-php-tools 1.32 > > php5-dev suggests no packages. > > -- no debconf information > > _______________________________________________ > pkg-php-maint mailing list > pkg-php-ma...@lists.alioth.debian.org > http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-php-maint