Apt get install php7.1-dev расширение не работает
Я запускаю Ubuntu 17.04 с PHP 7.1, я пытаюсь установить расширение PHP dev, но он не найден:
[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
Я не понимаю, почему он недоступен. Он должен быть частью пакетов по умолчанию.
[Edit] Weird: при попытке установить phpize apt-get предложит мне установить php7.0-dev, даже если я использую 7.1:
[17:33:12] @ Z240: ~ / workspace / api $ php -v PHP 7.1.11-1 + ubuntu17.04.1 + deb.sury.org + 1 (cli) (построено: 27 октября 2017 13:50 : 28) (NTS) Copyright (c) 1997-2017 PHP Group Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies с Zend OPcache v7.1.11-1 + ubuntu17.04.1 + deb.sury.org + 1, Copyright (c) 1999-2017, Zend Technologies с blackfire v1.18.2 ~ linux-x64-non_zts71, https://blackfire.io, 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-dev2
задан COil
1 March 2018 в 20:55
поделиться
4 ответа
Попробуйте добавить Ondřej Surý PPA, у него есть последние обновления и пакеты PHP
sudo add-apt-repository ppa:ondrej/php
0
ответ дан Fabi0_Z
17 July 2018 в 19:44
поделиться
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
Это проверено и отлично работает
1
ответ дан Mammadali Alizadeh
17 July 2018 в 19:44
поделиться
Попробуйте добавить Ondřej Surý PPA, у него есть последние обновления и пакеты PHP
sudo add-apt-repository ppa:ondrej/php
0
ответ дан Fabi0_Z
23 July 2018 в 20:28
поделиться
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
Это проверено и отлично работает
1
ответ дан Mammadali Alizadeh
23 July 2018 в 20:28
поделиться
-
13 первых шага в порядке, но в последнее время я получаю: «Невозможно удалить файл ppack php7.1-dev». : «невозможно найти пакет php7.1-dev». Поэтому у меня проблема конфигурации в другом месте. – COil 2 March 2018 в 17:07
-
2Установка и настройка Php могут быть неверными. Пожалуйста, удалите php (sudo apt-get purge php7. *) И установите его снова (sudo apt-get install php7.1 php7.1-cli php7.1-common php7.1-json php7.1-opcache php7.1-mysql php7.1-mbstring php7.1-mcrypt php7.1-zip php7.1-fpm) – Mammadali Alizadeh 2 March 2018 в 17:15