1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/configure	Thu Jan 19 00:17:31 2012 +0200
     1.3 @@ -0,0 +1,33 @@
     1.4 +#!/bin/sh
     1.5 +
     1.6 +prefix='/usr/local'
     1.7 +opt=false
     1.8 +dbg=true
     1.9 +
    1.10 +while [ $# -gt 0 ]; do
    1.11 +	case $1 in
    1.12 +	--prefix=*)
    1.13 +		prefix=`echo $1 | sed 's/^--prefix=//'`
    1.14 +		;;
    1.15 +
    1.16 +	--enable-opt)
    1.17 +		opt=true
    1.18 +		;;
    1.19 +	--disable-opt)
    1.20 +		opt=false
    1.21 +		;;
    1.22 +	--enable-debug)
    1.23 +		dbg=true
    1.24 +		;;
    1.25 +	--disable-debug)
    1.26 +		dbg=false
    1.27 +		;;
    1.28 +	esac
    1.29 +	shift
    1.30 +done
    1.31 +
    1.32 +echo '# this file is generated by the configure script' >Makefile
    1.33 +echo "PREFIX = $prefix" >>Makefile
    1.34 +$opt && echo 'opt = -O3 -ffast-math' >>Makefile
    1.35 +$dbg && echo 'dbg = -g' >>Makefile
    1.36 +cat Makefile.in >>Makefile