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.07.0" & < "4.10.0"}
22 "bap"
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.1.0.tar.gz"
30 checksum: [
31 "sha256=7a58f8e6d928a76033ab92fa5152c113955ec13a1cbf34b47ed285697069c018"
32 "md5=c6a4ed2cfc406e48f227808b9faaa054"
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}