Fix libgmp not locating gmp.h file

This commit is contained in:
desaroger 2018-02-17 09:50:16 +01:00
parent 9bd34ed665
commit 198c3906b2
2 changed files with 4 additions and 4 deletions

View File

@ -177,7 +177,8 @@ 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 update -yqq && \ apt-get update -yqq && \
apt-get install -y libgmp3-dev && \ apt-get install -y libgmp-dev && \
ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h && \
docker-php-ext-install gmp \ docker-php-ext-install gmp \
;fi ;fi

View File

@ -13,8 +13,7 @@ env | sort
if [ -n "${PHP_VERSION}" ]; then if [ -n "${PHP_VERSION}" ]; then
cp env-example .env cp env-example .env
sed -i -- "s/PHP_VERSION=.*/PHP_VERSION=${PHP_VERSION}/g" .env sed -i -- "s/PHP_VERSION=.*/PHP_VERSION=${PHP_VERSION}/g" .env
sed -i -- 's/=false/=false/g' .env sed -i -- 's/=false/=true/g' .env
sed -i -- 's/=true/=false/g' .env
cat .env cat .env
docker-compose build ${BUILD_SERVICE} docker-compose build ${BUILD_SERVICE}
docker images docker images