enables bap-elf (#866)

* enables bap-elf in order to use `bitstring.ppx`, we should not use `ppx_driver` and `ppx_custom` predicates according to bistring META file. And ppx_jane can't be used too. That's why we just omit `bap_elf` diretory in our tags file. * added lost dependency * updated flags
BinaryAnalysisPlatform · Sep 4, 2018 · 4248ae7 · 4248ae7
1 parent cd08f88
commit 4248ae7
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 5 deletions.
diff --git a/lib/bap_elf/bap_elf.mli b/lib/bap_elf/bap_elf.mli
@@ -1,6 +1,5 @@
 open Core_kernel.Std
 open Regular.Std
-open Bap.Std
 
 
 

diff --git a/lib/bap_elf/elf_types.ml b/lib/bap_elf/elf_types.ml
@@ -1,6 +1,5 @@
 open Core_kernel.Std
 open Regular.Std
-open Bap.Std
 
 type e_class =
   | ELFCLASS32

diff --git a/oasis/common.tags.in b/oasis/common.tags.in
@@ -3,6 +3,6 @@
 true: short_paths
 true: bin_annot
 true: debug
-<**/*>: predicate(ppx_driver)
-<**/*>: pp(ppx-jane -dump-ast -inline-test-drop)
+not <**/bap_elf/*>: predicate(ppx_driver)
+not <**/bap_elf/*>: pp(ppx-jane -dump-ast -inline-test-drop)
 true: warn(+a-4-6-7-9-27-29-32..42-44-45-48-50-60)
diff --git a/oasis/elf b/oasis/elf
@@ -7,7 +7,7 @@ Library elf
   Path:          lib/bap_elf
   Build$:        flag(elf)
   FindlibName:   bap-elf
-  BuildDepends:  bap, bitstring, bitstring.ppx, ppx_deriving
+  BuildDepends:  bitstring, bitstring.ppx, regular
   Modules: Bap_elf
   InternalModules:
                  Elf_parse,