From c6121e88bf7134ad176df0c824b3435057d8e52d Mon Sep 17 00:00:00 2001
From: Greyson Fischer <greyson@foosoft.us>
Date: Mon, 20 May 2013 16:16:26 -0400
Subject: [PATCH] Optionally disabled libedit based on results of compile

---
 src/build/compile.sh | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/src/build/compile.sh b/src/build/compile.sh
index 650be90b1..4a69c1918 100755
--- a/src/build/compile.sh
+++ b/src/build/compile.sh
@@ -44,9 +44,14 @@ echo -n " checking..."
 cd libedit
 CFLAGS=-fPIC ./configure --prefix="$DIR/install_data/php/ext/libedit" --enable-static >> "$DIR/install.log" 2>&1
 echo -n " compiling..."
-make >> "$DIR/install.log" 2>&1
-echo -n " installing..."
-make install >> "$DIR/install.log" 2>&1
+if make >> "$DIR/install.log" 2>&1; then
+	echo -n " installing..."
+	make install >> "$DIR/install.log" 2>&1
+	HAVE_LIBEDIT="--with-libedit=$DIR/install_data/php/ext/libedit"
+else
+	echo -n " disabling..."
+	HAVE_LIBEDIT="--without-libedit"
+fi
 echo -n " cleaning..."
 cd ..
 rm -r -f ./libedit
@@ -119,7 +124,7 @@ rm -f ./configure >> "$DIR/install.log" 2>&1
 --exec-prefix="$DIR/php5" \
 --with-curl="$DIR/install_data/php/ext/curl" \
 --with-zlib="$DIR/install_data/php/ext/zlib" \
---with-libedit="$DIR/install_data/php/ext/libedit" \
+"$HAVE_LIBEDIT" \
 --disable-libxml \
 --disable-xml \
 --disable-dom \