diff --git a/plugins/php/versions/common/readline.sh b/plugins/php/versions/common/readline.sh index 1d1ae5d15..ed56d8d42 100755 --- a/plugins/php/versions/common/readline.sh +++ b/plugins/php/versions/common/readline.sh @@ -60,6 +60,8 @@ Install_lib() OPTIONS="$OPTIONS --build=aarch64-unknown-linux-gnu --host=aarch64-unknown-linux-gnu" fi + OPTIONS="$OPTIONS --with-readline" + $serverPath/php/$version/bin/phpize ./configure --with-php-config=$serverPath/php/$version/bin/php-config $OPTIONS make clean && make && make install && make clean