From 2c2b31d536545189e426b382fad5b5ae0b6cc4de Mon Sep 17 00:00:00 2001 From: Jameson Graef Rollins Date: Sat, 28 Nov 2009 18:57:35 -0500 Subject: [PATCH] Fix configure script to handle --prefix= Reviewed-by: Carl Worth : This is really the fundamental thing that people expect a configure script to do, so it's important to support it. --- configure | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/configure b/configure index fd194ab0..70a3c3d8 100755 --- a/configure +++ b/configure @@ -3,6 +3,16 @@ CC=${CC:-gcc} CXX=${CXX:-g++} +# defaults +PREFIX=/usr/local + +# option parsing +for option; do + if [ "${option%=*}" = '--prefix' ] ; then + PREFIX="${option#*=}" + fi +done + cat <