[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 11/96] gnu: Add ocaml-zarith.
From: |
Julien Lepiller |
Subject: |
[PATCH 11/96] gnu: Add ocaml-zarith. |
Date: |
Tue, 3 Jan 2017 20:10:52 +0100 |
* gnu/packages/ocaml.scm (ocaml-zarith): New variable.
---
gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 1900cfc70..a1c8df1da 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -47,6 +47,7 @@
#:use-module (gnu packages perl)
#:use-module (gnu packages python)
#:use-module (gnu packages m4)
+ #:use-module (gnu packages multiprecision)
#:use-module (gnu packages ncurses)
#:use-module (gnu packages version-control)
#:use-module (gnu packages xml)
@@ -816,3 +817,26 @@ 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")
+ (home-page "https://forge.ocamlcore.org/projects/zarith/")
+ (source (ocaml-forge-origin "zarith" version 1574
+ "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")))))))
+ (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
--
2.11.0
[PATCH 09/96] gnu: Add camlzip, Julien Lepiller, 2017/01/03
[PATCH 11/96] gnu: Add ocaml-zarith.,
Julien Lepiller <=
[PATCH 12/96] gnu: Add ocaml-frontc, Julien Lepiller, 2017/01/03
[PATCH 13/96] gnu: Add ocaml-qtest, Julien Lepiller, 2017/01/03
[PATCH 14/96] gnu: Add ocaml-stringext, Julien Lepiller, 2017/01/03
[PATCH 15/96] gnu: Add ocaml-bisect, Julien Lepiller, 2017/01/03
[PATCH 17/96] gnu: Add ocaml-result, Julien Lepiller, 2017/01/03
[PATCH 16/96] gnu: Add ocaml-bitstring, Julien Lepiller, 2017/01/03
[PATCH 18/96] gnu: Add ocaml-topkg, Julien Lepiller, 2017/01/03
[PATCH 19/96] gnu: Add ocaml-rresult, Julien Lepiller, 2017/01/03
[PATCH 20/96] gnu: Add ocaml-mtime, Julien Lepiller, 2017/01/03
[PATCH 21/96] gnu: Add ocaml-cmdliner, Julien Lepiller, 2017/01/03