From: odion@efficios.com
To: Maxim Cournoyer <maxim.cournoyer@gmail.com>,
Olivier Dion <olivier.dion@polymtl.ca>
Cc: 65059@debbugs.gnu.org, Olivier Dion <odion@efficios.com>,
Tobias Geerinckx-Rice <me@tobias.gr>,
Leo Famulari <leo@famulari.name>
Subject: [bug#65059] [PATCH v2] gnu: Add csmith.
Date: Wed, 6 Sep 2023 16:22:09 -0400 [thread overview]
Message-ID: <757a92ff2b967614779df2f4c564b96520a2af5a.1694030940.git.olivier.dion@polymtl.ca> (raw)
In-Reply-To: <87h6o79a02.fsf@gmail.com>
From: Olivier Dion <odion@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
next prev parent reply other threads:[~2023-09-06 20:23 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-08-04 20:58 [bug#65059] [PATCH] gnu: Add csmith Olivier Dion
2023-09-06 4:54 ` Maxim Cournoyer
2023-09-06 20:22 ` odion [this message]
2023-09-07 2:33 ` bug#65059: [PATCH v2] " Maxim Cournoyer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=757a92ff2b967614779df2f4c564b96520a2af5a.1694030940.git.olivier.dion@polymtl.ca \
--to=odion@efficios.com \
--cc=65059@debbugs.gnu.org \
--cc=leo@famulari.name \
--cc=maxim.cournoyer@gmail.com \
--cc=me@tobias.gr \
--cc=olivier.dion@polymtl.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.