Build:
- 0
2026-09-04 04:51.11: New job: build bap-primus-symbolic-executor.2.4.0 (037131fe8722) 2026-09-04 04:51.11: Waiting for resource in pool day11-builds 2026-09-04 04:55.36: Got resource from pool day11-builds 2026-09-04 04:55.36: [profile full] build bap-primus-symbolic-executor.2.4.0 2026-09-04 04:55.36: build bap-primus-symbolic-executor.2.4.0 (037131fe8722) === DEPENDENCIES (132 transitive) === angstrom.0.16.1 e7a677ecbad7 bap-abi.2.4.0 84c9a87a2cc6 bap-api.2.4.0 cc8e323803f4 bap-build.2.4.0 b9d810284221 bap-bundle.2.4.0 2771379b0209 bap-c.2.4.0 e3b355c71701 bap-core-theory.2.4.0 68b07a3e33fb bap-future.2.4.0 d560a97938a9 bap-knowledge.2.4.0 85023c899353 bap-main.2.4.0 8a72ee9da879 bap-plugins.2.4.0 f5b311262241 bap-primus.2.4.0 60b81f97cfe4 bap-primus-track-visited.2.4.0 8a4f3534c87c bap-recipe.2.4.0 65847b2c5aa5 bap-relation.2.4.0 093b27db475a bap-std.2.4.0 3c9e685ee2fc bap-strings.2.4.0 3d706323b90b base.v0.14.4 7bd00261ca7a base-bytes.base 68d84c459288 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e base_bigstring.v0.14.0 01ed01e3f794 base_quickcheck.v0.14.1 8661e25e60bd bigarray-compat.1.1.0 3f4e163c0195 bigstringaf.0.10.0 81ac91c311f3 bin_prot.v0.14.1 152026ef61cc bitvec.2.4.0 561097a2c90b bitvec-binprot.2.4.0 501cd3f3f68c bitvec-order.2.4.0 fad2130658e9 bitvec-sexp.2.4.0 0625ee18265e camlzip.1.14 a581e4e5e5ff cmdliner.1.3.0 50421b7f7592 conf-c++.1.0 a252a2c8d274 conf-clang.2 b51ca2579173 conf-gmp.5 eac5259e412f conf-m4.1 cced3fb5db42 conf-perl.2 f520f20c9658 conf-pkg-config.5 74f50f3cfe72 conf-python-3.9.0.0 c8ed77e42b03 conf-which.1 4293d66f3d9e conf-zlib.1 26591fa9352c core_kernel.v0.14.2 4ab563da33af cppo.1.8.0 8b34f9718c9c csexp.1.5.2 c758d7657e5b dune.3.24.2 bf83cdf0a904 dune-configurator.3.24.2 23afe5cb4d3b fieldslib.v0.14.0 8d91920f0c00 fileutils.0.6.6 9f8054c92e31 graphlib.2.4.0 5c0a9a4275f1 jane-street-headers.v0.14.0 f5a4b97096e4 jst-config.v0.14.1 1d69ff014ccb lambda-term.3.4.1 a5de12c795ab logs.0.10.0 90d8294aaca2 lwt.6.1.2 3072189ea5c2 lwt_react.1.2.0 d283103430b8 mew.0.1.0 2ec80b1fb636 mew_vi.0.5.0 324f51062c58 mmap.1.2.0 d6ca1b98d0e7 monads.2.4.0 d4dbd48464e5 num.1.6 fe036226102b oasis.0.4.11 8a2bba1aef6e ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-compiler-libs.v0.12.4 0a923ba812db ocaml-config.2 85edea6ac168 ocaml-syntax-shims.1.0.0 dd7617b68ec9 ocamlbuild.0.16.1 5ae5ab4d19bf ocamlfind.1.9.8 3cae95bed0a0 ocamlgraph.2.2.0 ea246a21ca19 ocamlify.0.0.1 ccc8f5f47b55 ocamlmod.0.1.1 1217f52b1521 ocplib-endian.1.2 a626410be6a1 octavius.1.2.2 9cf39f905e70 ogre.2.4.0 f819b291b2fa parsexp.v0.14.2 e741fd02465a ppx_assert.v0.14.0 2f964d9d1a50 ppx_bap.v0.14.0 e1a728f41bde ppx_base.v0.14.0 29ab637238d5 ppx_bench.v0.14.1 3aa1ecfefb63 ppx_bin_prot.v0.14.0 e7e63cdd148e ppx_cold.v0.14.0 2d4190e59592 ppx_compare.v0.14.0 16ec5a3c9966 ppx_custom_printf.v0.14.1 42214033bdb8 ppx_derivers.1.2.1 e8685a77fc9e ppx_enumerate.v0.14.0 2d0466bc6872 ppx_expect.v0.14.2 30bda5b26ebd ppx_fields_conv.v0.14.2 e4988b1c279b ppx_fixed_literal.v0.14.0 15ff9017d442 ppx_hash.v0.14.0 0c8690894069 ppx_here.v0.14.0 40935f190cba ppx_inline_test.v0.14.1 1204bea585c8 ppx_jane.v0.14.0 6cec35100363 ppx_js_style.v0.14.1 e0d03fa5854f ppx_let.v0.14.0 210670edce77 ppx_module_timer.v0.14.0 2051d82e3b47 ppx_optcomp.v0.14.3 1097a8fdff7f ppx_optional.v0.14.0 ade9e1dffca1 ppx_pipebang.v0.14.0 2f10dfdeaf83 ppx_sexp_conv.v0.14.3 ec0d643e5d49 ppx_sexp_message.v0.14.1 59c9ad7f8cda ppx_sexp_value.v0.14.0 fe64a332ae59 ppx_stable.v0.14.1 7c5d239e0ad0 ppx_string.v0.14.1 95b29c9178aa ppx_typerep_conv.v0.14.2 018c1ddbf8a2 ppx_variants_conv.v0.14.2 9dc276b0a7a8 ppxlib.0.25.1 006cd915a58e re.1.14.0 dd879e7a18b1 react.1.2.2 f2eafcc220a4 regular.2.4.0 d1aa3861e63d result.1.5 24fb8ad48a1d sexplib.v0.14.0 24889833504f sexplib0.v0.14.0 bb28911f34a4 splittable_random.v0.14.0 54e4ce72184d stdio.v0.14.0 df298522b3e9 stdlib-shims.0.3.0 484c72a128b6 stringext.1.6.0 9520d67485ad time_now.v0.14.0 da5d8bd6a77d topkg.1.1.1 f1122af0988e trie.1.0.0 aa09d737ed6e typerep.v0.14.0 7fe34361b356 uchar.0.0.2 e60f907a56af uri.4.4.0 7c67c85f3177 utop.2.17.0 90509e87b514 uucp.17.0.0 9b4df18e7688 uuidm.0.9.10 8443fce44abb uuseg.17.0.0 228958c30b6e uutf.1.0.4 c96782dc9eaa variantslib.v0.14.0 af141d9712c7 xdg.3.24.2 f074d5604c3a z3.4.16.0 b438f12e90cd zarith.1.14 fc3f7a60e6b3 zed.3.2.3 c88da037cf6a === STDOUT === Processing: [default: loading data] [bap-primus-symbolic-executor.2.4.0: extract] -> retrieved bap-primus-symbolic-executor.2.4.0 (cached) [bap-primus-symbolic-executor: ./configure] + /home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.4.0/./configure "--prefix=/home/opam/.opam/default" "--enable-primus-symbolic-executor" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.4.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.4.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 Primus Symbolic Executor: ...................... true - Create documentations: ............................... true - Compile tests executable and library and run them: ... false - pkg_bap_primus: ...................................... /home/opam/.opam/default/lib/bap-primus - pkg_bap: ............................................. /home/opam/.opam/default/lib/bap - pkg_core_kernel: ..................................... /home/opam/.opam/default/lib/core_kernel - pkg_bitvec: .......................................... /home/opam/.opam/default/lib/bitvec - pkg_ppx_bap: ......................................... /home/opam/.opam/default/lib/ppx_bap - pkg_zarith: .......................................... /home/opam/.opam/default/lib/zarith - pkg_z3: .............................................. /home/opam/.opam/default/lib/z3 - pkg_regular: ......................................... /home/opam/.opam/default/lib/regular - pkg_bap_main: ........................................ /home/opam/.opam/default/lib/bap-main - pkg_monads: .......................................... /home/opam/.opam/default/lib/monads - pkg_bap_primus_track_visited: ........................ /home/opam/.opam/default/lib/bap-primus-track-visited - pkg_bap_core_theory: ................................. /home/opam/.opam/default/lib/bap-core-theory - [bap-primus-symbolic-executor: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.4.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 zarith -package z3 -package regular -package ppx_bap -package monads -package core_kernel -package bitvec -package bap-primus-track-visited -package bap-primus -package bap-main -package bap-core-theory -package bap -modules plugins/primus_symbolic_executor/primus_symbolic_executor_main.ml > plugins/primus_symbolic_executor/primus_symbolic_executor_main.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 zarith -package z3 -package regular -package ppx_bap -package monads -package core_kernel -package bitvec -package bap-primus-track-visited -package bap-primus -package bap-main -package bap-core-theory -package bap -I plugins/primus_symbolic_executor -o plugins/primus_symbolic_executor/primus_symbolic_executor_main.cmo plugins/primus_symbolic_executor/primus_symbolic_executor_main.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 zarith -package z3 -package regular -package ppx_bap -package monads -package core_kernel -package bitvec -package bap-primus-track-visited -package bap-primus -package bap-main -package bap-core-theory -package bap -I plugins/primus_symbolic_executor -o plugins/primus_symbolic_executor/primus_symbolic_executor_main.cmo plugins/primus_symbolic_executor/primus_symbolic_executor_main.ml - ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch - File "plugins/primus_symbolic_executor/primus_symbolic_executor_main.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlc -a -I plugins/primus_symbolic_executor plugins/primus_symbolic_executor/primus_symbolic_executor_main.cmo -o plugins/primus_symbolic_executor/primus_symbolic_executor_plugin.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 zarith -package z3 -package regular -package ppx_bap -package monads -package core_kernel -package bitvec -package bap-primus-track-visited -package bap-primus -package bap-main -package bap-core-theory -package bap -I plugins/primus_symbolic_executor -o plugins/primus_symbolic_executor/primus_symbolic_executor_main.cmx plugins/primus_symbolic_executor/primus_symbolic_executor_main.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 zarith -package z3 -package regular -package ppx_bap -package monads -package core_kernel -package bitvec -package bap-primus-track-visited -package bap-primus -package bap-main -package bap-core-theory -package bap -I plugins/primus_symbolic_executor -o plugins/primus_symbolic_executor/primus_symbolic_executor_main.cmx plugins/primus_symbolic_executor/primus_symbolic_executor_main.ml - ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch - File "plugins/primus_symbolic_executor/primus_symbolic_executor_main.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -a -I plugins/primus_symbolic_executor plugins/primus_symbolic_executor/primus_symbolic_executor_main.cmx -o plugins/primus_symbolic_executor/primus_symbolic_executor_plugin.cmxa - + /home/opam/.opam/default/bin/ocamlfind ocamlopt -shared -linkall -I plugins/primus_symbolic_executor plugins/primus_symbolic_executor/primus_symbolic_executor_plugin.cmxa -o plugins/primus_symbolic_executor/primus_symbolic_executor_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-primus-symbolic-executor.2.4.0 [bap-primus-symbolic-executor: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.4.0) - ./setup.exe -quiet -install - Installed /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/primus_symbolic_executor_plugin.cma - Installed /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/primus_symbolic_executor_plugin.cmxa - Installed /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/primus_symbolic_executor_plugin.a - Installed /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/primus_symbolic_executor_plugin.cmxs - Installed /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/primus_symbolic_executor_main.cmx - Installed /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/META - sh tools/build_plugins.sh - + ocamlfind ocamlc -config - + ocamlfind ocamlc -config - + ocamlfind ocamldep -package bap-plugin-primus_symbolic_executor -package ppx_bap -package core_kernel -package bap -modules bap_plugin_primus_symbolic_executor.ml > bap_plugin_primus_symbolic_executor.ml.depends - + ocamlfind ocamlc -c -g -thread -package bap-plugin-primus_symbolic_executor -package ppx_bap -package core_kernel -package bap -o bap_plugin_primus_symbolic_executor.cmo bap_plugin_primus_symbolic_executor.ml - + ocamlfind ocamlopt -c -g -thread -package bap-plugin-primus_symbolic_executor -package ppx_bap -package core_kernel -package bap -o bap_plugin_primus_symbolic_executor.cmx bap_plugin_primus_symbolic_executor.ml - + ocamlfind ocamlopt -a -thread -package bap-plugin-primus_symbolic_executor -package ppx_bap -package core_kernel -package bap bap_plugin_primus_symbolic_executor.cmx -o bap_plugin_primus_symbolic_executor.cmxa - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt . bap_plugin_primus_symbolic_executor.cmxa -o bap_plugin_primus_symbolic_executor.cmxs - + ocamlfind ocamlopt -shared -linkall -ccopt -L -ccopt /home/opam/.opam/default/lib/ocaml/threads /home/opam/.opam/default/lib/ocaml/threads/threads.cmxa -o threads.cmxs - + ocamlfind ocamlc -linkall -a /home/opam/.opam/default/lib/ocaml/threads/threads.cma -o threads.cma - + cp /home/opam/.opam/default/lib/bap-abi/bap_abi.cmxs . - + cp /home/opam/.opam/default/lib/bap-abi/bap_abi.cma . - + cp /home/opam/.opam/default/lib/bap-api/bap_api.cmxs . - + cp /home/opam/.opam/default/lib/bap-api/bap_api.cma . - + cp /home/opam/.opam/default/lib/bap-c/bap_c.cmxs . - + cp /home/opam/.opam/default/lib/bap-c/bap_c.cma . - + cp /home/opam/.opam/default/lib/bap-strings/bap_strings.cmxs . - + cp /home/opam/.opam/default/lib/bap-strings/bap_strings.cma . - + cp /home/opam/.opam/default/lib/bap-primus/bap_primus.cmxs . - + cp /home/opam/.opam/default/lib/bap-primus/bap_primus.cma . - + cp /home/opam/.opam/default/lib/z3/z3ml.cmxs . - + cp /home/opam/.opam/default/lib/z3/z3ml.cma . - + cp /home/opam/.opam/default/lib/bap-primus-track-visited/bap_primus_track_visited.cmxs . - + cp /home/opam/.opam/default/lib/bap-primus-track-visited/bap_primus_track_visited.cma . - + cp /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/primus_symbolic_executor_plugin.cmxs . - + cp /home/opam/.opam/default/lib/bap-plugin-primus_symbolic_executor/primus_symbolic_executor_plugin.cma . - + ocamlfind ocamlc -a -custom -thread -package bap-plugin-primus_symbolic_executor -package ppx_bap -package core_kernel -package bap bap_plugin_primus_symbolic_executor.cmo -o bap_plugin_primus_symbolic_executor.cma - + bapbundle pack -name bap_plugin_primus_symbolic_executor -main bap_plugin_primus_symbolic_executor.cmxs -main bap_plugin_primus_symbolic_executor.cma -requires 'threads=threads.cmxs,threads=threads.cma,bap_abi=bap_abi.cmxs,bap_abi=bap_abi.cma,bap_api=bap_api.cmxs,bap_api=bap_api.cma,bap_c=bap_c.cmxs,bap_c=bap_c.cma,bap_strings=bap_strings.cmxs,bap_strings=bap_strings.cma,bap_primus=bap_primus.cmxs,bap_primus=bap_primus.cma,z3ml=z3ml.cmxs,z3ml=z3ml.cma,bap_primus_track_visited=bap_primus_track_visited.cmxs,bap_primus_track_visited=bap_primus_track_visited.cma,primus_symbolic_executor_plugin=primus_symbolic_executor_plugin.cmxs,primus_symbolic_executor_plugin=primus_symbolic_executor_plugin.cma' -provides bap_plugin_primus_symbolic_executor bap_plugin_primus_symbolic_executor.plugin - + ln -sf /home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.4.0/_build/built_plugins/primus_symbolic_executor/_build/bap_plugin_primus_symbolic_executor.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-primus-symbolic-executor.2.4.0 [WARNING] Opam packages conf-clang.2, conf-gmp.5, conf-m4.1, conf-python-3.9.0.0 and conf-zlib.1 depend on the following system packages that are no longer installed: clang libgmp-dev m4 python3 zlib1g-dev - conf-clang.2: depends on clang - conf-gmp.5: depends on libgmp-dev - conf-m4.1: depends on m4 - conf-python-3.9.0.0: depends on python3 - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-09-04 04:56.34: OK: build bap-primus-symbolic-executor.2.4.0 (runc: 36.1s, disk: 48KB) 2026-09-04 04:56.34: Job succeeded