ocamlPackages.zarith: 1.11 → 1.12

This commit is contained in:
Vincent Laporte 2021-03-04 22:03:28 +01:00 committed by Vincent Laporte
parent 22d9482360
commit b20bc9eeb6

View file

@ -1,31 +1,26 @@
{ lib, stdenv, fetchurl
, ocaml, findlib, pkg-config, perl
{ lib, stdenv, fetchFromGitHub
, ocaml, findlib, pkg-config
, gmp
}:
let source =
if lib.versionAtLeast ocaml.version "4.02"
then {
version = "1.11";
url = "https://github.com/ocaml/Zarith/archive/release-1.11.tar.gz";
sha256 = "111n33flg4aq5xp5jfksqm4yyz6mzxx9ps9a4yl0dz8h189az5pr";
} else {
version = "1.3";
url = "http://forge.ocamlcore.org/frs/download.php/1471/zarith-1.3.tgz";
sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll";
};
in
if !lib.versionAtLeast ocaml.version "4.04"
then throw "zarith is not available for OCaml ${ocaml.version}"
else
stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-zarith-${version}";
inherit (source) version;
src = fetchurl { inherit (source) url sha256; };
pname = "ocaml${ocaml.version}-zarith";
version = "1.12";
src = fetchFromGitHub {
owner = "ocaml";
repo = "Zarith";
rev = "release-${version}";
sha256 = "1jslm1rv1j0ya818yh23wf3bb6hz7qqj9pn5fwl45y9mqyqa01s9";
};
nativeBuildInputs = [ pkg-config ];
buildInputs = [ ocaml findlib perl ];
buildInputs = [ ocaml findlib ];
propagatedBuildInputs = [ gmp ];
patchPhase = "patchShebangs ./z_pp.pl";
dontAddPrefix = true;
configureFlags = [ "-installdir ${placeholder "out"}/lib/ocaml/${ocaml.version}/site-lib" ];