From 8283c37955a21477235a3bd22d73aad57d70df01 Mon Sep 17 00:00:00 2001 From: mc303 Date: Wed, 28 Oct 2020 19:38:08 +0100 Subject: [PATCH] Update Dockerfile --- Dockerfile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 4d485e6..9c05df2 100644 --- a/Dockerfile +++ b/Dockerfile @@ -15,8 +15,7 @@ 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 && \ - ln -s /usr/include/x86_64-linux-gnu/gmp.h /usr/include/gmp.h && \ - docker-php-ext-configure gmp --with-gmp=/usr/include/x86_64-linux-gnu && \ + docker-php-ext-configure gmp && \ docker-php-ext-install gmp && \ docker-php-ext-install pcntl