On This Page
package bitwuzla-bin
bitwuzla-bin 0.0.0
Error log
The package failed to build. The error log from opam follows.
[NOTE] Package dune is already installed (current version is 3.17.2).
The following actions will be performed:
=== install 6 packages
- install bitwuzla-bin 0.0.0 (deprecated)
- install conf-cmake 1
- install conf-g++ 1.0
- install conf-gcc 1.0
- install conf-git 1.1
- install conf-gmp 4
The following system packages will first need to be installed:
cmake libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "cmake" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libicu72:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18776 files and directories currently installed.)
- Preparing to unpack .../0-libicu72_72.1-3_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-3) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../1-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Selecting previously unselected package libarchive13:amd64.
- Preparing to unpack .../2-libarchive13_3.6.2-1+deb12u2_amd64.deb ...
- Unpacking libarchive13:amd64 (3.6.2-1+deb12u2) ...
- Selecting previously unselected package libjsoncpp25:amd64.
- Preparing to unpack .../3-libjsoncpp25_1.9.5-4_amd64.deb ...
- Unpacking libjsoncpp25:amd64 (1.9.5-4) ...
- Selecting previously unselected package librhash0:amd64.
- Preparing to unpack .../4-librhash0_1.4.3-3_amd64.deb ...
- Unpacking librhash0:amd64 (1.4.3-3) ...
- Selecting previously unselected package libuv1:amd64.
- Preparing to unpack .../5-libuv1_1.44.2-1+deb12u1_amd64.deb ...
- Unpacking libuv1:amd64 (1.44.2-1+deb12u1) ...
- Selecting previously unselected package cmake-data.
- Preparing to unpack .../6-cmake-data_3.25.1-1_all.deb ...
- Unpacking cmake-data (3.25.1-1) ...
- Selecting previously unselected package cmake.
- Preparing to unpack .../7-cmake_3.25.1-1_amd64.deb ...
- Unpacking cmake (3.25.1-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../8-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../9-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libicu72:amd64 (72.1-3) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libuv1:amd64 (1.44.2-1+deb12u1) ...
- Setting up libjsoncpp25:amd64 (1.9.5-4) ...
- Setting up librhash0:amd64 (1.4.3-3) ...
- Setting up cmake-data (3.25.1-1) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libarchive13:amd64 (3.6.2-1+deb12u2) ...
- Setting up cmake (3.25.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-cmake.1 (cached)
-> retrieved conf-gmp.4 (cached)
-> installed conf-cmake.1
-> installed conf-g++.1.0
-> installed conf-gcc.1.0
-> installed conf-git.1.1
-> installed conf-gmp.4
-> retrieved bitwuzla-bin.0.0.0 (cached)
[ERROR] The compilation of bitwuzla-bin.0.0.0 failed at "dune build -p bitwuzla-bin -j 255 @install".
#=== ERROR while compiling bitwuzla-bin.0.0.0 =================================#
# context 2.3.0 | linux/x86_64 | ocaml-base-compiler.5.1.1 | file:///src
# path ~/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0
# command ~/.opam/5.1/bin/dune build -p bitwuzla-bin -j 255 @install
# exit-code 1
# env-file ~/.opam/log/bitwuzla-bin-113-d941f2.env
# output-file ~/.opam/log/bitwuzla-bin-113-d941f2.out
### output ###
# (cd _build/default/vendor/btor2tools && ./configure.sh -fPIC)
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG
# makefile generated
# (cd _build/default/vendor/cadical && ./configure -fPIC)
# configure: making default 'build' directory
# configure: building in default '/home/opam/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build'
# configure: root directory '/home/opam/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical'
# configure: compiler supports all required C99/C++0x extensions
# configure: unlocked IO with '{putc,getc}_unlocked' seems to work
# configure: compiling with 'g++ -Wall -Wextra -O3 -DNDEBUG -fPIC'
# configure: generated 'build/makefile' from '../makefile.in'
# configure: generated '../makefile' as proxy to ...
# configure: ... '/home/opam/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build/makefile'
# configure: now run 'make' to compile CaDiCaL
# configure: optionally run 'make test'
# (cd _build/default/vendor/btor2tools && /usr/bin/make)
# mkdir -p build
# mkdir -p bin
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btor2parser.o -c src/btor2parser/btor2parser.c -Isrc
# ar rc build/libbtor2parser.a build/btor2parser.o
# ranlib build/libbtor2parser.a
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/catbtor.o -c src/catbtor.c -Isrc
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o bin/catbtor build/catbtor.o -Lbuild -lbtor2parser
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btorsimrng.o -c src/btorsim/btorsimrng.c -Isrc/btorsim
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btorsimbv.o -c src/btorsim/btorsimbv.c -Isrc
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o build/btorsim.o -c src/btorsim/btorsim.c -Ibtorsim -Isrc
# gcc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -O3 -DNDEBUG -o bin/btorsim build/btorsim.o build/btorsimbv.o build/btorsimrng.o -Lbuild -lbtor2parser
# File "dune", lines 83-95, characters 0-389:
# 83 | (rule
# 84 | (deps
# 85 | (file vendor/cadical/VERSION)
# ....
# 93 | (progn
# 94 | (chdir vendor/cadical (progn (run ./configure -fPIC) (run make)))
# 95 | (copy vendor/cadical/build/libcadical.a %{targets})))))
# (cd _build/default/vendor/cadical && /usr/bin/make)
# /usr/bin/make -C "/home/opam/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build"
# make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build'
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/analyze.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/arena.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/assume.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/averages.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/backtrack.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/backward.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/bins.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/block.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/ccadical.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/checker.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/clause.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/collect.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/compact.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/condition.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/config.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/contract.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/cover.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/decide.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/decompose.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/deduplicate.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/elim.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/ema.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/extend.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/external.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/file.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/flags.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/format.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/gates.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/instantiate.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/internal.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/ipasir.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/limit.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/logging.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/lookahead.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/lucky.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/message.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/minimize.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/occs.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/options.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/parse.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/phases.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/probe.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/profile.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/proof.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/propagate.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/queue.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/random.cpp
# g++ -Wall -Wextra -O3 -DNDEBUG -fPIC -I../build -c ../src/reap.cpp
# make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0/_build/default/vendor/cadical/build'
# 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:391:12:
# ../src/internal.hpp:100:8: warning: 'cubes.CaDiCaL::CubesWithStatus::status' may be used uninitialized [-Wmaybe-uninitialized]
# 100 | struct CubesWithStatus {
# | ^~~~~~~~~~~~~~~
# ../src/lookahead.cpp: In member function 'CaDiCaL::CubesWithStatus CaDiCaL::Internal::generate_cubes(int, int)':
# ../src/lookahead.cpp:389:21: note: 'cubes' declared here
# 389 | CubesWithStatus cubes;
# | ^~~~~
# In file included from ../src/reap.cpp:1:
# ../src/reap.hpp:15:10: error: 'size_t' does not name a type
# 15 | inline size_t size() {
# | ^~~~~~
# ../src/reap.hpp:5:1: note: 'size_t' is defined in header '<cstddef>'; did you forget to '#include <cstddef>'?
# 4 | #include <vector>
# +++ |+#include <cstddef>
# 5 |
# ../src/reap.hpp:23:3: error: 'size_t' does not name a type
# 23 | size_t num_elements;
# | ^~~~~~
# ../src/reap.hpp:23:3: note: 'size_t' is defined in header '<cstddef>'; did you forget to '#include <cstddef>'?
# ../src/reap.hpp: In member function 'bool Reap::empty()':
# ../src/reap.hpp:12:13: error: 'num_elements' was not declared in this scope
# 12 | return !num_elements;
# | ^~~~~~~~~~~~
# ../src/reap.cpp: In member function 'void Reap::release()':
# ../src/reap.cpp:16:3: error: 'num_elements' was not declared in this scope
# 16 | num_elements = 0;
# | ^~~~~~~~~~~~
# ../src/reap.cpp: In constructor 'Reap::Reap()':
# ../src/reap.cpp:23:3: error: 'num_elements' was not declared in this scope
# 23 | num_elements = 0;
# | ^~~~~~~~~~~~
# ../src/reap.cpp: In member function 'void Reap::push(unsigned int)':
# ../src/reap.cpp:45:3: error: 'num_elements' was not declared in this scope
# 45 | num_elements++;
# | ^~~~~~~~~~~~
# ../src/reap.cpp: In member function 'unsigned int Reap::pop()':
# ../src/reap.cpp:113:7: error: 'num_elements' was not declared in this scope
# 113 | --num_elements;
# | ^~~~~~~~~~~~
# ../src/reap.cpp: In member function 'void Reap::clear()':
# ../src/reap.cpp:126:3: error: 'num_elements' was not declared in this scope
# 126 | num_elements = 0;
# | ^~~~~~~~~~~~
# make[1]: *** [makefile:34: reap.o] Error 1
# make: *** [makefile:3: all] Error 2
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build bitwuzla-bin 0.0.0
+-
+- The following changes have been performed
| - install conf-cmake 1
| - install conf-g++ 1.0
| - install conf-gcc 1.0
| - install conf-git 1.1
| - install conf-gmp 4
+-
<><> bitwuzla-bin.0.0.0 troubleshooting <><><><><><><><><><><><><><><><><><><><>
=> Note: This package is deprecated.
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20250204025448.export"
On This Page