Bug 948184 – sci-mathematics/vampire-4.9 fails to compile: hashtable_policy.h:1491:67: error: converting to Lib::STLAllocator<std::__detail::_Hash_node<std::pair<Kernel::Clause const, Lib::Stack<Kernel::Literal> >, true> > from initializer list would use explicit con

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Agostino Sarubbo 2025-01-16 09:52:47 UTC]

https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/

Issue: sci-mathematics/vampire-4.9 fails to compile.
Discovered on: amd64 (internal ref: gcc15_tinderbox)
System: GCC-15-SYSTEM (https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#GCC-15)

Info about the issue:
https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0003

[Comment 1 Agostino Sarubbo 2025-01-16 09:52:48 UTC]

Created attachment 916691 [details]
build.log

build log and emerge --info

[Comment 2 Agostino Sarubbo 2025-01-16 09:52:49 UTC]

Error(s) that match a know pattern in addition to what has been reported in the summary:


FAILED: CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o 
fatal: not a git repository (or any parent up to mount point /var/tmp)
/usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/hashtable_policy.h:1491:67: error: converting to ‘Lib::STLAllocator<std::__detail::_Hash_node<std::pair<Kernel::Clause* const, Lib::Stack<Kernel::Literal*> >, true> >’ from initializer list would use explicit constructor ‘Lib::STLAllocator<T>::STLAllocator() [with T = std::__detail::_Hash_node<std::pair<Kernel::Clause* const, Lib::Stack<Kernel::Literal*> >, true>]’