There are two ways to compile the code: CMake and plain Makefiles. Using CMake is highly recommended.

CMake Build System

CMake is a build system generator that can create, e.g., Makefiles for UNIX and macOS or Visual Studio project files for Windows.

CMake provides an extensive documentation explaining available features and use cases as well as an FAQ section. These are the usual steps on a Linux or macOS system:

mkdir build
cd build
cmake <path/to/SoPlex>
make

# optional: run a quick test
make test

#optional: run a (slow) memory check
ctest -T MemCheck

# optional: install SoPlex executable, library, and headers
make install

CMake uses an out-of-source build, i.e., compiled binaries and object files are separated from the source tree and located in another directory, e.g, build. From within this directory, run cmake <path/to/SoPlex> to configure your build, followed by make to compile the code according to the current configuration.

Afterwards, successive calls to make are going to recompile modified source code, without requiring another call to cmake. The generated executable and libraries are put in directories bin and lib respectively.

Modifying a CMake configuration

There are several options that can be passed to the cmake <path/to/SoPlex> call to modify how the code is built. For all of these options and parameters you have to use -D<Parameter_name>=<value>. Following a list of available options, for the full list run cmake <path/to/SoPlex> -LH:

CMake option	Available values	Makefile equivalent	Remarks
CMAKE_BUILD_TYPE	Release, Debug, ...	OPT=[opt, dbg]
GMP	on, off	GMP=[true, false]
CMAKE_INSTALL_PREFIX	<path>	INSTALLDIR=<path>
GMP_DIR	<path/to/GMP>	–
..._DIR	<custom/path/to/package>	–
COVERAGE	on, off	–
MT	on, off	–	use static runtime libraries for Visual Studio compiler on Windows
SANITIZE_...	on, off	–	enable sanitizer in debug mode if available

Parameters can be set all at once or in subsequent calls to cmake - extending or modifying the existing configuration.

Installation

CMake uses a default directory for installation, e.g., /usr/local on Linux. This can be modified using -DCMAKE_INSTALL_PREFIX=<custom/path>.

Makefile

The plain Makefile system only reliably works on UNIX systems:

Description	Command
On systems with GNU g++	`make COMP=gnu OPT=opt` (default)
Linux/x86 with Intel C++	`make COMP=intel OPT=opt`
Tru64 with Compaq C++	`make COMP=compaq OPT=opt`
Solaris with SUN Forte C++	`make COMP=sun OPT=opt`
IRIX with SGI Mips Pro C++	`make COMP=sgi OPT=opt`
HP-UX with HP aCC	`make COMP=hp OPT=opt`
AIX with VisualAge C++	`make COMP=ibm OPT=opt`

Then type make COMP=<as before> OPT=<as before> test. This should report no fails.

If ZLIB is not available, building may fail. In this case try

make COMP=<as before> OPT=<as before> ZLIB=false

which will deactivate the possibility to read gzipped LP and MPS files.

GMP support

For using SoPlex as an exact rational LP solver, SoPlex must be compiled with support for the GNU Multiple Precision library for this. If GMP is not available, you can deactivate it by building with

make COMP=<as before> OPT=<as before> GMP=false.

If you use a different build system than the provided Makefile and want to build with GMP support, you need to define SOPLEX_WITH_GMP for the preprocessor and link with the GMP callable library.

Note for building SCIP with SoPlex: If SoPlex was built with GMP, then SCIP also needs to be built with GMP (default).

Using the Library

Examples on how to use the SoPlex library are provided in the files src/soplexmain.cpp and src/example.cpp.