Bug 928097 – sci-mathematics/vampire-4.8 fails to compile: Portability.hpp:23:20: error: static assertion failed: Vampire assumes that the size of a pointer is 8 bytes for efficiency reasons This may be relaxed in future, but for the moment expect problems if running

• Status: CONFIRMED
• Product: Gentoo Linux

[Description Agostino Sarubbo 2024-03-29 07:53:45 UTC]

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

Issue: sci-mathematics/vampire-4.8 fails to compile.
Discovered on: x86 (internal ref: tinderbox_x86)
System: GCC-14-SYSTEM (https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#GCC-14)

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

[Comment 1 Agostino Sarubbo 2024-03-29 07:53:46 UTC]

Created attachment 888970 [details]
build.log

build log and emerge --info

[Comment 2 Agostino Sarubbo 2024-03-29 07:53:47 UTC]

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


FAILED: CMakeFiles/obj.dir/Debug/Assertion.cpp.o 
FAILED: CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Allocator.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/DHMap.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Environment.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Event.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Exception.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Int.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/NameArray.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/StringUtils.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/System.cpp.o 
FAILED: CMakeFiles/obj.dir/Lib/Timer.cpp.o 
fatal: not a git repository (or any parent up to mount point /var/tmp)
/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: error: static assertion failed: Vampire assumes that the size of a pointer is 8 bytes for efficiency reasons. This may be fixed/relaxed in future, but for the moment expect problems if running on other architectures.