From unknown Sat Jun 14 14:29:17 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#72349] [PATCH] gnu: Add benchexec. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Mon, 29 Jul 2024 08:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 72349 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 72349@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172224187517423 (code B ref -1); Mon, 29 Jul 2024 08:32:02 +0000 Received: (at submit) by debbugs.gnu.org; 29 Jul 2024 08:31:15 +0000 Received: from localhost ([127.0.0.1]:44827 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sYLml-0004Wx-CF for submit@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 ) id 1sYLmi-0004Wo-79 for submit@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 ) id 1sYLmU-0001wV-Ml for guix-patches@gnu.org; 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 ) id 1sYLmS-0000N7-VD for guix-patches@gnu.org; Mon, 29 Jul 2024 04:30:58 -0400 Received: by mail-lf1-x144.google.com with SMTP id 2adb3069b0e04-52efd855adbso4845001e87.2 for ; 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 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 29 Jul 2024 01:30:54 -0700 (PDT) Message-ID: From: Liliana Marie Prikler 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@gmail.com; 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@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" 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 From unknown Sat Jun 14 14:29:17 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#72349] [PATCH] gnu: python-benchexec: Update to 3.29. References: In-Reply-To: Resent-From: Greg Hogan Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 11 Mar 2025 19:36:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72349 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 72349@debbugs.gnu.org Cc: liliana.prikler@gmail.com, Greg Hogan Received: via spool by 72349-submit@debbugs.gnu.org id=B72349.17417217354652 (code B ref 72349); Tue, 11 Mar 2025 19:36:02 +0000 Received: (at 72349) by debbugs.gnu.org; 11 Mar 2025 19:35:35 +0000 Received: from localhost ([127.0.0.1]:45814 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ts5O2-0001Cy-Gy for submit@debbugs.gnu.org; Tue, 11 Mar 2025 15:35:34 -0400 Received: from mail-qv1-xf29.google.com ([2607:f8b0:4864:20::f29]:44308) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1ts5Nz-0001Cj-ER for 72349@debbugs.gnu.org; Tue, 11 Mar 2025 15:35:32 -0400 Received: by mail-qv1-xf29.google.com with SMTP id 6a1803df08f44-6e17d3e92d9so39485406d6.1 for <72349@debbugs.gnu.org>; Tue, 11 Mar 2025 12:35:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=greghogan-com.20230601.gappssmtp.com; s=20230601; t=1741721725; x=1742326525; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=JMzLs2uo5nUaSDiQdKz7gVQbkkN1xBzJ66BdZ/23Xk4=; b=wXoq6vy4VxbAz815/USGvBzSB85kNzeO9OLAbCloX2kZyg5NN57Ws5CyDHOPOus6DD NeQMimP6Iri5wO+73GdzzLQxFpBdRuPltuRbNsp/CvKTAPv8258hlA4AMGdsNoaQAcRf BTe7jFOanoWkRrHCzAcuUtkx/hLvkEhh81JothS0AFBS1ZoCqouE+kjp4RTuZJLehjX/ BwXDAbWcByAXjZRZWCINgndNO9nB2aAQChkxubij/5wFrgCtm4fmuHv1yGoBGE0kG5g4 DHMq4D9rQokeoOuBw9qhjPIoZ9pG85fYRc4E+IiV+LbTVQ5h4kfAzUzUAPu3hoYK2RDH pwPA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1741721725; x=1742326525; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=JMzLs2uo5nUaSDiQdKz7gVQbkkN1xBzJ66BdZ/23Xk4=; b=fkRt4NTedvHG2R/g1Y2jiYCta7h6T3/3dt9k/bQoy4rRyDH44/zBi9SI/gR1ukARxx Mh9pxvFVklo2aFPSGX8hKz/lgX5kANHrlOp0Sh/Iz7iWwlU2O0yokLUbun6bVpwT6qRd 7mAwJZ0/ivFOaAmjvWBoWVIwk3cBYorr24fyBCMYePwx6kkSssWLQ7tCRt/cotF/F5pW jiLBxAR8nQy0HBuPVoOcud9m5isObxVWw1o1FOkeVEUwzS4T0mlSuu3+iZmV2PsRGJDU Kp5lzb0GwP2JcWqJ6VfIKihumW1lVIOoIqqf0De0Zffmu7OFF6FuMuqb9IFVZs+xcKNQ 6yUw== X-Gm-Message-State: AOJu0YwyMWKLCz+HBAADb+WpZYwgRSBSwFAoKsawE8VdoIfW2jHDJJM6 +XZqp5OjcI/MN4C08aO5cF2GPPdcT1HP7gc9DvbECvC5E/hNW/JQCoYBy3OTX0YT3MaGeydL7JH S4IQ= X-Gm-Gg: ASbGncvg8FdyihNb98G0oMPS15IwLh0Vj9z1wkz9klddKHfTMK0fTo4D+oo+S+CIvEG 16dRvcfUDdQ/KyGKqkMd88cnilHyQ3QA1e9NMgxFgY3IZhDyjpgrxCGBBGUpVCNZcpfzg4v5Dj5 L+S1589L///OJAWtA7AE4BhdW42n4yMMh2HzSOU+P6qwsC/hf8Ie4zHii2J2iQ4baErVjhKNE4D b8FeL9m39R801kAnx4lK13zulZVfiJLfJj1BnACbSxE28XPYkKWUntBa4Wt26j4MPXhvSPmx2o/ SdNZS+qlAKI8reT/kFooh008rr/jqlURxhvqaBg+cK0f/nuPmsqR2l6E3gvuRrNRKYDTz3GXF/a selFtBDrB6m0URIhZ2d+Ym2Wu/b8Q7/oE8Z0hg3SyJet+ X-Google-Smtp-Source: AGHT+IEGOqK5LVuFm7WD8iVKeEkJFx3svlCNORTtYJt5/fxORkjNyIn0I5Nj9HU1VGFguvYkHaeDdg== X-Received: by 2002:a05:6214:5190:b0:6e8:9b52:7a1d with SMTP id 6a1803df08f44-6ea2dcf1611mr61506476d6.8.1741721725440; Tue, 11 Mar 2025 12:35:25 -0700 (PDT) Received: from ip-10-117-149-98.evoforge.org (ec2-52-70-167-183.compute-1.amazonaws.com. [52.70.167.183]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-6e8f715b6c1sm75425566d6.83.2025.03.11.12.35.24 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 11 Mar 2025 12:35:24 -0700 (PDT) From: Greg Hogan Date: Tue, 11 Mar 2025 19:35:08 +0000 Message-ID: X-Mailer: git-send-email 2.48.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) 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 From unknown Sat Jun 14 14:29:17 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#72349] [PATCH] gnu: python-benchexec: Update to 3.29. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 12 Mar 2025 07:44:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72349 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Greg Hogan , 72349@debbugs.gnu.org Received: via spool by 72349-submit@debbugs.gnu.org id=B72349.174176543828581 (code B ref 72349); Wed, 12 Mar 2025 07:44:02 +0000 Received: (at 72349) by debbugs.gnu.org; 12 Mar 2025 07:43:58 +0000 Received: from localhost ([127.0.0.1]:47160 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tsGkw-0007Qv-Hu for submit@debbugs.gnu.org; Wed, 12 Mar 2025 03:43:58 -0400 Received: from mail-wm1-x344.google.com ([2a00:1450:4864:20::344]:55609) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1tsGkt-0007QZ-Fe for 72349@debbugs.gnu.org; Wed, 12 Mar 2025 03:43:56 -0400 Received: by mail-wm1-x344.google.com with SMTP id 5b1f17b1804b1-43cebe06e9eso23191205e9.3 for <72349@debbugs.gnu.org>; Wed, 12 Mar 2025 00:43:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1741765428; x=1742370228; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:from:to:cc:subject:date :message-id:reply-to; bh=YG/R7sdP4C9sbAj8HiaCu8gb6KQ2CX0M+uC8WOVVCXQ=; b=Wiz6M433wbd+oTohHiaZqdrROdaNNX54GzSj8iDXRGC3KoaU0szM6GjRz6IPDcL+6I VjY7yQMOpM2+dZOfDlIXg29BBnrfq1JFF0RV1UmuYDMDlcswGyF7Bb/L//A6NM63k9VE IP5N9SPcCyOt37skS8bJZQtB60xkqEeXy1m1NcoI0IE1DOq/4RI3kdf0KS9HqaU5xTn6 1Zxx7Ds0wkUuuMvaUt6o4F2EHAo7fkXa1liG2WCG4nfc/k3M2DNNKz4l1tFIXGcKSuEM bGxkDOjVolT7LG7qpWNgPOqhH8DlCg1r1HEhDy/mUQm0ENc1G8TMXwmKK4VnJ8sgWm1T DTEA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1741765428; x=1742370228; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:to:from:subject:message-id:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=YG/R7sdP4C9sbAj8HiaCu8gb6KQ2CX0M+uC8WOVVCXQ=; b=AV+TaBOVTrHsN+S8eLkntREbcdqjKLKAJ+u4K2r4lZUtwOVw7aA2iyEIhPjmcbKOSe S6FKTxlsmvEs9NReADquvF+RtnLMhQM6NivEh4QZs74sYCsNpdf07tgTN1gwAt7BkVAf Gy1Syby110dBXspDnHIfZSVlOyrd7RfFsuta94kpgNh7/1zaNCgmWooPM1yYZN8gWU8N f7PLFUudeTvjsZQHk4PyPZ5B21O/FkKc81vEJZVnMwkMmsX7DcE4N4IYLCoVhVwuA+Na HymQb0vEOjhlQyIEOn194cercjnPla8+HSV5aDKN9go38wl2KPszp6cpOOJM2M1oL2jk qgAA== X-Forwarded-Encrypted: i=1; AJvYcCX1vqvt3POQjphUAKjbq69E95zItSQrf28w0qk5ZJq3iH95/0E5hPTO3huTHR5L1+ebxNfd0w==@debbugs.gnu.org X-Gm-Message-State: AOJu0YzFUExU8IpVEbuXtBvOCzC+JyQEadiHMnhKNdmLntPfG1utcKie M9Ps8C5cEo3WANd79Ui7ULrge9KrUwHX9Qrs+we0lTd1U+PuJCcmm0B0izvQbw4= X-Gm-Gg: ASbGncsZuHjEQh8hoPK2gsozTLJFBaDnuZG6r4WSaDZOrcTqkIxAOX89m4MzklkAGys ivwEUvuP+WN62EutwO7HuTamvKo7jUo91eO6KL+fRByTZFRs2XQV2d/0aSPWvnjt+u0Ijuc7mSR efE7NzohdB5UvdYYLu9Vat8cHwGNItX2e/+bAzKHhiSFgR0Ky3rOTp6Mv56Q746+lxnwyz6s+Vf eGIB0gbNXFNp1KAQo4p1VHeW1jyMN+1ceu5csOPCmNzXb42cvGSe8fbIHhh0Mqewhy9WHFV0yZ6 7SixnG0/CuaS6KcKOYu7P+6zHpg0SiCV2x+C7+4Gq8ABEM1zllTi44T0OGH07Clz9CheMuZIZCP FP8Y1iFBAkAyxUb32IDGi X-Google-Smtp-Source: AGHT+IFKE/3A2eDpYJGcXjKT313pUpfFzjCy4Hbl9p2IvJMe7Xaslv0Ih7F3e6p1ZPj2Lm6WGcNDqQ== X-Received: by 2002:a05:6000:18a3:b0:391:2f2f:836 with SMTP id ffacd0b85a97d-39132d334a0mr15045799f8f.17.1741765428270; Wed, 12 Mar 2025 00:43:48 -0700 (PDT) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-3912bfdfa52sm19862062f8f.21.2025.03.12.00.43.47 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 12 Mar 2025 00:43:47 -0700 (PDT) Message-ID: <3027bc138f8c86dbb8c0d53cea1075323ed643dd.camel@gmail.com> From: Liliana Marie Prikler Date: Wed, 12 Mar 2025 08:44:54 +0100 In-Reply-To: References: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.54.3 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Am Dienstag, dem 11.03.2025 um 19:35 +0000 schrieb Greg Hogan: > This patch applies onto #72349. Primarily, in running the quickstart > I needed to have fuse-overlayfs installed. >=20 > * 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. >=20 > Change-Id: I79916bd559fb7019f2953a0f0502d4f0ab9315eb Have you checked whether you can enable some more tests with fuse- overlayfs? I refrained from pushing this package because it appeared quite broken. Cheers From unknown Sat Jun 14 14:29:17 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#72349] [PATCH] gnu: python-benchexec: Update to 3.29. Resent-From: Greg Hogan Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 16 Mar 2025 17:20:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72349 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Liliana Marie Prikler Cc: 72349@debbugs.gnu.org Received: via spool by 72349-submit@debbugs.gnu.org id=B72349.174214555716563 (code B ref 72349); Sun, 16 Mar 2025 17:20:03 +0000 Received: (at 72349) by debbugs.gnu.org; 16 Mar 2025 17:19:17 +0000 Received: from localhost ([127.0.0.1]:50568 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ttrds-0004J5-N3 for submit@debbugs.gnu.org; Sun, 16 Mar 2025 13:19:16 -0400 Received: from mail-ot1-x32f.google.com ([2607:f8b0:4864:20::32f]:56684) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1ttrdp-0004Hq-NS for 72349@debbugs.gnu.org; Sun, 16 Mar 2025 13:19:15 -0400 Received: by mail-ot1-x32f.google.com with SMTP id 46e09a7af769-728a433ec30so3860072a34.1 for <72349@debbugs.gnu.org>; Sun, 16 Mar 2025 10:19:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=greghogan-com.20230601.gappssmtp.com; s=20230601; t=1742145548; x=1742750348; darn=debbugs.gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=isz1t5r8wqUy1XESnnHaZKYEfhkFkZSxZs+vhiijg1g=; b=WeKjDmB1TbMgVF5uQQRnsV6cMKkV4QyaXGTNGaWeF8BPLexffosrAVkZj5jPlHufKT oRCXZVyvwKh4HH47eaA9d88YulCRVr6T7fgxbB/eLdnJiGrbhXqAINIlBNUSiOap+nnw e0IFhTdR8BitG9ua3uSehjNDqDL1vFH/WvpF5AvUtinkDLv3PUfBPlbHURo6ynD/ipZ6 aj2v3cZa0rPHN9Ta0qh1a8WfpYSPK7BwA0lqDBfus9HIf7zWxeCrT3TmgutK9p8E2O8i Ic5hRDDFStsZFkQnH3tSdLIOrlGyu6FbL8wATF5a/1v+VDHUbSmUi0Izn9FMPygFabN5 ObQQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1742145548; x=1742750348; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=isz1t5r8wqUy1XESnnHaZKYEfhkFkZSxZs+vhiijg1g=; b=mCLERFyREHuIGpLVRZv1t1y4XXsPc0BYuIzSKXQUGTKqFaed0+egVRz+ONW/srDO1e s7PFlS28jpLj5NpVQAEJBrUrnZDLBwudnPLM4Pq74fREn4dQ5uEUCUj71qrxxo5jbLlU DEj3BeJkzeVk8jnyVlce8kxWcZ3q/iHEFlFRuKtJ1KA6qvy9xWLIyQbnKIfFYDCS0A63 +8pTk7rZYcLNDWqzXpsqX/+n0N4Kyy4+u6vort1D3T09ftiO7Iaw+MstDlw8gU4GcZK9 Z17IOB1SxrzkVGfKXwfSEmwzR3eS9QSBICEw7vg4UQQ8NrQfj4I/xDzNEVlSu0/orCcc hfXQ== X-Gm-Message-State: AOJu0Yxb+c6xQuBqazpB7ANM12RMySu4XJco17OzuPR9n5Yd5+b1tef8 yhcuPNiHHWoPShyedoxH/JTJ9oX/XEbAG077ipcTxACMuJLynXcPf7aICQyRs+ruOthKAO332jp mZIPUl7sAomqzrqo2BAvBspelBnzE2puw68FO0Wt3bgtzsyAt X-Gm-Gg: ASbGncvzsUosjQv9fNDRZPoXX1EPIOlC72h1iW28D7Sa0Qs9kWXBjXyA/F1CI7hYbv2 uwrx7XrGnLAK97clcdB/EMJzsBdMrvRDRJAU2fNxuLQ3XkDmYKIFRnrdb7vGwsJGSekwi1yxwy7 5/2CuYWV/3XaNFVOTEh/dATED8y4pL3eX1bOih X-Google-Smtp-Source: AGHT+IHB+PeJVuxR3lk5mi6D9wbbFTPXBcmbfG0pVnxNNzyKrQn/RKQOgbljcOSWCpoRSdVvcMWNodigHrRypQWyfmc= X-Received: by 2002:a05:6830:2653:b0:72a:13cf:4aa0 with SMTP id 46e09a7af769-72bbc48cc68mr7371709a34.15.1742145547862; Sun, 16 Mar 2025 10:19:07 -0700 (PDT) MIME-Version: 1.0 References: <3027bc138f8c86dbb8c0d53cea1075323ed643dd.camel@gmail.com> In-Reply-To: <3027bc138f8c86dbb8c0d53cea1075323ed643dd.camel@gmail.com> From: Greg Hogan Date: Sun, 16 Mar 2025 13:18:56 -0400 X-Gm-Features: AQ5f1JrEkHSrO7xdsz6TdGKBDgIjdFhihnaAh5a4Gi-ZFnX6YdkFUK4DtyMGulM Message-ID: Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) On Wed, Mar 12, 2025 at 3:43=E2=80=AFAM Liliana Marie Prikler wrote: > > Am Dienstag, dem 11.03.2025 um 19:35 +0000 schrieb Greg Hogan: > > 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 > Have you checked whether you can enable some more tests with fuse- > overlayfs? I refrained from pushing this package because it appeared > quite broken. > > Cheers What do you mean by "pushing this package"? fuse-overlayfs was added in 2022. Tests on which package, benchexec or fuse-overlayfs? From unknown Sat Jun 14 14:29:17 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#72349] [PATCH] gnu: python-benchexec: Update to 3.29. Resent-From: Liliana Marie Prikler Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 16 Mar 2025 17:26:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72349 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Greg Hogan Cc: 72349@debbugs.gnu.org Received: via spool by 72349-submit@debbugs.gnu.org id=B72349.174214591418505 (code B ref 72349); Sun, 16 Mar 2025 17:26:02 +0000 Received: (at 72349) by debbugs.gnu.org; 16 Mar 2025 17:25:14 +0000 Received: from localhost ([127.0.0.1]:50594 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ttrje-0004oM-23 for submit@debbugs.gnu.org; Sun, 16 Mar 2025 13:25:14 -0400 Received: from mail-wm1-x343.google.com ([2a00:1450:4864:20::343]:61478) by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.84_2) (envelope-from ) id 1ttrjb-0004j6-4m for 72349@debbugs.gnu.org; Sun, 16 Mar 2025 13:25:11 -0400 Received: by mail-wm1-x343.google.com with SMTP id 5b1f17b1804b1-43cfe63c592so15274225e9.2 for <72349@debbugs.gnu.org>; Sun, 16 Mar 2025 10:25:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1742145905; x=1742750705; darn=debbugs.gnu.org; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:from:to:cc:subject :date:message-id:reply-to; bh=ikpG5mV5IFQzvuSX05gp54TSRXcpOHxYyNkEo4Tu7C8=; b=E10AvGVGfewZycIiWrCp0MDV8LBPNqww9wBKgwvUS9230dgdrnTIWOjl/At1oB+NvP Vy3bYWp5WDFuL3QbGkc0jZNjl5qI6Mu2O1MmBOnoRUuqzQOn0O6T9vLqFTeLWg1SY/JB Nroc3uowRiS6XUwgm1jQSN04YyAmcAuFlPL9LWdnAZoxaZtA0onTyW2agUYKvRKUqAii Caf0tSJ9qRQmO6mVkRJU1A0ZagB3WefxfTHH5AyDso6dYN+PtLemCkl1b42L//Qi1gPb OXYAJ6wnooM4K3cVXnYO3x/1pGmj75ifu+vbrXReXipLnaXzF4oIb7tBmbn5ciHspncq L5wQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1742145905; x=1742750705; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=ikpG5mV5IFQzvuSX05gp54TSRXcpOHxYyNkEo4Tu7C8=; b=ezQjx16g3t/lJaOjo5zHA4r3kjX1bg1sLybZI3YNGH8Yd9AHdDIeuURXmIWFA5wfLM LTXOU/G3rdoe1XrhkvbGPhTsO1hI3zYsELW0MwkY+LmDuW269tdrgtregzUsrdr0kzO/ NK4zkjHOg7Sw6Zy+wU8sllmuvmskhTfmEVnV8QK//e/zGKKMsfgWX7fgpdStNjoXkl4b hrL+KfUENtogC7uUGOS71ErHI6dpSWefT/32vF4eC800Kc2VffFEKVVCTqN+06eAHojX p9e5WtxEa49rweTxDEv8y8/TeVkPLmJne0NxoOH6z5WFF0fk82UewjcJsal5rW+skCZ/ AeWA== X-Gm-Message-State: AOJu0YyXEUn85tDHIlqMLDSRiPDyvZUtzZo6sQGAQlBGkxZQKrHZGe0T mKLDrKnpqilu6Plbhh/N7mfc7MGS/pt9wbi82cvhCeDpVmohWDOL X-Gm-Gg: ASbGncuR+RrZYF5VjnSbY5CWnBuRzv4+zjBvyZNvS88rsFBvjwS4Qr9tq1r4+JCg2qQ DKMjJvTwaTCbXApYGyquIrE0CZ43M7z8KVcWvmh0Z0xMqUdDRBSRmmAR1eLfioxKxH/xoyyBJS8 6wFw23yzS2gixOxBfPcsOEDoe+MNF5MuCbmV5YCn+L+YDj40NEKaAOP++xLc8K2/2hh25n1x9d5 eZJqiEbQPFTsYIIzYT1JzTKRxhuhs97+XHxFujI0jVcS0r76IaYWB7K+j5b6Wn2iuoUJ+svnKzs dJwjRECnVG5QvV3RnCPQMmDfK4Ex+9phyjp29QbA7TJADMoYAv/cXWuXEK1RBuPSQcJcK8Uw1yL 5R0/yTqtXg3ACGtPfmbkP X-Google-Smtp-Source: AGHT+IGDzJyCihfg2PCjSvjBtqGSUzHvowwU0El8KCB2iZcOfyL18HbZT0s0XioIM0/ggnN2BOgjkQ== X-Received: by 2002:a7b:c5d4:0:b0:43d:22d9:4b8e with SMTP id 5b1f17b1804b1-43d22d94bb6mr99822055e9.10.1742145904611; Sun, 16 Mar 2025 10:25:04 -0700 (PDT) Received: from lumine.fritz.box (85-127-114-32.dsl.dynamic.surfer.at. [85.127.114.32]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-43d1fe609a2sm81834855e9.30.2025.03.16.10.25.03 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 16 Mar 2025 10:25:04 -0700 (PDT) Message-ID: <14f90e6ff4c80ae84f7d4b8ecdf5f4c2c5f76d14.camel@gmail.com> From: Liliana Marie Prikler Date: Sun, 16 Mar 2025 18:26:00 +0100 In-Reply-To: References: <3027bc138f8c86dbb8c0d53cea1075323ed643dd.camel@gmail.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.54.3 MIME-Version: 1.0 X-Spam-Score: 0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Am Sonntag, dem 16.03.2025 um 13:18 -0400 schrieb Greg Hogan: > On Wed, Mar 12, 2025 at 3:43=E2=80=AFAM Liliana Marie Prikler > wrote: > >=20 > > Am Dienstag, dem 11.03.2025 um 19:35 +0000 schrieb Greg Hogan: > > > This patch applies onto #72349. Primarily, in running the > > > quickstart > > > I needed to have fuse-overlayfs installed. > > >=20 > > > * 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. > > >=20 > > > Change-Id: I79916bd559fb7019f2953a0f0502d4f0ab9315eb > > Have you checked whether you can enable some more tests with fuse- > > overlayfs?=C2=A0 I refrained from pushing this package because it > > appeared quite broken. > >=20 > > Cheers >=20 > What do you mean by "pushing this package"? fuse-overlayfs was added > in 2022. Tests on which package, benchexec or fuse-overlayfs? Pardon my brevity, I meant benchexec. As far as I'm aware, it shouldn't yet be pushed to Guix, is it? Cheers