mirrors/PocketMine-MP
1
0
Fork 0
mirror of https://github.com/pmmp/PocketMine-MP.git synced 2025-07-01 23:59:53 +00:00
Code Issues Projects Releases Wiki Activity

Updated installer binaries

Browse Source
This commit is contained in:
Shoghi Cervantes 2014-02-01 11:27:56 +01:00
parent 0329735712
commit 25d5ea367d
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/build/installer.sh
View File

@ -2,7 +2,7 @@
PMMP_VERSION="" PMMP_VERSION=""
MAC_BUILD="PHP_5.5.8_x86_MacOS" MAC_BUILD="PHP_5.5.8_x86_MacOS"
RPI_BUILD="PHP_5.5.3_ARM_Raspbian_hard" RPI_BUILD="PHP_5.5.3_ARM_Raspbian_hard"
AND_BUILD="PHP_5.5.6_ARMv7_Android" AND_BUILD="PHP_5.5.8_ARMv7_Android"
update=off update=off
#Needed to use aliases #Needed to use aliases
@ -95,9 +95,23 @@ else
if [ $? -eq 0 ]; then if [ $? -eq 0 ]; then
set -e set -e
rm -r -f bin/ >> /dev/null 2>&1 rm -r -f bin/ >> /dev/null 2>&1
echo "[3/3] Raspberry Pi build available, downloading $RPI_BUILD.tar.gz..." echo -n "[3/3] Raspberry Pi build available, downloading $RPI_BUILD.tar.gz..."
download_file "http://sourceforge.net/projects/pocketmine/files/builds/$RPI_BUILD.tar.gz" | tar -zx > /dev/null 2>&1 download_file "http://sourceforge.net/projects/pocketmine/files/builds/$RPI_BUILD.tar.gz" | tar -zx > /dev/null 2>&1
chmod +x ./bin/php5/bin/* chmod +x ./bin/php5/bin/*
echo -n " regenerating php.ini..."
OPCACHE_PATH=$(find "./bin/php5" -name opcache.so)
echo "zend_extension=\"$OPCACHE_PATH\"" > "./bin/php5/lib/php.ini"
echo "opcache.enable=1" >> "./bin/php5/lib/php.ini"
echo "opcache.enable_cli=1" >> "./bin/php5/lib/php.ini"
echo "opcache.save_comments=0" >> "./bin/php5/lib/php.ini"
echo "opcache.fast_shutdown=1" >> "./bin/php5/lib/php.ini"
echo "opcache.max_accelerated_files=4096" >> "./bin/php5/lib/php.ini"
echo "opcache.interned_strings_buffer=8" >> "./bin/php5/lib/php.ini"
echo "opcache.memory_consumption=128" >> "./bin/php5/lib/php.ini"
echo "opcache.optimization_level=0xffffffff" >> "./bin/php5/lib/php.ini"
echo "date.timezone=$TIMEZONE" >> "./bin/php5/lib/php.ini"
echo "short_open_tag=0" >> "./bin/php5/lib/php.ini"
echo "asp_tags=0" >> "./bin/php5/lib/php.ini"
echo " done" echo " done"
else else
set -e set -e