gnu: c-reduce: Update to 2.6.0.

* gnu/packages/debug.scm (c-reduce): Update to 2.6.0.
master
Tobias Geerinckx-Rice 2018-03-07 13:27:48 +01:00
parent 30e43e816b
commit 2b30af9541
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 6 additions and 4 deletions

View File

@ -1,6 +1,7 @@
;;; GNU Guix --- Functional package management for GNU ;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2014, 2015, 2016, 2017 Eric Bavier <bavier@member.fsf.org> ;;; Copyright © 2014, 2015, 2016, 2017 Eric Bavier <bavier@member.fsf.org>
;;; Copyright © 2016, 2017, 2018 Efraim Flashner <efraim@flashner.co.il> ;;; 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. ;;; This file is part of GNU Guix.
;;; ;;;
@ -85,10 +86,11 @@ program to exhibit a bug.")
;; home-page pointing to a bsd-2 license. ;; home-page pointing to a bsd-2 license.
(license bsd-3))) (license bsd-3)))
;; Newer versions depend on LLVM and Clang >= 4, which have yet to be packaged.
(define-public c-reduce (define-public c-reduce
(package (package
(name "c-reduce") (name "c-reduce")
(version "2.5.0") (version "2.6.0")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
@ -97,12 +99,12 @@ program to exhibit a bug.")
"creduce-" version ".tar.gz"))) "creduce-" version ".tar.gz")))
(sha256 (sha256
(base32 (base32
"1r23lhzq3dz8vi2dalxk5las8bf0av2w94hxxbs61pr73m77ik9d")))) "0pf5q0n8vkdcr1wrkxn2jzxv0xkrir13bwmqfw3jpbm3dh2c3b6d"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs
`(("astyle" ,astyle) `(("astyle" ,astyle)
("llvm" ,llvm) ("llvm" ,llvm-3.9.1)
("clang" ,clang) ("clang" ,clang-3.9.1)
("flex" ,flex) ("flex" ,flex)
("indent" ,indent) ("indent" ,indent)
("perl" ,perl) ("perl" ,perl)