Build:
- 0
2026-09-04 05:05.20: New job: build bap-primus-symbolic-executor.2.4.0 (9557e4877211) 2026-09-04 05:05.20: Waiting for resource in pool day11-builds 2026-09-04 05:14.27: Got resource from pool day11-builds 2026-09-04 05:14.27: [profile full] build bap-primus-symbolic-executor.2.4.0 2026-09-04 05:14.27: build bap-primus-symbolic-executor.2.4.0 (9557e4877211) === DEPENDENCIES (136 transitive) === angstrom.0.16.1 1beb2b968c40 bap-abi.2.4.0 8035307e6f8a bap-api.2.4.0 3069e9ba5e3d bap-build.2.4.0 11574bac0bc0 bap-bundle.2.4.0 f2dfae940ad8 bap-c.2.4.0 276e3e67af5d bap-core-theory.2.4.0 dace2091314f bap-future.2.4.0 e42c670bfdb2 bap-knowledge.2.4.0 09b05f0d12a3 bap-main.2.4.0 27a7d05875e1 bap-plugins.2.4.0 7af94a584d8d bap-primus.2.4.0 240f5faa2d3d bap-primus-track-visited.2.4.0 b7f67c2aa563 bap-recipe.2.4.0 940d3c403b2a bap-relation.2.4.0 56c0874aa74c bap-std.2.4.0 2b5215c8749e bap-strings.2.4.0 9648017bf772 base.v0.14.4 95b2db6fa335 base-bytes.base b9dca55f5663 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e base_bigstring.v0.14.0 03dfdd389842 base_quickcheck.v0.14.0 675a7bcf3d26 bigarray-compat.1.1.0 2438dca548c5 bigstringaf.0.10.0 cc3ab1833179 bin_prot.v0.14.1 8963b6bd0b75 bitvec.2.4.0 86d412840354 bitvec-binprot.2.4.0 8700aae81678 bitvec-order.2.4.0 4cd4ed1b32f0 bitvec-sexp.2.4.0 aa351fb1218a camlzip.1.11 15b5bb32a09d cmdliner.1.3.0 3ff29f9d4b53 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.1 bd3450797c97 cppo.1.8.0 d985c37e6252 csexp.1.5.2 45da150ac45d dune.3.24.2 03fddf396e0b dune-configurator.3.22.2 9de81b632721 fieldslib.v0.14.0 3a5804c765f3 fileutils.0.6.4 72212deaf12c graphlib.2.4.0 beb6a361daa1 jane-street-headers.v0.14.0 268afa47d6b4 jst-config.v0.14.1 ccbabec938d4 lambda-term.3.4.1 e0406281b8f0 logs.0.8.0 acf1efefb805 lwt.5.10.1 a6ad0b97a159 lwt_react.1.2.0 3859b9b6e70f mew.0.1.0 384b497be5c8 mew_vi.0.5.0 9264588deae7 mmap.1.2.0 b8de0276bd2a monads.2.4.0 1c18eb02b408 num.1.6 77382141c2d9 oasis.0.4.11 c512e4eee6a0 ocaml.4.12.1 40bf037a0516 ocaml-base-compiler.4.12.1 e714dfd3f0fe ocaml-compiler-libs.v0.12.4 02b0760118b6 ocaml-config.2 75bd2fc1f23b ocaml-migrate-parsetree.1.8.0 948d5b2a7ced ocaml-secondary-compiler.4.14.2 d66c1c5ac958 ocaml-syntax-shims.1.0.0 70ba68081b80 ocamlbuild.0.16.1 b436c8ee2909 ocamlfind.1.9.6 b1980dc27cfd ocamlfind-secondary.1.9.6 cd09f5be8757 ocamlgraph.2.2.0 640ff76d214c ocamlify.0.0.1 9d46cceb92e6 ocamlmod.0.0.9 3916d4946335 ocplib-endian.1.2 b13d7187bc3a octavius.1.2.2 120052ac9960 ogre.2.4.0 86a9e5b01e82 parsexp.v0.14.2 086e0a4e0e37 ppx_assert.v0.14.0 0ab883edc381 ppx_bap.v0.14.0 5fb5e56b7b31 ppx_base.v0.14.0 64cc490d5776 ppx_bench.v0.14.1 4972fc73ba8b ppx_bin_prot.v0.14.0 3340d5ebe5df ppx_cold.v0.14.0 c60f7fdc516f ppx_compare.v0.14.0 1f1069c80705 ppx_custom_printf.v0.14.0 209f72a16652 ppx_derivers.1.2.1 a5c1b1ed9e33 ppx_enumerate.v0.14.0 415350832376 ppx_expect.v0.14.0 bdb8a709559b ppx_fields_conv.v0.14.1 da321b4c6363 ppx_fixed_literal.v0.14.0 3b4dbe7a6f26 ppx_hash.v0.14.0 2a0637812a0b ppx_here.v0.14.0 e37dffef8a83 ppx_inline_test.v0.14.1 bd32570eb79a ppx_jane.v0.14.0 21aaec167e61 ppx_js_style.v0.14.1 56381dab8c1e ppx_let.v0.14.0 9f7423d31625 ppx_module_timer.v0.14.0 f8b2e99f9966 ppx_optcomp.v0.14.0 698ccb68741e ppx_optional.v0.14.0 18d9d6feb571 ppx_pipebang.v0.14.0 414b58a272d1 ppx_sexp_conv.v0.14.1 d33c671ae4c2 ppx_sexp_message.v0.14.0 1201612f4218 ppx_sexp_value.v0.14.0 32b430c1d18b ppx_stable.v0.14.1 a475ca589495 ppx_string.v0.14.1 ef7899d0491a ppx_typerep_conv.v0.14.1 14105dde0d2e ppx_variants_conv.v0.14.1 6abd6269a8a8 ppxlib.0.15.0 f6aabefc68f9 re.1.12.0 a55b7e990d42 react.1.2.2 d7abdcde7c79 regular.2.4.0 16a638820c37 result.1.5 901d6a7defa5 seq.base 54beea656353 sexplib.v0.14.0 f74de2bc6a44 sexplib0.v0.14.0 9192d19ab94c splittable_random.v0.14.0 b2b64fd7d509 stdio.v0.14.0 f3b6742a1f00 stdlib-shims.0.3.0 d07c91089280 stringext.1.6.0 4d7392e82f39 time_now.v0.14.0 64e44461d9bb topkg.1.1.1 99e743cd0ccd trie.1.0.0 5a78de6cdcd8 typerep.v0.14.0 3137573db8b6 uchar.0.0.2 47eb48c1c3aa uri.4.4.0 98eb5ad3b683 utop.2.17.0 b87e3062797d uucp.15.0.0 e4d31e2b5594 uuidm.0.9.8 15c21bf2ffe2 uuseg.15.0.0 727d6cdadeea uutf.1.0.4 6d429b634199 variantslib.v0.14.0 8cc5bc3df6a9 xdg.3.22.2 8cd95af087b1 z3.4.16.0 994112db11a5 zarith.1.14 58b54426ae3e zed.3.2.3 6cae19f69c75 === 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) - - 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.12.1 - 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 -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT - native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT - 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.6 - 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 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 -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 - + /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 - + /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 -> 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 05:15.21: OK: build bap-primus-symbolic-executor.2.4.0 (runc: 28.1s, disk: 36KB) 2026-09-04 05:15.21: Job succeeded