tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ stdenv, fetchzip, ocaml, findlib, obuild }:
2
3let version = "2.0.3"; in
4
5stdenv.mkDerivation {
6 name = "ocaml${ocaml.version}-ptmap-${version}";
7
8 src = fetchzip {
9 url = "https://github.com/backtracking/ptmap/archive/v${version}.tar.gz";
10 sha256 = "19xykhqk7q25r1pj8rpfj53j2r9ls8mxi1w5m2wqshrf20gf078h";
11 };
12
13 buildInputs = [ ocaml findlib obuild ];
14
15 createFindlibDestdir = true;
16
17 buildPhase = ''
18 substituteInPlace ptmap.obuild --replace 'build-deps: qcheck' ""
19 obuild configure
20 obuild build lib-ptmap
21 '';
22
23 installPhase = ''
24 obuild install --destdir $out/lib/ocaml/${ocaml.version}/site-lib
25 '';
26
27 meta = {
28 homepage = https://www.lri.fr/~filliatr/software.en.html;
29 platforms = ocaml.meta.platforms or [];
30 description = "Maps over integers implemented as Patricia trees";
31 license = stdenv.lib.licenses.lgpl21;
32 maintainers = with stdenv.lib.maintainers; [ volth ];
33 };
34}