clingo-sys

Rust raw FFI bindings to the C API of clingo library. Clingo version 5.6.2.

Requirements library

Per default the crate uses the clingo library via dynamic linking. It is assumed that a clingo dynamic library is installed on the system. You have to set the environment variable CLINGO_LIBRARY_PATH. For example:

export CLINGO_LIBRARY_PATH=/scratch/miniconda3/envs/test/lib

Using static-linking

The crate defines a Cargo feature that allows to use the clingo library via static linking.

The recommended way to use the optional static linking support is as follows.

[dependencies]
clingo-sys = { version = "0.7.2", features = ["static-linking"] }

To build clingo for static linking you need the following tools installed:

• a C++14 conforming compiler
  • at least GCC version 4.9
  • Clang version 3.1 (using either libstdc++ provided by gcc 4.9 or libc++)
  • at least MSVC 15.0 (Visual Studio 2017)
  • other compilers might work
• the cmake build system
  • at least version 3.18 is recommended
  • at least version 3.1 is required