Update readline.sh

pull/632/head
Mr Chen 5 months ago
parent bd873b48d0
commit fa1819feb8
  1. 9
      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

Loading…
Cancel
Save