dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #36871 from vbgl/clingo-fix-url

Browse Source 
clingo: fix URL
This commit is contained in:
Michael Raskin 2018-03-12 17:34:08 +00:00 committed by GitHub
commit fb5815badf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/applications/science/logic/potassco/clingo.nix
View File

@ -1,23 +1,26 @@
{stdenv, fetchurl, cmake}:
{ stdenv, fetchzip, 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";
src = fetchzip {
url = "https://github.com/potassco/clingo/archive/v${version}.tar.gz";
sha256 = "04rjwpna37gzm8vxr09z3z6ay8y8cxbjd8lga7xvqfpn2l178zjm";
};
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.linux;
platforms = stdenv.lib.platforms.unix;
homepage = "https://potassco.org/";
downloadPage = "https://github.com/potassco/clingo/releases/";
};