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-bare"]
10 [make]
11]
12
13install: [[make "install"]]
14
15remove: [["ocamlfind" "remove" "bare"]]
16
17depends: [
18 "ocaml" {>= "4.08.0" }
19 "core_kernel" {>= "v0.14"}
20 "oasis" {build}
21 "parsexp" {>= "v0.14"}
22]
23synopsis: "BAP Rule Engine Library"
24description: """
25BARE is a library that provides non-linear pattern matching on streams
26of facts that are represented as s-expressions. We use BARE, in particular,
27to process Primus observations. Since Primus components use observations to
28convey their knowledge downstream it is very convenient to be able to query
29and join observations through the stream. In a sense, BARE could be seen as
30SQL select/join for streams."""
31flags: light-uninstall
32
33url {
34 src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.2.0.tar.gz"
35 checksum: [
36 "sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46"
37 "md5=5dbc6677d646bec59fd7414f23e88cf8"
38 ]
39 mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.2.0/v2.2.0.tar.gz"
40}