diff --git a/php-fpm/Dockerfile b/php-fpm/Dockerfile index 3fa164ab..e67d98db 100644 --- a/php-fpm/Dockerfile +++ b/php-fpm/Dockerfile @@ -208,7 +208,10 @@ ARG INSTALL_GMP=false RUN if [ ${INSTALL_GMP} = true ]; then \ # Install the GMP extension - apt-get install -y libgmp-dev && \ + apt-get install -y libgmp-dev && \ + if [ $(php -r "echo PHP_MAJOR_VERSION;") = "5" ]; then \ + ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h \ + ;fi && \ docker-php-ext-install gmp \ ;fi