summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2016-07-20 09:11:16 +0300
committerEfraim Flashner <efraim@flashner.co.il>2016-07-20 09:11:16 +0300
commit95bf72eeb0b99d6b26c3515fa78a587207c6f779 (patch)
tree261963e65c2c0d616b47ecea18ddd6932466da9c /gnu
parent885fa1eec5a630b36a74e783ae512f3585cfeacb (diff)
gnu: julia: Build with zlib.
* gnu/packages/julia.scm (julia)[inputs]: Add zlib.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/debug.scm9
1 files changed, 5 insertions, 4 deletions
diff --git a/gnu/packages/debug.scm b/gnu/packages/debug.scm
index 556a1051f14..4237a15f0a5 100644
--- a/gnu/packages/debug.scm
+++ b/gnu/packages/debug.scm
@@ -1,5 +1,6 @@
1;;; GNU Guix --- Functional package management for GNU 1;;; GNU Guix --- Functional package management for GNU
2;;; Copyright © 2014, 2015, 2016 Eric Bavier <bavier@member.fsf.org> 2;;; Copyright © 2014, 2015, 2016 Eric Bavier <bavier@member.fsf.org>
3;;; Copyright © 2016 Efraim Flashner <efraim@flashner.co.il>
3;;; 4;;;
4;;; This file is part of GNU Guix. 5;;; This file is part of GNU Guix.
5;;; 6;;;
@@ -84,16 +85,16 @@ program to exhibit a bug.")
84(define-public c-reduce 85(define-public c-reduce
85 (package 86 (package
86 (name "c-reduce") 87 (name "c-reduce")
87 (version "2.3.0") 88 (version "2.5.0")
88 (source 89 (source
89 (origin 90 (origin
90 (method url-fetch) 91 (method url-fetch)
91 (uri (list 92 (uri (list
92 (string-append "http://embed.cs.utah.edu/creduce/" 93 (string-append "https://embed.cs.utah.edu/creduce/"
93 "creduce-" version ".tar.gz"))) 94 "creduce-" version ".tar.gz")))
94 (sha256 95 (sha256
95 (base32 96 (base32
96 "0r9lvnifjcnsrkrk8k4mha1kmmb93jya7alm523ck59y3173bpi0")) 97 "1r23lhzq3dz8vi2dalxk5las8bf0av2w94hxxbs61pr73m77ik9d"))
97 (modules '((guix build utils))) 98 (modules '((guix build utils)))
98 (snippet 99 (snippet
99 '(substitute* "clang_delta/TransformationManager.cpp" 100 '(substitute* "clang_delta/TransformationManager.cpp"
@@ -131,7 +132,7 @@ program to exhibit a bug.")
131 "file-which" "getopt-tabular" 132 "file-which" "getopt-tabular"
132 "regex-common" "sys-cpu")))))) 133 "regex-common" "sys-cpu"))))))
133 %standard-phases))) 134 %standard-phases)))
134 (home-page "http://embed.cs.utah.edu/creduce") 135 (home-page "https://embed.cs.utah.edu/creduce")
135 (synopsis "Reducer for interesting code") 136 (synopsis "Reducer for interesting code")
136 (description 137 (description
137 "C-Reduce is a tool that takes a large C or C++ program that has a 138 "C-Reduce is a tool that takes a large C or C++ program that has a