usage: ./configure [options] options: -h: print this message -debug,-nodebug: enable/disable debugging options [disabled] -prof enable profiling -devel add options useful while developing : add a given option to the gcc command line, including forms: -W*, -pg, -D*, -O* -smbase=: specify where the smbase library is [../smbase]