guix_mirror_bot pushed a commit to branch kernel-updates in repository guix.
commit 2387e4aaab32eb1f7e749173fa449476591934a8 Author: Liliana Marie Prikler <[email protected]> AuthorDate: Mon Jul 29 10:32:00 2024 +0200 gnu: Add benchexec. * gnu/packages/benchmark.scm (python-benchexec, benchexec): New variable. Change-Id: I20fb34532c117c1a0abf38c761ef0ff8303c2b5c Signed-off-by: Greg Hogan <[email protected]> --- gnu/packages/benchmark.scm | 40 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) diff --git a/gnu/packages/benchmark.scm b/gnu/packages/benchmark.scm index a851d6b8e0..527d937125 100644 --- a/gnu/packages/benchmark.scm +++ b/gnu/packages/benchmark.scm @@ -400,6 +400,46 @@ reproducible, and easy-to-use manner, making it easy to compare one particular setup against another one.") (license license:gpl3+))) +(define-public python-benchexec + (package + (name "python-benchexec") + (version "3.24") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/sosy-lab/benchexec") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "14yllwinbvifrin29vbm9ibjzswri0isvc6476ygf0whlg90z24j")))) + (build-system pyproject-build-system) + (arguments + (list + #:test-flags #~(list "--exclude=runexecutor") + #:phases + #~(modify-phases %standard-phases + (add-before 'check 'skip-failing-tests + (lambda _ + (delete-file-recursively "benchexec/test_integration")))))) + (propagated-inputs (list python-pyyaml)) + (native-inputs (list coreutils python-lxml python-nose)) + (home-page "https://github.com/sosy-lab/benchexec/") + (synopsis "Framework for Reliable Benchmarking") + (description + "BenchExec is a framework for reliable benchmarking, which takes care +of important low-level details for accurate, precise, and reproducible +measurements. In particular, it makes use of cgroups, kernel namespaces, +and overlay filesystems to restrict interference of the executed tool +with the benchmarking host.") + (license license:asl2.0))) + +(define-public benchexec + (package/inherit python-benchexec + (name "benchexec") + (inputs (package-propagated-inputs python-benchexec)) + (propagated-inputs (list)))) + (define-public python-locust (package (name "python-locust")
