summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGreg Hogan <code@greghogan.com>2025-03-11 19:35:08 +0000
committerGreg Hogan <code@greghogan.com>2025-07-08 13:41:01 +0000
commit2eb02f332721d4a98daf8dc294376019e9f43e42 (patch)
treef67ae7734b91125a9330d0d304216cce46e3434d
parent2387e4aaab32eb1f7e749173fa449476591934a8 (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.scm22
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