README

================================================================================ Quick Install

• Install MiniSat. Below the location of MiniSat headers and library files is referred to as $MINC and$MLIB respectively. If installed in a system-wide default location these locations are not necessary to specify by the user, and the configuration step becomes simpler.

• Configure the library dependencies:

  [ the exact details here may be simplified in the future ]

  make config MINISAT_INCLUDE=-I$MINC make config MINISAT_LIB="-L$MLIB -lminisat"

• Decide where to install the files . The simplest approach is to use GNU standard locations and just set a "prefix" for the root install directory (reffered to as $PREFIX below). More control can be achieved by overriding other of the GNU standard install locations (includedir, bindir, etc). Configuring with just a prefix:

  make config prefix=$PREFIX

• Compiling and installing:

  make install

================================================================================ Configuration

• Multiple configuration steps can be joined into one call to "make config" by appending multiple variable assignments on the same line.

• The configuration is stored in the file "config.mk". Look here if you want to know what the current configuration looks like.

• To reset from defaults simply remove the "config.mk" file or call "make distclean".

• Recompilation can be done without the configuration step.

  [ TODO: describe configartion possibilities for compile flags / modes ]

================================================================================ Building

[ TODO: describe seperate build modes ]

================================================================================ Install

[ TODO: ? ]