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.' |