J'utilise Ubuntu 17.04 avec PHP 7.1, j'essaie d'installer l'extension PHP dev mais elle n'a pas été trouvée:
[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 »
Voici la liste des extensions installées installées:
[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
Je ne comprends pas pourquoi ce n'est pas disponible. Cela devrait faire partie des paquets par défaut.
[Modifier] Bizarre: en essayant d'installer phpize, apt-get me suggère d'installer php7.0-dev même si j'utilise 7.1:
[17:33:12] @ Z240: ~/workspace/api $ php -v PHP 7.1.11-1 + ubuntu17.04.1 + deb.sury.org + 1 (cli) (construit en octobre) 27 2017 13:50:28) (NTS) Copyright (c) 1997-2017 Le PHP Groupe Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies avec Zend OPcache v7.1.11-1 + ubuntu17.04.1 + deb.sury.org + 1, Copyright (c) 1999-2017, par Zend Technologies avec blackfire v1.18.2 ~ linux-x64-non_zts71, https://blackfire.io , par SensioLabs
[17:33:22] @ Z240: ~/workspace/api $ phpize Le programme "phpize" n'est pas encore installé. Vous pouvez l'installer en même temps: Vous devez installer php7.0-dev
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
Ceci est testé et fonctionne parfaitement
Essayez d'ajouter Ondřej Surý PPA , il contient les dernières mises à jour et packages PHP.
Sudo add-apt-repository ppa:ondrej/php