Become root as in Section 3.3 (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 3.3 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.