pkgs/development/ocaml-modules/ppx_bap/default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

{ lib, buildDunePackage
, fetchFromGitHub
, ppx_assert
, ppx_bench
, ppx_bin_prot
, ppx_compare
, ppx_enumerate
, ppx_hash
, ppx_here
, ppx_optcomp
, ppx_sexp_conv
, ppx_sexp_value
}:

buildDunePackage rec {
  pname = "ppx_bap";
  version = "0.14";
  duneVersion = "3";

  minimalOCamlVersion = "4.07";

  src = fetchFromGitHub {
    owner = "BinaryAnalysisPlatform";
    repo = pname;
    rev = "v${version}";
    sha256 = "1c6rcdp8bicdiwqc2mb59cl9l2vxlp3y8hmnr9x924fq7acly248";
  };

  buildInputs = [
    ppx_optcomp
    ppx_sexp_value
  ];

  propagatedBuildInputs = [
    ppx_assert
    ppx_bench
    ppx_bin_prot
    ppx_compare
    ppx_enumerate
    ppx_hash
    ppx_here
    ppx_sexp_conv
  ];

  meta = {
    description = "The set of ppx rewriters for BAP";
    inherit (src.meta) homepage;
    license = lib.licenses.mit;
    maintainers = [ lib.maintainers.vbgl ];
    mainProgram = "ppx-bap";
  };
}