diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-03-08 21:21:05 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-03-08 21:21:05 +0100 |
| commit | d8fa1890c705ca566a56b69a4880a10dc7cf0098 (patch) | |
| tree | c3f220949e5364d981a4895477249ad46852eea0 /gnu/packages/debug.scm | |
| parent | 5de561a79634e0814ea22f1cfece9a09efa120be (diff) | |
| parent | fee7f8a94ec64943109ba9c37f75c28749fb18bd (diff) | |
| download | patches-d8fa1890c705ca566a56b69a4880a10dc7cf0098.tar patches-d8fa1890c705ca566a56b69a4880a10dc7cf0098.tar.gz | |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/debug.scm')
| -rw-r--r-- | gnu/packages/debug.scm | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm index 6b566b0097..112c656ff8 100644 --- a/gnu/packages/debug.scm +++ b/gnu/packages/debug.scm @@ -1,6 +1,7 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014, 2015, 2016, 2017 Eric Bavier <bavier@member.fsf.org> ;;; Copyright © 2016, 2017, 2018 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -85,10 +86,11 @@ program to exhibit a bug.") ;; home-page pointing to a bsd-2 license. (license bsd-3))) +;; Newer versions depend on LLVM and Clang >= 4, which have yet to be packaged. (define-public c-reduce (package (name "c-reduce") - (version "2.5.0") + (version "2.6.0") (source (origin (method url-fetch) @@ -97,12 +99,12 @@ program to exhibit a bug.") "creduce-" version ".tar.gz"))) (sha256 (base32 - "1r23lhzq3dz8vi2dalxk5las8bf0av2w94hxxbs61pr73m77ik9d")))) + "0pf5q0n8vkdcr1wrkxn2jzxv0xkrir13bwmqfw3jpbm3dh2c3b6d")))) (build-system gnu-build-system) (inputs `(("astyle" ,astyle) - ("llvm" ,llvm) - ("clang" ,clang) + ("llvm" ,llvm-3.9.1) + ("clang" ,clang-3.9.1) ("flex" ,flex) ("indent" ,indent) ("perl" ,perl) @@ -131,7 +133,7 @@ program to exhibit a bug.") "file-which" "getopt-tabular" "regex-common" "sys-cpu"))))) #t))))) - (home-page "http://embed.cs.utah.edu/creduce") + (home-page "https://embed.cs.utah.edu/creduce") (synopsis "Reducer for interesting code") (description "C-Reduce is a tool that takes a large C or C++ program that has a |