me
/
guix
Archived
1
0
Fork 0
Code

gnu: Add csmith. 

* gnu/packages/linux.scm (csmith): New variable.

Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
Modified-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
master
Olivier Dion 2023-09-06 16:22:09 -04:00 committed by Maxim Cournoyer
parent c21499fce7
commit 21e1ba8a2c
No known key found for this signature in database
GPG Key ID: 1260E46482E63562
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
gnu/packages/linux.scm
View File

@ -141,6 +141,7 @@
#:use-module (gnu packages llvm) #:use-module (gnu packages llvm)
#:use-module (gnu packages lsof) #:use-module (gnu packages lsof)
#:use-module (gnu packages lua) #:use-module (gnu packages lua)
#:use-module (gnu packages m4)
#:use-module (gnu packages man) #:use-module (gnu packages man)
#:use-module (gnu packages maths) #:use-module (gnu packages maths)
#:use-module (gnu packages multiprecision) #:use-module (gnu packages multiprecision)
@ -10363,3 +10364,39 @@ error detection and correction (EDAC).")
against the several transient execution CVEs that were published since early against the several transient execution CVEs that were published since early
2018, and gives guidance as to how to mitigate them.") 2018, and gives guidance as to how to mitigate them.")
(license license:gpl3))) (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
#:tests? #f ;no test suite
;; 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 "The primary purpose of Csmith is to find compiler bugs with
random programs using differential testing.")
(license license:bsd-4)))