rbtree

annotate configure @ 0:6621337b6378

red-black tree lib
author John Tsiombikas <nuclear@mutantstargoat.com>
date Sun, 09 Oct 2011 07:48:14 +0300
parents
children
rev   line source
nuclear@0 1 #!/bin/sh
nuclear@0 2
nuclear@0 3 prefix=/usr/local
nuclear@0 4 opt=false
nuclear@0 5 dbg=true
nuclear@0 6
nuclear@0 7 while [ $# != 0 ]; do
nuclear@0 8 case $1 in
nuclear@0 9 --prefix=*)
nuclear@0 10 prefix=`echo $1 | sed 's/^--prefix=//'`
nuclear@0 11 ;;
nuclear@0 12 --enable-opt)
nuclear@0 13 opt=true
nuclear@0 14 ;;
nuclear@0 15 --disable-opt)
nuclear@0 16 opt=false
nuclear@0 17 ;;
nuclear@0 18 --enable-dbg)
nuclear@0 19 dbg=true
nuclear@0 20 ;;
nuclear@0 21 --disable-dbg)
nuclear@0 22 dbg=false
nuclear@0 23 ;;
nuclear@0 24 esac
nuclear@0 25 shift
nuclear@0 26 done
nuclear@0 27
nuclear@0 28 echo 'Configuring librbtree...'
nuclear@0 29
nuclear@0 30 echo "# do not modify this file manually, it's generated by configure" >Makefile
nuclear@0 31 echo "PREFIX = $prefix" >>Makefile
nuclear@0 32 $opt && echo '-O3' | xargs echo 'opt =' >>Makefile
nuclear@0 33 $dbg && echo '-g' | xargs echo 'dbg =' >>Makefile
nuclear@0 34 cat Makefile.in >>Makefile
nuclear@0 35
nuclear@0 36 echo 'Done. Run make (or gmake) to compile.'