JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ocamlPackage.zarith: 1.3 -> 1.4.1

Browse Source
This commit is contained in:
Vincent Laporte 2016-10-13 21:12:46 +02:00
parent 58e552fc6d
commit 423a195637
1 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/development/ocaml-modules/zarith/default.nix
View File

@ -2,14 +2,26 @@
assert stdenv.lib.versionAtLeast ocaml.version "3.12.1"; assert stdenv.lib.versionAtLeast ocaml.version "3.12.1";
stdenv.mkDerivation rec { let param =
name = "zarith-${version}"; if stdenv.lib.versionAtLeast ocaml.version "4.02"
version = "1.3"; then {
version = "1.4.1";
src = fetchurl { 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; url = http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz;
sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll"; sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll";
}; };
in
stdenv.mkDerivation rec {
name = "zarith-${version}";
inherit (param) version;
src = fetchurl {
inherit (param) url sha256;
};
buildInputs = [ ocaml findlib pkgconfig perl ]; buildInputs = [ ocaml findlib pkgconfig perl ];
propagatedBuildInputs = [ gmp ]; propagatedBuildInputs = [ gmp ];