summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorNicolas Graves <ngraves@ngraves.fr>2025-07-19 14:54:24 +0200
committerAndreas Enge <andreas@enge.fr>2025-07-19 15:36:30 +0200
commit234505067af66694b35b2c1dec576e11214ba0c1 (patch)
tree7f9f2fbef217e07fcdb183b490c4205e9fae9f33 /gnu
parenta7a0a7bf80d43f7c62207c04ae25ebe19382de98 (diff)
gnu: c-reduce: Update to 2.10.0-0.31e855e.
* gnu/packages/debug.scm (c-reduce): Update to 2.10.0-0.31e855e. [inputs]: Replace llvm-9 by llvm-18 ; clang-9 by clang-18. Change-Id: I00ea28cde580dd18224aec2da54082400364d00f Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/debug.scm92
1 files changed, 47 insertions, 45 deletions
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm
index 53c88eebb0f..a0345d82784 100644
--- a/gnu/packages/debug.scm
+++ b/gnu/packages/debug.scm
@@ -130,55 +130,57 @@ program to exhibit a bug.")
130 (license license:bsd-3))) 130 (license license:bsd-3)))
131 131
132(define-public c-reduce 132(define-public c-reduce
133 (package 133 (let ((commit "31e855e290970cba0286e5032971509c0e7c0a80")
134 (name "c-reduce") 134 (revision "0"))
135 (version "2.10.0") 135 (package
136 (source 136 (name "c-reduce")
137 (origin 137 (version (git-version "2.10.0" revision commit))
138 (method git-fetch) 138 (source
139 (uri (git-reference 139 (origin
140 (url "https://github.com/csmith-project/creduce") 140 (method git-fetch)
141 (commit (string-append "creduce-" version)))) 141 (uri (git-reference
142 (file-name (git-file-name name version)) 142 (url "https://github.com/csmith-project/creduce")
143 (sha256 143 (commit commit)))
144 (base32 "0ygzn32mzqn02wslaw1gwgx498mvfgpgkgir3pp1mgd3k18l3pqr")))) 144 (file-name (git-file-name name version))
145 (build-system gnu-build-system) 145 (sha256
146 (arguments 146 (base32 "1yd3wvnkj7qgn2jj5byp58p3qq04w5d6agagrkgi5z5gb6z4qyqk"))))
147 (list 147 (build-system gnu-build-system)
148 #:phases 148 (arguments
149 #~(modify-phases %standard-phases 149 (list
150 (replace 'check 150 #:phases
151 (lambda _ 151 #~(modify-phases %standard-phases
152 (with-directory-excursion "tests" 152 (replace 'check
153 ;; Running all tests can take a looong time, and tests 4 and 5 153 (lambda _
154 ;; require frama-c or kcc. So run just one for sanity. 154 (with-directory-excursion "tests"
155 (invoke "./run_tests" "1")))) 155 ;; Running all tests can take a looong time, and tests 4 and 5
156 (add-after 'install 'set-load-paths 156 ;; require frama-c or kcc. So run just one for sanity.
157 (lambda _ 157 (invoke "./run_tests" "1"))))
158 ;; Tell creduce where to find the perl modules it needs. 158 (add-after 'install 'set-load-paths
159 (wrap-program (string-append #$output "/bin/creduce") 159 (lambda _
160 `("PERL5LIB" ":" prefix (,(getenv "PERL5LIB"))))))))) 160 ;; Tell creduce where to find the perl modules it needs.
161 (native-inputs (list flex)) 161 (wrap-program (string-append #$output "/bin/creduce")
162 (inputs (list astyle 162 `("PERL5LIB" ":" prefix (,(getenv "PERL5LIB")))))))))
163 bash-minimal ;for wrap-program 163 (native-inputs (list flex))
164 llvm-9 164 (inputs (list astyle
165 clang-9 165 bash-minimal ;for wrap-program
166 indent 166 llvm-18
167 perl 167 clang-18
168 perl-exporter-lite 168 indent
169 perl-file-which 169 perl
170 perl-getopt-tabular 170 perl-exporter-lite
171 perl-regexp-common 171 perl-file-which
172 perl-term-readkey)) 172 perl-getopt-tabular
173 (home-page "https://embed.cs.utah.edu/creduce") 173 perl-regexp-common
174 (synopsis "Reducer for interesting code") 174 perl-term-readkey))
175 (description 175 (home-page "https://embed.cs.utah.edu/creduce")
176 "C-Reduce is a tool that takes a large C or C++ program that has a 176 (synopsis "Reducer for interesting code")
177 (description
178 "C-Reduce is a tool that takes a large C or C++ program that has a
177property of interest (such as triggering a compiler bug) and automatically 179property of interest (such as triggering a compiler bug) and automatically
178produces a much smaller C/C++ program that has the same property. It is 180produces a much smaller C/C++ program that has the same property. It is
179intended for use by people who discover and report bugs in compilers and other 181intended for use by people who discover and report bugs in compilers and other
180tools that process C/C++ code.") 182tools that process C/C++ code.")
181 (license license:ncsa))) 183 (license license:ncsa))))
182 184
183(define-public cppdap 185(define-public cppdap
184 (package 186 (package