next up previous contents
Next: Testing SBSAT Up: Compiling SBSAT Previous: Compiling SBSAT   Contents

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.



John Franco 2011-09-15