diff options
| author | Greg Hogan <code@greghogan.com> | 2025-03-11 19:35:08 +0000 |
|---|---|---|
| committer | Greg Hogan <code@greghogan.com> | 2025-07-08 13:41:01 +0000 |
| commit | 2eb02f332721d4a98daf8dc294376019e9f43e42 (patch) | |
| tree | f67ae7734b91125a9330d0d304216cce46e3434d | |
| parent | 2387e4aaab32eb1f7e749173fa449476591934a8 (diff) | |
gnu: python-benchexec: Update to 3.29.
* gnu/packages/benchmark.scm (python-benchexec): Update to 3.29.
[arguments]<#:phases>: Add 'fix-paths phase.
[propagated-inputs]: Add fuse-overlayfs.
[native-inputs]: Add python-setuptools and python-wheel.
Change-Id: I79916bd559fb7019f2953a0f0502d4f0ab9315eb
| -rw-r--r-- | gnu/packages/benchmark.scm | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/gnu/packages/benchmark.scm b/gnu/packages/benchmark.scm index 527d937125d..711244eccaa 100644 --- a/gnu/packages/benchmark.scm +++ b/gnu/packages/benchmark.scm | |||
| @@ -52,10 +52,11 @@ | |||
| 52 | #:use-module (gnu packages compression) | 52 | #:use-module (gnu packages compression) |
| 53 | #:use-module (gnu packages databases) | 53 | #:use-module (gnu packages databases) |
| 54 | #:use-module (gnu packages docbook) | 54 | #:use-module (gnu packages docbook) |
| 55 | #:use-module (gnu packages kde-frameworks) | 55 | #:use-module (gnu packages file-systems) |
| 56 | #:use-module (gnu packages freedesktop) | 56 | #:use-module (gnu packages freedesktop) |
| 57 | #:use-module (gnu packages gl) | 57 | #:use-module (gnu packages gl) |
| 58 | #:use-module (gnu packages graphics) | 58 | #:use-module (gnu packages graphics) |
| 59 | #:use-module (gnu packages kde-frameworks) | ||
| 59 | #:use-module (gnu packages linux) | 60 | #:use-module (gnu packages linux) |
| 60 | #:use-module (gnu packages lua) | 61 | #:use-module (gnu packages lua) |
| 61 | #:use-module (gnu packages maths) | 62 | #:use-module (gnu packages maths) |
| @@ -403,7 +404,7 @@ setup against another one.") | |||
| 403 | (define-public python-benchexec | 404 | (define-public python-benchexec |
| 404 | (package | 405 | (package |
| 405 | (name "python-benchexec") | 406 | (name "python-benchexec") |
| 406 | (version "3.24") | 407 | (version "3.29") |
| 407 | (source | 408 | (source |
| 408 | (origin | 409 | (origin |
| 409 | (method git-fetch) | 410 | (method git-fetch) |
| @@ -412,18 +413,29 @@ setup against another one.") | |||
| 412 | (commit version))) | 413 | (commit version))) |
| 413 | (file-name (git-file-name name version)) | 414 | (file-name (git-file-name name version)) |
| 414 | (sha256 | 415 | (sha256 |
| 415 | (base32 "14yllwinbvifrin29vbm9ibjzswri0isvc6476ygf0whlg90z24j")))) | 416 | (base32 "0vcafk20sg8bwh9qqwf94d6hqk0kq3yhiraknf7jsjisf2mrksjk")))) |
| 416 | (build-system pyproject-build-system) | 417 | (build-system pyproject-build-system) |
| 417 | (arguments | 418 | (arguments |
| 418 | (list | 419 | (list |
| 419 | #:test-flags #~(list "--exclude=runexecutor") | 420 | #:test-flags #~(list "--exclude=runexecutor") |
| 420 | #:phases | 421 | #:phases |
| 421 | #~(modify-phases %standard-phases | 422 | #~(modify-phases %standard-phases |
| 423 | (add-after 'unpack 'fix-paths | ||
| 424 | (lambda* (#:key inputs outputs #:allow-other-keys) | ||
| 425 | (let ((prog (search-input-file inputs "bin/fuse-overlayfs"))) | ||
| 426 | (substitute* "benchexec/container.py" | ||
| 427 | (("shutil.which\\(\"fuse-overlayfs\"\\)") | ||
| 428 | (string-append "\"" prog "\"")))))) | ||
| 422 | (add-before 'check 'skip-failing-tests | 429 | (add-before 'check 'skip-failing-tests |
| 423 | (lambda _ | 430 | (lambda _ |
| 424 | (delete-file-recursively "benchexec/test_integration")))))) | 431 | (delete-file-recursively "benchexec/test_integration")))))) |
| 425 | (propagated-inputs (list python-pyyaml)) | 432 | (propagated-inputs (list fuse-overlayfs python-pyyaml)) |
| 426 | (native-inputs (list coreutils python-lxml python-nose)) | 433 | (native-inputs |
| 434 | (list coreutils | ||
| 435 | python-lxml | ||
| 436 | python-nose | ||
| 437 | python-setuptools | ||
| 438 | python-wheel)) | ||
| 427 | (home-page "https://github.com/sosy-lab/benchexec/") | 439 | (home-page "https://github.com/sosy-lab/benchexec/") |
| 428 | (synopsis "Framework for Reliable Benchmarking") | 440 | (synopsis "Framework for Reliable Benchmarking") |
| 429 | (description | 441 | (description |
