1 #!/bin/sh

2

3 prefix=/usr/local

4 opt=false

5 dbg=true

6

7 while [ $# != 0 ]; do

8 case $1 in

9 --prefix=*)

10 prefix=`echo $1 | sed 's/^--prefix=//'`

11 ;;

12 --enable-opt)

13 opt=true

14 ;;

15 --disable-opt)

16 opt=false

17 ;;

18 --enable-dbg)

19 dbg=true

20 ;;

21 --disable-dbg)

22 dbg=false

23 ;;

24 esac

25 shift

26 done

27

28 echo 'Configuring librbtree...'

29

30 echo "# do not modify this file manually, it's generated by configure" >Makefile

31 echo "PREFIX = $prefix" >>Makefile

32 $opt && echo '-O3' | xargs echo 'opt =' >>Makefile

33 $dbg && echo '-g' | xargs echo 'dbg =' >>Makefile

34 cat Makefile.in >>Makefile

35

36 echo 'Done. Run make (or gmake) to compile.'