Build:
- 0
2026-06-24 21:59.40: New job: build bap-core-theory.2.5.0 (15bc7fea3972) 2026-06-24 21:59.40: Waiting for resource in pool day11-builds 2026-06-24 22:18.03: Got resource from pool day11-builds 2026-06-24 22:18.03: [profile full] build bap-core-theory.2.5.0 2026-06-24 22:18.03: build bap-core-theory.2.5.0 (15bc7fea3972) === DEPENDENCIES (91 transitive) === angstrom.0.16.1 b3c0b2c22161 bap-build.2.5.0 c63d847fd552 bap-bundle.2.5.0 476da2561f6f bap-future.2.5.0 e70b76232709 bap-knowledge.2.5.0 37ddf7ce7479 bap-main.2.5.0 447d0827c445 bap-plugins.2.5.0 9fbdc3cdb3cd bap-recipe.2.5.0 d1be23ff7fd1 base.v0.14.4 937960646323 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb base_bigstring.v0.14.0 b79dde5f8b13 base_quickcheck.v0.14.1 63e708eb5356 bigstringaf.0.10.0 2670f46d1cef bin_prot.v0.14.1 fb843a6b4b8b bitvec.2.5.0 f1f69bedd55d bitvec-binprot.2.5.0 04ac22c669bd bitvec-order.2.5.0 5f2f37a71e34 bitvec-sexp.2.5.0 bb9896662ad5 camlzip.1.14 b2a1cb874022 cmdliner.1.3.0 7280d3fb1acd conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 conf-zlib.1 5297f1b9477f core_kernel.v0.14.2 7a839334b5c3 csexp.1.5.2 610c78f17734 dune.3.23.1 848a72441e15 dune-configurator.3.23.1 bc97ce98d8a9 fieldslib.v0.14.0 d41213ef3863 fileutils.0.6.6 0f84dbe61300 jane-street-headers.v0.14.0 910ffdd10cb6 jst-config.v0.14.1 4ab8a6a43724 monads.2.5.0 3b1b5776366a num.1.6 110cee7a7e2e oasis.0.4.11 397b1819484e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-compiler-libs.v0.12.4 2aecf989b0b2 ocaml-config.2 2d9c209f5590 ocaml-syntax-shims.1.0.0 ac7d70c1c23c ocamlbuild.0.16.1 7e0d6aadb209 ocamlfind.1.9.8 214dd418ac02 ocamlify.0.0.1 bf0ac2a8a674 ocamlmod.0.1.1 9795d85ef03b octavius.1.2.2 880f957d6fd6 parsexp.v0.14.2 64be31f916bc ppx_assert.v0.14.0 ff7083279127 ppx_bap.v0.14.0 11b218de56ea ppx_base.v0.14.0 603d791c330c ppx_bench.v0.14.1 fad1c69c8095 ppx_bin_prot.v0.14.0 95487e4e9a65 ppx_cold.v0.14.0 e2614d29b0ce ppx_compare.v0.14.0 ede169eea811 ppx_custom_printf.v0.14.1 c95621973422 ppx_derivers.1.2.1 9245877bc46e ppx_enumerate.v0.14.0 04f342adf8c4 ppx_expect.v0.14.2 658d290f04b6 ppx_fields_conv.v0.14.2 aff8cf026cbd ppx_fixed_literal.v0.14.0 40340af653b3 ppx_hash.v0.14.0 27be7493ccdb ppx_here.v0.14.0 018019cb345b ppx_inline_test.v0.14.1 08dcda0d0e85 ppx_jane.v0.14.0 4a4f49cc5014 ppx_js_style.v0.14.1 9a2d98184d97 ppx_let.v0.14.0 8c2415289b8f ppx_module_timer.v0.14.0 29a29196730d ppx_optcomp.v0.14.3 3e08620e62d7 ppx_optional.v0.14.0 c76e98623b69 ppx_pipebang.v0.14.0 935121a6c2ed ppx_sexp_conv.v0.14.3 46c48c54eeef ppx_sexp_message.v0.14.1 958e2d56b950 ppx_sexp_value.v0.14.0 1771f90c7ea5 ppx_stable.v0.14.1 50a7b55f0815 ppx_string.v0.14.1 a5c654c3d752 ppx_typerep_conv.v0.14.2 364321741668 ppx_variants_conv.v0.14.2 f6989d1fa96e ppxlib.0.25.1 d883cca984de re.1.14.0 d62d6f65abb6 sexplib.v0.14.0 038a27c7e8de sexplib0.v0.14.0 75fd723bc5ba splittable_random.v0.14.0 2622c98eb132 stdio.v0.14.0 9b4cb4ea7c2d stdlib-shims.0.3.0 de5202e23add stringext.1.6.0 9dbcca0df50a time_now.v0.14.0 4a9b561ee076 topkg.1.1.1 511e1a1958da typerep.v0.14.0 ed6f14fbcf8b uri.4.4.0 ae40a4374ff7 uuidm.0.9.10 74453a1b50a9 variantslib.v0.14.0 c2d0032ee640 zarith.1.14 a8971d2f668c === 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-24 22:19.20: OK: build bap-core-theory.2.5.0 (runc: 38.6s, disk: 79KB) 2026-06-24 22:19.20: Job succeeded