Build:
- 0
2026-09-03 17:39.41: New job: build bitwuzla-cxx.0.6.1 (161b82001fa1)
2026-09-03 17:39.41: Waiting for resource in pool day11-builds
2026-09-03 18:57.40: Got resource from pool day11-builds
2026-09-03 18:57.40: [profile full] build bitwuzla-cxx.0.6.1
2026-09-03 18:57.40: build bitwuzla-cxx.0.6.1 (161b82001fa1)
=== DEPENDENCIES (14 transitive) ===
base-threads.base 3d2f2cbc6db2
base-unix.base 3a38ddca6b5e
compiler-cloning.enabled 966a2e6839f0
conf-g++.1.0 333ef6cbb063
conf-gcc.1.0 ab0562dd03ad
conf-git.1.1 f2b37711e692
conf-gmp.5 eac5259e412f
conf-pkg-config.5 74f50f3cfe72
dune.3.24.2 ec704e062ad3
ocaml.5.5.0 22ebd7932512
ocaml-base-compiler.5.5.0 db1659234e8a
ocaml-compiler.5.5.0 7f52fb26d939
ocamlfind.1.9.9~preview 6a4c70487cf9
zarith.1.14 bd527d6656b5
=== STDOUT ===
Processing: [default: loading data]
[bitwuzla-cxx.0.6.1: dl]
[bitwuzla-cxx.0.6.1: extract]
-> retrieved bitwuzla-cxx.0.6.1 (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.1)
- (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 792 (offset 76 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 1488 (offset 37 lines).
- Hunk #2 succeeded at 1689 (offset 37 lines).
- Hunk #3 succeeded at 1711 (offset 37 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
- Hunk #1 succeeded at 1366 (offset 11 lines).
- Hunk #2 succeeded at 1593 (offset 11 lines).
- Hunk #3 succeeded at 1608 (offset 11 lines).
- 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
- Hunk #1 succeeded at 28 (offset -3 lines).
- Hunk #2 succeeded at 197 (offset -3 lines).
- Hunk #3 succeeded at 253 (offset -3 lines).
- File src/type/type_manager.cpp is read-only; trying to patch anyway
- patching file src/type/type_manager.cpp
- Hunk #1 succeeded at 103 (offset -1 lines).
- Hunk #2 succeeded at 186 (offset -1 lines).
- File src/type/type_manager.h is read-only; trying to patch anyway
- patching file src/type/type_manager.h
- (cd _build/default/vendor/cadical && /usr/bin/gcc -x c++ -std=gnu++11 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++11 -DNDEBUG -DNBUILD -g -I /home/opam/.opam/default/lib/ocaml -I src -o decompose.o -c src/decompose.cpp)
- src/decompose.cpp: In member function 'bool CaDiCaL::Internal::decompose_round()':
- src/decompose.cpp:573:22: warning: array subscript 2 is above array bounds of 'int [2]' [-Warray-bounds=]
- 573 | c->literals[l] = clause[l];
- | ~~~~~~~~~~~~~^
- In file included from src/internal.hpp:54,
- from src/decompose.cpp:1:
- src/clause.hpp:86:9: note: while referencing 'CaDiCaL::Clause::<unnamed union>::literals'
- 86 | int literals[2]; // Of variadic 'size' (shrunken if strengthened).
- | ^~~~~~~~
- (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.1
-> installed bitwuzla-cxx.0.6.1
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
=== STDERR ===
2026-09-03 19:26.22: OK: build bitwuzla-cxx.0.6.1 (runc: 264.3s, disk: 11KB)
2026-09-03 19:26.22: Job succeeded