[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
11/11: gnu: Add ocaml-zarith.
From: |
David Craven |
Subject: |
11/11: gnu: Add ocaml-zarith. |
Date: |
Wed, 4 Jan 2017 15:05:59 +0000 (UTC) |
dvc pushed a commit to branch master
in repository guix.
commit ddf2b503b1c1daab22af14a8c9eeff3ea89cdff7
Author: Julien Lepiller <address@hidden>
Date: Fri Dec 30 10:53:41 2016 +0100
gnu: Add ocaml-zarith.
* gnu/packages/ocaml.scm (ocaml-zarith): New variable.
Signed-off-by: David Craven <address@hidden>
---
gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++
1 file changed, 31 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 6a12cb4..69a3801 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -35,6 +35,7 @@
#:use-module (gnu packages gtk)
#:use-module (gnu packages lynx)
#:use-module (gnu packages m4)
+ #:use-module (gnu packages multiprecision)
#:use-module (gnu packages ncurses)
#:use-module (gnu packages perl)
#:use-module (gnu packages pkg-config)
@@ -833,3 +834,33 @@ files in these formats.")
(synopsis "Generate modules from OCaml source files")
(description "Generate modules from OCaml source files.")
(license license:lgpl2.1+))) ; with an exception
+
+(define-public ocaml-zarith
+ (package
+ (name "ocaml-zarith")
+ (version "1.4.1")
+ (source (origin
+ (method url-fetch)
+ (uri (ocaml-forge-uri "zarith" version 1574))
+ (sha256
+ (base32
+ "0l36hzmfbvdai2kcgynh13vfdim5x2grnaw61fxqalyjm90c3di3"))))
+ (build-system ocaml-build-system)
+ (native-inputs
+ `(("perl" ,perl)))
+ (inputs
+ `(("gmp" ,gmp)))
+ (arguments
+ `(#:tests? #f ; no test target
+ #:phases
+ (modify-phases %standard-phases
+ (replace 'configure
+ (lambda* (#:key #:allow-other-keys)
+ (zero? (system* "./configure")))))))
+ (home-page "https://forge.ocamlcore.org/projects/zarith/")
+ (synopsis "Implements arbitrary-precision integers")
+ (description "Implements arithmetic and logical operations over
+arbitrary-precision integers. It uses GMP to efficiently implement arithmetic
+over big integers. Small integers are represented as Caml unboxed integers,
+for speed and space economy.")
+ (license license:lgpl2.1+))) ; with an exception
- branch master updated (1ff755d -> ddf2b50), David Craven, 2017/01/04
- 04/11: gnu: camlp4: Compile native version., David Craven, 2017/01/04
- 03/11: gnu: ocaml: Fix indentation., David Craven, 2017/01/04
- 06/11: gnu: ocaml: Use a helper function to download from ocaml-forge., David Craven, 2017/01/04
- 09/11: gnu: Add camlzip., David Craven, 2017/01/04
- 02/11: gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path., David Craven, 2017/01/04
- 10/11: gnu: Add ocamlmod., David Craven, 2017/01/04
- 08/11: gnu: Add ocaml-ounit., David Craven, 2017/01/04
- 11/11: gnu: Add ocaml-zarith.,
David Craven <=
- 07/11: gnu: camlp4: Install camlp4 META file., David Craven, 2017/01/04
- 05/11: gnu: Add ocaml-build-system., David Craven, 2017/01/04
- 01/11: gnu: ocaml: Add a .file directive to generated .s files., David Craven, 2017/01/04