|
|
|
@ -2,6 +2,7 @@ |
|
|
|
|
, stdenv |
|
|
|
|
, fetchFromGitHub |
|
|
|
|
, boost |
|
|
|
|
, catch2 |
|
|
|
|
, clasp |
|
|
|
|
, cmake |
|
|
|
|
, gringo |
|
|
|
@ -19,6 +20,10 @@ stdenv.mkDerivation rec { |
|
|
|
|
hash = "sha256-d04GPMoz6PMGq6iiul0zT1C9Mljdl9uJJ2C8MIwcmaw="; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
postPatch = '' |
|
|
|
|
cp ${catch2}/include/catch2/catch.hpp libcudf/tests/catch.hpp |
|
|
|
|
''; |
|
|
|
|
|
|
|
|
|
nativeBuildInputs = [ cmake ]; |
|
|
|
|
buildInputs = [ boost clasp gringo re2c ]; |
|
|
|
|
|
|
|
|
@ -28,6 +33,8 @@ stdenv.mkDerivation rec { |
|
|
|
|
"-DASPCUD_CLASP_PATH=${clasp}/bin/clasp" |
|
|
|
|
]; |
|
|
|
|
|
|
|
|
|
doCheck = true; |
|
|
|
|
|
|
|
|
|
meta = with lib; { |
|
|
|
|
description = "Solver for package problems in CUDF format using ASP"; |
|
|
|
|
homepage = "https://potassco.org/aspcud/"; |
|
|
|
|