futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

gnu: creduce: Upgrade to 2.8.0.

Browse Source 
* gnu/packages/debug.scm (creduce): Upgrade to 2.8.0.
[inputs]: Use llvm-6 and clang-6.  Remove perl-sys-cpu.
[arguments]: Use custom 'check phase.
This commit is contained in:
Eric Bavier 2019-04-11 11:42:44 -05:00
parent 544265acba
commit a6de569ea2
No known key found for this signature in database
GPG Key ID: FD73CAC719D32566
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
gnu/packages/debug.scm
View File

@ -1,5 +1,5 @@
;;; 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, 2019 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> ;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
;;; Copyright © 2018, 2019 Rutger Helling <rhelling@mykolab.com> ;;; Copyright © 2018, 2019 Rutger Helling <rhelling@mykolab.com>
@ -92,11 +92,10 @@ 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.6.0") (version "2.8.0")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
@ -105,12 +104,12 @@ program to exhibit a bug.")
"creduce-" version ".tar.gz"))) "creduce-" version ".tar.gz")))
(sha256 (sha256
(base32 (base32
"0pf5q0n8vkdcr1wrkxn2jzxv0xkrir13bwmqfw3jpbm3dh2c3b6d")))) "1vqx73ymfscvlyig03972a5m7ar3gx2yv6m8c6h2mibz792j5xkp"))))
(build-system gnu-build-system) (build-system gnu-build-system)
(inputs (inputs
`(("astyle" ,astyle) `(("astyle" ,astyle)
("llvm" ,llvm-3.9.1) ("llvm" ,llvm-6)
("clang" ,clang-3.9.1) ("clang" ,clang-6)
("flex" ,flex) ("flex" ,flex)
("indent" ,indent) ("indent" ,indent)
("perl" ,perl) ("perl" ,perl)
@ -118,11 +117,16 @@ program to exhibit a bug.")
("file-which" ,perl-file-which) ("file-which" ,perl-file-which)
("getopt-tabular" ,perl-getopt-tabular) ("getopt-tabular" ,perl-getopt-tabular)
("regex-common" ,perl-regexp-common) ("regex-common" ,perl-regexp-common)
("sys-cpu" ,perl-sys-cpu)
("term-readkey" ,perl-term-readkey))) ("term-readkey" ,perl-term-readkey)))
(arguments (arguments
`(#:phases `(#:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(replace 'check
(lambda _
(with-directory-excursion "tests"
;; Running all tests can take a looong time, and tests 4 and 5
;; require frama-c or kcc. So run just one for sanity.
(invoke "./run_tests" "1"))))
(add-after 'install 'set-load-paths (add-after 'install 'set-load-paths
(lambda* (#:key inputs outputs #:allow-other-keys) (lambda* (#:key inputs outputs #:allow-other-keys)
;; Tell creduce where to find the perl modules it needs. ;; Tell creduce where to find the perl modules it needs.
@ -137,7 +141,7 @@ program to exhibit a bug.")
,(package-version perl))) ,(package-version perl)))
'("term-readkey" "exporter-lite" '("term-readkey" "exporter-lite"
"file-which" "getopt-tabular" "file-which" "getopt-tabular"
"regex-common" "sys-cpu"))))) "regex-common")))))
#t))))) #t)))))
(home-page "https://embed.cs.utah.edu/creduce") (home-page "https://embed.cs.utah.edu/creduce")
(synopsis "Reducer for interesting code") (synopsis "Reducer for interesting code")