Bug 860237 – sci-mathematics/vampire-4.6.1 - LookaheadLiteralSelector.cpp:(.text+<snip>): multiple definition of z3::constructor_list::construc

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Toralf Förster 2022-07-23 08:43:05 UTC]

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 <[e-mail]>
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"

[Comment 1 Toralf Förster 2022-07-23 08:43:06 UTC]

Created attachment 793421 [details]
emerge-info.txt

[Comment 2 Toralf Förster 2022-07-23 08:43:07 UTC]

Created attachment 793424 [details]
emerge-history.txt.bz2

[Comment 3 Toralf Förster 2022-07-23 08:43:09 UTC]

Created attachment 793427 [details]
environment

[Comment 4 Toralf Förster 2022-07-23 08:43:10 UTC]

Created attachment 793430 [details]
etc.portage.tar.bz2

[Comment 5 Toralf Förster 2022-07-23 08:43:11 UTC]

Created attachment 793433 [details]
logs.tar.bz2

[Comment 6 Toralf Förster 2022-07-23 08:43:12 UTC]

Created attachment 793436 [details]
sci-mathematics:vampire-4.6.1:20220723-082828.log

[Comment 7 Toralf Förster 2022-07-23 08:43:14 UTC]

Created attachment 793439 [details]
temp.tar.bz2

[Comment 8 Larry the Git Cow 2022-07-23 17:41:03 UTC]

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ć <[e-mail]>
AuthorDate: 2022-07-23 17:25:52 +0000
Commit:     Maciej Barć <[e-mail]>
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ć <[e-mail]>

 .../vampire/{vampire-4.6.1.ebuild => vampire-4.6.1-r1.ebuild}         | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

[Comment 9 Larry the Git Cow 2022-09-23 11:43:59 UTC]

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ć <[e-mail]>
AuthorDate: 2022-09-23 11:03:57 +0000
Commit:     Maciej Barć <[e-mail]>
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ć <[e-mail]>

 .../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(-)