From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id 4ExGMm0G+GQ/FgAAauVa8A:P1 (envelope-from ) for ; Wed, 06 Sep 2023 06:56:13 +0200 Received: from aspmx1.migadu.com ([2001:41d0:403:478a::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id 4ExGMm0G+GQ/FgAAauVa8A (envelope-from ) for ; Wed, 06 Sep 2023 06:56:13 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 5E05246FBD for ; Wed, 6 Sep 2023 06:56:13 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=JnhnX221; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1693976173; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=xLhsG9yeXjfNgBWNmH6QkT+0MIwAV3d9m+ye+sO+GXk=; b=BGqDCjhOinRnHeJxBKokei5CmbxL/Idyq8xVigzlZXVJRDpXyKcjEO3AHwU/iwTgAJkRjc JczbHnwnO64MR5q/ugs93RU2voH7H6XwwPftia6esunTjhFUFQGA9i8uZVfZWmTwOsL/IG P6Hu5CZoLh8cb3VBwRTRhXgk+O+5gQGt4bqZ0oc+7tR3toYxZdJsRWkLoP11S6PpmKt7tw 2+6eocFOFLtzIfdPUacRoGiU1pzoTxxU9JfHeqGw+kYjuI+qFOfqdA0xaBlBenH975Jdki CJE4FRUpVhi6z5lDKgOnxKbImjDeTO+R1SQX0AsM7BngA1PjvDS7g1LE4JJcqw== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1693976173; a=rsa-sha256; cv=none; b=Wpy0C/W3a8o8+1n3J1X/5CRo4X4rLeUMZ10GgluCv4V3O5jshq7WY9sTreVt7GWGXG3+cX dV8Kw6Tug0HEns35FT+utfr5977lxdGc57swNR/clmDFoxnH7ukfr4Z814QSW4g6DWXbeS RDWf8BDQnEVCuwB1kk9ATv8nMb41JXhEJdznPnLQ1vykqlBLfY4LhhXOs/GC2vomz8xPbY eHgYnNE5NTQ5vtX6nd/uXI0YNtOfW7OU/QbPxt4sz5+nLl/XR+QmChJdnLKZMT7mt02AwY O1HMLK1ywNLNLIfhskcH26+6zoIO+XubXV5GUJGLrXy8EmYysas3mRJVlE/udA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20221208 header.b=JnhnX221; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qdkaC-0003LX-Ma; Wed, 06 Sep 2023 00:56:04 -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 1qdkaA-0003Jp-6f for guix-patches@gnu.org; Wed, 06 Sep 2023 00:56:02 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qdka9-0006vq-Jb for guix-patches@gnu.org; Wed, 06 Sep 2023 00:56:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qdkaA-0002BS-DA for guix-patches@gnu.org; Wed, 06 Sep 2023 00:56:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#65059] [PATCH] gnu: Add csmith. Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 06 Sep 2023 04:56:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 65059 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Olivier Dion Cc: 65059@debbugs.gnu.org, Olivier Dion , Tobias Geerinckx-Rice , Leo Famulari Received: via spool by 65059-submit@debbugs.gnu.org id=B65059.16939761058313 (code B ref 65059); Wed, 06 Sep 2023 04:56:02 +0000 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 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-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Scanner: mx0.migadu.com X-Migadu-Spam-Score: -5.13 X-Spam-Score: -5.13 X-Migadu-Queue-Id: 5E05246FBD X-TUID: YX/D+h5H8fMB 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