GNU logs - #72349, boring messages

Message sent to guix-patches@HIDDEN:

Subject: [bug#72349] [PATCH] gnu: Add benchexec.
Resent-From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Mon, 29 Jul 2024 08:32:02 +0000
Resent-Message-ID: <handler.72349.B.172224187517423 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 72349 <at> debbugs.gnu.org
Message-ID: <a05d500e1d474e8c1ad286d2c2ca8fed184e06b3.1722241825.git.liliana.prikler@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Mon, 29 Jul 2024 10:29:37 +0200
MIME-Version: 1.0
Received-SPF: pass client-ip=2a00:1450:4864:20::144;
 envelope-from=liliana.prikler@HIDDEN; helo=mail-lf1-x144.google.com
X-Spam_score_int: 9
X-Spam_score: 0.9
X-Spam_bar: /
X-Spam_report: (0.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1,
 DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 MALFORMED_FREEMAIL=2.965, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.6 (+)
X-Spam-Report: Spam detection software, running on the system "debbugs.gnu.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 Content preview:  * gnu/packages/benchmark.scm (python-benchexec, benchexec):
 New variable. --- gnu/packages/benchmark.scm | 41
 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+) diff --git a/gnu/packages/benchmark.scm
 b/gnu/packages/benchmark.scm index bfc70c5d3d..207bd8b949 100644 ---
 a/gnu/packages/benchmark.scm
 +++ b/gnu/packages/benchmark.scm @@ -38,6 +38,7 @@ (define-mod [...] 
 Content analysis details:   (1.6 points, 10.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail
 provider (liliana.prikler[at]gmail.com)
 1.0 SPF_SOFTFAIL           SPF: sender does not match SPF record (softfail)
 -0.0 SPF_HELO_PASS          SPF: HELO matches SPF record
 -2.3 RCVD_IN_DNSWL_MED      RBL: Sender listed at https://www.dnswl.org/,
 medium trust [209.51.188.17 listed in list.dnswl.org]
 3.0 MALFORMED_FREEMAIL     Bad headers on message from free email
 service
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 0.6 (/)

* gnu/packages/benchmark.scm (python-benchexec, benchexec): New variable.
---
 gnu/packages/benchmark.scm | 41 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)

diff --git a/gnu/packages/benchmark.scm b/gnu/packages/benchmark.scm
index bfc70c5d3d..207bd8b949 100644
--- a/gnu/packages/benchmark.scm
+++ b/gnu/packages/benchmark.scm
@@ -38,6 +38,7 @@ (define-module (gnu packages benchmark)
   #:use-module (guix build-system cmake)
   #:use-module (guix build-system gnu)
   #:use-module (guix build-system python)
+  #:use-module (guix build-system pyproject)
   #:use-module (guix build-system meson)
   #:use-module (gnu packages)
   #:use-module (gnu packages autotools)
@@ -394,6 +395,46 @@ (define-public phoronix-test-suite
 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")

base-commit: 46a64c7fdd057283063aae6df058579bb07c4b6a
-- 
2.45.2

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Subject: bug#72349: Acknowledgement ([PATCH] gnu: Add benchexec.)
Message-ID: <handler.72349.B.172224187517423.ack <at> debbugs.gnu.org>
References: <a05d500e1d474e8c1ad286d2c2ca8fed184e06b3.1722241825.git.liliana.prikler@HIDDEN>
X-Gnu-PR-Message: ack 72349
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 72349 <at> debbugs.gnu.org
Date: Mon, 29 Jul 2024 08:32:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 72349 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
72349: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D72349
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Last modified: Sun, 12 Jan 2025 05:45:02 UTC

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