Build:
- 0
2026-06-24 11:28.34: New job: build bitwuzla-cxx.0.6.0 (f97b5f530f30)
2026-06-24 11:28.34: Waiting for resource in pool day11-builds
2026-06-24 12:17.40: Got resource from pool day11-builds
2026-06-24 12:17.40: [profile full] build bitwuzla-cxx.0.6.0
2026-06-24 12:17.40: build bitwuzla-cxx.0.6.0 (f97b5f530f30)
=== DEPENDENCIES (14 transitive) ===
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
compiler-cloning.enabled 439a1fc77aa6
conf-g++.1.0 6045961550b9
conf-gcc.1.0 77cee661efa8
conf-git.1.1 3856313df990
conf-gmp.5 be11edf77089
conf-pkg-config.5 d5de2c6a88f9
dune.3.23.1 a59dd9b14fe3
ocaml.5.5.0 383268832c4b
ocaml-base-compiler.5.5.0 522c248944c8
ocaml-compiler.5.5.0 eb1a8babf54c
ocamlfind.1.9.8 b506a15fcd6c
zarith.1.14 c48bd7ff5430
=== STDOUT ===
Processing: [default: loading data]
[bitwuzla-cxx.0.6.0: dl]
[bitwuzla-cxx.0.6.0: extract]
-> retrieved bitwuzla-cxx.0.6.0 (https://opam.ocaml.org/cache)
[bitwuzla-cxx: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "bitwuzla-cxx" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/bitwuzla-cxx.0.6.0)
- (cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0001-api-Add-hook-for-ocaml-z-value.patch
- File include/bitwuzla/cpp/bitwuzla.h is read-only; trying to patch anyway
- patching file include/bitwuzla/cpp/bitwuzla.h
- Hunk #1 succeeded at 767 (offset 51 lines).
- File src/lib/bv/bitvector.h is read-only; trying to patch anyway
- patching file src/lib/bv/bitvector.h
- Hunk #1 succeeded at 291 (offset 13 lines).
- (cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0002-binding-Fix-segfault-with-parallel-instances.patch
- File include/bitwuzla/cpp/bitwuzla.h is read-only; trying to patch anyway
- patching file include/bitwuzla/cpp/bitwuzla.h
- Hunk #1 succeeded at 1463 (offset 12 lines).
- Hunk #2 succeeded at 1664 (offset 12 lines).
- Hunk #3 succeeded at 1686 (offset 12 lines).
- File src/api/checks.h is read-only; trying to patch anyway
- patching file src/api/checks.h
- File src/api/cpp/bitwuzla.cpp is read-only; trying to patch anyway
- patching file src/api/cpp/bitwuzla.cpp
- File src/node/node_manager.cpp is read-only; trying to patch anyway
- patching file src/node/node_manager.cpp
- File src/node/node_manager.h is read-only; trying to patch anyway
- patching file src/node/node_manager.h
- File src/type/type_manager.cpp is read-only; trying to patch anyway
- patching file src/type/type_manager.cpp
- File src/type/type_manager.h is read-only; trying to patch anyway
- patching file src/type/type_manager.h
- (cd _build/default/api && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -std=c++17 -I/opt/homebrew/include -g -I /home/opam/.opam/default/lib/ocaml -I ../vendor/bitwuzla/include -o build_enum_kind.o -c build_enum_kind.cpp)
- build_enum_kind.cpp: In function 'void build_enum_kind()':
- build_enum_kind.cpp:31:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
- 31 | for (int j = 1; j < name.length(); j += 1)
- | ~~^~~~~~~~~~~~~~~
- (cd _build/default/api && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -std=c++17 -I/opt/homebrew/include -g -I /home/opam/.opam/default/lib/ocaml -I ../vendor/bitwuzla/include -o build_enum_rounding_mode.o -c build_enum_rounding_mode.cpp)
- build_enum_rounding_mode.cpp: In function 'void build_enum_rounding_mode()':
- build_enum_rounding_mode.cpp:34:23: warning: comparison of integer expressions of different signedness: 'int' and 'std::__cxx11::basic_string<char>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
- 34 | for (int j = 1; j < name.length(); j += 1)
- | ~~^~~~~~~~~~~~~~~
-> compiled bitwuzla-cxx.0.6.0
-> installed bitwuzla-cxx.0.6.0
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
=== STDERR ===
2026-06-24 12:29.57: OK: build bitwuzla-cxx.0.6.0 (runc: 544.9s, disk: 10KB)
2026-06-24 12:29.57: Job succeeded