finishes all packages

bap-abi.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP plugin and library for ABI-specific transformations"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-analyze.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP Knowledge Base REPL"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-api.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP pass that adds arguments to subroutines"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-arm.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP ARM support package"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-base.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A Package on which all BAP packages depend"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]
@@ -11,7 +12,7 @@ depends: [
   "base" {>= "v0.14" & < "v0.16"}
   "dune" {>= "2.8" & >= "2.8"}
   "dune-configurator"
-  "dune-sites"
+  "dune-site"
   "ocaml" {> "4.08.0"}
   "stdio" {>= "v0.14" & < "v0.16"}
   "odoc" {with-doc}

bap-beagle-strings.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "Finds strings in binaries using microexecution"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-beagle.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP obfuscated string solver"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-bil.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP Instruction Language (BIL)"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-bml.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP Term Mapping Language (BML)"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-build.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP Build Tool (ocamlbuild+bap)"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-bundle.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A bundler for BAP plugins"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-byteweight-frontend.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A frontend to the BAP function start identification framework"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-byteweight.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP function start identification library and pass"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-c.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "The C language support library for BAP"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-cache.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP cache management"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-callgraph-collator.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "Compares binaries callgraphs"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-callsites.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP pass that injects data definitions at call sites"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-constant-tracker.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A constant tracking analysis based on BAP Primus"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-core-theory.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP Machine Code Semantics"
 description:
   "The Core Theory is an intermediate language that is designed to express the semantics of computer programs. It focuses on programs that are represented in binary machine code and is capable of an accurate representation of the architectural and micro-architectural details of the program behavior."

bap-core.opam

@@ -1,6 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "the core BAP packages"
+version: "master"
+synopsis: "The core BAP packages"
 description: "the meta package to install the core parts of BAP"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]
@@ -10,8 +11,55 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
   "dune" {>= "2.8"}
-  "bap-abi"
-  "bap-analyze"
+  "bap-abi" {= version}
+  "bap-analyze" {= version}
+  "bap-api" {= version}
+  "bap-arm" {= version}
+  "bap-bil" {= version}
+  "bap-build" {= version}
+  "bap-bundle" {= version}
+  "bap-byteweight" {= version}
+  "bap-cache" {= version}
+  "bap-callgraph-collator" {= version}
+  "bap-callsites" {= version}
+  "bap-c" {= version}
+  "bap-cxxfilt" {= version}
+  "bap-demangle" {= version}
+  "bap-dependencies" {= version}
+  "bap-disassemble" {= version}
+  "bap-dump-symbols" {= version}
+  "bap-elementary" {= version}
+  "bap-flatten" {= version}
+  "bap-frontc" {= version}
+  "bap-frontend" {= version}
+  "bap-glibc-runtime" {= version}
+  "bap-llvm" {= version}
+  "bap-mc" {= version}
+  "bap-mips" {= version}
+  "bap-objdump" {= version}
+  "bap-optimization" {= version}
+  "bap-patterns" {= version}
+  "bap-plugins" {= version}
+  "bap-powerpc" {= version}
+  "bap-primus-lisp" {= version}
+  "bap-primus" {= version}
+  "bap-print" {= version}
+  "bap-raw" {= version}
+  "bap-recipe-command" {= version}
+  "bap-recipe" {= version}
+  "bap-relation" {= version}
+  "bap-relocatable" {= version}
+  "bap-report" {= version}
+  "bap-riscv" {= version}
+  "bap-specification" {= version}
+  "bap-ssa" {= version}
+  "bap-std" {= version}
+  "bap-stub-resolver" {= version}
+  "bap-symbol-reader" {= version}
+  "bap-systemz" {= version}
+  "bap-thumb" {= version}
+  "bap-toplevel" {= version}
+  "bap-x86" {= version}
   "odoc" {with-doc}
 ]
 build: [

bap-cxxfilt.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A name demangler that uses system's c++filt"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-demangle.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "Provides names service and demangling facilities for BAP"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-dependencies.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "Shows program depenencies"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-disassemble.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "Disassembles and analyzes binaries using BAP"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-dump-symbols.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A BAP plugin for dumping symbol information"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-dwarf.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP DWARF parser"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-elementary.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "Floating-point approximations of elementary functions"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]
@@ -9,12 +10,12 @@ homepage: "https://github.com/BinaryAnalysisPlatform/bap"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
   "dune" {>= "2.8"}
-  "bap-bitvec" {= version}
+  "bap-base" {= version}
   "bap-core-theory" {= version}
   "bap-knowledge" {= version}
   "bap-std" {= version}
+  "bitvec" {= version}
   "core_kernel" {>= "v0.14" & < "v0.16"}
-  "bap-base" {= version}
   "odoc" {with-doc}
 ]
 build: [

bap-elf.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP ELF parser and program loader"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-extra.opam

@@ -0,0 +1,38 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+version: "master"
+synopsis: "The extra BAP packages"
+description: "the meta package to install the core parts of BAP"
+maintainer: ["Ivan Gotovchits <[email protected]>"]
+authors: ["The BAP Team"]
+license: "MIT"
+tags: ["bap" "meta"]
+homepage: "https://github.com/BinaryAnalysisPlatform/bap"
+bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
+depends: [
+  "dune" {>= "2.8"}
+  "bap" {= version}
+  "bap-byteweight-frontend" {= version}
+  "bap-elf" {= version}
+  "bap-primus-symbolic-executor" {= version}
+  "bap-ghidra" {= version}
+  "bap-trace" {= version}
+  "bap-traces" {= version}
+  "bap-radare2" {= version}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/BinaryAnalysisPlatform/bap.git"

bap-flatten.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A BAP pass that flattens program to TAC"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-frontc.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A BAP C language fronted based on FrontC"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-frontend.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "The main BAP command-line tool"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-future.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "A library for asynchronous values"
 description:
   "A library for reasoning about state based dynamic systems. This can be seen as a common denominator between Lwt and Async libraries."

bap-ghidra.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "The BAP NSA Ghidra backend"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-glibc-runtime.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "The BAP Glibc Runtime support package"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-ida-plugin.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP IDA Pro integration"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-ida.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP IDA Pro integration"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-knowledge.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "Knowledge Reasoning and Representation Framework"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]

bap-llvm.opam

@@ -1,5 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
+version: "master"
 synopsis: "BAP LLVM backend"
 maintainer: ["Ivan Gotovchits <[email protected]>"]
 authors: ["The BAP Team"]
@@ -10,7 +11,7 @@ bug-reports: "https://github.com/BinaryAnalysisPlatform/bap/issues"
 depends: [
   "dune" {>= "2.8"}
   "bap-std" {= version}
-  "conf-bap-llvm" {>= "1.8.0"}
+  "conf-bap-llvm" {>= "1.8"}
   "core_kernel" {>= "v0.14" & < "v0.16"}
   "mmap"
   "monads" {= version}