blob: 9122a3509d9621853982f6afac07a483a13c031d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
{ stdenv, fetchurl
, ocaml, findlib, pkgconfig, perl
, gmp
}:
let source =
if stdenv.lib.versionAtLeast ocaml.version "4.02"
then {
version = "1.8";
url = https://github.com/ocaml/Zarith/archive/release-1.8.tar.gz;
sha256 = "1cn63c97aij19nrw5hc1zh1jpnbsdkzq99zyyk649c4s3xi3iqq7";
} else {
version = "1.3";
url = http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz;
sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll";
};
in
stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-zarith-${version}";
inherit (source) version;
src = fetchurl { inherit (source) url sha256; };
nativeBuildInputs = [ pkgconfig ];
buildInputs = [ ocaml findlib perl ];
propagatedBuildInputs = [ gmp ];
patchPhase = "patchShebangs ./z_pp.pl";
configurePhase = ''
./configure -installdir $out/lib/ocaml/${ocaml.version}/site-lib
'';
createFindlibDestdir = true;
meta = with stdenv.lib; {
description = "Fast, arbitrary precision OCaml integers";
homepage = "http://forge.ocamlcore.org/projects/zarith";
license = licenses.lgpl2;
platforms = ocaml.meta.platforms or [];
maintainers = with maintainers; [ thoughtpolice vbgl ];
};
}
|