-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
38 lines (35 loc) · 1.21 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
opam-version: "2.0"
maintainer: "Ivan Gotovchits <ivg@ieee.org>"
authors: "BAP Team"
homepage: "https://github.com/BinaryAnalysisPlatform/bap/"
bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
["./configure" "--prefix=%{prefix}%" "--enable-primus-lisp"]
[make]
]
install: [[make "install"]]
remove: [
["ocamlfind" "remove" "bap-plugin-primus_lisp"]
["bapbundle" "remove" "primus_lisp.plugin"]
["rm" "-rf" "%{prefix}%/share/primus/site-lisp"]
]
depends: [
"ocaml" {>= "4.03" & < "4.06"}
"bap-std" {= "1.5.0"}
"bap-primus" {= "1.5.0"}
]
synopsis: "BAP Primus Lisp Runtime"
description: """
The default (and the only one so far) Primus Lisp runtime. The plugin
provides Lisp primitives for manipulation program state, loads user
specified libraries, and integrates Primus Lisp with BAP universe."""
url {
src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v1.5.0.tar.gz"
checksum: [
"sha256=1a268004ac16396cbca66a79c8d21cb36f538fc31ed4380ea5d72e337f27bfbf"
"md5=9eed04fda6610dd4a8aa83948abfffc3"
]
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/1.5.0/v1.5.0.tar.gz"
}