From unknown Fri Jun 20 05:32:58 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#65059 <65059@debbugs.gnu.org> To: bug#65059 <65059@debbugs.gnu.org> Subject: Status: [PATCH] gnu: Add csmith. Reply-To: bug#65059 <65059@debbugs.gnu.org> Date: Fri, 20 Jun 2025 12:32:58 +0000 retitle 65059 [PATCH] gnu: Add csmith. reassign 65059 guix-patches submitter 65059 Olivier Dion severity 65059 normal tag 65059 moreinfo patch thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Aug 04 16:59:35 2023 Received: (at submit) by debbugs.gnu.org; 4 Aug 2023 20:59:35 +0000 Received: from localhost ([127.0.0.1]:54968 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qS1tW-0000IV-Rr for submit@debbugs.gnu.org; Fri, 04 Aug 2023 16:59:35 -0400 Received: from lists.gnu.org ([2001:470:142::17]:40860) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qS1tT-0000IF-Tb for submit@debbugs.gnu.org; Fri, 04 Aug 2023 16:59:33 -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 1qS1tO-00018A-7H for guix-patches@gnu.org; Fri, 04 Aug 2023 16:59:26 -0400 Received: from smtp.polymtl.ca ([132.207.4.11]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qS1tI-00034k-Np for guix-patches@gnu.org; Fri, 04 Aug 2023 16:59:25 -0400 Received: from laura.hitronhub.home (modemcable094.169-200-24.mc.videotron.ca [24.200.169.94]) (authenticated bits=0) by smtp.polymtl.ca (8.14.7/8.14.7) with ESMTP id 374Kx44p014464 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Fri, 4 Aug 2023 16:59:11 -0400 DKIM-Filter: OpenDKIM Filter v2.11.0 smtp.polymtl.ca 374Kx44p014464 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=polymtl.ca; s=default; t=1691182752; bh=Iz+R3Ajj5xpc27sQt9iUsWhSiifBnU2Ne66y2f5ryDA=; h=From:To:Cc:Subject:Date:From; b=ibARTBbRwo1zIEvLZR1/Te/MgdGscPkQdEb93NK8hB5AmZwKo2ioVTbg1uF6MYNMy aLWguHLHPWnoQDoPEDyfCqlIwbza3XyYel/47LTmfkOh9D/12QxczKfeCsr0EHxmsF K4hwrN38j9Lzu2Q44FnNcA1Q7GgkpAOgJtrmNFAQ= From: Olivier Dion To: guix-patches@gnu.org Subject: [PATCH] gnu: Add csmith. Date: Fri, 4 Aug 2023 16:58:57 -0400 Message-ID: X-Mailer: git-send-email 2.41.0 MIME-Version: 1.0 X-Debbugs-Cc: Leo Famulari , Tobias Geerinckx-Rice Content-Transfer-Encoding: 8bit X-Poly-FromMTA: (modemcable094.169-200-24.mc.videotron.ca [24.200.169.94]) at Fri, 4 Aug 2023 20:59:04 +0000 Received-SPF: pass client-ip=132.207.4.11; envelope-from=olivier.dion@polymtl.ca; helo=smtp.polymtl.ca X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit Cc: Olivier Dion 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.0 (/) From: Olivier Dion * gnu/packages/linux.scm (csmith): New variable. --- gnu/packages/linux.scm | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 3aec03a3ec..84ccf5bb13 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -139,6 +139,7 @@ (define-module (gnu packages linux) #:use-module (gnu packages llvm) #:use-module (gnu packages lsof) #:use-module (gnu packages lua) + #:use-module (gnu packages m4) #:use-module (gnu packages man) #:use-module (gnu packages maths) #:use-module (gnu packages multiprecision) @@ -10418,3 +10419,39 @@ (define-public spectre-meltdown-checker against the several transient execution CVEs that were published since early 2018, and gives guidance as to how to mitigate them.") (license license:gpl3))) + +(define-public csmith + (package + (name "csmith") + (version "2.3.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/csmith-project/csmith") + (commit (string-append "csmith-" version)))) + (sha256 + (base32 + "0nhrsnv6cny14xz68qb1h30fbwc05adkisk51p3x63mydm60ddl3")))) + (build-system gnu-build-system) + (native-inputs + (list autoconf automake libtool m4 perl)) + (arguments + (list + ;; There is no tests. + #:tests? #f + ;; Do not install headers under include/csmith-VERSION but in include/csmith + #:phases + `(modify-phases %standard-phases + (add-after 'unpack 'patch-includedir + (lambda _ + (substitute* "runtime/Makefile.am" + (("\\$\\(includedir\\)/\\$\\(PACKAGE\\)-\\$\\(VERSION\\)") + "$(includedir)/$(PACKAGE)")))) + (replace 'bootstrap + (lambda _ + (invoke "autoreconf" "-vfi")))))) + (home-page "https://github.com/csmith-project/csmith") + (synopsis "Random generator of C programs") + (description "Csmith primary purpose is to find compiler bugs with random +programs using differential testing.") + (license license:bsd-4))) base-commit: 17fadbb5ea3b35f962ab1bcd5b8cf4e1d699eb7e -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Sep 06 00:55:05 2023 Received: (at 65059) by debbugs.gnu.org; 6 Sep 2023 04:55:05 +0000 Received: from localhost ([127.0.0.1]:60542 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qdkZF-0002A0-49 for submit@debbugs.gnu.org; Wed, 06 Sep 2023 00:55:05 -0400 Received: from mail-qv1-xf2e.google.com ([2607:f8b0:4864:20::f2e]:59607) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qdkZC-00029M-3I for 65059@debbugs.gnu.org; Wed, 06 Sep 2023 00:55:03 -0400 Received: by mail-qv1-xf2e.google.com with SMTP id 6a1803df08f44-64bb576b8abso16376236d6.2 for <65059@debbugs.gnu.org>; Tue, 05 Sep 2023 21:55:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1693976095; x=1694580895; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=xLhsG9yeXjfNgBWNmH6QkT+0MIwAV3d9m+ye+sO+GXk=; b=JnhnX221JLm/+ocm66qxLcqHuAbCJalabprVptP7PZJRu30Ernz97VXxG3FVN5CN3e GL1Da/rq0tqgBt1Y8c8tzH+0Vb8QKvgj8ONgjpKqAkASHebMH4dhjpEDvSAdydm4OUpR sdT3VHRIKjYUracboP9O9rd3ac/Wh0dWobN3Jx30iE3jp65fu8D43RfVgwjiGSPUafx+ lv9FvlOYJD9FkOP3PvMu2YoD8K9dI+AwYNdqsprZxR7ohoy4H13r11jQZvuHwqP8g/tL N2wW9pJ0NTKv+C9yHX3CN+eaVKEm4dZDoAkasETLReX0vRCLe5yQxzkI0etKYO2EMPJ4 2xYQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693976095; x=1694580895; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=xLhsG9yeXjfNgBWNmH6QkT+0MIwAV3d9m+ye+sO+GXk=; b=Sys/nuX6WOCtSOIHxpyklpuy5n425YuHY++FWSkZrh9qYNDHFL/VtALiBKCULjkzjx piwq5ukvC01/dHsIdkZ+UyJsqNb0yfBgFjQySi630Lfo2Bu9bRenGFepAz5jtK6z5cwc 9x1bW4Fpwpn4qQCN+U8qpTpjC7d41TMMHLyhtfGPx7tVK5kgWcvwtA6zEnOIRiDlI4a7 Fcp++M9D9KVRKCCzfhTpFtTz905xRpjgya030O8jwNKMjI9Mhcmk4Bkp183uDMaPPh1q eK9HbPpip91s2XuqH8+fvjFUilxiBvciGuyOyJ2NJRPm4HFDTcrDVx0PBWHY4KvUSUL6 ykFQ== X-Gm-Message-State: AOJu0Ywgm2zgHB2GMNOfTI86scoFlbDKidgdH7+QU4e7NKkQI+FPmUpH W2woEzbLliT7dotlMIXEqak= X-Google-Smtp-Source: AGHT+IE+5W+43mK9gmoqtYdQyf1Lo9nbNJH951ua9yZF8o+fVLXoSUWCksQSEJtS+kD4NSYxUtdmaQ== X-Received: by 2002:a0c:e303:0:b0:647:18a7:2e28 with SMTP id s3-20020a0ce303000000b0064718a72e28mr13902164qvl.61.1693976095542; Tue, 05 Sep 2023 21:54:55 -0700 (PDT) Received: from hurd (dsl-153-125.b2b2c.ca. [66.158.153.125]) by smtp.gmail.com with ESMTPSA id i29-20020a0cab5d000000b0064713c8fab7sm5156556qvb.59.2023.09.05.21.54.54 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 05 Sep 2023 21:54:54 -0700 (PDT) From: Maxim Cournoyer To: Olivier Dion Subject: Re: bug#65059: [PATCH] gnu: Add csmith. References: Date: Wed, 06 Sep 2023 00:54:53 -0400 In-Reply-To: (Olivier Dion's message of "Fri, 4 Aug 2023 16:58:57 -0400") Message-ID: <87h6o79a02.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 65059 Cc: 65059@debbugs.gnu.org, Olivier Dion , Tobias Geerinckx-Rice , Leo Famulari 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 (-) Hi there! Olivier Dion writes: > From: Olivier Dion > > * gnu/packages/linux.scm (csmith): New variable. > --- > gnu/packages/linux.scm | 37 +++++++++++++++++++++++++++++++++++++ > 1 file changed, 37 insertions(+) > > diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm > index 3aec03a3ec..84ccf5bb13 100644 > --- a/gnu/packages/linux.scm > +++ b/gnu/packages/linux.scm > @@ -139,6 +139,7 @@ (define-module (gnu packages linux) > #:use-module (gnu packages llvm) > #:use-module (gnu packages lsof) > #:use-module (gnu packages lua) > + #:use-module (gnu packages m4) > #:use-module (gnu packages man) > #:use-module (gnu packages maths) > #:use-module (gnu packages multiprecision) > @@ -10418,3 +10419,39 @@ (define-public spectre-meltdown-checker > against the several transient execution CVEs that were published since early > 2018, and gives guidance as to how to mitigate them.") > (license license:gpl3))) > + > +(define-public csmith > + (package > + (name "csmith") > + (version "2.3.0") > + (source (origin > + (method git-fetch) > + (uri (git-reference > + (url "https://github.com/csmith-project/csmith") > + (commit (string-append "csmith-" version)))) > + (sha256 > + (base32 > + "0nhrsnv6cny14xz68qb1h30fbwc05adkisk51p3x63mydm60ddl3")))) > + (build-system gnu-build-system) > + (native-inputs > + (list autoconf automake libtool m4 perl)) > + (arguments > + (list > + ;; There is no tests. > + #:tests? #f > + ;; Do not install headers under include/csmith-VERSION but in include/csmith Please keep line width under 80 chars; end with trailing period. > + #:phases > + `(modify-phases %standard-phases > + (add-after 'unpack 'patch-includedir > + (lambda _ > + (substitute* "runtime/Makefile.am" > + (("\\$\\(includedir\\)/\\$\\(PACKAGE\\)-\\$\\(VERSION\\)") > + "$(includedir)/$(PACKAGE)")))) > + (replace 'bootstrap > + (lambda _ > + (invoke "autoreconf" "-vfi")))))) Insteadof replacing bootstrap you can just (delete-file "configure") to have it recreated. > + (home-page "https://github.com/csmith-project/csmith") > + (synopsis "Random generator of C programs") > + (description "Csmith primary purpose is to find compiler bugs with random > +programs using differential testing.") Csmith's or The primary purpose of The rest LGTM. Could you send a v2? -- Thanks, Maxim From debbugs-submit-bounces@debbugs.gnu.org Wed Sep 06 00:55:07 2023 Received: (at control) by debbugs.gnu.org; 6 Sep 2023 04:55:07 +0000 Received: from localhost ([127.0.0.1]:60545 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qdkZH-0002AF-Jg for submit@debbugs.gnu.org; Wed, 06 Sep 2023 00:55:07 -0400 Received: from mail-qt1-x834.google.com ([2607:f8b0:4864:20::834]:48241) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qdkZF-00029S-JQ for control@debbugs.gnu.org; Wed, 06 Sep 2023 00:55:06 -0400 Received: by mail-qt1-x834.google.com with SMTP id d75a77b69052e-4122129390eso19669151cf.0 for ; Tue, 05 Sep 2023 21:55:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1693976099; x=1694580899; darn=debbugs.gnu.org; h=subject:from:to:message-id:date:from:to:cc:subject:date:message-id :reply-to; bh=u8VhCXKJI1GzVAANImWy7JyKDNTNXTsxivhfWeALXDQ=; b=a1pZgxIOy5xoqVPsx/hyWzesqCACMC4aTU484vgC2kkOyUYDQmpSD5NSpPA7Fr/eHt FRinZQqbrYKyX2zr9NGCdPZIuQTvdaMC8DioKZ3Hi40Z5FrPCbCdl/MCjSpU4/bgeQs3 s15cusR9axu4TtVe90kd27UQ7ZS/oWzbQiSkONWBoW3vE9Ho1z3GRYycjYAEA+U2Rlry tyyaHY3hw33TtuoDRjxbwiWFX205k2Dn6+9SAnlMdhxPPHheCV1X8UAFTOUUzQYN7tmZ 1IsWvNxN/W09AiKkbRAhUNEexDeCF1jLz4xtoYPbYU0mpkOcYEBwxzIrfLuZ3y6nA8g+ 379Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1693976099; x=1694580899; h=subject:from:to:message-id:date:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=u8VhCXKJI1GzVAANImWy7JyKDNTNXTsxivhfWeALXDQ=; b=RvmJ9A3pzlOt93EINz4ETMXyRbxr8pXT0SKhEx3pWUWPkuqLXUBu8lddrwTwxC8zvg TfNi+YGfMpr7UAZ1+UxzK54f4WU2Z/NVVS7Rs4uQmJxaeSGwgPx6URXp2syQb1Y71rw4 UGNVmyY+X7eY/ai9+ZKucRwXq79WL39HqKENwPRnKIbYnirs44rFgr39XtEDzLNPgdN2 ZjpZmEq8MJkfG0gGM7eZ554W2u5+IJsGgkMJXZC/Rb0maCNVAvKwl8sQ/n/qOM0U3VwD lziGqFGRBz0qIWCR4aU3XXQyBkilq2aU/k6/VKK2AGdJyJfWBkJeF6jdI8Soaz/x+4aV jVtQ== X-Gm-Message-State: AOJu0YzVkfwFjhS0tvT3EYBaEfx3WqhslwgaogZAStAM0VL3noM7Yr5n G02hNAGzF6RTMCvWvqisaEs3BuU8vLCFMg== X-Google-Smtp-Source: AGHT+IFXJh95OLO9GH/ORbX5m4YqCvixqblXiMrlrm6WUYwIMqrKOhTro8E/naJjexu+UcL4nBFhAw== X-Received: by 2002:a0c:f1d2:0:b0:64f:4c7c:2e13 with SMTP id u18-20020a0cf1d2000000b0064f4c7c2e13mr13298862qvl.9.1693976099037; Tue, 05 Sep 2023 21:54:59 -0700 (PDT) Received: from hurd (dsl-153-125.b2b2c.ca. [66.158.153.125]) by smtp.gmail.com with ESMTPSA id c30-20020a0ca9de000000b0064f70a860d8sm5179830qvb.41.2023.09.05.21.54.58 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 05 Sep 2023 21:54:58 -0700 (PDT) Date: Wed, 06 Sep 2023 00:54:57 -0400 Message-Id: <87fs3r99zy.fsf@gmail.com> To: control@debbugs.gnu.org From: Maxim Cournoyer Subject: control message for bug #65059 X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control 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 (-) tags 65059 + moreinfo quit From debbugs-submit-bounces@debbugs.gnu.org Wed Sep 06 16:22:25 2023 Received: (at 65059) by debbugs.gnu.org; 6 Sep 2023 20:22:25 +0000 Received: from localhost ([127.0.0.1]:37809 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qdz2f-00042I-3Y for submit@debbugs.gnu.org; Wed, 06 Sep 2023 16:22:25 -0400 Received: from [2607:5300:203:b2ee::31e5] (port=50666 helo=smtpout.efficios.com) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qdz2b-000423-TZ for 65059@debbugs.gnu.org; Wed, 06 Sep 2023 16:22:23 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=efficios.com; s=smtpout1; t=1694031733; bh=vAOl1NawoVUSLfGR00DVAnaDtbxBCQGHKGWLuFoSCHU=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=RkCQzcj60fCL5u0e2cJ/2NyAGEARU37bFZW9Vl4lZ3sEAMy1itnu9VJgbfMRuqs6f yV4ZBg+ZJzkdu0R6peNs+I4pMPILgMq+9R3GxPaLF3dGSnkaRuZs8SVnhdoy1VHvDA qO6JShJ3imEKrZhJHF9rNHUGUq/0qwTIVk0o7Msqd/+0e4YqgNWCoou4f82pZPqjZB iQ4+dRgv1vOWsk7fdIwJbB9aOOGtKx8W5AN1CaU3W5VzJL142aGiwayfQ9/VARxLZ5 cpZBlJHFrhzTkzynFmU8HhmvV3kRTY6CfYU2Z1AFI389/qbABlQMvFI6tN1qj7w6gP MMZMN/8S7IVng== Received: from laura.hitronhub.home (modemcable094.169-200-24.mc.videotron.ca [24.200.169.94]) by smtpout.efficios.com (Postfix) with ESMTPSA id 4Rgv1K5jndz1Np0; Wed, 6 Sep 2023 16:22:13 -0400 (EDT) From: odion@efficios.com To: Maxim Cournoyer , Olivier Dion Subject: [PATCH v2] gnu: Add csmith. Date: Wed, 6 Sep 2023 16:22:09 -0400 Message-ID: <757a92ff2b967614779df2f4c564b96520a2af5a.1694030940.git.olivier.dion@polymtl.ca> X-Mailer: git-send-email 2.41.0 In-Reply-To: <87h6o79a02.fsf@gmail.com> References: <87h6o79a02.fsf@gmail.com> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Score: 1.3 (+) 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: From: Olivier Dion * gnu/packages/linux.scm (csmith): New variable. --- gnu/packages/linux.scm | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 2a3fd82891..121ea89fb5 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -141,6 +141,7 @@ (define-module (gnu packa [...] Content analysis details: (1.3 points, 10.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -0.0 SPF_PASS SPF: sender matches SPF record 0.0 SPF_HELO_NONE SPF: HELO does not publish an SPF Record 1.3 RDNS_NONE Delivered to internal network by a host with no rDNS X-Debbugs-Envelope-To: 65059 Cc: 65059@debbugs.gnu.org, Olivier Dion , Tobias Geerinckx-Rice , Leo Famulari 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.3 (/) From: Olivier Dion * gnu/packages/linux.scm (csmith): New variable. --- gnu/packages/linux.scm | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 2a3fd82891..121ea89fb5 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -141,6 +141,7 @@ (define-module (gnu packages linux) #:use-module (gnu packages llvm) #:use-module (gnu packages lsof) #:use-module (gnu packages lua) + #:use-module (gnu packages m4) #:use-module (gnu packages man) #:use-module (gnu packages maths) #:use-module (gnu packages multiprecision) @@ -10363,3 +10364,40 @@ (define-public spectre-meltdown-checker against the several transient execution CVEs that were published since early 2018, and gives guidance as to how to mitigate them.") (license license:gpl3))) + +(define-public csmith + (package + (name "csmith") + (version "2.3.0") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/csmith-project/csmith") + (commit (string-append "csmith-" version)))) + (sha256 + (base32 + "0nhrsnv6cny14xz68qb1h30fbwc05adkisk51p3x63mydm60ddl3")))) + (build-system gnu-build-system) + (native-inputs + (list autoconf automake libtool m4 perl)) + (arguments + (list + ;; There is no tests. + #:tests? #f + ;; Do not install headers under include/csmith-VERSION but in + ;; include/csmith + #:phases + `(modify-phases %standard-phases + (add-after 'unpack 'patch-includedir + (lambda _ + (substitute* "runtime/Makefile.am" + (("\\$\\(includedir\\)/\\$\\(PACKAGE\\)-\\$\\(VERSION\\)") + "$(includedir)/$(PACKAGE)")))) + (add-before 'bootstrap 'force-bootstrap + (lambda _ + (delete-file "configure")))))) + (home-page "https://github.com/csmith-project/csmith") + (synopsis "Random generator of C programs") + (description "Csmith's primary purpose is to find compiler bugs with +random programs using differential testing.") + (license license:bsd-4))) base-commit: 65dcfb3f3865d08467da747041263fd22460d393 -- 2.41.0 From debbugs-submit-bounces@debbugs.gnu.org Wed Sep 06 22:33:23 2023 Received: (at 65059-done) by debbugs.gnu.org; 7 Sep 2023 02:33:23 +0000 Received: from localhost ([127.0.0.1]:38220 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qe4pf-0007OW-AG for submit@debbugs.gnu.org; Wed, 06 Sep 2023 22:33:23 -0400 Received: from mail-qv1-xf2d.google.com ([2607:f8b0:4864:20::f2d]:49372) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qe4pc-0007OI-H5 for 65059-done@debbugs.gnu.org; Wed, 06 Sep 2023 22:33:22 -0400 Received: by mail-qv1-xf2d.google.com with SMTP id 6a1803df08f44-6490c2c4702so2715886d6.2 for <65059-done@debbugs.gnu.org>; Wed, 06 Sep 2023 19:33:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1694053993; x=1694658793; darn=debbugs.gnu.org; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=D39xjRPiFIVlRsHfDdf8tXSWM0wIISmeCZCn1fWt24E=; b=Pkdt+AKaoiRFiVljkeQ6dg8DMRwt12kG6XDHa3MZbadQpm3Ykj5rC7vJZIDeBVXRry MLzNWMkDmi2G7VrLrcuDCzAPs4qPI+hen5cErdx2BNOgdEaI1CwO3wVB/5ZBgdA0KbZr PVjfH0lsdd2VHfAeabI0YPoYgbYcKdVCOimA7H2IV7t7SludBbXegEofPu3cXjHl/U7X ZUpUiL1r40knhuX2O8HlDotOc6M992JYxEpIoGFNOZwnt+UQHk/me4TgSnCv3vOp8dTz MNeIEpV1RQKz8TbgaENHFUWfREzZ1FGfexKGWT8r4dVthyP7Q1FyRVw4xawBtwLxohfi Y/wg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1694053993; x=1694658793; h=mime-version:user-agent:message-id:in-reply-to:date:references :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=D39xjRPiFIVlRsHfDdf8tXSWM0wIISmeCZCn1fWt24E=; b=Gli2p+MxFbxoSgsc1B9cbiZOhpPWxYOWPH/NbTxLXsrLL7LgR0/bSD/GwKn6tvqk3K TA/q9UeHxJwcQKCKqG4PD/ziQ3MB6MZmmib1Kp+Hj4bVrSN0s7Tf26DsuXOPv8KFklJX SAXmq/4dMi/wShMtYvRD+TOBAOfrX1chJ/RB1qeV/Fb4QK7N2ujT+RVfYMDBtD9+W2/o fEKCCIQ7IooXLYeaneOKKidz36v43TRl3y7jpZMdMruoYm36OjkRGrrU2EaCj/EQAiW6 3FfH/GEyByi+5OIEk3s7QrOQmnH0xu2Yps5V/tw9aQhJItpzyKPkGWMv/T0absusbMt2 ViiA== X-Gm-Message-State: AOJu0YzBS+ALhBcHmw6IroQ66vGXFptqpdUUDZQMNMDXM6qbmrP1EaoZ 3mUD+TIqhH1jeVml1tqZU4k= X-Google-Smtp-Source: AGHT+IFMj6j40zcxqRKj0ycgjnh1URI04NUWOq17xArI6lAbPqFcfGHCj3yggvhUQwaBMQbSOm9Ybw== X-Received: by 2002:a0c:f34f:0:b0:655:935b:ca85 with SMTP id e15-20020a0cf34f000000b00655935bca85mr5968880qvm.48.1694053993427; Wed, 06 Sep 2023 19:33:13 -0700 (PDT) Received: from hurd (dsl-153-125.b2b2c.ca. [66.158.153.125]) by smtp.gmail.com with ESMTPSA id g25-20020a0caad9000000b0064f778c8165sm5917923qvb.64.2023.09.06.19.33.12 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 06 Sep 2023 19:33:12 -0700 (PDT) From: Maxim Cournoyer To: odion@efficios.com Subject: Re: [PATCH v2] gnu: Add csmith. References: <87h6o79a02.fsf@gmail.com> <757a92ff2b967614779df2f4c564b96520a2af5a.1694030940.git.olivier.dion@polymtl.ca> Date: Wed, 06 Sep 2023 22:33:11 -0400 In-Reply-To: <757a92ff2b967614779df2f4c564b96520a2af5a.1694030940.git.olivier.dion@polymtl.ca> (odion@efficios.com's message of "Wed, 6 Sep 2023 16:22:09 -0400") Message-ID: <87o7ieogpk.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 65059-done Cc: Olivier Dion , 65059-done@debbugs.gnu.org, Tobias Geerinckx-Rice , Leo Famulari 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 (-) Hello, odion@efficios.com writes: > From: Olivier Dion > > * gnu/packages/linux.scm (csmith): New variable. Installed as 21e1ba8a, thanks :-). -- Maxim From unknown Fri Jun 20 05:32:58 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Thu, 05 Oct 2023 11:24:11 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator