diff --git a/README.md b/README.md index 8d5f837..8590a0c 100644 --- a/README.md +++ b/README.md @@ -1,15 +1,10 @@ # clingo-rs [![Build Status](https://travis-ci.org/potassco/clingo-rs.svg?branch=master)](https://travis-ci.org/potassco/clingo-rs) [![Latest Version](https://img.shields.io/crates/v/clingo.svg)](https://crates.io/crates/clingo) [![Rust Documentation](https://docs.rs/clingo/badge.svg)](https://docs.rs/clingo) Rust bindings to the [clingo](https://github.com/potassco/clingo) library. -Clingo version 5.5.0. +Clingo version 5.6.2. ## Requirements -- a c++14 conforming compiler - - *at least* [gcc](https://gcc.gnu.org/) version 4.9 - - [clang](http://clang.llvm.org/) version 3.1 (using either libstdc++ - provided by gcc 4.9 or libc++) - 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: @@ -46,7 +41,7 @@ In your `Cargo.toml` add: ```toml [dependencies] -clingo = { version = "0.7.2", features = ["derive"] } +clingo = { version = "0.7.3-dev", features = ["derive"] } ``` In your source write: @@ -78,9 +73,21 @@ follows. ```toml [dependencies] -clingo = { version = "0.7.2", features = ["static-linking"] } +clingo = { version = "0.7.3-dev", features = ["static-linking"] } ``` +To build clingo for static linking you need the following tools installed: + +- a C++14 conforming compiler + - *at least* [GCC](https://gcc.gnu.org/) version 4.9 + - [Clang](http://clang.llvm.org/) version 3.1 (using either libstdc++ + provided by gcc 4.9 or libc++) + - *at least* MSVC 15.0 ([Visual Studio](https://www.visualstudio.com/) 2017) + - other compilers might work +- the [cmake](https://www.cmake.org/) build system + - at least version 3.18 is recommended + - at least version 3.1 is *required* + ## Contribution [How to make a contribution to `clingo-rs`?](https://github.com/potassco/clingo-rs/blob/master/CONTRIBUTING.md)