diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2025-07-19 14:54:24 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2025-07-19 15:36:30 +0200 |
| commit | 234505067af66694b35b2c1dec576e11214ba0c1 (patch) | |
| tree | 7f9f2fbef217e07fcdb183b490c4205e9fae9f33 /gnu/packages/debug.scm | |
| parent | a7a0a7bf80d43f7c62207c04ae25ebe19382de98 (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/packages/debug.scm')
| -rw-r--r-- | gnu/packages/debug.scm | 92 |
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 | ||
| 177 | property of interest (such as triggering a compiler bug) and automatically | 179 | property of interest (such as triggering a compiler bug) and automatically |
| 178 | produces a much smaller C/C++ program that has the same property. It is | 180 | produces a much smaller C/C++ program that has the same property. It is |
| 179 | intended for use by people who discover and report bugs in compilers and other | 181 | intended for use by people who discover and report bugs in compilers and other |
| 180 | tools that process C/C++ code.") | 182 | tools 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 |
