movefasta/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-06-10 03:23:29 +03:00
Code Issues Projects Releases Packages Wiki Activity

benchexec: 3.21 → 3.27 (#374278)

Browse source
This commit is contained in:
Colin 2025-03-08 10:49:24 +00:00 • committed by GitHub
commit bdb539f1ed
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
pkgs/by-name/be/benchexec/package.nix
View file

@ -9,17 +9,22 @@
}: }:
python3.pkgs.buildPythonApplication rec { python3.pkgs.buildPythonApplication rec {
pname = "benchexec"; pname = "benchexec";
version = "3.21"; version = "3.27";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "sosy-lab"; owner = "sosy-lab";
repo = "benchexec"; repo = "benchexec";
rev = version; rev = version;
hash = "sha256-bE3brmmLHZQakDKvd47I1hm9Dcsu6DrSeJyjWWtEZWI="; hash = "sha256-lokz7klAQAascij0T/T43/PrbMh6ZUAvFnIqg13pVUk=";
}; };
pyproject = true; pyproject = true;
postPatch = ''
substituteInPlace pyproject.toml \
--replace-fail 'setuptools ==' 'setuptools >='
'';
nativeBuildInputs = with python3.pkgs; [ setuptools ]; nativeBuildInputs = with python3.pkgs; [ setuptools ];
# NOTE: CPU Energy Meter is not added, # NOTE: CPU Energy Meter is not added,