Build:
- 0
2026-09-04 04:56.38: New job: build bap-primus-symbolic-executor.2.3.0 (6907ee127c43) 2026-09-04 04:56.38: Waiting for resource in pool day11-builds 2026-09-04 05:06.41: Got resource from pool day11-builds 2026-09-04 05:06.41: [profile full] build bap-primus-symbolic-executor.2.3.0 2026-09-04 05:06.41: build bap-primus-symbolic-executor.2.3.0 (6907ee127c43) === DEPENDENCIES (134 transitive) === angstrom.0.16.1 1beb2b968c40 bap-abi.2.3.0 35edab4a502d bap-api.2.3.0 5ff1f144aae4 bap-build.2.3.0 d997b0f73efa bap-bundle.2.3.0 475426e484ec bap-c.2.3.0 095af9795449 bap-core-theory.2.3.0 0d294d76ac4d bap-future.2.3.0 ae993ff78dd7 bap-knowledge.2.3.0 11c187618114 bap-main.2.3.0 f785697c4205 bap-plugins.2.3.0 0d0637cec2f9 bap-primus.2.3.0 cdab9291c683 bap-primus-track-visited.2.3.0 f4fe6804b87f bap-recipe.2.3.0 369c20a6fd0d bap-relation.2.3.0 9b47988b51d9 bap-std.2.3.0 3df7fd1870a1 bap-strings.2.3.0 b2569927ab8f 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.3.0 5b1f52c355e5 bitvec-binprot.2.3.0 b5c27acaba9a bitvec-order.2.3.0 c21bcccf82a3 bitvec-sexp.2.3.0 e05915ad301b camlzip.1.11 15b5bb32a09d cmdliner.1.3.0 3ff29f9d4b53 conf-c++.1.0 a252a2c8d274 conf-clang.2 b51ca2579173 conf-gmp.5 eac5259e412f 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.3.0 af7f275d9d69 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.3.0 0c3932ed752e 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.3.0 4049ca78f222 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.3.0 a2cdad657b16 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.3.0: extract] -> retrieved bap-primus-symbolic-executor.2.3.0 (cached) [bap-primus-symbolic-executor: ./configure] + /home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.3.0/./configure "--prefix=/home/opam/.opam/default" "--enable-primus-symbolic-executor" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.3.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.3.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.3.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.3.0 [bap-primus-symbolic-executor: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/bap-primus-symbolic-executor.2.3.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.3.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.3.0 [WARNING] Opam packages conf-clang.2, conf-gmp.5, conf-python-3.9.0.0 and conf-zlib.1 depend on the following system packages that are no longer installed: clang libgmp-dev python3 zlib1g-dev - conf-clang.2: depends on clang - conf-gmp.5: depends on libgmp-dev - conf-python-3.9.0.0: depends on python3 - conf-zlib.1: depends on zlib1g-dev === STDERR === 2026-09-04 05:10.35: OK: build bap-primus-symbolic-executor.2.3.0 (runc: 116.5s, disk: 36KB) 2026-09-04 05:10.35: Job succeeded