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
Liliana Marie Prikler <liliana.prikler@HIDDEN>
:guix-patches@HIDDEN
.
Full text available.guix-patches@HIDDEN
:bug#72349
; Package guix-patches
.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.