Ubuntu – Apt get install php7.1-dev extension doesn’t work

aptdevelopmentPHPphp7

I am running Ubuntu 17.04 with PHP 7.1, I am trying to install the PHP dev extension but it isn't found:

[17:21:43] @Z240:~/workspace/api$ sudo apt install php7.1-dev
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances       
Lecture des informations d'état... Fait
E: Impossible de trouver le paquet php7.1-dev
E: Couldn't find any package by glob 'php7.1-dev'
E: Impossible de trouver de paquet correspondant à l'expression rationnelle « php7.1-dev »

Here is the list of installed installed extensions:

[17:21:42] @Z240:~/workspace/api$ sudo apt-cache pkgnames | grep php7.1
php7.1-xml
php7.1-mbstring
php7.1-readline
php7.1-zip
php7.1-mysql
php7.1
php7.1-sqlite3
php7.1-opcache
php7.1-json
php7.1-curl
php7.1-ldap
php7.1-bz2
php7.1-cli
php7.1-common
php7.1-mcrypt
php7.1-gd

I don't understand why it isn't available. It should be part of the default packages.

[Edit] Weird: when trying to install phpize, apt-get suggest me to install php7.0-dev even I use 7.1:

[17:33:12] @Z240:~/workspace/api$ php -v
PHP 7.1.11-1+ubuntu17.04.1+deb.sury.org+1 (cli) (built: Oct 27 2017 13:50:28) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies
with Zend OPcache v7.1.11-1+ubuntu17.04.1+deb.sury.org+1, Copyright (c) 1999-2017, by Zend Technologies
with blackfire v1.18.2~linux-x64-non_zts71, https://blackfire.io, by SensioLabs

[17:33:22] @Z240:~/workspace/api$ phpize
Le programme « phpize » n'est pas encore installé. Vous pouvez l'installer en tapant : sudo apt install php7.0-dev

Best Answer

sudo apt-get install software-properties-common
sudo add-apt-repository ppa:ondrej/php
sudo apt-get update
sudo apt-get install php7.1-dev

This is tested and It works perfectly

Related Question