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

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix-patches; Reported by: Liliana Marie Prikler <liliana.prikler@HIDDEN>; Keywords: patch; dated Mon, 29 Jul 2024 08:32:02 UTC; Maintainer for guix-patches is guix-patches@HIDDEN.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 29 Jul 2024 08:31:15 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Mon Jul 29 04:31:15 2024
Received: from localhost ([127.0.0.1]:44827 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sYLml-0004Wx-CF
	for submit <at> debbugs.gnu.org; Mon, 29 Jul 2024 04:31:15 -0400
Received: from lists.gnu.org ([209.51.188.17]:54602)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <liliana.prikler@HIDDEN>) id 1sYLmi-0004Wo-79
 for submit <at> debbugs.gnu.org; Mon, 29 Jul 2024 04:31:14 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <liliana.prikler@HIDDEN>)
 id 1sYLmU-0001wV-Ml
 for guix-patches@HIDDEN; Mon, 29 Jul 2024 04:30:59 -0400
Received: from mail-lf1-x144.google.com ([2a00:1450:4864:20::144])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <liliana.prikler@HIDDEN>)
 id 1sYLmS-0000N7-VD
 for guix-patches@HIDDEN; Mon, 29 Jul 2024 04:30:58 -0400
Received: by mail-lf1-x144.google.com with SMTP id
 2adb3069b0e04-52efd855adbso4845001e87.2
 for <guix-patches@HIDDEN>; Mon, 29 Jul 2024 01:30:56 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1722241855; x=1722846655; darn=gnu.org;
 h=mime-version:to:subject:date:from:message-id:from:to:cc:subject
 :date:message-id:reply-to;
 bh=uIruUHH4i9tmoRkIBVi8Ea2ufzM4pAPaHn9jmHcJbAo=;
 b=dinv+9JvptbrAFMuFDQePDeFHOtFXCIvl2rfAN1BzF0XtBuw8F9Y8a0QskD10MYsEs
 tQeyd36TvwolN3TfjnF0e+tG14HqLBHzGMvvoKVw6x7MVG8Vnrko4+G2t6HaiuPAfnj+
 myuCd26l1GiRtY4JD9CQKnemOSfBmkWiALGVBeJpEeych6K3i8Cq1wg5dJQeYMmXDCHO
 d8uqmY7v7g0ahXf/MjJtKQWLcewJMmL3S71EYQitkJ1v5cU8MpuXg5j53sRH/Q/hISvU
 ccX/uB8LSjsPPuS4kgrtlOYjEvO/Gzn511GP2t7MJJKylt5p0CHdt7ek0MSTpCepIpXE
 KRDQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1722241855; x=1722846655;
 h=mime-version:to:subject:date:from:message-id:x-gm-message-state
 :from:to:cc:subject:date:message-id:reply-to;
 bh=uIruUHH4i9tmoRkIBVi8Ea2ufzM4pAPaHn9jmHcJbAo=;
 b=Eng0zgTTjVtwHtOpq9wf6v6XcAQlsP3xudSpuNbcm16Q3NOgCNA7+FILvI2I8L4Fy+
 A7k70W7QQvzREsjmDxJ2+JpJXEoeR8WgHRuc8S6IaayA8WV36Ct8VaqRcXm3O7O/Ee9s
 WPf80ZIOsMox8xUf5gDXAJ70086fMVmr/eWiElOoBlMEhxUxAo+oNOqA19qWEsYsrE58
 o28mx6RF4pEDqMaZPBww26U7mcFNDkkYirJVo6KpSgANCTobl4oYCSNPOFejSJlr0qk9
 MruAq45Ulb0y0tuPwkQSyo51V9t6zTL5fGvrrdTxbRceXqnX767uV3F1VxxOsI0OQdoC
 Yx+A==
X-Gm-Message-State: AOJu0YyK6ozVItlvWU+43oBljfe5gu2acuyI+lbhJBaH3hdGYHK1r1oo
 VDXVPNi7tIsy4Bs01HMWlP6TNvSQpSciTUSH2ca3hV/5xgoMGqwxYIKmKpih
X-Google-Smtp-Source: AGHT+IGcvracYslV6aMNIjgKeyykUki1mbLzzW8wzgvJTeJudzeE7eNQ9w1Ys72Mcrmk2rXumoSugQ==
X-Received: by 2002:ac2:51c7:0:b0:52c:99c9:bef6 with SMTP id
 2adb3069b0e04-5309b26985amr5061346e87.7.1722241854657; 
 Mon, 29 Jul 2024 01:30:54 -0700 (PDT)
Received: from lumine.fritz.box (85-127-20-124.dsl.dynamic.surfer.at.
 [85.127.20.124]) by smtp.gmail.com with ESMTPSA id
 a640c23a62f3a-a7acab594b7sm477343466b.78.2024.07.29.01.30.53
 for <guix-patches@HIDDEN>
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Mon, 29 Jul 2024 01:30:54 -0700 (PDT)
Message-ID: <a05d500e1d474e8c1ad286d2c2ca8fed184e06b3.1722241825.git.liliana.prikler@HIDDEN>
From: Liliana Marie Prikler <liliana.prikler@HIDDEN>
Date: Mon, 29 Jul 2024 10:29:37 +0200
Subject: [PATCH] gnu: Add benchexec.
to: guix-patches@HIDDEN
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-Debbugs-Envelope-To: submit
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





Acknowledgement sent to Liliana Marie Prikler <liliana.prikler@HIDDEN>:
New bug report received and forwarded. Copy sent to guix-patches@HIDDEN. Full text available.
Report forwarded to guix-patches@HIDDEN:
bug#72349; Package guix-patches. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
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.