GNU bug report logs - #72349
[PATCH] gnu: Add benchexec.

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Mon, 29 Jul 2024 08:32:02 UTC

Severity: normal

Tags: patch

Full log


Message #8 received at 72349 <at> debbugs.gnu.org (full text, mbox):

From: Greg Hogan <code <at> greghogan.com>
To: 72349 <at> debbugs.gnu.org
Cc: liliana.prikler <at> gmail.com, Greg Hogan <code <at> greghogan.com>
Subject: [PATCH] gnu: python-benchexec: Update to 3.29.
Date: Tue, 11 Mar 2025 19:35:08 +0000
This patch applies onto #72349. Primarily, in running the quickstart
I needed to have fuse-overlayfs installed.

* 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
---
 gnu/packages/benchmark.scm | 20 ++++++++++++++++----
 1 file changed, 16 insertions(+), 4 deletions(-)

diff --git a/gnu/packages/benchmark.scm b/gnu/packages/benchmark.scm
index 64a11530f00..f6b44dd28e5 100644
--- a/gnu/packages/benchmark.scm
+++ b/gnu/packages/benchmark.scm
@@ -53,6 +53,7 @@ (define-module (gnu packages benchmark)
   #:use-module (gnu packages databases)
   #:use-module (gnu packages docbook)
   #:use-module (gnu packages kde-frameworks)
+  #:use-module (gnu packages file-systems)
   #:use-module (gnu packages freedesktop)
   #:use-module (gnu packages gl)
   #:use-module (gnu packages graphics)
@@ -402,7 +403,7 @@ (define-public phoronix-test-suite
 (define-public python-benchexec
   (package
     (name "python-benchexec")
-    (version "3.24")
+    (version "3.29")
     (source
      (origin
        (method git-fetch)
@@ -411,18 +412,29 @@ (define-public python-benchexec
              (commit version)))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "14yllwinbvifrin29vbm9ibjzswri0isvc6476ygf0whlg90z24j"))))
+        (base32 "0vcafk20sg8bwh9qqwf94d6hqk0kq3yhiraknf7jsjisf2mrksjk"))))
     (build-system pyproject-build-system)
     (arguments
      (list
       #:test-flags #~(list "--exclude=runexecutor")
       #:phases
       #~(modify-phases %standard-phases
+          (add-after 'unpack 'fix-paths
+            (lambda* (#:key inputs outputs #:allow-other-keys)
+              (let ((prog (search-input-file inputs "bin/fuse-overlayfs")))
+                (substitute* "benchexec/container.py"
+                  (("shutil.which\\(\"fuse-overlayfs\"\\)")
+                   (string-append "\"" prog "\""))))))
           (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 ))
+    (propagated-inputs (list fuse-overlayfs python-pyyaml))
+    (native-inputs
+     (list coreutils
+           python-lxml
+           python-nose
+           python-setuptools
+           python-wheel))
     (home-page "https://github.com/sosy-lab/benchexec/")
     (synopsis "Framework for Reliable Benchmarking")
     (description

base-commit: 3bf7a0e8c431abfcba51806ee2a3eea9e0865472
prerequisite-patch-id: 5703b4b5ac086b269f01e2b2e197bd129c9172e5
-- 
2.48.1





This bug report was last modified 90 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.