Summary: | 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 | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Agostino Sarubbo <ago> |
Component: | Current packages | Assignee: | Gentoo Science Mathematics related packages <sci-mathematics> |
Status: | CONFIRMED --- | ||
Severity: | normal | ||
Priority: | Normal | ||
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | build.log |
Description
Agostino Sarubbo
2024-03-29 07:53:45 UTC
Created attachment 888970 [details]
build.log
build log and emerge --info
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. |