Home

Getting started

##Building SBSAT

1. Grab the source code

   git clone https://github.com/nerdling/SBSAT.git

2. Install autotools, bison, flex, and help2man. On Debian based systems, this can be done with apt-get:

   sudo apt-get install autotools bison flex help2man

3. Change to the source directory

   cd SBSAT

4. Configure the build

   ./configure

5. Generate necessary build files

   automake --add-missing

6. Build SBSAT

   make

7. Run tests to verify everything built properly

   make check

8. Install binaries and documentation

   sudo make install