GNU bug report logs - #65059
[PATCH] gnu: Add csmith.

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 65059 in the body.
You can then email your comments to 65059 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Olivier Dion <olivier.dion <at> polymtl.ca>
To: guix-patches <at> gnu.org
Cc: Olivier Dion <odion <at> efficios.com>
Subject: [PATCH] gnu: Add csmith.
Date: Fri,  4 Aug 2023 16:58:57 -0400

From: Olivier Dion <odion <at> efficios.com>

* 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

Message #8 received at 65059 <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Olivier Dion <olivier.dion <at> polymtl.ca>
Cc: 65059 <at> debbugs.gnu.org, Olivier Dion <odion <at> efficios.com>,
 Tobias Geerinckx-Rice <me <at> tobias.gr>, Leo Famulari <leo <at> famulari.name>
Subject: Re: bug#65059: [PATCH] gnu: Add csmith.
Date: Wed, 06 Sep 2023 00:54:53 -0400

Hi there!

Olivier Dion <olivier.dion <at> polymtl.ca> writes:

> From: Olivier Dion <odion <at> efficios.com>
>
> * 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

Message #13 received at 65059 <at> debbugs.gnu.org (full text, mbox):

From: odion <at> efficios.com
To: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>,
 Olivier Dion <olivier.dion <at> polymtl.ca>
Cc: 65059 <at> debbugs.gnu.org, Olivier Dion <odion <at> efficios.com>,
 Tobias Geerinckx-Rice <me <at> tobias.gr>, Leo Famulari <leo <at> famulari.name>
Subject: [PATCH v2] gnu: Add csmith.
Date: Wed,  6 Sep 2023 16:22:09 -0400

From: Olivier Dion <odion <at> efficios.com>

* 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

Message #18 received at 65059-done <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: odion <at> efficios.com
Cc: Olivier Dion <olivier.dion <at> polymtl.ca>, 65059-done <at> debbugs.gnu.org,
 Tobias Geerinckx-Rice <me <at> tobias.gr>, Leo Famulari <leo <at> famulari.name>
Subject: Re: [PATCH v2] gnu: Add csmith.
Date: Wed, 06 Sep 2023 22:33:11 -0400

Hello,

odion <at> efficios.com writes:

> From: Olivier Dion <odion <at> efficios.com>
>
> * gnu/packages/linux.scm (csmith): New variable.

Installed as 21e1ba8a, thanks :-).

-- 
Maxim

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.