From fa1819feb8936c356ce943adc041ee59c502b14a Mon Sep 17 00:00:00 2001 From: Mr Chen Date: Fri, 29 Nov 2024 01:21:32 +0800 Subject: [PATCH] Update readline.sh --- plugins/php/versions/common/readline.sh | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/plugins/php/versions/common/readline.sh b/plugins/php/versions/common/readline.sh index 6390b69fa..5ffadc220 100755 --- a/plugins/php/versions/common/readline.sh +++ b/plugins/php/versions/common/readline.sh @@ -47,8 +47,6 @@ Install_lib() return fi - cd ${rootPath}/plugins/php/lib && /bin/bash libedit.sh - if [ ! -f "$extFile" ];then if [ ! -d $sourcePath/php${version}/ext ];then @@ -62,7 +60,12 @@ Install_lib() OPTIONS="$OPTIONS --build=aarch64-unknown-linux-gnu --host=aarch64-unknown-linux-gnu" fi - OPTIONS="$OPTIONS --with-libedit=${serverPath}/lib/libedit" + if [ "$sysName" == "Darwin" ];then + cd ${rootPath}/plugins/php/lib && /bin/bash libedit.sh + OPTIONS="$OPTIONS --with-libedit=${serverPath}/lib/libedit" + else + OPTIONS="$OPTIONS --with-readline" + fi $serverPath/php/$version/bin/phpize ./configure --with-php-config=$serverPath/php/$version/bin/php-config $OPTIONS