|
|
@ -68,9 +68,9 @@ Install_lib() |
|
|
|
OPTIONS="$OPTIONS --build=aarch64-unknown-linux-gnu --host=aarch64-unknown-linux-gnu" |
|
|
|
OPTIONS="$OPTIONS --build=aarch64-unknown-linux-gnu --host=aarch64-unknown-linux-gnu" |
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
if [ "$version" -gt "74" ];then |
|
|
|
# if [ "$version" -gt "74" ];then |
|
|
|
OPTIONS="$OPTIONS --disable-openmp" |
|
|
|
# OPTIONS="$OPTIONS --disable-openmp" |
|
|
|
fi |
|
|
|
# fi |
|
|
|
|
|
|
|
|
|
|
|
$serverPath/php/$version/bin/phpize |
|
|
|
$serverPath/php/$version/bin/phpize |
|
|
|
./configure --with-php-config=$serverPath/php/$version/bin/php-config $OPTIONS |
|
|
|
./configure --with-php-config=$serverPath/php/$version/bin/php-config $OPTIONS |
|
|
|