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