adds the bap-flatten plugin

See BinaryAnalysisPlatform/bap#1332

Author: ivg

packages/bap-core/bap-core.master/opam

@@ -28,6 +28,7 @@ depends: [
   "bap-disassemble" {= "master"}
   "bap-dump-symbols" {= "master"}
   "bap-elementary" {= "master"}
+  "bap-flatten" {= "master"}
   "bap-frontend" {= "master"}
   "bap-frontc" {= "master"}
   "bap-glibc-runtime" {= "master"}

packages/bap-flatten/bap-flatten.master/opam

@@ -0,0 +1,24 @@
+opam-version: "2.0"
+name: "bap-flatten"
+version: "master"
+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-flatten"]
+  [make]
+]
+install: [[make "install"]]
+remove: [["ocamlfind" "remove" "bap-plugin-flatten"]
+         ["bapbundle" "remove" "flatten.plugin"]]
+depends: [
+  "ocaml" {>= "4.08.0" }
+  "bap-std" {= "master"}
+]
+synopsis: "A BAP plugin, that translates a program into the flatten form"
+url {
+  src: "git+https://github.com/BinaryAnalysisPlatform/bap#master"
+}