Fix php5 Unable to locate gmp.h
This commit is contained in:
parent
9250326664
commit
402383e7b7
|
@ -209,6 +209,9 @@ ARG INSTALL_GMP=false
|
||||||
RUN if [ ${INSTALL_GMP} = true ]; then \
|
RUN if [ ${INSTALL_GMP} = true ]; then \
|
||||||
# Install the GMP extension
|
# 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 \
|
docker-php-ext-install gmp \
|
||||||
;fi
|
;fi
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue