diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2017-11-10 13:37:20 +0100 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2017-11-10 14:04:32 +0100 |
commit | 20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77 (patch) | |
tree | 457b1f2564e7a3378df73d018555b331e2115b39 | |
parent | 39c70b3c87d1fed18e5a593c5a4fb77bad30d51b (diff) | |
download | nixlib-20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77.tar nixlib-20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77.tar.gz nixlib-20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77.tar.bz2 nixlib-20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77.tar.lz nixlib-20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77.tar.xz nixlib-20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77.tar.zst nixlib-20b6b3cf0ecab2c580d46c44cdd827bdce4a5f77.zip |
clingo: init at 5.2.2
Note that clasp (included in clingo) is already packaged separately, but only an earlier version. As it is used by OPAM, but will stop being used by OPAM later (and I want to grab the name for Clasp the Common Lisp implementation), I decided to package clingo as a whole (as recommended), but to leave clasp until OPAM stops needing it.
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingo.nix | 24 | ||||
-rw-r--r-- | pkgs/applications/science/logic/potassco/clingo.upstream | 6 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 32 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/potassco/clingo.nix b/pkgs/applications/science/logic/potassco/clingo.nix new file mode 100644 index 000000000000..a73feba97b64 --- /dev/null +++ b/pkgs/applications/science/logic/potassco/clingo.nix @@ -0,0 +1,24 @@ +{stdenv, fetchurl, cmake}: +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "clingo"; + version = "5.2.2"; + + src = fetchurl { + url = "https://github.com/potassco/clingo/releases/v${version}.tar.gz"; + sha256 = "1kxzb385g8p9mqm1x9wvjrigifa09w6vj0wl7kradibm5qagh7ns"; + }; + + buildInputs = []; + nativeBuildInputs = [cmake]; + + meta = { + inherit version; + description = "ASP system to ground and solve logic programs"; + license = stdenv.lib.licenses.mit; + maintainers = [stdenv.lib.maintainers.raskin]; + platforms = stdenv.lib.platforms.linux; + homepage = "https://potassco.org/"; + downloadPage = "https://github.com/potassco/clingo/releases/"; + }; +} diff --git a/pkgs/applications/science/logic/potassco/clingo.upstream b/pkgs/applications/science/logic/potassco/clingo.upstream new file mode 100644 index 000000000000..062577d1451b --- /dev/null +++ b/pkgs/applications/science/logic/potassco/clingo.upstream @@ -0,0 +1,6 @@ +target clingo.nix +attribute_name clingo +url https://github.com/potassco/clingo/releases/ +ensure_choice +version '.*/v([0-9.]+)[.]tar[.].*' '\1' +minimize_overwrite diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 160936af5ae9..4b71653f2552 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -885,6 +885,8 @@ with pkgs; clib = callPackage ../tools/package-management/clib { }; + clingo = callPackage ../applications/science/logic/potassco/clingo.nix { }; + colord-kde = libsForQt5.callPackage ../tools/misc/colord-kde {}; colpack = callPackage ../applications/science/math/colpack { }; |