我正在使用 PHP 7.1 运行 Ubuntu 17.04,我正在尝试安装 PHP 开发扩展,但没有找到:
[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 »
以下是已安装扩展的列表:
[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
我不明白为什么它不可用。它应该是默认包的一部分。
[编辑] 奇怪:尝试安装 phpize 时,即使我使用 7.1,apt-get 也会建议我安装 php7.0-dev:
[17:33:12]@Z240:~/workspace/api$ php -v PHP 7.1.11-1+ubuntu17.04.1+deb.sury.org+1 (cli)(构建时间:2017 年 10 月 27 日 13:50: 28) ( NTS ) 版权所有 (c) 1997-2017 The PHP Group Zend Engine v3.1.0, 版权所有 (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 程序 « phpize » n'est pas encore installé。Vous pouvez l'installer en tapant : sudo apt install php7.0-dev
这是经过测试的,它工作得很好
尝试添加Ondřej Surý PPA,它有最新的 PHP 更新和包