1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/configure	Sun Oct 09 07:48:14 2011 +0300
     1.3 @@ -0,0 +1,36 @@
     1.4 +#!/bin/sh
     1.5 +
     1.6 +prefix=/usr/local
     1.7 +opt=false
     1.8 +dbg=true
     1.9 +
    1.10 +while [ $# != 0 ]; do
    1.11 +	case $1 in
    1.12 +	--prefix=*)
    1.13 +		prefix=`echo $1 | sed 's/^--prefix=//'`
    1.14 +		;;
    1.15 +	--enable-opt)
    1.16 +		opt=true
    1.17 +		;;
    1.18 +	--disable-opt)
    1.19 +		opt=false
    1.20 +		;;
    1.21 +	--enable-dbg)
    1.22 +		dbg=true
    1.23 +		;;
    1.24 +	--disable-dbg)
    1.25 +		dbg=false
    1.26 +		;;
    1.27 +	esac
    1.28 +	shift
    1.29 +done
    1.30 +
    1.31 +echo 'Configuring librbtree...'
    1.32 +
    1.33 +echo "# do not modify this file manually, it's generated by configure" >Makefile
    1.34 +echo "PREFIX = $prefix" >>Makefile
    1.35 +$opt && echo '-O3' | xargs echo 'opt =' >>Makefile
    1.36 +$dbg && echo '-g' | xargs echo 'dbg =' >>Makefile
    1.37 +cat Makefile.in >>Makefile
    1.38 +
    1.39 +echo 'Done. Run make (or gmake) to compile.'