Fix php7.x install gearman issue

2023-03-17 11:29:06 +08:00 · 2023-03-17 11:29:06 +08:00 · 185fa761ce
parent 6c8cb6dd85
commit 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

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