tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib
2, fetchFromGitHub
3, stdenv
4, findlib
5, ocaml
6, lem
7}:
8
9lib.throwIfNot (lib.versionAtLeast ocaml.version "4.07")
10 "linksem is not available for OCaml ${ocaml.version}"
11
12stdenv.mkDerivation rec {
13 pname = "ocaml${ocaml.version}-linksem";
14 version = "0.8";
15
16 src = fetchFromGitHub {
17 owner = "rems-project";
18 repo = "linksem";
19 rev = version;
20 hash = "sha256-7/YfDK3TruKCckMzAPLRrwBkHRJcX1S+AzXHWRxkZPA=";
21 };
22
23 nativeBuildInputs = [ findlib ocaml ];
24
25 propagatedBuildInputs = [ lem ];
26
27 createFindlibDestdir = true;
28
29 meta = with lib; {
30 homepage = "https://github.com/rems-project/linksem";
31 description = "A formalisation of substantial parts of ELF linking and DWARF debug information";
32 maintainers = with maintainers; [ genericnerdyusername ];
33 license = licenses.bsd2;
34 platforms = ocaml.meta.platforms;
35 };
36}