Your message dated Tue, 20 Jun 2023 17:19:36 +0000
with message-id <[email protected]>
and subject line Bug#1037616: fixed in cvc5 1.0.5-1
has caused the Debian Bug report #1037616,
regarding cvc5: ftbfs with GCC-13
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1037616: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1037616
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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
--- End Message ---
--- Begin Message ---
Source: cvc5
Source-Version: 1.0.5-1
Done: Scott Talbert <[email protected]>
We believe that the bug you reported is fixed in the latest version of
cvc5, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Scott Talbert <[email protected]> (supplier of updated cvc5 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 20 Jun 2023 12:11:06 -0400
Source: cvc5
Architecture: source
Version: 1.0.5-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Scott Talbert <[email protected]>
Closes: 1037616
Changes:
cvc5 (1.0.5-1) unstable; urgency=medium
.
* Update to new upstream release 1.0.5 (Closes: #1037616)
* Update Standards-Version to 4.6.2 (no changes needed)
* Rules-Requires-Root: no
Checksums-Sha1:
39687f886029d105f62972b9cec76335432ee8e1 2335 cvc5_1.0.5-1.dsc
62afe28182342c622cd938b68ec15f3ec8cbae12 8431503 cvc5_1.0.5.orig.tar.gz
2f83c8d1747704a19ea5f702d881f9886d32b04a 5988 cvc5_1.0.5-1.debian.tar.xz
9a66f4554ef36340338311afe79bdacd0f758753 11044 cvc5_1.0.5-1_amd64.buildinfo
Checksums-Sha256:
4f58c5af24fa1422bdcd17a86d14fe77e66ffec36b015f01115672b4adfeb757 2335
cvc5_1.0.5-1.dsc
a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a 8431503
cvc5_1.0.5.orig.tar.gz
70463900ae6be8db0431bf8abe0e3be347454cfa621ef81c35d2da1e17d700ea 5988
cvc5_1.0.5-1.debian.tar.xz
b8da5839eaa3dbd744f30cd11dee39318c97d3f8e4a4751b2b317f9fb92d03bc 11044
cvc5_1.0.5-1_amd64.buildinfo
Files:
50f8389968f809415ba7f283cff767cb 2335 math optional cvc5_1.0.5-1.dsc
57717622ec2afbc8664b6865c4142833 8431503 math optional cvc5_1.0.5.orig.tar.gz
9a4a6318a0c1b5b3d11ca9ff5187d574 5988 math optional cvc5_1.0.5-1.debian.tar.xz
08199fdae94774fb34baa686c4db725e 11044 math optional
cvc5_1.0.5-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSR240PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiGQcP/Ri+x4Xf8aQ1N7ryje1YL3f+dvIfBdxLtA6s
jiGPBJV5n5IWN9UDC8/f0ECVejoB7nZqhDyBgiyWKJpObumvU2DZhpvNHPXA6jgA
Vzoya7Zi+g9xd6cp0zs/H1GSRe8e6yf5trhYeh+8x9m4y1QXbY+ovxV4AvrfiLnI
XYIhoemxZ/6l4PxmVOGNt0mduEpF98WQE39/mEgCw3rl2WAn3JaBjizbXXatS1Uq
QQ4/xrDh9zZjvuyKnNqiH3tsYNr+p7c/uXXhYGJJj0r39p5dZwdqIcaJgiRcGnKR
STLM2AivdE+V7Ga01frzQ7RhVRZQ7iPvkdxjTU9/WEFAngZDnmlHiL6T4mmjzRf3
nvz2qZk1acsK6Q+hnmDTHaPQqAJ9odudEP7+Lv25nf082gCF4N7UZErUweZGSKmc
PCEtRNCx6BhvKxVEHtWrf2Ps7+HVJxGIBDNfGhBm8+PCaSOLjhB5ygj7VOZSWHlx
kLZHphpwVADYii4zhaa7MoJvDDISV+tmh+SIhBlwb3lr9bLtVE/d5LQ6h/deX8Ui
PeKZrv8mNcJ9GQvVy2tYcvgP/0QdFyuHpb7fW+QS3iG20f+uL0EbcPSLs/BLHkt2
72Y6B8YMEagNrrlMHtFMhjKuymUVm7Ikd23vTrDi18zv1wiAIJIJboYu5rxniZaO
14EfMJwH
=ImVP
-----END PGP SIGNATURE-----
--- End Message ---
--
debian-science-maintainers mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
