|
|
@ -38,6 +38,10 @@ Install_lib() |
|
|
|
|
|
|
|
|
|
|
|
if [ ! -f "$extFile" ];then |
|
|
|
if [ ! -f "$extFile" ];then |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ ! -d $sourcePath/php${version}/ext ];then |
|
|
|
|
|
|
|
cd $serverPath/mdserver-web/plugins/php && /bin/bash install.sh install ${version} |
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
cd $sourcePath/php${version}/ext/${LIBNAME} |
|
|
|
cd $sourcePath/php${version}/ext/${LIBNAME} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
@ -47,6 +51,11 @@ Install_lib() |
|
|
|
|
|
|
|
|
|
|
|
fi |
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
if [ ! -f "$extFile" ];then |
|
|
|
|
|
|
|
echo "ERROR!" |
|
|
|
|
|
|
|
return |
|
|
|
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
|
|
echo "" >> $serverPath/php/$version/etc/php.ini |
|
|
|
echo "" >> $serverPath/php/$version/etc/php.ini |
|
|
|
echo "[${LIBNAME}]" >> $serverPath/php/$version/etc/php.ini |
|
|
|
echo "[${LIBNAME}]" >> $serverPath/php/$version/etc/php.ini |
|
|
|
echo "extension=${LIBNAME}.so" >> $serverPath/php/$version/etc/php.ini |
|
|
|
echo "extension=${LIBNAME}.so" >> $serverPath/php/$version/etc/php.ini |
|
|
|