nixpkgs/pkgs/tools/misc/aspcud/default.nix

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

44 lines
868 B
Nix
Raw Normal View History

2021-09-19 16:55:55 +00:00
{ lib
, stdenv
, fetchFromGitHub
, boost
, catch2
2021-09-19 16:55:55 +00:00
, cmake
, clingo
2021-09-19 16:55:55 +00:00
, re2c
}:
stdenv.mkDerivation rec {
2022-07-29 04:07:40 +00:00
version = "1.9.6";
pname = "aspcud";
2021-09-19 16:55:55 +00:00
src = fetchFromGitHub {
owner = "potassco";
repo = "aspcud";
rev = "v${version}";
2022-07-29 04:07:40 +00:00
hash = "sha256-PdRfpmH7zF5dn+feoijtzdSUjaYhjHwyAUfuYoWCL9E=";
};
postPatch = ''
cp ${catch2}/include/catch2/catch.hpp libcudf/tests/catch.hpp
'';
nativeBuildInputs = [ cmake ];
buildInputs = [ boost clingo re2c ];
2018-02-24 18:45:20 +00:00
cmakeFlags = [
"-DASPCUD_GRINGO_PATH=${clingo}/bin/gringo"
"-DASPCUD_CLASP_PATH=${clingo}/bin/clasp"
2018-02-24 18:45:20 +00:00
];
doCheck = true;
meta = with lib; {
description = "Solver for package problems in CUDF format using ASP";
2018-02-24 18:45:20 +00:00
homepage = "https://potassco.org/aspcud/";
platforms = platforms.all;
maintainers = [ maintainers.hakuch ];
license = licenses.gpl3Plus;
};
}