Question

我想让php7.1安装php-gmp扩展名。

我将PHP 5.6升级到PHP 7.1。我尝试安装PHP扩展（php-gmp）然后PHP版本降级为php5.6。

$ php -v
PHP 5.6.30 (cli) (built: Feb  7 2017 16:18:37)
Copyright (c) 1997-2016 The PHP Group
Zend Engine v2.6.0, Copyright (c) 1998-2016 Zend Technologies

我尝试链接回到php 7.1

~ brew link php71                             
5 10:06:43 2018 Warning: Already linked: /usr/local/Cellar/php71/7.1.13_24 To 
relink: brew unlink php71 && brew link php71

- 我取消链接php 5.6

 $ brew unlink php56
Error: No such keg: /usr/local/Cellar/php56

- 我尝试重新安装php7.1

$ brew install php71
==> Installing php71 from homebrew/php
Error: php71 7.1.13_24 is already installed
To upgrade to 7.1.14_25, run `brew upgrade php71`

-I show php path

$ which php
/usr/bin/php
$ cd /usr/bin/php
cd: '/usr/bin/php' is not a directory

- 如果我走这条路，它会显示v7.1。但不能使用作曲家

usr/local/opt/php71/bin/php -v                                                
PHP 7.1.13 (cli) (built: Jan  5 2018 15:30:29) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies

Answer 1

我通过在终端配置中设置PATH解决了我的问题

- 在fish中，我用〜/ .config / fish / config.fish这样设置PATH：

set -gx PATH /usr/local/opt/php71/bin $PATH

- 在基地

export PATH="$(brew --prefix homebrew/php/php71)/bin:$PATH"

将php版本从php56切换到php71

1 个答案: