tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, buildDunePackage
2, fetchFromGitHub
3, ppx_assert
4, ppx_bench
5, ppx_bin_prot
6, ppx_compare
7, ppx_enumerate
8, ppx_hash
9, ppx_here
10, ppx_optcomp
11, ppx_sexp_conv
12, ppx_sexp_value
13}:
14
15buildDunePackage rec {
16 pname = "ppx_bap";
17 version = "0.14";
18 duneVersion = "3";
19
20 minimalOCamlVersion = "4.07";
21
22 src = fetchFromGitHub {
23 owner = "BinaryAnalysisPlatform";
24 repo = pname;
25 rev = "v${version}";
26 sha256 = "1c6rcdp8bicdiwqc2mb59cl9l2vxlp3y8hmnr9x924fq7acly248";
27 };
28
29 buildInputs = [
30 ppx_optcomp
31 ppx_sexp_value
32 ];
33
34 propagatedBuildInputs = [
35 ppx_assert
36 ppx_bench
37 ppx_bin_prot
38 ppx_compare
39 ppx_enumerate
40 ppx_hash
41 ppx_here
42 ppx_sexp_conv
43 ];
44
45 meta = {
46 description = "The set of ppx rewriters for BAP";
47 inherit (src.meta) homepage;
48 license = lib.licenses.mit;
49 maintainers = [ lib.maintainers.vbgl ];
50 mainProgram = "ppx-bap";
51 };
52}