Switch to debian package for GMP

2019-11-19 21:54:59 +01:00 · 2019-11-19 21:54:59 +01:00 · 0de370b270
parent 425a286551
commit 0de370b270
1 changed files with 2 additions and 2 deletions
--- a/4
+++ b/4
@ -13,6 +13,6 @@ FROM nextcloud:17
 # CMD cron && apache2-foreground

 # Mandatory for bookmark extension
-RUN docker-php-ext-configure gmp; \
-      docker-php-ext-install gmp
+RUN apt-get update \
+ && apt-get install -y php7.3-gmp