我想在安装了GMP扩展的PHP 5.3上测试一些PHP代码。这是我的Dockerfile:
FROM php:5.3
RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 7638D0442B90D010 AA8E81B4331F7F50 9D6D8F6BC857C906 \
&& apt-get update \
&& apt-get -y install libgmp-dev \
&& docker-php-ext-install gmp
当我尝试构建时,出现一个错误,指出docker-php-ext-install
不存在。
这是我的第二次尝试:
FROM php:5.3
RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 7638D0442B90D010 AA8E81B4331F7F50 9D6D8F6BC857C906 \
&& apt-get update \
&& apt-get -y install php5-gmp
编译成功了,但似乎并没有安装GMP扩展。我想也许需要在php.ini文件中添加extension=gmp.so
,但我不确定该文件的位置。php -i | grep ini
返回了以下内容:
Configuration File (php.ini) Path => /usr/local/lib
但是那个目录中没有 php.ini 文件。我尝试创建一个,但是仍然没有结果。
可能有PHP 5.3镜像已经安装了GMP扩展插件?
docker-php-ext-install
不存在的错误"。我猜测php:5.3没有这个命令。无论如何,解决方案已被标记为答案。当然可能存在更好的答案,但对于PHP 5.3来说,你的方法不起作用。我的意思是,如果能起作用,那将是一个更好的方法,但实际上并不起作用。 - undefined