Build:
- 0
2026-09-04 04:00.49: New job: build bap-core-theory.2.5.0 (d25d7bf5c2ca) 2026-09-04 04:00.49: Waiting for resource in pool day11-builds 2026-09-04 04:14.19: Got resource from pool day11-builds 2026-09-04 04:14.19: [profile full] build bap-core-theory.2.5.0 2026-09-04 04:14.19: build bap-core-theory.2.5.0 (d25d7bf5c2ca) === DEPENDENCIES (91 transitive) === angstrom.0.16.1 e7a677ecbad7 bap-build.2.5.0 5b51bdcd3823 bap-bundle.2.5.0 5243ef824b9d bap-future.2.5.0 bad63fab1831 bap-knowledge.2.5.0 e5fc321f84aa bap-main.2.5.0 d7a1717a18c9 bap-plugins.2.5.0 539886af8cc6 bap-recipe.2.5.0 3d60194b72c6 base.v0.14.4 7bd00261ca7a base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e base_bigstring.v0.14.0 01ed01e3f794 base_quickcheck.v0.14.1 8661e25e60bd bigstringaf.0.10.0 81ac91c311f3 bin_prot.v0.14.1 152026ef61cc bitvec.2.5.0 fb18bff43f48 bitvec-binprot.2.5.0 e403325bf4f3 bitvec-order.2.5.0 82a24d9e561b bitvec-sexp.2.5.0 3ad8458d739c camlzip.1.14 a581e4e5e5ff cmdliner.1.3.0 50421b7f7592 conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 conf-zlib.1 26591fa9352c core_kernel.v0.14.2 4ab563da33af csexp.1.5.2 c758d7657e5b dune.3.24.2 bf83cdf0a904 dune-configurator.3.24.2 23afe5cb4d3b fieldslib.v0.14.0 8d91920f0c00 fileutils.0.6.6 9f8054c92e31 jane-street-headers.v0.14.0 f5a4b97096e4 jst-config.v0.14.1 1d69ff014ccb monads.2.5.0 36173d9d8932 num.1.6 fe036226102b oasis.0.4.11 8a2bba1aef6e ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-compiler-libs.v0.12.4 0a923ba812db ocaml-config.2 85edea6ac168 ocaml-syntax-shims.1.0.0 dd7617b68ec9 ocamlbuild.0.16.1 5ae5ab4d19bf ocamlfind.1.9.8 3cae95bed0a0 ocamlify.0.0.1 ccc8f5f47b55 ocamlmod.0.1.1 1217f52b1521 octavius.1.2.2 9cf39f905e70 parsexp.v0.14.2 e741fd02465a ppx_assert.v0.14.0 2f964d9d1a50 ppx_bap.v0.14.0 e1a728f41bde ppx_base.v0.14.0 29ab637238d5 ppx_bench.v0.14.1 3aa1ecfefb63 ppx_bin_prot.v0.14.0 e7e63cdd148e ppx_cold.v0.14.0 2d4190e59592 ppx_compare.v0.14.0 16ec5a3c9966 ppx_custom_printf.v0.14.1 42214033bdb8 ppx_derivers.1.2.1 e8685a77fc9e ppx_enumerate.v0.14.0 2d0466bc6872 ppx_expect.v0.14.2 30bda5b26ebd ppx_fields_conv.v0.14.2 e4988b1c279b ppx_fixed_literal.v0.14.0 15ff9017d442 ppx_hash.v0.14.0 0c8690894069 ppx_here.v0.14.0 40935f190cba ppx_inline_test.v0.14.1 1204bea585c8 ppx_jane.v0.14.0 6cec35100363 ppx_js_style.v0.14.1 e0d03fa5854f ppx_let.v0.14.0 210670edce77 ppx_module_timer.v0.14.0 2051d82e3b47 ppx_optcomp.v0.14.3 1097a8fdff7f ppx_optional.v0.14.0 ade9e1dffca1 ppx_pipebang.v0.14.0 2f10dfdeaf83 ppx_sexp_conv.v0.14.3 ec0d643e5d49 ppx_sexp_message.v0.14.1 59c9ad7f8cda ppx_sexp_value.v0.14.0 fe64a332ae59 ppx_stable.v0.14.1 7c5d239e0ad0 ppx_string.v0.14.1 95b29c9178aa ppx_typerep_conv.v0.14.2 018c1ddbf8a2 ppx_variants_conv.v0.14.2 9dc276b0a7a8 ppxlib.0.25.1 006cd915a58e re.1.14.0 dd879e7a18b1 sexplib.v0.14.0 24889833504f sexplib0.v0.14.0 bb28911f34a4 splittable_random.v0.14.0 54e4ce72184d stdio.v0.14.0 df298522b3e9 stdlib-shims.0.3.0 484c72a128b6 stringext.1.6.0 9520d67485ad time_now.v0.14.0 da5d8bd6a77d topkg.1.1.1 f1122af0988e typerep.v0.14.0 7fe34361b356 uri.4.4.0 7c67c85f3177 uuidm.0.9.10 8443fce44abb variantslib.v0.14.0 af141d9712c7 zarith.1.14 fc3f7a60e6b3 === STDOUT === Processing: [default: loading data] [bap-core-theory.2.5.0: extract] -> retrieved bap-core-theory.2.5.0 (cached) [bap-core-theory: ./configure] + /home/opam/.opam/default/.opam-switch/build/bap-core-theory.2.5.0/./configure "--prefix=/home/opam/.opam/default" "--enable-core-theory" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-core-theory.2.5.0) - File "oasis/common.setup.ml.in", line 573, characters 4-15: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 601, characters 19-36: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 608, characters 37-48: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 611, characters 17-31: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1429, characters 16-33: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1431, characters 22-38: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1432, characters 14-26: - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1433, characters 11-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1433, characters 28-40: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1434, characters 11-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1434, characters 28-41: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1435, characters 11-24: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "oasis/common.setup.ml.in", line 1436, characters 11-23: - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3176, characters 8-19: - 3176 | Stream.from - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3179, characters 21-32: - 3179 | match Stream.next st with - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3182, characters 18-32: - 3182 | with Stream.Failure -> None) - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3184, characters 6-23: - 3184 | Genlex.make_lexer ["="] st_line - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3187, characters 12-24: - 3187 | match Stream.npeek 3 lxr with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 9-21: - 3188 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 26-36: - 3188 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3188, characters 42-55: - 3188 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3189, characters 8-19: - 3189 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3189, characters 25-36: - 3189 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3189, characters 42-53: - 3189 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3201, characters 17-34: - 3201 | let st = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3326, characters 16-33: - 3326 | let var_lxr = Genlex.make_lexer [] - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3345, characters 22-38: - 3345 | var_lxr (Stream.of_string var) - ^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3347, characters 17-29: - 3347 | match Stream.npeek 3 st with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 3348, characters 16-28: - 3348 | | [Genlex.Ident "utoh"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3348, characters 37-49: - 3348 | | [Genlex.Ident "utoh"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3350, characters 16-28: - 3350 | | [Genlex.Ident "utoh"; Genlex.String s] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3350, characters 37-50: - 3350 | | [Genlex.Ident "utoh"; Genlex.String s] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3352, characters 16-28: - 3352 | | [Genlex.Ident "ocaml_escaped"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3352, characters 46-58: - 3352 | | [Genlex.Ident "ocaml_escaped"; Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 16-28: - 3354 | | [Genlex.Ident "ocaml_escaped"; Genlex.String s] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3354, characters 46-59: - 3354 | | [Genlex.Ident "ocaml_escaped"; Genlex.String s] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3356, characters 16-28: - 3356 | | [Genlex.Ident nm] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 3369, characters 13-25: - 3369 | | Stream.Error e -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4518, characters 21-38: - 4518 | let lxr = Genlex.make_lexer [] (stream_of_reader rdr) in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4520, characters 19-31: - 4520 | match Stream.npeek 2 lxr with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4521, characters 16-29: - 4521 | | [Genlex.String e; Genlex.String d] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4521, characters 33-46: - 4521 | | [Genlex.String e; Genlex.String d] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "setup.ml", line 4523, characters 15-26: - 4523 | Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "setup.ml", line 4523, characters 32-43: - 4523 | Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - - Configuration: - ocamlfind: ........................................... /home/opam/.opam/default/bin/ocamlfind - ocamlc: .............................................. /home/opam/.opam/default/bin/ocamlc.opt - ocamlopt: ............................................ /home/opam/.opam/default/bin/ocamlopt.opt - ocamlbuild: .......................................... /home/opam/.opam/default/bin/ocamlbuild - Package name: ........................................ bap - Package version: ..................................... 2.5.0 - os_type: ............................................. Unix - system: .............................................. linux - architecture: ........................................ amd64 - ccomp_type: .......................................... cc - ocaml_version: ....................................... 4.14.4 - standard_library_default: ............................ /home/opam/.opam/default/lib/ocaml - standard_library: .................................... /home/opam/.opam/default/lib/ocaml - bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64 - model: ............................................... default - ext_obj: ............................................. .o - ext_asm: ............................................. .s - ext_lib: ............................................. .a - ext_dll: ............................................. .so - default_executable_name: ............................. a.out - systhread_supported: ................................. true - Install architecture-independent files dir: .......... /home/opam/.opam/default - Install architecture-dependent files in dir: ......... $prefix - User executables: .................................... $exec_prefix/bin - System admin executables: ............................ $exec_prefix/sbin - Program executables: ................................. $exec_prefix/libexec - Read-only single-machine data: ....................... $prefix/etc - Modifiable architecture-independent data: ............ $prefix/com - Modifiable single-machine data: ...................... $prefix/var - Object code libraries: ............................... $exec_prefix/lib - Read-only arch-independent data root: ................ $prefix/share - Read-only architecture-independent data: ............. $datarootdir - Info documentation: .................................. $datarootdir/info - Locale-dependent data: ............................... $datarootdir/locale - Man documentation: ................................... $datarootdir/man - Documentation root: .................................. $datarootdir/doc/$pkg_name - HTML documentation: .................................. $docdir - DVI documentation: ................................... $docdir - PDF documentation: ................................... $docdir - PS documentation: .................................... $docdir - findlib_version: ..................................... 1.9.8 - is_native: ........................................... true - suffix_program: ...................................... - Remove a file.: ...................................... rm -f - Remove a directory.: ................................. rm -rf - Turn ocaml debug flag on: ............................ true - Turn ocaml profile flag on: .......................... false - Compiler support generation of .cmxs.: ............... true - OCamlbuild additional flags: ......................... - A default folder for plugins: ........................ /home/opam/.opam/default/lib/bap - c++ compiler: ........................................ /usr/bin/c++ - C compiler optimization level: ....................... -O2 - Build every feature by default: ...................... false - Enable development mode: ............................. false - Build the bap-core-theory library: ................... true - Create documentations: ............................... true - Compile tests executable and library and run them: ... false - pkg_bap_knowledge: ................................... /home/opam/.opam/default/lib/bap-knowledge - pkg_core_kernel: ..................................... /home/opam/.opam/default/lib/core_kernel - pkg_core_kernel_caml_unix: ........................... /home/opam/.opam/default/lib/core_kernel/caml_unix - pkg_bitvec: .......................................... /home/opam/.opam/default/lib/bitvec - pkg_bitvec_order: .................................... /home/opam/.opam/default/lib/bitvec-order - pkg_bitvec_sexp: ..................................... /home/opam/.opam/default/lib/bitvec-sexp - pkg_bitvec_binprot: .................................. /home/opam/.opam/default/lib/bitvec-binprot - pkg_ppx_bap: ......................................... /home/opam/.opam/default/lib/ppx_bap - pkg_bap_main: ........................................ /home/opam/.opam/default/lib/bap-main - pkg_monads: .......................................... /home/opam/.opam/default/lib/monads - [bap-core-theory: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/bap-core-theory.2.5.0) - ./setup.exe -quiet -build - + ocamlfind ocamlc -config - + ocamlfind ocamlopt -package unix -package ocamlbuild -linkpkg -package findlib myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - + ocamlfind ocamlc -config - + /home/opam/.opam/default/bin/ocamlfind ocamldep -modules tools/postinstall.ml > tools/postinstall.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmo tools/postinstall.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmo tools/postinstall.ml - File "tools/postinstall.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmx tools/postinstall.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -I tools -o tools/postinstall.cmx tools/postinstall.ml - File "tools/postinstall.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -linkpkg -g -linkpkg -I tools tools/postinstall.cmx -o tools/postinstall.native - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory.mli > lib/bap_core_theory/bap_core_theory.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory.cmi lib/bap_core_theory/bap_core_theory.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory.cmi lib/bap_core_theory/bap_core_theory.mli - File "lib/bap_core_theory/bap_core_theory.mli", line 3447, characters 16-17: - 3447 | module Make(S : Minimal) : Basic - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter S. - File "lib/bap_core_theory/bap_core_theory.mli", line 3626, characters 19-21: - 3626 | module Desugar(CT : Core) : Core - ^^ - Warning 67 [unused-functor-parameter]: unused functor parameter CT. - File "lib/bap_core_theory/bap_core_theory.mli", line 4682, characters 16-17: - 4682 | module Make(S : Core) : sig - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter S. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory.ml > lib/bap_core_theory/bap_core_theory.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_IEEE754.mli > lib/bap_core_theory/bap_core_theory_IEEE754.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_value.mli > lib/bap_core_theory/bap_core_theory_value.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_value.cmi lib/bap_core_theory/bap_core_theory_value.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_basic.mli > lib/bap_core_theory/bap_core_theory_basic.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_definition.ml > lib/bap_core_theory/bap_core_theory_definition.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_effect.mli > lib/bap_core_theory/bap_core_theory_effect.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_program.mli > lib/bap_core_theory/bap_core_theory_program.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_effect.cmi lib/bap_core_theory/bap_core_theory_effect.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_target.mli > lib/bap_core_theory/bap_core_theory_target.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_var.mli > lib/bap_core_theory/bap_core_theory_var.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_var.cmi lib/bap_core_theory/bap_core_theory_var.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_target.cmi lib/bap_core_theory/bap_core_theory_target.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_program.cmi lib/bap_core_theory/bap_core_theory_program.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_definition.cmo lib/bap_core_theory/bap_core_theory_definition.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_definition.cmo lib/bap_core_theory/bap_core_theory_definition.ml - File "lib/bap_core_theory/bap_core_theory_definition.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_empty.mli > lib/bap_core_theory/bap_core_theory_empty.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_manager.mli > lib/bap_core_theory/bap_core_theory_manager.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_parser.mli > lib/bap_core_theory/bap_core_theory_parser.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_grammar_definition.ml > lib/bap_core_theory/bap_core_theory_grammar_definition.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_IEEE754.cmi lib/bap_core_theory/bap_core_theory_IEEE754.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_grammar_definition.cmo lib/bap_core_theory/bap_core_theory_grammar_definition.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_grammar_definition.cmo lib/bap_core_theory/bap_core_theory_grammar_definition.ml - File "lib/bap_core_theory/bap_core_theory_grammar_definition.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_pass.mli > lib/bap_core_theory/bap_core_theory_pass.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_basic.cmi lib/bap_core_theory/bap_core_theory_basic.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_basic.cmi lib/bap_core_theory/bap_core_theory_basic.mli - File "lib/bap_core_theory/bap_core_theory_basic.mli", line 2, characters 12-13: - 2 | module Make(S : Minimal) : Basic - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter S. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_empty.cmi lib/bap_core_theory/bap_core_theory_empty.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_manager.cmi lib/bap_core_theory/bap_core_theory_manager.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_parser.cmi lib/bap_core_theory/bap_core_theory_parser.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_parser.cmi lib/bap_core_theory/bap_core_theory_parser.mli - File "lib/bap_core_theory/bap_core_theory_parser.mli", line 50, characters 12-13: - 50 | module Make(S : Core) : sig - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter S. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_pass.cmi lib/bap_core_theory/bap_core_theory_pass.mli - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_pass.cmi lib/bap_core_theory/bap_core_theory_pass.mli - File "lib/bap_core_theory/bap_core_theory_pass.mli", line 16, characters 15-17: - 16 | module Desugar(CT : Core) : Core - ^^ - Warning 67 [unused-functor-parameter]: unused functor parameter CT. - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_basic.ml > lib/bap_core_theory/bap_core_theory_basic.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_effect.ml > lib/bap_core_theory/bap_core_theory_effect.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_empty.ml > lib/bap_core_theory/bap_core_theory_empty.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_IEEE754.ml > lib/bap_core_theory/bap_core_theory_IEEE754.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_program.ml > lib/bap_core_theory/bap_core_theory_program.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_manager.ml > lib/bap_core_theory/bap_core_theory_manager.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_parser.ml > lib/bap_core_theory/bap_core_theory_parser.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_pass.ml > lib/bap_core_theory/bap_core_theory_pass.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_target.ml > lib/bap_core_theory/bap_core_theory_target.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_value.ml > lib/bap_core_theory/bap_core_theory_value.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -modules lib/bap_core_theory/bap_core_theory_var.ml > lib/bap_core_theory/bap_core_theory_var.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory.cmo lib/bap_core_theory/bap_core_theory.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_basic.cmo lib/bap_core_theory/bap_core_theory_basic.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_effect.cmo lib/bap_core_theory/bap_core_theory_effect.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_empty.cmo lib/bap_core_theory/bap_core_theory_empty.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_IEEE754.cmo lib/bap_core_theory/bap_core_theory_IEEE754.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_program.cmo lib/bap_core_theory/bap_core_theory_program.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_manager.cmo lib/bap_core_theory/bap_core_theory_manager.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_parser.cmo lib/bap_core_theory/bap_core_theory_parser.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_pass.cmo lib/bap_core_theory/bap_core_theory_pass.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_target.cmo lib/bap_core_theory/bap_core_theory_target.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_value.cmo lib/bap_core_theory/bap_core_theory_value.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_var.cmo lib/bap_core_theory/bap_core_theory_var.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I lib/bap_core_theory lib/bap_core_theory/bap_core_theory_value.cmo lib/bap_core_theory/bap_core_theory_IEEE754.cmo lib/bap_core_theory/bap_core_theory_effect.cmo lib/bap_core_theory/bap_core_theory_var.cmo lib/bap_core_theory/bap_core_theory_target.cmo lib/bap_core_theory/bap_core_theory_program.cmo lib/bap_core_theory/bap_core_theory_definition.cmo lib/bap_core_theory/bap_core_theory_basic.cmo lib/bap_core_theory/bap_core_theory_empty.cmo lib/bap_core_theory/bap_core_theory_pass.cmo lib/bap_core_theory/bap_core_theory_manager.cmo lib/bap_core_theory/bap_core_theory_grammar_definition.cmo lib/bap_core_theory/bap_core_theory_parser.cmo lib/bap_core_theory/bap_core_theory.cmo -o lib/bap_core_theory/bap_core_theory.cma - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_value.cmx lib/bap_core_theory/bap_core_theory_value.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_effect.cmx lib/bap_core_theory/bap_core_theory_effect.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_var.cmx lib/bap_core_theory/bap_core_theory_var.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_target.cmx lib/bap_core_theory/bap_core_theory_target.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_program.cmx lib/bap_core_theory/bap_core_theory_program.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_definition.cmx lib/bap_core_theory/bap_core_theory_definition.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_definition.cmx lib/bap_core_theory/bap_core_theory_definition.ml - File "lib/bap_core_theory/bap_core_theory_definition.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_empty.cmx lib/bap_core_theory/bap_core_theory_empty.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_pass.cmx lib/bap_core_theory/bap_core_theory_pass.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_IEEE754.cmx lib/bap_core_theory/bap_core_theory_IEEE754.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_grammar_definition.cmx lib/bap_core_theory/bap_core_theory_grammar_definition.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_grammar_definition.cmx lib/bap_core_theory/bap_core_theory_grammar_definition.ml - File "lib/bap_core_theory/bap_core_theory_grammar_definition.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_basic.cmx lib/bap_core_theory/bap_core_theory_basic.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_manager.cmx lib/bap_core_theory/bap_core_theory_manager.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory_parser.cmx lib/bap_core_theory/bap_core_theory_parser.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-knowledge -I lib/bap_core_theory -o lib/bap_core_theory/bap_core_theory.cmx lib/bap_core_theory/bap_core_theory.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I lib/bap_core_theory lib/bap_core_theory/bap_core_theory_value.cmx lib/bap_core_theory/bap_core_theory_IEEE754.cmx lib/bap_core_theory/bap_core_theory_effect.cmx lib/bap_core_theory/bap_core_theory_var.cmx lib/bap_core_theory/bap_core_theory_target.cmx lib/bap_core_theory/bap_core_theory_program.cmx lib/bap_core_theory/bap_core_theory_definition.cmx lib/bap_core_theory/bap_core_theory_basic.cmx lib/bap_core_theory/bap_core_theory_empty.cmx lib/bap_core_theory/bap_core_theory_grammar_definition.cmx lib/bap_core_theory/bap_core_theory_pass.cmx lib/bap_core_theory/bap_core_theory_manager.cmx lib/bap_core_theory/bap_core_theory_parser.cmx lib/bap_core_theory/bap_core_theory.cmx -o lib/bap_core_theory/bap_core_theory.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -linkall -I lib/bap_core_theory lib/bap_core_theory/bap_core_theory.cmxa -o lib/bap_core_theory/bap_core_theory.cmxs - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package monads -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-main -package bap-knowledge -modules plugins/core_theory/core_theory_main.mli > plugins/core_theory/core_theory_main.mli.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_core_theory -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package monads -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-main -package bap-knowledge -I plugins/core_theory -I lib/bap_core_theory -o plugins/core_theory/core_theory_main.cmi plugins/core_theory/core_theory_main.mli - + /home/opam/.opam/default/bin/ocamlfind ocamldep -package ppx_bap -package monads -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-main -package bap-knowledge -modules plugins/core_theory/core_theory_main.ml > plugins/core_theory/core_theory_main.ml.depends - + /home/opam/.opam/default/bin/ocamlfind ocamlc -c -g -annot -bin-annot -I lib/bap_core_theory -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package monads -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-main -package bap-knowledge -I plugins/core_theory -I lib/bap_core_theory -o plugins/core_theory/core_theory_main.cmo plugins/core_theory/core_theory_main.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I plugins/core_theory plugins/core_theory/core_theory_main.cmo -o plugins/core_theory/core_theory_plugin.cma - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -I lib/bap_core_theory -w +a-4-6-7-9-27-29-32..42-44-45-48-50-60 -package ppx_bap -package monads -package core_kernel.caml_unix -package core_kernel -package bitvec-sexp -package bitvec-order -package bitvec-binprot -package bitvec -package bap-main -package bap-knowledge -I plugins/core_theory -I lib/bap_core_theory -o plugins/core_theory/core_theory_main.cmx plugins/core_theory/core_theory_main.ml - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I plugins/core_theory plugins/core_theory/core_theory_main.cmx -o plugins/core_theory/core_theory_plugin.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -linkall -I plugins/core_theory plugins/core_theory/core_theory_plugin.cmxa -o plugins/core_theory/core_theory_plugin.cmxs - + ocamlfind ocamlopt -package unix -package ocamlbuild -linkpkg -package findlib myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - File "myocamlbuild.ml", line 454, characters 8-19: - 454 | Stream.from - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 457, characters 21-32: - 457 | match Stream.next st with - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 460, characters 18-32: - 460 | with Stream.Failure -> None) - ^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 462, characters 6-23: - 462 | Genlex.make_lexer ["="] st_line - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 465, characters 12-24: - 465 | match Stream.npeek 3 lxr with - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 466, characters 9-21: - 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 466, characters 26-36: - 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 466, characters 42-55: - 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] -> - ^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Genlex - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 467, characters 8-19: - 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 467, characters 25-36: - 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 467, characters 42-53: - 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr; - ^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. - File "myocamlbuild.ml", line 479, characters 17-34: - 479 | let st = Stream.of_channel chn in - ^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Stream - Use the camlp-streams library instead. -> compiled bap-core-theory.2.5.0 [bap-core-theory: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-core-theory.2.5.0) - ./setup.exe -quiet -install - Installed /home/opam/.opam/default/lib/bap-plugin-core_theory/core_theory_plugin.cma - Installed /home/opam/.opam/default/lib/bap-plugin-core_theory/core_theory_plugin.cmxa - Installed /home/opam/.opam/default/lib/bap-plugin-core_theory/core_theory_plugin.a - Installed /home/opam/.opam/default/lib/bap-plugin-core_theory/core_theory_plugin.cmxs - Installed /home/opam/.opam/default/lib/bap-plugin-core_theory/core_theory_main.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-core_theory/META - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.mli - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cma - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cmxa - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.a - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cmxs - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cmi - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cmti - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cmt - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.annot - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_var.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_value.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_target.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_pass.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_parser.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_manager.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_program.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_IEEE754.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_grammar_definition.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_empty.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_effect.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_definition.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory_basic.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cmx - Installed /home/opam/.opam/default/lib/bap-core-theory/META - sh tools/build_plugins.sh - + ocamlfind ocamlc -config - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package bap-plugin-core_theory -package ppx_bap -package core_kernel -modules bap_plugin_core_theory.ml > bap_plugin_core_theory.ml.depends - + ocamlfind ocamlc -c -g -thread -package bap-plugin-core_theory -package ppx_bap -package core_kernel -o bap_plugin_core_theory.cmo bap_plugin_core_theory.ml - + ocamlfind ocamlopt -c -g -thread -package bap-plugin-core_theory -package ppx_bap -package core_kernel -o bap_plugin_core_theory.cmx bap_plugin_core_theory.ml - + ocamlfind ocamlopt -a -thread -package bap-plugin-core_theory -package ppx_bap -package core_kernel bap_plugin_core_theory.cmx -o bap_plugin_core_theory.cmxa - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt . bap_plugin_core_theory.cmxa -o bap_plugin_core_theory.cmxs - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/core_kernel/caml_unix /home/opam/.opam/default/lib/core_kernel/caml_unix/caml_unix.cmxa -o caml_unix.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/core_kernel/caml_unix/caml_unix.cma -o caml_unix.cma - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/core_kernel/rope /home/opam/.opam/default/lib/core_kernel/rope/rope.cmxa -o rope.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/core_kernel/rope/rope.cma -o rope.cma - + cp /home/opam/.opam/default/lib/monads/monads.cmxs . - + cp /home/opam/.opam/default/lib/monads/monads.cma . - + cp /home/opam/.opam/default/lib/bap-knowledge/knowledge.cmxs . - + cp /home/opam/.opam/default/lib/bap-knowledge/knowledge.cma . - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/zarith /home/opam/.opam/default/lib/zarith/zarith.cmxa -o zarith.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/zarith/zarith.cma -o zarith.cma - + cp /home/opam/.opam/default/lib/bitvec/bitvec.cmxs . - + cp /home/opam/.opam/default/lib/bitvec/bitvec.cma . - + cp /home/opam/.opam/default/lib/bitvec-sexp/bitvec_sexp.cmxs . - + cp /home/opam/.opam/default/lib/bitvec-sexp/bitvec_sexp.cma . - + cp /home/opam/.opam/default/lib/bitvec-order/bitvec_order.cmxs . - + cp /home/opam/.opam/default/lib/bitvec-order/bitvec_order.cma . - + cp /home/opam/.opam/default/lib/bitvec-binprot/bitvec_binprot.cmxs . - + cp /home/opam/.opam/default/lib/bitvec-binprot/bitvec_binprot.cma . - + cp /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cmxs . - + cp /home/opam/.opam/default/lib/bap-core-theory/bap_core_theory.cma . - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/stdlib-shims /home/opam/.opam/default/lib/stdlib-shims/stdlib_shims.cmxa -o stdlib_shims.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/stdlib-shims/stdlib_shims.cma -o stdlib_shims.cma - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/cmdliner /home/opam/.opam/default/lib/cmdliner/cmdliner.cmxa -o cmdliner.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/cmdliner/cmdliner.cma -o cmdliner.cma - + cp /home/opam/.opam/default/lib/bap-future/bap_future.cmxs . - + cp /home/opam/.opam/default/lib/bap-future/bap_future.cma . - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/bigstringaf /home/opam/.opam/default/lib/bigstringaf/bigstringaf.cmxa -o bigstringaf.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/bigstringaf/bigstringaf.cma -o bigstringaf.cma - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/angstrom /home/opam/.opam/default/lib/angstrom/angstrom.cmxa -o angstrom.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/angstrom/angstrom.cma -o angstrom.cma - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/stringext /home/opam/.opam/default/lib/stringext/stringext.cmxa -o stringext.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/stringext/stringext.cma -o stringext.cma - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/uri /home/opam/.opam/default/lib/uri/uri.cmxa -o uri.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/uri/uri.cma -o uri.cma - + cp /home/opam/.opam/default/lib/zip/zip.cmxs . - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/zip/zip.cma -o zip.cma - + cp /home/opam/.opam/default/lib/bap-bundle/bundle.cmxs . - + cp /home/opam/.opam/default/lib/bap-bundle/bundle.cma . - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/ocaml /home/opam/.opam/default/lib/ocaml/dynlink.cmxa -o dynlink.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/ocaml/dynlink.cma -o dynlink.cma - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/fileutils /home/opam/.opam/default/lib/fileutils/fileutils.cmxa -o fileutils.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/fileutils/fileutils.cma -o fileutils.cma - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/findlib /home/opam/.opam/default/lib/findlib/findlib.cmxa -o findlib.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/findlib/findlib.cma -o findlib.cma - + cp /home/opam/.opam/default/lib/bap-plugins/bap_plugins.cmxs . - + cp /home/opam/.opam/default/lib/bap-plugins/bap_plugins.cma . - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/uuidm /home/opam/.opam/default/lib/uuidm/uuidm.cmxa -o uuidm.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/uuidm/uuidm.cma -o uuidm.cma - + cp /home/opam/.opam/default/lib/bap-recipe/recipe.cmxs . - + cp /home/opam/.opam/default/lib/bap-recipe/recipe.cma . - + cp /home/opam/.opam/default/lib/bap-main/bap_main.cmxs . - + cp /home/opam/.opam/default/lib/bap-main/bap_main.cma . - + cp /home/opam/.opam/default/lib/bap-plugin-core_theory/core_theory_plugin.cmxs . - + cp /home/opam/.opam/default/lib/bap-plugin-core_theory/core_theory_plugin.cma . - + ocamlfind ocamlc -a -custom -thread -package bap-plugin-core_theory -package ppx_bap -package core_kernel bap_plugin_core_theory.cmo -o bap_plugin_core_theory.cma - + bapbundle pack -name bap_plugin_core_theory -main bap_plugin_core_theory.cmxs -main bap_plugin_core_theory.cma -requires 'caml_unix=caml_unix.cmxs,caml_unix=caml_unix.cma,rope=rope.cmxs,rope=rope.cma,monads=monads.cmxs,monads=monads.cma,knowledge=knowledge.cmxs,knowledge=knowledge.cma,zarith=zarith.cmxs,zarith=zarith.cma,bitvec=bitvec.cmxs,bitvec=bitvec.cma,bitvec_sexp=bitvec_sexp.cmxs,bitvec_sexp=bitvec_sexp.cma,bitvec_order=bitvec_order.cmxs,bitvec_order=bitvec_order.cma,bitvec_binprot=bitvec_binprot.cmxs,bitvec_binprot=bitvec_binprot.cma,bap_core_theory=bap_core_theory.cmxs,bap_core_theory=bap_core_theory.cma,stdlib_shims=stdlib_shims.cmxs,stdlib_shims=stdlib_shims.cma,cmdliner=cmdliner.cmxs,cmdliner=cmdliner.cma,bap_future=bap_future.cmxs,bap_future=bap_future.cma,bigstringaf=bigstringaf.cmxs,bigstringaf=bigstringaf.cma,angstrom=angstrom.cmxs,angstrom=angstrom.cma,stringext=stringext.cmxs,stringext=stringext.cma,uri=uri.cmxs,uri=uri.cma,zip=zip.cmxs,zip=zip.cma,bundle=bundle.cmxs,bundle=bundle.cma,dynlink=dynlink.cmxs,dynlink=dynlink.cma,fileutils=fileutils.cmxs,fileutils=fileutils.cma,findlib=findlib.cmxs,findlib=findlib.cma,bap_plugins=bap_plugins.cmxs,bap_plugins=bap_plugins.cma,uuidm=uuidm.cmxs,uuidm=uuidm.cma,recipe=recipe.cmxs,recipe=recipe.cma,bap_main=bap_main.cmxs,bap_main=bap_main.cma,core_theory_plugin=core_theory_plugin.cmxs,core_theory_plugin=core_theory_plugin.cma' -provides bap_plugin_core_theory bap_plugin_core_theory.plugin - + ln -sf /home/opam/.opam/default/.opam-switch/build/bap-core-theory.2.5.0/_build/built_plugins/core_theory/_build/bap_plugin_core_theory.plugin .. - Finished updating plugins - if [ -f ./postinstall.native ]; then ./postinstall.native; fi - if [ -f ./postinstall.byte ]; then ./postinstall.byte; fi - if [ -f ./postinstall ]; then ./postinstall; fi [WARNING] Opam packages conf-gmp.5 and conf-zlib.1 depend on the following system packages that are no longer installed: libgmp-dev zlib1g-dev -> installed bap-core-theory.2.5.0 - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-09-04 04:15.08: OK: build bap-core-theory.2.5.0 (runc: 43.6s, disk: 79KB) 2026-09-04 04:15.08: Job succeeded