this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Ivan Gotovchits <ivg@ieee.org>"
3authors: "BAP Team"
4homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
5bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
6dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
7license: "MIT"
8build: [
9 ["oasis" "setup"]
10 ["./configure" "--prefix=%{prefix}%"]
11 [make]
12]
13
14install: [
15 [make "install"]
16]
17
18remove: [
19 [ "ocamlfind" "remove" "bap-plugin-frames"]
20 [ "ocamlfind" "remove" "bap-frames"]
21 [ "ocamlfind" "remove" "bfd"]
22 [ "bapbundle" "remove" "frames.plugin"]
23 [ "rm" "-f" "%{prefix}%/share/bap-frames/*.piqi"]
24 [ "rm" "-f" "%{prefix}%/share/bap-frames/exceptionframe.piqi"]
25 [ "rm" "-f" "%{prefix}%/share/bap-frames/frame.piqi"]
26 [ "rm" "-f" "%{prefix}%/share/bap-frames/keyframe.piqi"]
27 [ "rm" "-f" "%{prefix}%/share/bap-frames/metaframe.piqi"]
28 [ "rm" "-f" "%{prefix}%/share/bap-frames/modloadframe.piqi"]
29 [ "rm" "-f" "%{prefix}%/share/bap-frames/stdframe.piqi"]
30 [ "rm" "-f" "%{prefix}%/share/bap-frames/syscallframe.piqi"]
31 [ "rm" "-f" "%{prefix}%/share/bap-frames/taintintroframe.piqi"]
32 [ "rm" "-f" "%{prefix}%/share/bap-frames/types.piqi"]
33 ]
34
35depends: [
36 "ocaml"
37 "oasis" {build & = "0.4.7"}
38 "bap-std" {= version}
39 "bap-traces" {= version}
40 "cmdliner"
41 "piqi" {>= "0.7.4"}
42 "ppx_deriving"
43]
44synopsis: "A data format for storing execution traces"
45url {
46 src:
47 "https://github.com/BinaryAnalysisPlatform/bap-frames/archive/v2.1.0.tar.gz"
48 checksum: [
49 "sha256=a5480ee1078a0496420cb5c702894402a5b0be9af420f3a28fa88154b82f60f6"
50 "md5=9230dfa0eb2e1270be05fe20a3ccd001"
51 ]
52}