php - 尝试在Docker/php:5.3上安装GMP扩展

Question

我正在尝试在安装了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

那没有问题，但是显然并没有导致PHP具有GMP扩展名。我以为可能需要将 extension=gmp.so添加到php.ini文件中，但是我现在还不清楚该文件的位置。 php -i | grep ini返回以下内容:

Configuration File (php.ini) Path => /usr/local/lib

但是该目录中没有php.ini文件。我试图创造一个，但仍然没有运气。

很有可能在周围已经有一个PHP 5.3镜像安装了GMP扩展程序？

Answer 1

安装PHP扩展的工作方式如下:

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 libgmp \ 
&& echo "extension=gmp.so" > /etc/php5/apache2/conf.d/gmp.ini \
&& /etc/init.d/apache2 reload

但是 PHP manual读取:

In order to have these functions available, PHP must be compiled with GMP support by using the --with-gmp option.

因此， Dockerfile中的PHP需要使用 --with-gmp选项和 libgmp-dev进行编译。