diff --git a/lib/bap_elf/bap_elf.mli b/lib/bap_elf/bap_elf.mli index c85e5d4ff..cb640a711 100644 --- 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 index 5254699f3..4a10bae17 100644 --- 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 index 76b07fb14..b7c783d44 100644 --- 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) \ No newline at end of file diff --git a/oasis/elf b/oasis/elf index c8ca9bc7a..3a68f3e4b 100644 --- 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,