next up previous contents
Next: Configure options Up: Quick Start - Getting Previous: Installing SBSAT   Contents


Compiling SBSAT

Become root as in Section [*] (This step may not be necessary). Change to the directory containing the SBSAT files, called the root directory of the SBSAT tree. If you followed the instructions in Section [*] this is accomplished with the following command:


$ cd /usr/local/sbsat


Issue the commands


$ ./configure
$ make


From now on files and directories contained in or below the root directory of the SBSAT tree will be referred to with .../ prepended to their paths originating from that directory. If no errors are reported the SBSAT executable, named sbsat, exists in directory .../src. To use the executable conveniently from any directory it is advisable to set a link to it from some directory that is in your PATH. This can be done automatically by executing the command (as root)


$ make install


This command places sbsat in /usr/local/bin. To do this by hand, if /usr/local/bin is in your PATH (it normally is), as root change directory to /usr/local/bin then set a link as in the following


$ cd /usr/local/bin
$ ln -s .../src/sbsat .


where .../ should be replaced by the path of the root directory of the SBSAT tree. Now issuing the command sbsat from any directory will start the solver. But, don't do this yet as there are some fine points to using SBSAT which must be discussed.



Subsections
next up previous contents
Next: Configure options Up: Quick Start - Getting Previous: Installing SBSAT   Contents
John Franco 2011-09-15