nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gnu: julia: Build with zlib. 

* gnu/packages/julia.scm (julia)[inputs]: Add zlib.
This commit is contained in:
Efraim Flashner 2016-07-20 09:11:16 +03:00
parent 885fa1eec5
commit 95bf72eeb0
No known key found for this signature in database
GPG Key ID: F4C1D3917EACEE93
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gnu/packages/debug.scm
View File

@ -1,5 +1,6 @@
;;; GNU Guix --- Functional package management for GNU ;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2014, 2015, 2016 Eric Bavier <bavier@member.fsf.org> ;;; Copyright © 2014, 2015, 2016 Eric Bavier <bavier@member.fsf.org>
;;; Copyright © 2016 Efraim Flashner <efraim@flashner.co.il>
;;; ;;;
;;; This file is part of GNU Guix. ;;; This file is part of GNU Guix.
;;; ;;;
@ -84,16 +85,16 @@ program to exhibit a bug.")
(define-public c-reduce (define-public c-reduce
(package (package
(name "c-reduce") (name "c-reduce")
(version "2.3.0") (version "2.5.0")
(source (source
(origin (origin
(method url-fetch) (method url-fetch)
(uri (list (uri (list
(string-append "http://embed.cs.utah.edu/creduce/" (string-append "https://embed.cs.utah.edu/creduce/"
"creduce-" version ".tar.gz"))) "creduce-" version ".tar.gz")))
(sha256 (sha256
(base32 (base32
"0r9lvnifjcnsrkrk8k4mha1kmmb93jya7alm523ck59y3173bpi0")) "1r23lhzq3dz8vi2dalxk5las8bf0av2w94hxxbs61pr73m77ik9d"))
(modules '((guix build utils))) (modules '((guix build utils)))
(snippet (snippet
'(substitute* "clang_delta/TransformationManager.cpp" '(substitute* "clang_delta/TransformationManager.cpp"
@ -131,7 +132,7 @@ program to exhibit a bug.")
"file-which" "getopt-tabular" "file-which" "getopt-tabular"
"regex-common" "sys-cpu")))))) "regex-common" "sys-cpu"))))))
%standard-phases))) %standard-phases)))
(home-page "http://embed.cs.utah.edu/creduce") (home-page "https://embed.cs.utah.edu/creduce")
(synopsis "Reducer for interesting code") (synopsis "Reducer for interesting code")
(description (description
"C-Reduce is a tool that takes a large C or C++ program that has a "C-Reduce is a tool that takes a large C or C++ program that has a