From 185fa761ce3904e4ffe19c20e1f439e9d0f41aaf Mon Sep 17 00:00:00 2001
From: SJ Chou <sj@toright.com>
Date: Fri, 17 Mar 2023 11:29:06 +0800
Subject: [PATCH] Fix php7.x install gearman issue

---
 workspace/Dockerfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index e4e0aa07..069ce9b8 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -526,7 +526,11 @@ ARG INSTALL_GEARMAN=false
 RUN if [ ${INSTALL_GEARMAN} = true ]; then \
     add-apt-repository -y ppa:ondrej/pkg-gearman && \
     apt-get update && \
-    apt-get -yqq install php-gearman \
+    if [ $(php -r "echo PHP_MAJOR_VERSION;") = "7" ]; then \
+      apt-get install php${LARADOCK_PHP_VERSION}-gearman -y  \
+    ; else \
+      apt-get install php-gearman -y  \
+    ;fi \
 ;fi
 
 ###########################################################################