Build:
- 0
2026-06-16 21:21.23: New job: build bap-core-theory.2.5.0 (bfe53d10380e) 2026-06-16 21:21.23: Waiting for resource in pool day11-builds 2026-06-16 21:32.50: Got resource from pool day11-builds 2026-06-16 21:32.50: [profile full] build bap-core-theory.2.5.0 2026-06-16 21:32.50: build bap-core-theory.2.5.0 (bfe53d10380e) === DEPENDENCIES (91 transitive) === angstrom.0.16.1 a499461c2439 bap-build.2.5.0 4e22cba2904e bap-bundle.2.5.0 53fec74596dc bap-future.2.5.0 c178f5ac35a7 bap-knowledge.2.5.0 39888c9611d7 bap-main.2.5.0 d1662c8c8732 bap-plugins.2.5.0 f0d376d3ac8c bap-recipe.2.5.0 874339c76847 base.v0.14.4 b5a4d60a41d0 base-threads.base b7164ff76afe base-unix.base 839dc585f12d base_bigstring.v0.14.0 f7d569ab176f base_quickcheck.v0.14.1 66fb4a40dcc4 bigstringaf.0.10.0 b0e2fb8e5d3b bin_prot.v0.14.1 0cd2cce55e33 bitvec.2.5.0 c7f7b48a7625 bitvec-binprot.2.5.0 0f69e92d9d8d bitvec-order.2.5.0 c2074f9a49fe bitvec-sexp.2.5.0 2a9a7715f308 camlzip.1.14 e242cb4a30b0 cmdliner.1.3.0 dad70bc4de20 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b conf-zlib.1 6a8e9cb470aa core_kernel.v0.14.2 44a309a0a702 csexp.1.5.2 ec63db2dab31 dune.3.23.1 5402470d931c dune-configurator.3.23.1 58f4a3f92083 fieldslib.v0.14.0 1e0dc5200b33 fileutils.0.6.6 12eab2c3cae2 jane-street-headers.v0.14.0 c3010a8a50a5 jst-config.v0.14.1 b628d02c6f72 monads.2.5.0 fec281f54b1b num.1.6 480227ca99db oasis.0.4.11 c7c4c52b1bdc ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-compiler-libs.v0.12.4 d1dd1437b449 ocaml-config.2 669e0fcf9e4d ocaml-syntax-shims.1.0.0 8e1b0ec7f904 ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e ocamlify.0.0.1 7283ee0bdaa9 ocamlmod.0.1.1 77e75eab2138 octavius.1.2.2 ddb1c0b6e44b parsexp.v0.14.2 e67fe595686c ppx_assert.v0.14.0 ecf395c90c45 ppx_bap.v0.14.0 06c0fd8ae375 ppx_base.v0.14.0 c9866b35f970 ppx_bench.v0.14.1 83b72b69ed2e ppx_bin_prot.v0.14.0 1f7e4e807f87 ppx_cold.v0.14.0 15876f47887a ppx_compare.v0.14.0 3cc05cb051a2 ppx_custom_printf.v0.14.1 ba3c2570550d ppx_derivers.1.2.1 441538dbecd1 ppx_enumerate.v0.14.0 888f3419aa66 ppx_expect.v0.14.2 6feb9f732448 ppx_fields_conv.v0.14.2 ef500d27958f ppx_fixed_literal.v0.14.0 2e87b0b740d5 ppx_hash.v0.14.0 0bca9ed4566c ppx_here.v0.14.0 19e47e2745a1 ppx_inline_test.v0.14.1 86d55cea81c8 ppx_jane.v0.14.0 bafb2b6386fc ppx_js_style.v0.14.1 d1bab4301fbd ppx_let.v0.14.0 4994849dc520 ppx_module_timer.v0.14.0 630fe633232f ppx_optcomp.v0.14.3 ad5c3bea606b ppx_optional.v0.14.0 f6e7f32d010f ppx_pipebang.v0.14.0 f18450bf12d8 ppx_sexp_conv.v0.14.3 2876f2286cf8 ppx_sexp_message.v0.14.1 bfc87a625df7 ppx_sexp_value.v0.14.0 3b3d59267496 ppx_stable.v0.14.1 808753f1e5ad ppx_string.v0.14.1 ffc601a14f53 ppx_typerep_conv.v0.14.2 d74b642b699c ppx_variants_conv.v0.14.2 0d8890608d34 ppxlib.0.25.1 5958a77f7e28 re.1.14.0 8d7c1999492d sexplib.v0.14.0 fc9ed9e96f00 sexplib0.v0.14.0 63f6c559cebe splittable_random.v0.14.0 84274c844829 stdio.v0.14.0 ed4e992dd685 stdlib-shims.0.3.0 e2dd0beb9112 stringext.1.6.0 d29c9ca4a03c time_now.v0.14.0 62b2838dab0c topkg.1.1.1 ab549298f3fc typerep.v0.14.0 4c9ddf777cad uri.4.4.0 a28bedf1b002 uuidm.0.9.10 827a15cac792 variantslib.v0.14.0 7bbfced53980 zarith.1.14 cde7973b8292 === 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 -> installed bap-core-theory.2.5.0 [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 - conf-gmp.5: depends on libgmp-dev - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-06-16 21:33.53: OK: build bap-core-theory.2.5.0 (runc: 36.8s, disk: 77KB) 2026-06-16 21:33.53: Job succeeded