too long lines were shrinked: [250/250] : && /usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 CMakeFiles/obj.dir/Debug/Assertion.cpp.o CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o CMakeFiles/obj.dir/Debug/Tracer.cpp.o CMakeFiles/ob FAILED: bin/vampire_z3_rel : && /usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 CMakeFiles/obj.dir/Debug/Assertion.cpp.o CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o CMakeFiles/obj.dir/Debug/Tracer.cpp.o CMakeFiles/obj.dir/Lib/ /usr/lib/gcc/x86_64-pc-linux-gnu/12.1.1/../../../../x86_64-pc-linux-gnu/bin/ld: CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o: in function `z3::constructor_list::constructor_list(z3::constructors const&)': LookaheadLiteralSelector.cpp:(.text+0x0): multiple definition of `z3::constructor_list::constructor_list(z3::constructors const&)'; CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o:ColorHelper.cpp:(.text+0x280): first defined here /usr/lib/gcc/x86_64-pc-linux-gnu/12.1.1/../../../../x86_64-pc-linux-gnu/bin/ld: CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o: in function `z3::constructor_list::constructor_list(z3::constructors const&)': LookaheadLiteralSelector.cpp:(.text+0x0): multiple definition of `z3::constructor_list::constructor_list(z3::constructors const&)'; CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o:ColorHelper.cpp:(.text+0x280): first defined here ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome-j4-20220718-100008 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-12.1.1 * clang/llvm (if any): clang version 14.0.6 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/14/bin /usr/lib/llvm/14 14.0.6 Python 3.10.5 Available Ruby profiles: [1] ruby27 (with Rubygems) [2] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.62.1 * The following VMs are available for generation-2: 1) IcedTea JDK 3.16.0 [icedtea-bin-8] 2) OpenJDK 11.0.15_p10 [openjdk-11] 3) OpenJDK 17.0.3_p7 [openjdk-17] 4) OpenJDK 8.332_p09 [openjdk-8] 5) Eclipse Temurin JDK 11.0.15_p10 [openjdk-bin-11] *) Eclipse Temurin JDK 8.332_p09 [openjdk-bin-8] 7) Eclipse Temurin JRE 17.0.3_p7 [openjdk-jre-bin-17] Available Java Virtual Machines: [1] icedtea-bin-8 [2] openjdk-8 [3] openjdk-11 [4] openjdk-17 [5] openjdk-bin-8 system-vm [6] openjdk-bin-11 [7] openjdk-jre-bin-17 The Glorious Glasgow Haskell Compilation System, version 8.10.4 php cli: [1] php7.4 [2] php8.0 [3] php8.1 * HEAD of ::gentoo commit 1ff58ab044a41de143790241fcfd808fb2d15a7d Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Jul 23 06:31:56 2022 +0000 2022-07-23 06:31:55 UTC emerge -qpvO sci-mathematics/vampire [ebuild R ] sci-mathematics/vampire-4.6.1 USE="z3 -debug"
Created attachment 793421 [details] emerge-info.txt
Created attachment 793424 [details] emerge-history.txt.bz2
Created attachment 793427 [details] environment
Created attachment 793430 [details] etc.portage.tar.bz2
Created attachment 793433 [details] logs.tar.bz2
Created attachment 793436 [details] sci-mathematics:vampire-4.6.1:20220723-082828.log
Created attachment 793439 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cbb308be9f9e203cd2a885f43e5f568fddc16cb1 commit cbb308be9f9e203cd2a885f43e5f568fddc16cb1 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-07-23 17:25:52 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-07-23 17:41:00 +0000 sci-mathematics/vampire: restrict z3 dep version Closes: https://bugs.gentoo.org/860237 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../vampire/{vampire-4.6.1.ebuild => vampire-4.6.1-r1.ebuild} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd70ca1e105ae6eda804d50dcb4732e1929ead74 commit bd70ca1e105ae6eda804d50dcb4732e1929ead74 Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2022-09-23 11:03:57 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2022-09-23 11:43:56 +0000 sci-mathematics/vampire: depend on z3 version >=4.11.2 both vampire 4.6.1 and 4.7 build correctly with >=sci-mathematics/z3-4.11.2 Closes: https://bugs.gentoo.org/872512 Bug: https://bugs.gentoo.org/860237 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../vampire/{vampire-4.6.1-r1.ebuild => vampire-4.6.1-r2.ebuild} | 2 +- sci-mathematics/vampire/{vampire-4.7.ebuild => vampire-4.7-r1.ebuild} | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)