PHP基础知识之————php5-cli 的安装以及phpredis的安装

Posted 2020-08-24

 

在系统安装完后最好执行下列命令更新下软件

sudo apt-get update

安装php5-cli

apt-get install php5-cli

下载phpredis

wget https://github.com/nicolasff/phpredis/zipball/master -O php-redis.zip

解压

unzip php-redis.zip 

apt-get install unzip

unzip php-redis.zip 

进入解压目录，执行phpize

cd phpredis-phpredis-b718ce0/

phpize

提示错误：

Command ‘phpize5‘ from package ‘php5-dev‘ (main)

安装这个：php5-dev

apt-get install php5-dev

查找配置文件：

find / -name  php-config

./configure --with-php-config=/usr/bin/php-config

生成共享库(比如redis.so)

make

make test

安装：

make install

检查是否安装成功：

[email protected]:/home/www/php_test# php -m | grep redis
redis

安装完毕

 

借鉴文档：

http://doc3.workerman.net/appendices/install-extension.html