added signatures, updated bap meta package

ocaml · Nov 14, 2019 · 1d2e054 · 1d2e054
1 parent b8dbe1e
commit 1d2e054
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/packages/bap-signatures/bap-signatures.2.0.0/opam b/packages/bap-signatures/bap-signatures.2.0.0/opam
@@ -0,0 +1,24 @@
+opam-version: "2.0"
+name: "bap-signatures"
+version: "2.0.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"
+install: [
+  ["mkdir" "-p" "%{share}%/bap/"]
+  ["cp" "sigs.zip" "%{share}%/bap/sigs.zip"]
+]
+
+remove: [["rm" "%{share}%/bap/sigs.zip"]]
+synopsis: "A data package with binary signatures for bap"
+description: "A package contains signatures for Byteweight algorithm."
+depends: ["ocaml"]
+flags: light-uninstall
+url {
+  src:
+    "https://github.com/BinaryAnalysisPlatform/bap/releases/download/v2.0.0/sigs.tar.gz"
+  checksum: "md5=1099975bb3473f001f6d7b0dbda8b14a"
+}
diff --git a/packages/bap/bap.2.0.0/opam b/packages/bap/bap.2.0.0/opam
@@ -23,13 +23,15 @@ depends: [
   "bap-cxxfilt" {= "2.0.0"}
   "bap-callsites" {= "2.0.0"}
   "bap-constant-tracker" {= "2.0.0"}
+  "bap-core-theory" {= "2.0.0"}
   "bap-demangle" {= "2.0.0"}
   "bap-disassemble" {= "2.0.0"}
   "bap-dump-symbols" {= "2.0.0"}
   "bap-elementary" {= "2.0.0"}
   "bap-elf" {= "2.0.0"}
   "bap-frontend" {= "2.0.0"}
   "bap-frontc" {= "2.0.0"}
+  "bap-knowledge" {= "2.0.0"}
   "bap-llvm" {= "2.0.0"}
   "bap-main" {= "2.0.0"}
   "bap-mc" {= "2.0.0"}