On This Page
package bitwuzla-bin
bitwuzla-bin 0.0.0
Error log
The package failed to build. The error log from opam follows.
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
- recompile opam-depext 1.2.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.3 (cached)
-> removed opam-depext.1.2.3
-> installed opam-depext.1.2.3
Done.
<><> opam-depext.1.2.3 installed successfully <><><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment
<><> Carrying on to "opam depext -viy bitwuzla-bin.0.0.0 host-arch-x86_64.1 dune.3.16.0 conf-gmp.4 conf-git.1.1 conf-gcc.1.0 conf-g++.1.0 conf-cmake.1"
Since version 2.1, opam now handles external dependencies alongside OCaml ones, and the `depext` plugin interface is provided for backwards compatibility only. Consider using your usual `opam install` command to install both OCaml and system dependencies, or `opam install <pkg> --depext-only` if you want to only install external dependencies.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
cmake
g++
gcc
git
libgmp-dev
[NOTE] Package dune is already installed (current version is 3.16.0).
[NOTE] Package host-arch-x86_64 is already installed (current version is 1).
The following actions will be performed:
- install conf-gcc 1.0
- install conf-git 1.1
- install conf-gmp 4
- install conf-g++ 1.0
- install conf-cmake 1
- install bitwuzla-bin 0.0.0
===== 6 to install =====
The following system packages will first need to be installed:
cmake libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /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 ... 18764 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+deb12u1_amd64.deb ...
- Unpacking libarchive13:amd64 (3.6.2-1+deb12u1) ...
- 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+deb12u1) ...
- Setting up cmake (3.25.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u8) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/18: [bitwuzla-bin.0.0.0: http]
-> retrieved conf-cmake.1 (cached)
Processing 2/18: [bitwuzla-bin.0.0.0: http]
Processing 3/18: [bitwuzla-bin.0.0.0: http]
Processing 4/18: [bitwuzla-bin.0.0.0: http]
Processing 5/18: [bitwuzla-bin.0.0.0: http]
-> retrieved conf-gmp.4 (cached)
Processing 6/18: [bitwuzla-bin.0.0.0: http]
Processing 7/18: [bitwuzla-bin.0.0.0: http] [conf-cmake: sh configure.sh]
Processing 8/18: [bitwuzla-bin.0.0.0: http] [conf-cmake: sh configure.sh] [conf-g++: g++]
Processing 9/18: [bitwuzla-bin.0.0.0: http] [conf-cmake: sh configure.sh] [conf-g++: g++] [conf-gcc: gcc]
Processing 10/18: [bitwuzla-bin.0.0.0: http] [conf-cmake: sh configure.sh] [conf-g++: g++] [conf-gcc: gcc] [conf-git: git]
Processing 11/18: [bitwuzla-bin.0.0.0: http] [conf-cmake: sh configure.sh] [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
Processing 11/18: [conf-cmake: sh configure.sh] [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
- + command -v cmake3
- + command -v cmake
- /usr/bin/cmake
- + cmake_cmd=cmake
- + echo cmd: "cmake"
-> compiled conf-cmake.1
Processing 11/18: [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
-> installed conf-cmake.1
Processing 12/18: [conf-g++: g++] [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
- g++ (Debian 12.2.0-14) 12.2.0
- Copyright (C) 2022 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions. There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-
-> compiled conf-g++.1.0
Processing 12/18: [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
-> installed conf-g++.1.0
Processing 13/18: [conf-gcc: gcc] [conf-git: git] [conf-gmp: sh]
- gcc (Debian 12.2.0-14) 12.2.0
- Copyright (C) 2022 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions. There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-
-> compiled conf-gcc.1.0
Processing 13/18: [conf-git: git] [conf-gmp: sh]
-> installed conf-gcc.1.0
Processing 14/18: [conf-git: git] [conf-gmp: sh]
- git version 2.39.2
-> compiled conf-git.1.1
Processing 14/18: [conf-gmp: sh]
-> installed conf-git.1.1
Processing 15/18: [conf-gmp: sh]
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.4
Processing 15/18:
-> installed conf-gmp.4
Processing 16/18:
-> retrieved bitwuzla-bin.0.0.0 (https://github.com/bitwuzla/ocaml-bitwuzla/releases/download/0.0.0/bitwuzla-bin-0.0.0.tbz)
Processing 17/18: [bitwuzla-bin: dune build]
+ /home/opam/.opam/5.1/bin/dune "build" "-p" "bitwuzla-bin" "-j" "39" "@install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/bitwuzla-bin.0.0.0)
- (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] The compilation of bitwuzla-bin.0.0.0 failed at "dune build -p bitwuzla-bin -j 39 @install".
#=== ERROR while compiling bitwuzla-bin.0.0.0 =================================#
# context 2.1.6 | 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 39 @install
# exit-code 1
# env-file ~/.opam/log/bitwuzla-bin-115-98ed47.env
# output-file ~/.opam/log/bitwuzla-bin-115-98ed47.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
+-
# Run eval $(opam env) to update the current shell environment
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.1/.opam-switch/backup/state-20240912103535.export"
'opam --cli=2.1 install bitwuzla-bin.0.0.0 host-arch-x86_64.1 dune.3.16.0 conf-gmp.4 conf-git.1.1 conf-gcc.1.0 conf-g++.1.0 conf-cmake.1 --verbose --yes --confirm-level=unsafe-yes' failed.
On This Page