3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development/ocaml-modules/zarith/default.nix

44 lines
1.3 KiB
Nix
Raw Normal View History

{ stdenv, fetchurl, ocaml, findlib, pkgconfig, gmp, perl }:
2016-10-05 08:32:30 +01:00
assert stdenv.lib.versionAtLeast ocaml.version "3.12.1";
2014-10-10 14:43:58 +01:00
2016-10-13 20:12:46 +01:00
let param =
if stdenv.lib.versionAtLeast ocaml.version "4.02"
then {
version = "1.7";
url = https://github.com/ocaml/Zarith/archive/release-1.7.tar.gz;
sha256 = "0fmblap5nsbqq0dab63d6b7lsxpc3snkgz7jfldi2qa4s1kbnhfn";
2016-10-13 20:12:46 +01:00
} else {
version = "1.3";
url = http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz;
sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll";
};
in
stdenv.mkDerivation rec {
name = "zarith-${version}";
2016-10-13 20:12:46 +01:00
inherit (param) version;
src = fetchurl {
2016-10-13 20:12:46 +01:00
inherit (param) url sha256;
};
nativeBuildInputs = [ pkgconfig ];
buildInputs = [ ocaml findlib perl ];
2014-11-07 09:50:39 +00:00
propagatedBuildInputs = [ gmp ];
patchPhase = "patchShebangs ./z_pp.pl";
configurePhase = ''
2016-10-05 08:32:30 +01:00
./configure -installdir $out/lib/ocaml/${ocaml.version}/site-lib
'';
2016-10-05 08:32:30 +01:00
preInstall = "mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib";
2014-10-10 14:43:58 +01:00
meta = with stdenv.lib; {
description = "Fast, arbitrary precision OCaml integers";
homepage = "http://forge.ocamlcore.org/projects/zarith";
2014-10-10 14:43:58 +01:00
license = licenses.lgpl2;
platforms = ocaml.meta.platforms or [];
2014-10-10 14:43:58 +01:00
maintainers = with maintainers; [ thoughtpolice vbgl ];
};
}