b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

fast-downward: substitute version, fix buildInputs, minor cleanup

Browse source
This commit is contained in:
Sandro Jäckel 2022-04-16 22:46:45 +02:00
parent 6b9c75bed5
commit f1189d812e
No known key found for this signature in database
GPG key ID: 3AF5A43A3EECC2E5
1 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
pkgs/applications/science/logic/fast-downward/default.nix
View file

@ -7,22 +7,21 @@
, cplex
}:
stdenv.mkDerivation {
stdenv.mkDerivation rec {
pname = "fast-downward";
version = "21.12.0";
src = fetchFromGitHub {
owner = "aibasel";
repo = "downward";
rev = "release-21.12.0";
rev = "release-${version}";
sha256 = "sha256-qc+SaUpIYm7bnOZlHH2mdvUaMBB+VRyOCQM/BOoOaPE=";
};
nativeBuildInputs = [ cmake ];
buildInputs = [ python3 python3.pkgs.wrapPython osi ];
nativeBuildInputs = [ cmake python3.pkgs.wrapPython ];
buildInputs = [ python3 osi ];
cmakeFlags =
lib.optional osi.withCplex [ "-DDOWNWARD_CPLEX_ROOT=${cplex}/cplex" ];
cmakeFlags = lib.optional osi.withCplex [ "-DDOWNWARD_CPLEX_ROOT=${cplex}/cplex" ];
configurePhase = ''
python build.py release
@ -62,7 +61,7 @@ stdenv.mkDerivation {
description = "A domain-independent planning system";
homepage = "https://www.fast-downward.org/";
license = licenses.gpl3Plus;
platforms = with platforms; (linux ++ darwin);
platforms = platforms.unix;
maintainers = with maintainers; [ abbradar ];
};
}