From 423a195637613221bbf595a638adafd517ef2fb8 Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Thu, 13 Oct 2016 21:12:46 +0200 Subject: [PATCH] ocamlPackage.zarith: 1.3 -> 1.4.1 --- .../ocaml-modules/zarith/default.nix | 22 ++++++++++++++----- 1 file changed, 17 insertions(+), 5 deletions(-) diff --git a/pkgs/development/ocaml-modules/zarith/default.nix b/pkgs/development/ocaml-modules/zarith/default.nix index 458ed1683e0..09cefdfbb69 100644 --- a/pkgs/development/ocaml-modules/zarith/default.nix +++ b/pkgs/development/ocaml-modules/zarith/default.nix @@ -2,14 +2,26 @@ assert stdenv.lib.versionAtLeast ocaml.version "3.12.1"; -stdenv.mkDerivation rec { - name = "zarith-${version}"; - version = "1.3"; - - src = fetchurl { +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}"; + inherit (param) version; + + src = fetchurl { + inherit (param) url sha256; + }; buildInputs = [ ocaml findlib pkgconfig perl ]; propagatedBuildInputs = [ gmp ];