From 331904691d82e7b83e0bd42211a7d47001c2dd0c Mon Sep 17 00:00:00 2001
From: Shoghi Cervantes <shoghicp@gmail.com>
Date: Fri, 31 Jan 2014 16:21:07 +0100
Subject: [PATCH] Added cURL shared extension to php.ini

---
 src/build/compile.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/build/compile.sh b/src/build/compile.sh
index 8a7907b3b..8104ad574 100755
--- a/src/build/compile.sh
+++ b/src/build/compile.sh
@@ -338,6 +338,9 @@ if [ "$1" != "crosscompile" ]; then
 	echo "opcache.memory_consumption=128" >> "$DIR/bin/php5/lib/php.ini"
 	echo "opcache.optimization_level=0xffffffff" >> "$DIR/bin/php5/lib/php.ini"
 fi
+if [ "$HAVE_CURL" == "shared,/usr" ]; then
+	echo "extension=curl.so" >> "$DIR/bin/php5/lib/php.ini"
+fi
 echo "date.timezone=$TIMEZONE" >> "$DIR/bin/php5/lib/php.ini"
 echo "short_open_tag=0" >> "$DIR/bin/php5/lib/php.ini"
 echo "asp_tags=0" >> "$DIR/bin/php5/lib/php.ini"