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.07.0" & < "4.10.0"}
23 "bap-std" {= "2.1.0"}
24 "bap-primus" {= "2.1.0"}
25]
26synopsis: "BAP Primus Lisp Runtime"
27description: """
28The default (and the only one so far) Primus Lisp runtime. The plugin
29provides Lisp primitives for manipulation program state, loads user
30specified libraries, and integrates Primus Lisp with BAP universe."""
31url {
32 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz"
33 checksum: [
34 "sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de"
35 "md5=3db9deac8d429b9b8a8ec9aec54987b1"
36 ]
37 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.1.0/v2.1.0.tar.gz"
38}