Package: src:cvc5 Version: 1.0.3-1 Severity: normal Tags: sid trixie User: [email protected] 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 -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
