tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 cmake,
6 clingo,
7 catch2,
8}:
9
10stdenv.mkDerivation (finalAttrs: {
11 pname = "clingcon";
12 version = "5.2.1";
13
14 src = fetchFromGitHub {
15 owner = "potassco";
16 repo = "clingcon";
17 tag = "v${finalAttrs.version}";
18 sha256 = "sha256-R2kgcw8VUwhOdvPXnsahT5gnoUd5DXLqfdH++8rFoAA=";
19 };
20
21 postPatch = ''
22 cp ${catch2}/include/catch2/catch.hpp libclingcon/tests/catch.hpp
23 '';
24
25 nativeBuildInputs = [
26 cmake
27 clingo
28 ];
29
30 cmakeFlags = [
31 "-DCLINGCON_MANAGE_RPATH=ON"
32 "-DPYCLINGCON_ENABLE=OFF"
33 "-DCLINGCON_BUILD_TESTS=ON"
34 ];
35
36 doCheck = true;
37
38 meta = {
39 description = "Extension of clingo to handle constraints over integers";
40 mainProgram = "clingcon";
41 license = lib.licenses.mit;
42 platforms = lib.platforms.unix;
43 homepage = "https://potassco.org/";
44 downloadPage = "https://github.com/potassco/clingcon/releases/";
45 changelog = "https://github.com/potassco/clingcon/releases/tag/v${finalAttrs.version}";
46 };
47})