Extensão Apt get install php7.1-dev não funciona

2

Estou executando o Ubuntu 17.04 com o PHP 7.1, estou tentando instalar a extensão de desenvolvimento do PHP, mas ela não foi encontrada:

[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 »

Aqui está a lista de extensões instaladas instaladas:

[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

Eu não entendo porque não está disponível. Deve fazer parte dos pacotes padrão.

[Editar] Weird: ao tentar instalar o phpize, o apt-get sugere que eu instale o php7.0-dev mesmo que eu use o 7.1:

  

[17:33:12] @ Z240: ~ / área de trabalho / api $ php -v   PHP 7.1.11-1 + ubuntu17.04.1 + deb.sury.org + 1 (cli) (construído em: Oct 27 2017 13:50:28) (NTS)   Copyright (c) 1997-2017 O Grupo PHP   Mecanismo Zend v3.1.0, Copyright (c) 1998-2017 Zend Technologies       com Zend OPcache v7.1.11-1 + ubuntu17.04.1 + deb.sury.org + 1, Copyright (c) 1999-2017, por Zend Technologies       com blackfire v1.18.2 ~ linux-x64-non_zts71, link , da SensioLabs

     

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

    
por COil 01.03.2018 / 17:55

2 respostas

2

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

Isso é testado e funciona perfeitamente

    
por Mammadali Alizadeh 02.03.2018 / 13:57
0

Tente adicionar o Ondřej Surý PPA , ele tem as atualizações e pacotes mais recentes do PHP

sudo add-apt-repository ppa:ondrej/php
    
por Fabi0_Z 01.03.2018 / 19:16