From 60abb96369cc214c15c773dde0a35d2557d56e33 Mon Sep 17 00:00:00 2001 From: mc303 Date: Wed, 28 Oct 2020 20:57:36 +0100 Subject: [PATCH] Update Dockerfile --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 5d2ca39..8b540bc 100644 --- a/Dockerfile +++ b/Dockerfile @@ -17,13 +17,13 @@ RUN docker-php-ext-configure mysqli --with-mysqli=mysqlnd && \ docker-php-ext-install mysqli && \ docker-php-ext-install json && \ docker-php-ext-install pdo_mysql && \ - + \ if [ "$TARGETPLATFORM" = "linux/386" ] ; then XARCH="i386-linux-gnu" ; fi && \ if [ "$TARGETPLATFORM" = "linux/amd64" ] ; then XARCH="x86_64-linux-gnu" ; fi && \ if [ "$TARGETPLATFORM" = "linux/arm/v6" ] ; then XARCH="arm-linux-gnueabi" ; fi && \ if [ "$TARGETPLATFORM" = "linux/arm/v7" ] ; then XARCH="arm-linux-gnueabihf" ; fi && \ if [ "$TARGETPLATFORM" = "linux/arm64" ] ; then XARCH="aarch64-linux-gnu" ; fi && \ - + \ ln -s /usr/include/$XARCH/gmp.h /usr/include/gmp.h && \ docker-php-ext-configure gmp --with-gmp=/usr/include/$XARCH && \ docker-php-ext-install gmp && \