Trying to install the GMP extension on Docker / php:5.3 - php

Question

I'm trying to test some PHP code on PHP 5.3 with the GMP extension installed. Here's my 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
When I try to build that I get an error about how docker-php-ext-install doesn't exist.
Here's my second attempt:
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
That builds without issue but apparently that doesn't actually result in PHP having the GMP extension. I thought maybe I'd need to add extension=gmp.so to the php.ini file but it's not immediately clear to me where that file lives. php -i | grep ini returns, among other things, this:
Configuration File (php.ini) Path => /usr/local/lib
But there's no php.ini file in that directory. I tried to create one but still no luck.
Per chance there's a PHP 5.3 image floating around that already has the GMP extension installed?

Answer 1

I was able to do it thusly:
FROM php:5.3
RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 7638D0442B90D010 AA8E81B4331F7F50 9D6D8F6BC857C906 \
&& apt-get update \
&& apt-get install -y libgmp-dev wget \
&& ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h \
&& cd /tmp \
&& wget --no-check-certificate https://museum.php.net/php5/php-5.3.29.tar.xz \
&& tar xvf php-5.3.29.tar.xz \
&& cd php-5.3.29/ext/gmp \
&& phpize \
&& ./configure \
&& make \
&& make install \
&& echo extension=gmp.so > /usr/local/lib/php.ini

Answer 2

Installing PHP extensions works about like this:
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
But the PHP manual reads:
In order to have these functions available, PHP must be compiled with GMP support by using the --with-gmp option.
So the PHP in the Dockerfile needs to be compiled with the --with-gmp option and libgmp-dev.

Answer 3

I use php:8.0-fpm on docker and this worked for me. I hope this work for you too.
RUN apt-get update && apt-get install -y gnupg gnupg2 gnupg1 \
&& apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 7638D0442B90D010 AA8E81B4331F7F50 9D6D8F6BC857C906 \
&& apt-get install -y libgmp-dev --fix-missing \
&& docker-php-ext-install gmp
and if you faced some issue about libreadline8 you can do like bellow.
RUN apt-get install -y libreadline8 --fix-missing
RUN apt-get update && apt-get install -y gnupg gnupg2 gnupg1 --fix-missing
RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys 7638D0442B90D010 AA8E81B4331F7F50 9D6D8F6BC857C906
RUN apt-get install -y libgmp-dev --fix-missing
RUN docker-php-ext-install gmp