Build Log: bitwuzla-cxx.0.2.0

Processing: [default: loading data] [bitwuzla-cxx.0.2.0: http] [bitwuzla-cxx.0.2.0: extract] -> retrieved bitwuzla-cxx.0.2.0 (https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.2.0/bitwuzla-cxx-0.2.0.tbz) [bitwuzla-cxx: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "bitwuzla-cxx" "-j" "255" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/bitwuzla-cxx.0.2.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 793 (offset 77 lines). - File src/lib/bv/bitvector.h is read-only; trying to patch anyway - patching file src/lib/bv/bitvector.h - (cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0002-ocaml-make-NodeManager-global-from-thread-local.patch - File src/node/node_manager.cpp is read-only; trying to patch anyway - patching file src/node/node_manager.cpp - (cd _build/default/vendor && /usr/bin/patch -p1 --directory bitwuzla) < _build/default/vendor/patch/0003-Fix-compilation-with-older-GCC-version.patch - File src/solver/bv/bv_prop_solver.cpp is read-only; trying to patch anyway - patching file src/solver/bv/bv_prop_solver.cpp - (cd _build/default/api && /usr/bin/gcc -x c++ -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -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++ -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -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) - | ~~^~~~~~~~~~~~~~~ - (cd _build/default/vendor/cadical && /usr/bin/gcc -x c++ -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++11 -DNDEBUG -DNBUILD -g -I /home/opam/.opam/default/lib/ocaml -I src -o lookahead.o -c src/lookahead.cpp) - In file included from src/lookahead.cpp:1: - In constructor 'CaDiCaL::CubesWithStatus::CubesWithStatus(CaDiCaL::CubesWithStatus&&)', - inlined from 'CaDiCaL::CubesWithStatus CaDiCaL::Internal::generate_cubes(int, int)' at src/lookahead.cpp:394:12: - src/internal.hpp:105:8: warning: 'cubes.CaDiCaL::CubesWithStatus::status' may be used uninitialized [-Wmaybe-uninitialized] - 105 | struct CubesWithStatus { - | ^~~~~~~~~~~~~~~ - src/lookahead.cpp: In member function 'CaDiCaL::CubesWithStatus CaDiCaL::Internal::generate_cubes(int, int)': - src/lookahead.cpp:392:21: note: 'cubes' declared here - 392 | CubesWithStatus cubes; - | ^~~~~ - (cd _build/default/vendor/bitwuzla && /usr/bin/gcc -x c++ -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -Isrc/lib/ -I../cadical/src -I.. -DNDEBUG -g -I /home/opam/.opam/default/lib/ocaml -I include -I src -I src/lib -I ../symfpu -I ../cadical -o solver_engine.o -c src/solver/solver_engine.cpp) - src/solver/solver_engine.cpp: In member function 'void bzla::SolverEngine::ensure_model(const std::vector<bzla::Node>&)': - src/solver/solver_engine.cpp:172:10: warning: unused variable 'res' [-Wunused-variable] - 172 | auto res = solve(); - | ^~~ - (cd _build/default/vendor/bitwuzla && /usr/bin/gcc -x c++ -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -Wall -fdiagnostics-color=always -I/opt/homebrew/include -std=c++17 -Isrc/lib/ -I../cadical/src -I.. -DNDEBUG -g -I /home/opam/.opam/default/lib/ocaml -I include -I src -I src/lib -I ../symfpu -I ../cadical -o normalize.o -c src/preprocess/pass/normalize.cpp) - src/preprocess/pass/normalize.cpp: In member function 'virtual bzla::Node bzla::preprocess::pass::PassNormalize::process(const bzla::Node&)': - src/preprocess/pass/normalize.cpp:1137:16: warning: unused variable 'nm' [-Wunused-variable] - 1137 | NodeManager& nm = NodeManager::get(); - | ^~ -> compiled bitwuzla-cxx.0.2.0 -> installed bitwuzla-cxx.0.2.0 [WARNING] Opam package conf-gmp.5 depends on the following system package that can no longer be found: libgmp-dev