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://github.com/BinaryAnalysisPlatform/bap/"
license: "MIT"
build: [
  ["./configure" "--prefix=%{prefix}%" "--enable-bare"]
  [make]
]

install: [[make "install"]]

remove: [["ocamlfind" "remove" "bare"]]

depends: [
  "ocaml" {>= "4.07.0" & < "4.10.0"}
  "core_kernel" {>= "v0.12" & < "v0.13"}
  "oasis" {build}
  "parsexp" {>= "v0.12" & < "v0.13"}
]
synopsis: "BAP Rule Engine Library"
description: """
BARE is a library that provides non-linear pattern matching on streams
of facts that are represented as s-expressions. We use BARE, in particular,
to process Primus observations. Since Primus components use observations to
convey their knowledge downstream it is very convenient to be able to query
and join observations through the stream. In a sense, BARE could be seen as
SQL select/join for streams."""
flags: light-uninstall
url {
  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v2.1.0.tar.gz"
  checksum: "md5=3db9deac8d429b9b8a8ec9aec54987b1"
  mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/2.1.0/v2.1.0.tar.gz"
}
