From 25d5ea367df720778389b6f77a83a1f999849b31 Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Sat, 1 Feb 2014 11:27:56 +0100
Subject: [PATCH] Updated installer binaries

---
 src/build/installer.sh | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

diff --git a/src/build/installer.sh b/src/build/installer.sh
index 38163e7a6..eb6e20336 100644
--- a/src/build/installer.sh
+++ b/src/build/installer.sh
@@ -2,7 +2,7 @@
 PMMP_VERSION=""
 MAC_BUILD="PHP_5.5.8_x86_MacOS"
 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
 
 #Needed to use aliases
@@ -95,9 +95,23 @@ else
 		if [ $? -eq 0 ]; then
 			set -e
 			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
 			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"
 		else
 			set -e