diff options
author | mucaho <mucaho@gmail.com> | 2020-02-21 12:43:11 +0100 |
---|---|---|
committer | mucaho <mucaho@gmail.com> | 2020-03-08 19:21:55 +0100 |
commit | 202c2a8effa549eab4ca3240d2d5bab36ab00fbc (patch) | |
tree | 022b13fe28f68466ecc55e8223c56b24bb89135e /pkgs/applications/science/logic/potassco/clingcon.nix | |
parent | 74ace1f0eba184615e51e42ccff10d98828fffe1 (diff) | |
download | nixpkgs-202c2a8effa549eab4ca3240d2d5bab36ab00fbc.tar nixpkgs-202c2a8effa549eab4ca3240d2d5bab36ab00fbc.tar.gz nixpkgs-202c2a8effa549eab4ca3240d2d5bab36ab00fbc.tar.bz2 nixpkgs-202c2a8effa549eab4ca3240d2d5bab36ab00fbc.tar.lz nixpkgs-202c2a8effa549eab4ca3240d2d5bab36ab00fbc.tar.xz nixpkgs-202c2a8effa549eab4ca3240d2d5bab36ab00fbc.tar.zst nixpkgs-202c2a8effa549eab4ca3240d2d5bab36ab00fbc.zip |
clingcon: init at 3.3.0
Diffstat (limited to 'pkgs/applications/science/logic/potassco/clingcon.nix')
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingcon.nix | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingcon.nix b/pkgs/applications/science/logic/potassco/clingcon.nix new file mode 100644 index 00000000000..1203822d86e --- /dev/null +++ b/pkgs/applications/science/logic/potassco/clingcon.nix @@ -0,0 +1,43 @@ +{ stdenv +, fetchFromGitHub +, cmake +, bison +, re2c +}: + +stdenv.mkDerivation rec { + pname = "clingcon"; + version = "3.3.0"; + + src = fetchFromGitHub { + owner = "potassco"; + repo = "${pname}"; + rev = "v${version}"; + fetchSubmodules = true; + sha256 = "1q7517h10jfvjdk2czq8d6y57r8kr1j1jj2k2ip2qxkpyfigk4rs"; + }; + + # deal with clingcon through git submodules recursively importing + # an outdated version of libpotassco which uses deprecated <xlocale.h> header in .cpp files + postPatch = '' + find ./ -type f -exec sed -i 's/<xlocale.h>/<locale.h>/g' {} \; + ''; + + nativeBuildInputs = [ cmake bison re2c ]; + + cmakeFlags = [ + "-DCLINGCON_MANAGE_RPATH=ON" + "-DCLINGO_BUILD_WITH_PYTHON=OFF" + "-DCLINGO_BUILD_WITH_LUA=OFF" + ]; + + meta = { + inherit version; + description = "Extension of clingo to handle constraints over integers"; + license = stdenv.lib.licenses.gpl3; # for now GPL3, next version MIT! + platforms = stdenv.lib.platforms.unix; + homepage = "https://potassco.org/"; + downloadPage = "https://github.com/potassco/clingcon/releases/"; + changelog = "https://github.com/potassco/clingcon/releases/tag/v${version}"; + }; +} |