Configure options

There are quite a few options one can use when running ./configure. For the complete set of options run ./configure -help. The following few can be very useful.

• Use a different compiler
  $ ./configure CXX=g++

• Link the libraries statically
  $ ./configure -static

• Enable some compiler optimization flags
  $ ./configure -enable-optimization

• Enable the compiler debugging flags, allowing debuggers like gdb to hook into sbsat
  $ ./configure -enable-debug