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-ida-python/"
5bug-reports: "https://github.com/BinaryAnalysisPlatform/bap-ida-python/issues"
6dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap-ida-python/"
7license: "MIT"
8substs: [
9 "bap.cfg"
10]
11install: [
12 ["mkdir" "-p" "%{prefix}%/share/%{name}%/"]
13 ["cp" "-v" "plugins/plugin_loader_bap.py" "%{prefix}%/share/%{name}%/"]
14 ["cp" "-rv" "plugins/bap" "%{prefix}%/share/%{name}%/"]
15 ["cp" "-v" "bap.cfg" "%{prefix}%/share/%{name}%/"]
16]
17remove: [
18 ["rm" "-rf" "%{prefix}%/share/%{name}%/"]
19]
20depends: [
21 "ocaml" {>= "4.08.0"}
22 "bap" {= version}
23 "conf-ida"
24]
25synopsis: "A BAP - IDA Pro integration library"
26flags: light-uninstall
27url {
28 src:
29 "https://github.com/BinaryAnalysisPlatform/bap-ida-python/archive/v2.3.0.tar.gz"
30 checksum: [
31 "sha256=c5ea837782e1c58e9259a4394fa8017d2753138f86457aca998083b344355f62"
32 "md5=a41edebfb1b356b2997e4b24376681b7"
33 ]
34}
35
36
37post-messages: [
38 "In order to install bap-ida-python plugin:
39 rm -rf %{conf-ida:path}%/plugins/bap/
40 cp %{prefix}%/share/%{name}%/plugin_loader_bap.py %{conf-ida:path}%/plugins/
41 cp -r %{prefix}%/share/%{name}%/bap %{conf-ida:path}%/plugins/
42 cp %{prefix}%/share/%{name}%/bap.cfg %{conf-ida:path}%/cfg/
43 "
44]
45extra-source "bap.cfg.in" {
46 src:
47 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/bap-ida-python/bap.cfg.in"
48 checksum: [
49 "sha256=da8c7d3672137dfed3bbd8b0b913d3aa42cd39f684bff95ecfa0d1e1645e53a4"
50 "md5=aec3a830555380469b523da74daef069"
51 ]
52}