Bug#1037616: cvc5: ftbfs with GCC-13
Matthias Klose
doko at debian.org
Wed Jun 14 10:22:48 BST 2023
Package: src:cvc5
Version: 1.0.3-1
Severity: normal
Tags: sid trixie
User: debian-gcc at lists.debian.org
Usertags: ftbfs-gcc-13
[This bug is targeted to the upcoming trixie release]
Please keep this issue open in the bug tracker for the package it
was filed for. If a fix in another package is required, please
file a bug for the other package (or clone), and add a block in this
package. Please keep the issue open until the package can be built in
a follow-up test rebuild.
The package fails to build in a test rebuild on at least amd64 with
gcc-13/g++-13, but succeeds to build with gcc-12/g++-12. The
severity of this report will be raised before the trixie release.
The full build log can be found at:
http://qa-logs.debian.net/2023/05/22/logs/cvc5_1.0.3-1_unstable_gccexp.log
The last lines of the build log are at the end of this report.
To build with GCC 13, either set CC=gcc-13 CXX=g++-13 explicitly,
or install the gcc, g++, gfortran, ... packages from experimental.
apt-get -t=experimental install g++
Common build failures are new warnings resulting in build failures with
-Werror turned on, or new/dropped symbols in Debian symbols files.
For other C/C++ related build failures see the porting guide at
http://gcc.gnu.org/gcc-13/porting_to.html
[...]
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/passes/unconstrained_simplifier.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/passes/unconstrained_simplifier.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/passes/unconstrained_simplifier.cpp.o -c /<<PKGBUILDDIR>>/src/preprocessing/passes/unconstrained_simplifier.cpp
[ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass.cpp.o -c /<<PKGBUILDDIR>>/src/preprocessing/preprocessing_pass.cpp
[ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_context.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_context.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_context.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_context.cpp.o -c /<<PKGBUILDDIR>>/src/preprocessing/preprocessing_pass_context.cpp
[ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_registry.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_registry.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_registry.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/preprocessing_pass_registry.cpp.o -c /<<PKGBUILDDIR>>/src/preprocessing/preprocessing_pass_registry.cpp
[ 14%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/util/boolean_simplification.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/util/boolean_simplification.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/util/boolean_simplification.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/util/boolean_simplification.cpp.o -c /<<PKGBUILDDIR>>/src/preprocessing/util/boolean_simplification.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/preprocessing/util/ite_utilities.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/preprocessing/util/ite_utilities.cpp.o -MF CMakeFiles/cvc5-obj.dir/preprocessing/util/ite_utilities.cpp.o.d -o CMakeFiles/cvc5-obj.dir/preprocessing/util/ite_utilities.cpp.o -c /<<PKGBUILDDIR>>/src/preprocessing/util/ite_utilities.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/ast/ast_printer.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/printer/ast/ast_printer.cpp.o -MF CMakeFiles/cvc5-obj.dir/printer/ast/ast_printer.cpp.o.d -o CMakeFiles/cvc5-obj.dir/printer/ast/ast_printer.cpp.o -c /<<PKGBUILDDIR>>/src/printer/ast/ast_printer.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/let_binding.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/printer/let_binding.cpp.o -MF CMakeFiles/cvc5-obj.dir/printer/let_binding.cpp.o.d -o CMakeFiles/cvc5-obj.dir/printer/let_binding.cpp.o -c /<<PKGBUILDDIR>>/src/printer/let_binding.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/printer.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/printer/printer.cpp.o -MF CMakeFiles/cvc5-obj.dir/printer/printer.cpp.o.d -o CMakeFiles/cvc5-obj.dir/printer/printer.cpp.o -c /<<PKGBUILDDIR>>/src/printer/printer.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/smt2/smt2_printer.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/printer/smt2/smt2_printer.cpp.o -MF CMakeFiles/cvc5-obj.dir/printer/smt2/smt2_printer.cpp.o.d -o CMakeFiles/cvc5-obj.dir/printer/smt2/smt2_printer.cpp.o -c /<<PKGBUILDDIR>>/src/printer/smt2/smt2_printer.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/printer/tptp/tptp_printer.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/printer/tptp/tptp_printer.cpp.o -MF CMakeFiles/cvc5-obj.dir/printer/tptp/tptp_printer.cpp.o.d -o CMakeFiles/cvc5-obj.dir/printer/tptp/tptp_printer.cpp.o -c /<<PKGBUILDDIR>>/src/printer/tptp/tptp_printer.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/annotation_proof_generator.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/proof/annotation_proof_generator.cpp.o -MF CMakeFiles/cvc5-obj.dir/proof/annotation_proof_generator.cpp.o.d -o CMakeFiles/cvc5-obj.dir/proof/annotation_proof_generator.cpp.o -c /<<PKGBUILDDIR>>/src/proof/annotation_proof_generator.cpp
[ 15%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/assumption_proof_generator.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/proof/assumption_proof_generator.cpp.o -MF CMakeFiles/cvc5-obj.dir/proof/assumption_proof_generator.cpp.o.d -o CMakeFiles/cvc5-obj.dir/proof/assumption_proof_generator.cpp.o -c /<<PKGBUILDDIR>>/src/proof/assumption_proof_generator.cpp
[ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/buffered_proof_generator.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/proof/buffered_proof_generator.cpp.o -MF CMakeFiles/cvc5-obj.dir/proof/buffered_proof_generator.cpp.o.d -o CMakeFiles/cvc5-obj.dir/proof/buffered_proof_generator.cpp.o -c /<<PKGBUILDDIR>>/src/proof/buffered_proof_generator.cpp
[ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/conv_proof_generator.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/proof/conv_proof_generator.cpp.o -MF CMakeFiles/cvc5-obj.dir/proof/conv_proof_generator.cpp.o.d -o CMakeFiles/cvc5-obj.dir/proof/conv_proof_generator.cpp.o -c /<<PKGBUILDDIR>>/src/proof/conv_proof_generator.cpp
In file included from /<<PKGBUILDDIR>>/src/printer/smt2/smt2_printer.cpp:50:
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h:45:8: error: ‘uint64_t’ in namespace ‘std’ does not name a type; did you mean ‘wint_t’?
45 | std::uint64_t d_index;
| ^~~~~~~~
| wint_t
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h: In constructor ‘cvc5::internal::IndexedRootPredicate::IndexedRootPredicate(unsigned int)’:
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h:47:42: error: class ‘cvc5::internal::IndexedRootPredicate’ does not have any field named ‘d_index’
47 | IndexedRootPredicate(unsigned index) : d_index(index) {}
| ^~~~~~~
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h: In member function ‘bool cvc5::internal::IndexedRootPredicate::operator==(const cvc5::internal::IndexedRootPredicate&) const’:
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h:51:12: error: ‘d_index’ was not declared in this scope; did you mean ‘rindex’?
51 | return d_index == irp.d_index;
| ^~~~~~~
| rindex
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h:51:27: error: ‘const struct cvc5::internal::IndexedRootPredicate’ has no member named ‘d_index’
51 | return d_index == irp.d_index;
| ^~~~~~~
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h: In function ‘std::ostream& cvc5::internal::operator<<(std::ostream&, const IndexedRootPredicate&)’:
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h:60:28: error: ‘const struct cvc5::internal::IndexedRootPredicate’ has no member named ‘d_index’
60 | return os << "k=" << irp.d_index;
| ^~~~~~~
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h: In member function ‘std::size_t cvc5::internal::IndexedRootPredicateHashFunction::operator()(const cvc5::internal::IndexedRootPredicate&) const’:
/<<PKGBUILDDIR>>/src/./util/indexed_root_predicate.h:67:16: error: ‘const struct cvc5::internal::IndexedRootPredicate’ has no member named ‘d_index’
67 | return irp.d_index;
| ^~~~~~~
/<<PKGBUILDDIR>>/src/printer/smt2/smt2_printer.cpp: In member function ‘void cvc5::internal::printer::smt2::Smt2Printer::toStream(std::ostream&, cvc5::internal::TNode, int, cvc5::internal::LetBinding*) const’:
/<<PKGBUILDDIR>>/src/printer/smt2/smt2_printer.cpp:654:42: error: ‘const struct cvc5::internal::IndexedRootPredicate’ has no member named ‘d_index’
654 | out << "(_ root_predicate " << irp.d_index << ")";
| ^~~~~~~
[ 17%] Building CXX object src/CMakeFiles/cvc5-obj.dir/proof/conv_seq_proof_generator.cpp.o
cd /<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src && /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/<<PKGBUILDDIR>>/src/include -I/<<PKGBUILDDIR>>/src/. -I/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu/src -g -O2 -ffile-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -Wdate-time -D_FORTIFY_SOURCE=2 -DDEB_BUILD_DATE="\"2022-12-20\"" -DDEB_BUILD_TIME="\"01:35:50\"" -O3 -Wall -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -fno-extern-tls-init -Wno-class-memaccess -ggdb3 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -std=c++17 -MD -MT src/CMakeFiles/cvc5-obj.dir/proof/conv_seq_proof_generator.cpp.o -MF CMakeFiles/cvc5-obj.dir/proof/conv_seq_proof_generator.cpp.o.d -o CMakeFiles/cvc5-obj.dir/proof/conv_seq_proof_generator.cpp.o -c /<<PKGBUILDDIR>>/src/proof/conv_seq_proof_generator.cpp
make[3]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:933: src/CMakeFiles/cvc5-obj.dir/printer/smt2/smt2_printer.cpp.o] Error 1
make[3]: *** Waiting for unfinished jobs....
make[3]: Leaving directory '/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu'
make[2]: *** [CMakeFiles/Makefile2:553: src/CMakeFiles/cvc5-obj.dir/all] Error 2
make[2]: Leaving directory '/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu'
make[1]: *** [Makefile:149: all] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>/obj-x86_64-linux-gnu'
dh_auto_build: error: cd obj-x86_64-linux-gnu && make -j8 "INSTALL=install --strip-program=true" VERBOSE=1 returned exit code 2
make: *** [debian/rules:18: build] Error 25
dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2
More information about the debian-science-maintainers
mailing list