diff options
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix')
-rw-r--r-- | nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix b/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix new file mode 100644 index 000000000000..4abfdf9162c0 --- /dev/null +++ b/nixpkgs/pkgs/applications/science/logic/potassco/clingo.nix @@ -0,0 +1,27 @@ +{ stdenv, fetchzip, cmake }: + +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "clingo"; + version = "5.3.0"; + + src = fetchzip { + url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz"; + sha256 = "01czx26p8gv81ahrh650x208hjhd8bx1kb688fmk1m4pw4yg5bfv"; + }; + + buildInputs = []; + nativeBuildInputs = [cmake]; + + cmakeFlags = [ "-DCLINGO_BUILD_WITH_PYTHON=OFF" ]; + + 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.unix; + homepage = "https://potassco.org/"; + downloadPage = "https://github.com/potassco/clingo/releases/"; + }; +} |