diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2016-07-20 09:11:16 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2016-07-20 09:11:16 +0300 |
| commit | 95bf72eeb0b99d6b26c3515fa78a587207c6f779 (patch) | |
| tree | 261963e65c2c0d616b47ecea18ddd6932466da9c | |
| parent | 885fa1eec5a630b36a74e783ae512f3585cfeacb (diff) | |
gnu: julia: Build with zlib.
* gnu/packages/julia.scm (julia)[inputs]: Add zlib.
| -rw-r--r-- | gnu/packages/debug.scm | 9 |
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 |
