[php-maint] Bug#819139: php5-dev: php-config5 --php-binary gives unversioned result

[Olly Betts]

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