The clingcon-5 project is still in development. A release has to wait until clingo-5.5.0 is ready. The project is already usable with the latest development version of clingo. The latest stable clingcon release is 3.3.0 available under the releases tab and in the clingcon-3 branch.
conda create -n clingcon -c potassco/label/dev -c conda-forge \
clingo ninja cmake cxx-compiler
conda activate clingcon
cmake -G Ninja \
-Bbuild/release \
-H. \
-DCMAKE_BUILD_TYPE=Release \
-DCMAKE_INSTALL_PREFIX="${CONDA_PREFIX}" \
-DCLINGCON_MANAGE_RPATH=Off \
-DPYCLINGCON_USER_INSTALL=Off \
-DPYCLINGCON_USE_INSTALL_PREFIX=On \
-DCMAKE_INSTALL_LIBDIR=lib
cmake --build build/release --target install
clingcon --version
The Makefile is meant for development and sets up cmake to use clang-tidy
. It
is also possible to create a compile database to use with linting plugins.
conda install -n clingcon -c conda-forge -c programfan \
compdb libcxx clang-tools
conda activate clingcon
make compdb
With this, plugins like vim-ale should be able to lint the source code while editing.