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 ["./configure" "--prefix=%{prefix}%" "--enable-primus-lisp"]
10 [make]
11]
12
13install: [[make "install"]]
14
15remove: [
16 ["ocamlfind" "remove" "bap-plugin-primus_lisp"]
17 ["bapbundle" "remove" "primus_lisp.plugin"]
18 ["rm" "-rf" "%{prefix}%/share/bap/primus/site-lisp"]
19 ["rm" "-rf" "%{prefix}%/share/bap/primus/lisp"]
20 ]
21
22depends: [
23 "ocaml" {>= "4.08.0" }
24 "core_kernel" {>= "v0.14" & < "v0.15"}
25 "ppx_bap" {>= "v0.14" & < "v0.15"}
26 "bap-std" {= "2.4.0"}
27 "bap-primus" {= "2.4.0"}
28 "monads" {= "2.4.0"}
29 "regular" {= "2.4.0"}
30 "bap-knowledge" {= "2.4.0"}
31 "bap-core-theory" {= "2.4.0"}
32 "bap-main" {= "2.4.0"}
33 "bitvec" {= "2.4.0"}
34
35]
36synopsis: "BAP Primus Lisp Runtime"
37description: """
38The default (and the only one so far) Primus Lisp runtime. The plugin
39provides Lisp primitives for manipulation program state, loads user
40specified libraries, and integrates Primus Lisp with BAP universe."""
41
42url {
43 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.4.0.tar.gz"
44 checksum: [
45 "sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5"
46 "md5=b8b1aff8c6846f2213eafc54de07b304"
47 ]
48 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.4.0/v2.4.0.tar.gz"
49}