ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-25 05:48:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add ocaml-zarith.

Browse source 
* gnu/packages/ocaml.scm (ocaml-zarith): New variable.

Signed-off-by: David Craven <david@craven.ch>
This commit is contained in:
Julien Lepiller 2016-12-30 10:53:41 +01:00 committed by David Craven
parent 93eeadf022
commit ddf2b503b1
No known key found for this signature in database
GPG key ID: C5E051C79C0BECDB
1 changed files with 31 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
gnu/packages/ocaml.scm
View file

@ -35,6 +35,7 @@ (define-module (gnu packages ocaml)
#: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 @@ (define-public ocamlmod
(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