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 <