Merge pull request #3365 from samejack/master

Fix php7.x install gearman issue
2023-03-30 07:54:49 +08:00 · 2023-03-30 07:54:49 +08:00 · 03159cf2b9
commit 03159cf2b9
parent 9159c70d10 185fa761ce
1 changed files with 5 additions and 1 deletions
--- 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

 ###########################################################################