diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-10-13 21:12:46 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2016-10-17 09:41:16 +0200 |
commit | 423a195637613221bbf595a638adafd517ef2fb8 (patch) | |
tree | 06f846185c46995a6126c6dfeb99556ec3075784 /pkgs/development/ocaml-modules/zarith | |
parent | 58e552fc6d63a5e1daa1adcdad601cdbbdf74569 (diff) | |
download | nixlib-423a195637613221bbf595a638adafd517ef2fb8.tar nixlib-423a195637613221bbf595a638adafd517ef2fb8.tar.gz nixlib-423a195637613221bbf595a638adafd517ef2fb8.tar.bz2 nixlib-423a195637613221bbf595a638adafd517ef2fb8.tar.lz nixlib-423a195637613221bbf595a638adafd517ef2fb8.tar.xz nixlib-423a195637613221bbf595a638adafd517ef2fb8.tar.zst nixlib-423a195637613221bbf595a638adafd517ef2fb8.zip |
ocamlPackage.zarith: 1.3 -> 1.4.1
Diffstat (limited to 'pkgs/development/ocaml-modules/zarith')
-rw-r--r-- | pkgs/development/ocaml-modules/zarith/default.nix | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/pkgs/development/ocaml-modules/zarith/default.nix b/pkgs/development/ocaml-modules/zarith/default.nix index 458ed1683e03..09cefdfbb69f 100644 --- a/pkgs/development/ocaml-modules/zarith/default.nix +++ b/pkgs/development/ocaml-modules/zarith/default.nix @@ -2,13 +2,25 @@ assert stdenv.lib.versionAtLeast ocaml.version "3.12.1"; +let param = + if stdenv.lib.versionAtLeast ocaml.version "4.02" + then { + version = "1.4.1"; + url = http://forge.ocamlcore.org/frs/download.php/1574/zarith-1.4.1.tgz; + sha256 = "0l36hzmfbvdai2kcgynh13vfdim5x2grnaw61fxqalyjm90c3di3"; + } 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}"; - version = "1.3"; + inherit (param) version; src = fetchurl { - url = http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz; - sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll"; + inherit (param) url sha256; }; buildInputs = [ ocaml findlib pkgconfig perl ]; |