nuclear@0: #!/bin/sh
nuclear@0: 
nuclear@0: prefix='/usr/local'
nuclear@0: opt=false
nuclear@0: dbg=true
nuclear@0: 
nuclear@0: while [ $# -gt 0 ]; do
nuclear@0: 	case $1 in
nuclear@0: 	--prefix=*)
nuclear@0: 		prefix=`echo $1 | sed 's/^--prefix=//'`
nuclear@0: 		;;
nuclear@0: 
nuclear@0: 	--enable-opt)
nuclear@0: 		opt=true
nuclear@0: 		;;
nuclear@0: 	--disable-opt)
nuclear@0: 		opt=false
nuclear@0: 		;;
nuclear@0: 	--enable-debug)
nuclear@0: 		dbg=true
nuclear@0: 		;;
nuclear@0: 	--disable-debug)
nuclear@0: 		dbg=false
nuclear@0: 		;;
nuclear@0: 	esac
nuclear@0: 	shift
nuclear@0: done
nuclear@0: 
nuclear@0: echo '# this file is generated by the configure script' >Makefile
nuclear@0: echo "PREFIX = $prefix" >>Makefile
nuclear@0: $opt && echo 'opt = -O3 -ffast-math' >>Makefile
nuclear@0: $dbg && echo 'dbg = -g' >>Makefile
nuclear@0: cat Makefile.in >>Makefile