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"

depends: [
  "ocaml" {>= "4.02.3"}
  "bap-abi" {= "1.3.0"}
  "bap-api" {= "1.3.0"}
  "bap-arm" {= "1.3.0"}
  "bap-beagle" {= "1.3.0"}
  "bap-byteweight" {= "1.3.0"}
  "bap-c" {= "1.3.0"}
  "bap-cache" {= "1.3.0"}
  "bap-cxxfilt" {= "1.3.0"}
  "bap-callsites" {= "1.3.0"}
  "bap-demangle" {= "1.3.0"}
  "bap-dead-code-elimination" {= "1.3.0"}
  "bap-dump-symbols" {= "1.3.0"}
  "bap-frontend" {= "1.3.0"}
  "bap-frontc" {= "1.3.0"}
  "bap-llvm" {= "1.3.0"}
  "bap-mc" {= "1.3.0"}
  "bap-microx" {= "1.3.0"}
  "bap-objdump" {= "1.3.0"}
  "bap-primus" {= "1.3.0"}
  "bap-primus-lisp" {= "1.3.0"}
  "bap-primus-support" {= "1.3.0"}
  "bap-primus-x86" {= "1.3.0"}
  "bap-print" {= "1.3.0"}
  "bap-relocatable" {= "1.3.0"}
  "bap-run" {= "1.3.0"}
  "bap-ssa" {= "1.3.0"}
  "bap-std" {= "1.3.0"}
  "bap-strings" {= "1.3.0"}
  "bap-symbol-reader" {= "1.3.0"}
  "bap-taint" {= "1.3.0"}
  "bap-taint-propagator" {= "1.3.0"}
  "bap-term-mapper" {= "1.3.0"}
  "bap-trace" {= "1.3.0"}
  "bap-traces" {= "1.3.0"}
  "bap-warn-unused" {= "1.3.0"}
  "bap-x86" {= "1.3.0"}
]
synopsis: "Binary Analysis Platform"
description: """
Binary Analysis Platform is a framework for writing program analysis
tools, that target binary files. The framework consists of a plethora
of libraries, plugins, and frontends. The libraries provide code
reusability, the plugins facilitate extensibility, and the frontends
serve as entry points.

This is a meta package that installs essential parts of BAP."""
url {
  src: "https://github.com/BinaryAnalysisPlatform/bap/archive/v1.3.0.tar.gz"
  checksum: "md5=8df8c0b2c56abd082dbb994b2359e4c4"
}
