From 402383e7b70c4edf6db3e635fe28521317bcdc1d Mon Sep 17 00:00:00 2001
From: bestlong <bestlong168@gmail.com>
Date: Sun, 27 May 2018 20:01:29 +0800
Subject: [PATCH] Fix php5 Unable to locate gmp.h

---
 php-fpm/Dockerfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/php-fpm/Dockerfile b/php-fpm/Dockerfile
index 3fa164ab..e67d98db 100644
--- 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