Merge pull request #1573 from bestlong/fix-php5-gmp

Fix php5 Unable to locate gmp.h

Merge pull request #1573 from bestlong/fix-php5-gmp
Fix php5 Unable to locate gmp.h
cc20ac24 · Shao Yu-Lung (Allen) · GitHub · 92503266 · 402383e7 · cc20ac24
Unverified Commit cc20ac24 authored May 27, 2018 by Shao Yu-Lung (Allen) Committed by GitHub May 27, 2018
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

Dockerfile php-fpm/Dockerfile +4 -1

No files found.
--- a/php-fpm/Dockerfile
+++ b/php-fpm/Dockerfile
@@ -208,7 +208,10 @@ ARG INSTALL_GMP=false

 RUN if [ ${INSTALL_GMP} = true ]; then \
    # 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 \
 ;fi