ocamlPackages.ptmap: 2.0.4 → 2.0.5
This commit is contained in:
parent
b2f814144e
commit
5f83bf3012
|
@ -1,43 +1,29 @@
|
||||||
{ stdenv, fetchzip, ocaml, findlib, obuild }:
|
{ lib, buildDunePackage, fetchurl
|
||||||
|
, seq
|
||||||
|
, stdlib-shims
|
||||||
|
}:
|
||||||
|
|
||||||
let param =
|
buildDunePackage rec {
|
||||||
if stdenv.lib.versionAtLeast ocaml.version "4.07"
|
pname = "ptmap";
|
||||||
then {
|
version = "2.0.5";
|
||||||
version = "2.0.4";
|
|
||||||
sha256 = "05a391m1l04zigi6ghywj7f5kxy2w6186221k7711wmg56m94yjw";
|
|
||||||
} else {
|
|
||||||
version = "2.0.3";
|
|
||||||
sha256 = "19xykhqk7q25r1pj8rpfj53j2r9ls8mxi1w5m2wqshrf20gf078h";
|
|
||||||
}
|
|
||||||
; in
|
|
||||||
|
|
||||||
stdenv.mkDerivation {
|
useDune2 = true;
|
||||||
name = "ocaml${ocaml.version}-ptmap-${param.version}";
|
|
||||||
|
|
||||||
src = fetchzip {
|
src = fetchurl {
|
||||||
url = "https://github.com/backtracking/ptmap/archive/v${param.version}.tar.gz";
|
url = "https://github.com/backtracking/ptmap/releases/download/${version}/ptmap-${version}.tbz";
|
||||||
inherit (param) sha256;
|
sha256 = "1apk61fc1y1g7x3m3c91fnskvxp6i0vk5nxwvipj56k7x2pzilgb";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ ocaml findlib obuild ];
|
propagatedBuildInputs = [ seq ];
|
||||||
|
|
||||||
createFindlibDestdir = true;
|
doCheck = true;
|
||||||
|
|
||||||
buildPhase = ''
|
checkInputs = [ stdlib-shims ];
|
||||||
substituteInPlace ptmap.obuild --replace 'build-deps: qcheck' ""
|
|
||||||
obuild configure
|
|
||||||
obuild build lib-ptmap
|
|
||||||
'';
|
|
||||||
|
|
||||||
installPhase = ''
|
|
||||||
obuild install --destdir $out/lib/ocaml/${ocaml.version}/site-lib
|
|
||||||
'';
|
|
||||||
|
|
||||||
meta = {
|
meta = {
|
||||||
homepage = "https://www.lri.fr/~filliatr/software.en.html";
|
homepage = "https://www.lri.fr/~filliatr/software.en.html";
|
||||||
platforms = ocaml.meta.platforms or [];
|
|
||||||
description = "Maps over integers implemented as Patricia trees";
|
description = "Maps over integers implemented as Patricia trees";
|
||||||
license = stdenv.lib.licenses.lgpl21;
|
license = lib.licenses.lgpl21;
|
||||||
maintainers = with stdenv.lib.maintainers; [ volth ];
|
maintainers = with lib.maintainers; [ volth ];
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue