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/primus/site-lisp"]
19 ]
20
21depends: [
22 "ocaml" {>= "4.08.0" }
23 "core_kernel" {>= "v0.14"}
24 "ppx_bap" {>= "v0.14"}
25 "bap-std" {= "2.2.0"}
26 "bap-primus" {= "2.2.0"}
27 "monads" {= "2.2.0"}
28 "regular" {= "2.2.0"}
29 "bap-knowledge" {= "2.2.0"}
30 "bap-main" {= "2.2.0"}
31
32]
33synopsis: "BAP Primus Lisp Runtime"
34description: """
35The default (and the only one so far) Primus Lisp runtime. The plugin
36provides Lisp primitives for manipulation program state, loads user
37specified libraries, and integrates Primus Lisp with BAP universe."""
38
39url {
40 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.2.0.tar.gz"
41 checksum: [
42 "sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46"
43 "md5=5dbc6677d646bec59fd7414f23e88cf8"
44 ]
45 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.2.0/v2.2.0.tar.gz"
46}