usage: ./configure [options] options: -h: print this message -debug,-nodebug: enable/disable debugging options [disabled] -no-dash-g disable -g -no-dash-O2 disable -O2 -prof enable profiling -devel add options useful while developing -gnu=yes/no enable or disable GNU extensions [enabled] -ccflag : add to gcc command line -smbase=: specify where the smbase library is [../smbase] -ast=: specify where the ast system is [../ast] -elkhound=: specify where the elkhound system is [../elkhound] -useSerialNumbers: give serial numbers to some objects for debugging