Attachment 888970 Details for Bug 928097 – build.log

build.log

build.log (text/plain), 83.35 KB, created by Agostino Sarubbo on 2024-03-29 07:53:46 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Agostino Sarubbo

Created: 2024-03-29 07:53:46 UTC

Size: 83.35 KB

patch

obsolete

> * Package:    sci-mathematics/vampire-4.8:0/4.8
> * Repository: gentoo
> * Maintainer: sci-mathematics@gentoo.org
> * Upstream:   https://github.com/vprover/vampire/issues/
> * USE:        abi_x86_32 debug elibc_glibc kernel_linux x86 z3
> * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>
>
>@@@@@ PLEASE PAY ATTENTION HERE!!! @@@@@
>This information may help you to understand if this is a duplicate or if this bug exists after you pushed a fix;
>This ebuild was merged at the following commit:
>https://github.com/gentoo-mirror/gentoo/commit/4b2bd2478d5905ef9858cdd4313bc8aeede87303  (Fri Mar 29 02:04:11 UTC 2024)
>@@@@@ END @@@@@
>
>
>
>##################
># emerge --info: #
>##################
>Portage 3.0.63 (python 3.12.2-final-0, default/linux/x86/17.0, gcc-14, glibc-2.39-r2, 6.1.66-gentoo-dist i686)
>=================================================================
>System uname: Linux-6.1.66-gentoo-dist-i686-AMD_EPYC_7513_32-Core_Processor-with-glibc2.39
>KiB Mem:   263452516 total,  64758400 free
>KiB Swap:          0 total,         0 free
>Timestamp of repository gentoo: Fri, 29 Mar 2024 02:04:11 +0000
>sh bash 5.2_p26
>ld GNU ld (Gentoo 2.42 p3) 2.42.0
>app-misc/pax-utils:        1.3.7::gentoo
>app-shells/bash:           5.2_p26::gentoo
>dev-build/autoconf:        2.72-r1::gentoo
>dev-build/automake:        1.16.5-r2::gentoo
>dev-build/cmake:           3.29.0::gentoo
>dev-build/libtool:         2.4.7-r4::gentoo
>dev-build/make:            4.4.1-r1::gentoo
>dev-build/meson:           1.4.0-r1::gentoo
>dev-lang/perl:             5.38.2-r2::gentoo
>dev-lang/python:           3.10.14::gentoo, 3.11.8_p1::gentoo, 3.12.2_p1::gentoo
>sys-apps/baselayout:       2.15::gentoo
>sys-apps/openrc:           0.53.1::gentoo
>sys-apps/sandbox:          2.38::gentoo
>sys-devel/binutils:        2.42-r1::gentoo
>sys-devel/binutils-config: 5.5::gentoo
>sys-devel/gcc:             14.0.1_pre20240324-r1::gentoo
>sys-devel/gcc-config:      2.11::gentoo
>sys-kernel/linux-headers:  6.7-r1::gentoo (virtual/os-headers)
>sys-libs/glibc:            2.39-r2::gentoo
>Repositories:
>
>gentoo
>    location: /usr/portage
>    sync-type: rsync
>    sync-uri: rsync://rsync.gentoo.org/gentoo-portage
>    priority: -1000
>    volatile: True
>    sync-rsync-verify-metamanifest: yes
>    sync-rsync-extra-opts: 
>    sync-rsync-verify-max-age: 3
>    sync-rsync-verify-jobs: 1
>
>Binary Repositories:
>
>gentoobinhost
>    priority: 1
>    sync-uri: https://gentoo.osuosl.org/releases/x86/binpackages/17.0/i686
>
>ACCEPT_KEYWORDS="x86 ~x86"
>ACCEPT_LICENSE="* BSD"
>CBUILD="i686-pc-linux-gnu"
>CFLAGS="-O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0"
>CHOST="i686-pc-linux-gnu"
>CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt"
>CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo"
>CXXFLAGS="-O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0"
>DISTDIR="/var/tmp/portage/sci-mathematics/vampire-4.8/distdir"
>EMERGE_DEFAULT_OPTS="--complete-graph y --with-bdeps=y -1 -k -b --backtrack=100"
>ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GDK_PIXBUF_MODULE_FILE GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR XDG_STATE_HOME"
>FCFLAGS="-O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0"
>FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs binpkg-multi-instance buildpkg buildpkg-live config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync merge-wait network-sandbox news parallel-fetch pid-sandbox pkgdir-index-trusted preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr"
>FFLAGS="-O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0"
>GENTOO_MIRRORS="http://mirror.leaseweb.com/gentoo/ http://ftp.snt.utwente.nl/pub/os/linux/gentoo/ http://ftp.belnet.be/pub/rsync.gentoo.org/gentoo/ http://distfiles.gentoo.org"
>LANG="C.UTF8"
>LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0"
>LEX="flex"
>MAKEOPTS="-j16"
>PKGDIR="/root/tbci/binpkg"
>PORTAGE_CONFIGROOT="/"
>PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git"
>PORTAGE_TMPDIR="/var/tmp"
>SHELL="/bin/bash"
>USE="acl bzip2 cli crypt debug dri elogind fortran gdbm iconv ipv6 jumbo-build libtirpc native-symlinks ncurses nls openmp pam pcre readline seccomp split-usr ssl test-rust unicode x86 xattr z3 zlib" ABI_X86="32" ELIBC="glibc" KERNEL="linux"
>Unset:  ADDR2LINE, AR, ARFLAGS, AS, ASFLAGS, CC, CCLD, CONFIG_SHELL, CPP, CPPFLAGS, CTARGET, CXX, CXXFILT, ELFEDIT, EXTRA_ECONF, F77FLAGS, FC, GCOV, GPROF, INSTALL_MASK, LC_ALL, LD, LFLAGS, LIBTOOL, LINGUAS, MAKE, MAKEFLAGS, NM, OBJCOPY, OBJDUMP, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, PYTHONPATH, RANLIB, READELF, RUSTFLAGS, SIZE, STRINGS, STRIP, YACC, YFLAGS
>
>
>
>
>
>##############################
># emerge history (qlop -mv): #
>##############################
>2024-03-29T03:01:48 >>> sci-mathematics/z3-4.13.0
>
>
>
>
>#######################################
># installed packages (qlist -ICvUSS): #
>#######################################
>acct-group/audio-0-r3:0
>acct-group/cdrom-0-r3:0
>acct-group/dialout-0-r3:0
>acct-group/disk-0-r3:0
>acct-group/floppy-0-r1:0
>acct-group/input-0-r3:0
>acct-group/kmem-0-r3:0
>acct-group/kvm-0-r3:0
>acct-group/lp-0-r3:0
>acct-group/man-0-r3:0
>acct-group/messagebus-0-r3:0
>acct-group/polkitd-0-r3:0
>acct-group/portage-0-r2:0
>acct-group/render-0-r3:0
>acct-group/root-0-r2:0
>acct-group/sgx-0-r2:0
>acct-group/sshd-0-r3:0
>acct-group/tape-0-r3:0
>acct-group/tty-0-r3:0
>acct-group/usb-0-r3:0
>acct-group/video-0-r3:0
>acct-user/man-1-r3:0
>acct-user/messagebus-0-r3:0
>acct-user/polkitd-0-r3:0
>acct-user/portage-0-r3:0
>acct-user/sshd-0-r3:0
>app-admin/eselect-1.4.27-r1:0 -doc -emacs -vim-syntax
>app-admin/perl-cleaner-2.31:0 -pkgcore
>app-alternatives/awk-4:0 -busybox gawk -mawk -nawk split-usr
>app-alternatives/bc-0:0 -gh gnu
>app-alternatives/bzip2-1:0 -lbzip2 -pbzip2 reference split-usr
>app-alternatives/cpio-0:0 gnu -libarchive split-usr
>app-alternatives/gzip-1:0 -pigz reference split-usr
>app-alternatives/lex-0-r1:0 flex -reflex
>app-alternatives/ninja-1:0 reference -samurai
>app-alternatives/sh-0:0 bash -busybox -dash -ksh -lksh -mksh
>app-alternatives/tar-0:0 gnu -libarchive split-usr
>app-alternatives/yacc-1-r2:0 bison -byacc -reference
>app-arch/bzip2-1.0.8-r5:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static -static-libs -verify-sig
>app-arch/cpio-2.15:0 nls
>app-arch/gzip-1.13:0 -pic -static -verify-sig
>app-arch/libarchive-3.7.2-r2:0/13 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 acl -blake2 bzip2 e2fsprogs -expat iconv -lz4 lzma -lzo -nettle -static-libs -test -verify-sig xattr -zstd
>app-arch/tar-1.35:0 acl -minimal nls -selinux -verify-sig xattr
>app-arch/unzip-6.0_p27-r1:0 bzip2 -natspec unicode
>app-arch/xz-utils-5.4.6-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc extra-filters nls -pgo -static-libs -verify-sig
>app-arch/zstd-1.5.6:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -lz4 lzma -static-libs -test zlib
>app-crypt/gnupg-2.4.5:0 bzip2 -doc -ldap nls readline -selinux smartcard ssl -test tofu -tools -tpm -usb -user-socket -verify-sig -wks-server
>app-crypt/gpgme-1.23.2:1/11.6.15.2 -common-lisp cxx debug -python python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -qt5 -qt6 -static-libs -test -verify-sig
>app-crypt/libb2-0.98.1-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -native-cflags openmp -static-libs
>app-crypt/libmd-1.1.0:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32
>app-crypt/pinentry-1.3.0-r2:0 -X -caps -efl -emacs -gtk -keyring ncurses -qt5 -qt6 -verify-sig -wayland
>app-crypt/rhash-1.4.4-r1:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug nls ssl -static-libs
>app-editors/nano-7.2-r1:0 -debug -justify -magic -minimal ncurses nls spell -static unicode
>app-eselect/eselect-fontconfig-20220403:0
>app-eselect/eselect-iptables-20220320:0
>app-eselect/eselect-lib-bin-symlink-0.1.1-r1:0
>app-eselect/eselect-pinentry-0.7.4:0
>app-i18n/man-pages-ja-20180315-r1:0
>app-i18n/man-pages-l10n-4.19.0:0 l10n_cs l10n_da l10n_de l10n_el l10n_es l10n_fi l10n_fr l10n_hu l10n_id l10n_it l10n_mk l10n_nb l10n_nl l10n_pl l10n_pt-BR l10n_ro l10n_ru l10n_sr l10n_sv l10n_uk l10n_vi
>app-i18n/man-pages-zh_CN-1.6.4.0:0
>app-misc/ca-certificates-20240203.3.98:0 -cacert
>app-misc/editor-wrapper-4-r1:0
>app-misc/mime-types-2.1.54:0 -nginx
>app-misc/pax-utils-1.3.7:0 -caps -man -python -python_single_target_python3_10 python_single_target_python3_11 -seccomp -test
>app-misc/tmux-3.4:0 debug -selinux -systemd -utempter -vim-syntax
>app-portage/eix-0.36.7-r1:0 debug -doc nls -sqlite
>app-portage/elt-patches-20240324:0
>app-portage/gemato-20.5:0 gpg -pretty-log python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test -tools
>app-portage/gentoolkit-0.6.5:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
>app-portage/getuto-1.11:0 -test
>app-portage/portage-utils-0.96.1:0 openmp qmanifest qtegrity -static
>app-shells/bash-5.2_p26:0 -afs -bashlogger -examples -mem-scramble net nls -pgo -plugins readline -verify-sig
>app-shells/bash-completion-2.11:0 eselect -test
>app-shells/gentoo-bashcomp-20230313:0
>app-shells/push-3.4:0
>app-shells/quoter-4.2:0
>app-text/ansifilter-2.20:0 -gui -verify-sig
>app-text/asciidoc-10.2.0:0 -python_single_target_pypy3 -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12
>app-text/build-docbook-catalog-2.4:0
>app-text/docbook-xml-dtd-4.5-r2:4.5
>app-text/docbook-xml-dtd-4.4-r3:4.4
>app-text/docbook-xml-dtd-4.2-r3:4.2
>app-text/docbook-xml-dtd-4.1.2-r7:4.1.2
>app-text/docbook-xsl-ns-stylesheets-1.79.1:0 -ruby
>app-text/docbook-xsl-stylesheets-1.79.1-r4:0 -ruby
>app-text/manpager-1:0
>app-text/opensp-1.5.2-r10:0 -doc nls -static-libs -test
>app-text/po4a-0.71:0 -test -test
>app-text/sgml-common-0.6.3-r7:0
>app-text/xmlto-0.0.28-r11:0 -latex text
>dev-build/autoconf-2.72-r1:2.72 -emacs -verify-sig
>dev-build/autoconf-archive-2023.02.20:0
>dev-build/autoconf-wrapper-20231224:0
>dev-build/automake-1.16.5-r2:1.16 -test
>dev-build/automake-wrapper-20221207:0
>dev-build/cmake-3.29.0:0 -dap -doc -gui ncurses -qt6 -test -test -verify-sig
>dev-build/gtk-doc-am-1.33.2:0
>dev-build/libtool-2.4.7-r4:2 -vanilla
>dev-build/make-4.4.1-r1:0 -doc -guile nls -static -test -verify-sig
>dev-build/meson-1.4.0-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test -verify-sig
>dev-build/meson-format-array-0:0 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
>dev-build/ninja-1.11.1-r5:0 -doc -test
>dev-db/sqlite-3.45.2:3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug -doc -icu readline -secure-delete -static-libs -tcl -test -tools
>dev-lang/duktape-2.7.0-r3:0/2.7.0
>dev-lang/perl-5.38.2-r2:0/5.38 -berkdb debug -doc gdbm ithreads -minimal -quadmath
>dev-lang/python-3.12.2_p1:3.12 -bluetooth -build debug ensurepip -examples gdbm -libedit ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig
>dev-lang/python-3.11.8_p1:3.11 -bluetooth -build debug ensurepip -examples gdbm -libedit ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig
>dev-lang/python-3.10.14:3.10 -bluetooth -build debug ensurepip -examples gdbm -libedit ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig
>dev-lang/python-exec-2.4.10:2 native-symlinks python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-lang/python-exec-conf-2.4.6:2 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
>dev-lang/tcl-8.6.14:0/8.6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug threads
>dev-libs/boehm-gc-8.2.6:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -cxx large -static-libs threads
>dev-libs/elfutils-0.191:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 bzip2 -debuginfod -lzma nls -static-libs -test utils -verify-sig -zstd
>dev-libs/expat-2.6.2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -examples -static-libs -test unicode
>dev-libs/glib-2.78.4-r1:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -dbus debug elf -gtk-doc mime -selinux -static-libs -sysprof -systemtap -test -utils xattr
>dev-libs/gmp-6.3.0-r1:0/10.4 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 asm cpudetection cxx -doc -pic -static-libs
>dev-libs/gobject-introspection-1.78.1:0 -doctool -gtk-doc -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 -test
>dev-libs/gobject-introspection-common-1.78.1:0
>dev-libs/isl-0.26:0/23 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs
>dev-libs/jsoncpp-1.9.5:0/25 -doc -test
>dev-libs/libassuan-2.5.7:0 -verify-sig
>dev-libs/libatomic_ops-7.8.2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32
>dev-libs/libbsd-0.11.8:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs -verify-sig
>dev-libs/libevent-2.1.12-r1:0/2.1-7 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 clock-gettime debug -malloc-replacement ssl -static-libs -test -verbose-debug -verify-sig
>dev-libs/libffi-3.4.6:0/8 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug -exec-static-trampoline -pax-kernel -static-libs -test
>dev-libs/libgcrypt-1.10.3-r2:0/20 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 asm -cpu_flags_arm_aes -cpu_flags_arm_neon -cpu_flags_arm_sha1 -cpu_flags_arm_sha2 -cpu_flags_ppc_altivec -cpu_flags_ppc_vsx2 -cpu_flags_ppc_vsx3 cpu_flags_x86_aes cpu_flags_x86_avx cpu_flags_x86_avx2 -cpu_flags_x86_padlock -cpu_flags_x86_sha cpu_flags_x86_sse4_1 -doc getentropy -static-libs -verify-sig
>dev-libs/libgpg-error-1.48:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -common-lisp nls -static-libs -test -verify-sig
>dev-libs/libksba-1.6.6:0 -static-libs -verify-sig
>dev-libs/libpcre2-10.43:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 bzip2 jit -libedit pcre16 pcre32 readline -static-libs unicode -valgrind -verify-sig zlib
>dev-libs/libpipeline-1.5.7:0 -test
>dev-libs/libtasn1-4.19.0:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs -test -verify-sig
>dev-libs/libunistring-1.2:0/5 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc -static-libs
>dev-libs/libuv-1.48.0:0/1 -verify-sig
>dev-libs/libxml2-2.12.6:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -debug -examples ftp -icu -lzma python python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 readline -static-libs -test
>dev-libs/libxslt-1.1.39:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 crypt debug -examples -python python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -static-libs
>dev-libs/lzo-2.10:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -examples split-usr -static-libs
>dev-libs/mpc-1.3.1:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs
>dev-libs/mpfr-4.2.1:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs -verify-sig
>dev-libs/nettle-3.9.1:0/8-6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 asm -cpu_flags_arm_aes -cpu_flags_arm_neon -cpu_flags_arm_sha1 -cpu_flags_arm_sha2 -cpu_flags_ppc_altivec -cpu_flags_ppc_vsx2 -cpu_flags_ppc_vsx3 cpu_flags_x86_aes cpu_flags_x86_pclmul -cpu_flags_x86_sha -doc gmp -static-libs -verify-sig
>dev-libs/npth-1.7-r1:0 -test
>dev-libs/openssl-3.2.1-r1:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 asm cpu_flags_x86_sse2 -fips -ktls -rfc3779 -sctp -static-libs -test -tls-compression -vanilla -verify-sig -verify-sig -weak-ssl-ciphers
>dev-libs/popt-1.19-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 nls -static-libs
>dev-perl/Encode-EUCJPASCII-0.30.0-r1:0 -test
>dev-perl/Encode-HanExtra-0.230.0-r3:0
>dev-perl/Encode-Locale-1.50.0-r1:0 -test
>dev-perl/ExtUtils-CChecker-0.110.0:0 -test
>dev-perl/File-BaseDir-0.90.0:0 -test
>dev-perl/File-DesktopEntry-0.220.0-r1:0 -test
>dev-perl/File-MimeInfo-0.330.0:0 -test
>dev-perl/IO-Socket-SSL-2.85.0:0 -examples -idn -test
>dev-perl/IPC-System-Simple-1.300.0:0 -test
>dev-perl/Locale-gettext-1.70.0-r1:0 -test
>dev-perl/MIME-Charset-1.13.1:0 l10n_ja l10n_zh -test
>dev-perl/Module-Build-0.423.400:0 -test
>dev-perl/Mozilla-CA-20999999-r1:0 -test
>dev-perl/Net-SSLeay-1.940.0:0 -examples -examples -minimal -test
>dev-perl/Pod-Parser-1.660.0:0 -test
>dev-perl/Regexp-IPv6-0.30.0-r2:0 -test
>dev-perl/SGMLSpm-1.1-r2:0 -test
>dev-perl/Syntax-Keyword-Try-0.290.0:0 -test
>dev-perl/TermReadKey-2.380.0-r1:0 -examples -test
>dev-perl/Text-CharWidth-0.40.0-r2:0 -test
>dev-perl/Text-WrapI18N-0.60.0-r2:0 -test
>dev-perl/Unicode-LineBreak-2019.1.0:0
>dev-perl/URI-5.210.0:0 -test
>dev-perl/XS-Parse-Keyword-0.380.0:0 -test
>dev-perl/YAML-Tiny-1.740.0:0 -minimal -test
>dev-python/certifi-3021.3.16-r4:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/charset-normalizer-3.3.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/cython-3.0.9:0 debug -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/editables-0.5:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/ensurepip-pip-24.0:0
>dev-python/ensurepip-setuptools-69.2.0:0
>dev-python/ensurepip-wheels-100:0
>dev-python/flit-core-3.9.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/gentoo-common-1:0
>dev-python/gpep517-15:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/hatchling-1.22.4:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/idna-3.6:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/installer-0.7.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/jaraco-context-4.3.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/jaraco-functools-4.0.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/jaraco-text-3.12.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/jinja-3.1.3:0 -doc -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/lxml-5.1.0:0 debug -doc -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test threads
>dev-python/markupsafe-2.1.5:0 debug python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/more-itertools-10.2.0:0 -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/nspektr-0.5.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/ordered-set-4.1.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/packaging-24.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/pathspec-0.12.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/platformdirs-4.2.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/pluggy-1.4.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/pypy3-7.3.15:0/pypy310-pp73-384 gdbm ncurses sqlite -tk
>dev-python/pypy3_10-7.3.15:0/pypy310-pp73-384 ensurepip gdbm jit ncurses sqlite -tk
>dev-python/pypy3_10-exe-bin-7.3.15:7.3.15
>dev-python/PySocks-1.7.1-r2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
>dev-python/requests-2.31.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -socks5 -test test-rust
>dev-python/setuptools-69.2.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/setuptools-scm-8.0.4:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/tomli-2.0.1-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/trove-classifiers-2024.3.25:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/typing-extensions-4.10.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-python/urllib3-2.2.1:0 -brotli -http2 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test -zstd
>dev-python/wheel-0.43.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test
>dev-util/checkbashisms-2.23.5:0
>dev-util/desktop-file-utils-0.27-r1:0
>dev-util/glib-utils-2.78.4:0 -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12
>dev-util/gperf-3.1-r2:0
>dev-util/pkgconf-2.2.0:0/5 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 native-symlinks -test
>dev-util/re2c-3.1:0 debug -test
>dev-vcs/git-2.44.0:0 blksha1 -cgi curl -cvs -doc gpg -highlight iconv -keyring -mediawiki nls pcre -perforce -perl -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 safe-directory -selinux -subversion -test -tk webdav -xinetd
>media-fonts/liberation-fonts-2.1.5:0 -X -X -fontforge
>media-gfx/graphite2-1.3.14_p20210810-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -perl -test
>media-libs/fontconfig-2.15.0:1.0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc nls -test
>media-libs/freetype-2.13.2:2 -X -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 adobe-cff -brotli bzip2 cleartype-hinting debug -doc -fontforge harfbuzz png -static-libs -svg -utils
>media-libs/harfbuzz-8.3.1:0/6.0.0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 cairo debug -doc -experimental glib graphite -icu introspection -test truetype
>media-libs/libpng-1.6.43:0/16 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -apng -cpu_flags_arm_neon cpu_flags_x86_sse -static-libs -test
>net-dns/c-ares-1.27.0:0/2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs -test -verify-sig
>net-dns/libidn2-2.3.7:0/2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 nls -static-libs -verify-sig
>net-firewall/iptables-1.8.10-r1:0/1.8.3 -conntrack -netlink -nftables -pcap -static-libs -test
>net-libs/gnutls-3.8.3:0/30.30 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -brotli cxx -dane -doc -examples idn nls openssl -pkcs11 seccomp -sslv2 -sslv3 -static-libs -test -test-full tls-heartbeat -tools -verify-sig zlib -zstd
>net-libs/libmnl-1.0.5:0/0.2.0 -examples -verify-sig
>net-libs/libnsl-2.0.1:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs
>net-libs/libpsl-0.21.5:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -icu idn -test
>net-libs/libtirpc-1.3.4-r2:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -kerberos -static-libs
>net-libs/nghttp2-1.60.0:0/1.14 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug -hpack-tools -jemalloc -static-libs -systemd -test -utils -xml
>net-misc/curl-8.7.1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 adns alt-svc -brotli -curl_ssl_gnutls -curl_ssl_mbedtls curl_ssl_openssl -curl_ssl_rustls ftp -gnutls -gopher hsts http2 -idn imap -kerberos -ldap -mbedtls -nghttp3 openssl pop3 progress-meter psl -rtmp -rustls -samba smtp -ssh ssl -sslv3 -static-libs -telnet -test tftp -verify-sig -websockets -zstd
>net-misc/dhcpcd-10.0.6-r2:0 debug embedded ipv6 -privsep udev
>net-misc/iputils-20240117:0 arping -caps -clockdiff -doc filecaps -idn nls -test -tracepath
>net-misc/netifrc-0.7.8:0 dhcp
>net-misc/openssh-9.7_p1-r2:0 -abi_mips_n32 -audit -debug -kerberos -ldns -libedit -livecd pam -pie -security-key -selinux ssl -static -test -verify-sig -xmss
>net-misc/rsync-3.2.7-r4:0 acl -examples iconv -lz4 -python_single_target_python3_10 python_single_target_python3_11 -rrsync ssl -stunnel -system-zlib -verify-sig xattr -xxhash -zstd
>net-misc/wget-1.21.4:0 -cookie-check debug -gnutls -idn ipv6 -metalink nls -ntlm pcre ssl -static -test -uuid -verify-sig zlib
>perl-core/File-Temp-0.231.100:0
>perl-core/Math-BigInt-1.999.842:0 -examples -test
>sci-mathematics/z3-4.13.0:0/4.13 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc -examples -gmp -isabelle -java -java -python -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12
>sec-keys/openpgp-keys-gentoo-release-20230329:0 -test
>sys-apps/acl-2.3.2-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 nls -static-libs
>sys-apps/attr-2.5.2-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug nls -static-libs
>sys-apps/baselayout-2.15:0 -build split-usr
>sys-apps/coreutils-9.5:0 acl -caps -gmp -hostname -kill -multicall nls openssl -selinux split-usr -static -test -vanilla -verify-sig xattr
>sys-apps/dbus-1.15.8:0 -X -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug -doc elogind -selinux -static-libs -systemd -test -test -valgrind
>sys-apps/diffutils-3.10:0 nls -verify-sig
>sys-apps/file-5.45-r4:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 bzip2 -lzip -lzma -python python_targets_python3_10 python_targets_python3_11 -seccomp -static-libs -verify-sig zlib -zstd
>sys-apps/findutils-4.9.0-r2:0 nls -selinux -static -test -verify-sig
>sys-apps/gawk-5.3.0-r1:0 -mpfr nls -pma readline -verify-sig
>sys-apps/gentoo-functions-0.19:0
>sys-apps/grep-3.11:0 egrep-fgrep nls pcre -static -verify-sig
>sys-apps/groff-1.23.0:0 -X -examples -uchardet
>sys-apps/help2man-1.49.3:0 nls
>sys-apps/install-xattr-0.8-r1:0
>sys-apps/iproute2-6.6.0-r3:0 -atm -berkdb -bpf -caps -elf iptables -minimal -nfs -selinux
>sys-apps/kbd-2.6.4:0 nls pam -selinux -test
>sys-apps/kmod-32-r1:0 debug -doc lzma -pkcs7 split-usr -static-libs tools zlib zstd
>sys-apps/less-643-r1:0 pcre -test
>sys-apps/locale-gen-2.23-r1:0
>sys-apps/man-db-2.12.0:0 manpager nls seccomp -selinux -static-libs zlib
>sys-apps/man-pages-6.06:0 l10n_cs l10n_da l10n_de l10n_el l10n_es l10n_fi l10n_fr l10n_hu l10n_id l10n_it l10n_ja l10n_mk l10n_nb l10n_nl l10n_pl l10n_pt-BR l10n_ro l10n_ru l10n_sr l10n_sv l10n_uk l10n_vi l10n_zh-CN -verify-sig
>sys-apps/miscfiles-1.5-r4:0 -minimal
>sys-apps/net-tools-2.10:0 arp hostname ipv6 -nis nls -plipconfig -selinux -slattach -static
>sys-apps/openrc-0.53.1:0 -audit -bash debug ncurses netifrc -newnet pam -s6 -selinux -sysv-utils sysvinit unicode
>sys-apps/portage-3.0.63:0 -apidoc -build -doc -gentoo-dev ipc native-extensions python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 rsync-verify -selinux -test xattr
>sys-apps/sandbox-2.38:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 nnp
>sys-apps/sed-4.9:0 acl nls -selinux -static -verify-sig
>sys-apps/shadow-4.14.6:0/4 acl -audit -cracklib nls pam -selinux -skey split-usr -su -systemd -verify-sig xattr
>sys-apps/systemd-utils-254.10-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 acl -boot -kernel-install kmod -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 -secureboot -selinux split-usr -sysusers -test tmpfiles udev -ukify
>sys-apps/sysvinit-3.09:0 -ibm nls -selinux -static -verify-sig
>sys-apps/texinfo-7.1-r1:0 nls standalone -static
>sys-apps/util-linux-2.39.3-r6:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -audit -build -caps cramfs -cryptsetup -fdformat hardlink -kill logger -magic ncurses nls pam -python python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 readline -rtas -selinux -slang -static-libs su suid -systemd -test -tty-helpers -udev unicode -verify-sig
>sys-apps/which-2.21:0
>sys-auth/elogind-252.9:0 acl -audit cgroup-hybrid debug -doc pam policykit -selinux -test
>sys-auth/pambase-20240128:0 -caps -debug elogind -gnome-keyring -homed -minimal -mktemp nullok -pam_krb5 -pam_ssh passwdqc -pwhistory -pwquality -securetty -selinux sha512 -sssd -systemd -yescrypt
>sys-auth/passwdqc-2.0.3-r1:0
>sys-auth/polkit-124-r1:0 daemon duktape -examples -gtk introspection -kde pam -selinux -systemd -test
>sys-devel/bc-1.07.1-r6:0 -libedit readline -static
>sys-devel/binutils-2.42-r1:2.42 -cet -debuginfod -doc -gold -gprofng -hardened -multitarget nls -pgo plugins -static-libs -test -vanilla -zstd
>sys-devel/binutils-config-5.5:0 native-symlinks
>sys-devel/bison-3.8.2-r2:0 -examples nls -static -test -verify-sig
>sys-devel/flex-2.6.4-r6:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 nls -static -test
>sys-devel/gcc-14.0.1_pre20240324-r1:14 -ada -cet -custom-cflags cxx -d -debug -default-stack-clash-protection -default-znow -doc -fixed-point fortran -go graphite -hardened -ieee-long-double -jit -libssp lto -modula2 -multilib nls -objc -objc++ -objc-gc openmp -pch -pgo pie -rust sanitize ssp -systemtap -test -valgrind -vanilla -vtv -zstd
>sys-devel/gcc-config-2.11:0 cc-wrappers native-symlinks
>sys-devel/gettext-0.22.5:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 acl cxx -doc -emacs -git -java -java ncurses nls openmp -static-libs -verify-sig xattr
>sys-devel/gnuconfig-20230731:0
>sys-devel/m4-1.4.19-r2:0 -examples nls -verify-sig
>sys-devel/patch-2.7.6-r5:0 -static -test -verify-sig xattr
>sys-fs/e2fsprogs-1.47.0-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -cron -fuse nls -static-libs -test tools
>sys-fs/udev-init-scripts-35:0
>sys-kernel/dracut-060_pre20240104-r4:0 -selinux -test
>sys-kernel/gentoo-kernel-bin-6.1.83:6.1.83 initramfs -test
>sys-kernel/installkernel-33:0 dracut -efistub -grub -refind -systemd -systemd-boot -uki -ukify
>sys-kernel/linux-headers-6.7-r1:0 -headers-only
>sys-libs/gdbm-1.23:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 berkdb nls readline -static-libs -test -verify-sig
>sys-libs/glibc-2.39-r2:2.2 -audit -caps -cet -compile-locales -custom-cflags -doc -gd -hash-sysv-compat -headers-only multiarch -multilib -multilib-bootstrap -nscd -perl -profile -selinux ssp -stack-realign static-libs -suid -systemd -systemtap -test -vanilla
>sys-libs/libcap-2.69-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 pam -static-libs -tools
>sys-libs/libseccomp-2.5.5-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 debug -experimental-loong -python python_targets_python3_10 python_targets_python3_11 -static-libs -test
>sys-libs/libxcrypt-4.4.36-r3:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 compat -headers-only -static-libs system -test
>sys-libs/ncurses-6.4_p20230401:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -ada cxx debug -doc -gpm -minimal -profile split-usr -split-usr stack-realign -static-libs -test tinfo -trace -verify-sig
>sys-libs/pam-1.5.3-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -audit -berkdb -debug filecaps -nis -selinux
>sys-libs/readline-8.2_p10:0/8 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs unicode -utils -verify-sig
>sys-libs/timezone-data-2024a-r1:0 -leaps-timezone nls -zic-slim
>sys-libs/zlib-1.3.1-r1:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 minizip -static-libs -verify-sig
>sys-process/procps-4.0.4-r1:0/0-ng -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 elogind kill -modern-top ncurses nls -selinux -static-libs -systemd -test unicode
>sys-process/psmisc-23.7:0 -X -apparmor nls -selinux -test
>virtual/acl-0-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs
>virtual/dev-manager-0-r2:0
>virtual/dist-kernel-6.1.83:0/6.1.83
>virtual/editor-0-r7:0
>virtual/libc-1-r1:0
>virtual/libcrypt-2-r1:0/2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -static-libs
>virtual/libelf-3-r1:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32
>virtual/libiconv-0-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32
>virtual/libintl-0-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32
>virtual/libudev-251-r2:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -systemd
>virtual/man-0-r4:0
>virtual/openssh-0:0 ssl
>virtual/os-headers-0-r2:0
>virtual/package-manager-1:0
>virtual/pager-0-r1:0
>virtual/perl-bignum-0.660.0:0
>virtual/perl-Carp-1.540.0:0
>virtual/perl-CPAN-2.360.0:0
>virtual/perl-CPAN-Meta-2.150.10-r7:0
>virtual/perl-CPAN-Meta-YAML-0.18.0-r9:0
>virtual/perl-Data-Dumper-2.188.0:0
>virtual/perl-Encode-3.190.0:0
>virtual/perl-Exporter-5.770.0-r1:0
>virtual/perl-ExtUtils-CBuilder-0.280.238:0
>virtual/perl-ExtUtils-Install-2.220.0:0
>virtual/perl-ExtUtils-MakeMaker-7.700.0:0
>virtual/perl-ExtUtils-Manifest-1.730.0-r2:0
>virtual/perl-ExtUtils-ParseXS-3.510.0:0
>virtual/perl-File-Path-2.180.0-r2:0
>virtual/perl-File-Spec-3.880.0:0
>virtual/perl-File-Temp-0.231.100:0
>virtual/perl-Getopt-Long-2.540.0:0
>virtual/perl-JSON-PP-4.160.0-r1:0
>virtual/perl-libnet-3.150.0:0 ssl
>virtual/perl-Math-BigInt-1.999.842:0
>virtual/perl-Math-BigInt-FastCalc-0.501.300:0
>virtual/perl-Math-BigRat-0.262.400:0
>virtual/perl-Math-Complex-1.620.0:0
>virtual/perl-MIME-Base64-3.160.100_rc:0
>virtual/perl-Module-Metadata-1.0.37-r3:0
>virtual/perl-parent-0.241.0:0
>virtual/perl-Parse-CPAN-Meta-2.150.10-r7:0
>virtual/perl-Perl-OSType-1.10.0-r7:0
>virtual/perl-podlators-5.10.0:0
>virtual/perl-Scalar-List-Utils-1.630.0:0
>virtual/perl-Test-Harness-3.440.0-r1:0
>virtual/perl-Text-ParseWords-3.310.0-r1:0
>virtual/perl-Unicode-Collate-1.310.0-r1:0
>virtual/perl-version-0.992.900-r1:0
>virtual/pkgconfig-3:0 native-symlinks
>virtual/service-manager-1-r1:0
>virtual/ssh-0-r2:0 -minimal
>virtual/tmpfiles-0-r5:0 -systemd
>virtual/ttf-fonts-1-r2:0
>virtual/udev-217-r7:0 -systemd
>virtual/w3m-1:0
>www-client/pybugz-0.14:0 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
>www-client/w3m-0.5.3_p20230121:0 -X -fbcon -gdk-pixbuf -gpm -imlib l10n_ja -lynxkeymap nls -nntp ssl unicode -xface
>x11-base/xcb-proto-1.16.0:0 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12
>x11-base/xorg-proto-2024.1:0 -test
>x11-libs/cairo-1.18.0:0 X -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -aqua -debug glib -gtk-doc -test
>x11-libs/libX11-1.8.8:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc -test
>x11-libs/libXau-1.0.11:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc
>x11-libs/libxcb-1.16.1:0/1.12 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc -doc -selinux -test xkb
>x11-libs/libXdmcp-1.1.5:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc
>x11-libs/libXext-1.3.6:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -doc
>x11-libs/libXrender-0.9.11:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32
>x11-libs/pixman-0.43.4:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 -abi_x86_64 -abi_x86_x32 -cpu_flags_arm_iwmmxt -cpu_flags_arm_iwmmxt2 -cpu_flags_arm_neon -cpu_flags_ppc_altivec cpu_flags_x86_mmxext cpu_flags_x86_sse2 cpu_flags_x86_ssse3 -loongson2f -static-libs -test
>x11-libs/xtrans-1.5.0:0 -doc
>x11-misc/compose-tables-1.8.8:0
>x11-misc/shared-mime-info-2.4-r1:0 -test
>x11-misc/xdg-utils-1.2.1-r1:0 -X -dbus -doc -gnome
>
>
>#############
># build.log #
>#############
>
>
>>>> Unpacking source...
>>>> Unpacking vampire-4.8-casc2023.tar.gz to /var/tmp/portage/sci-mathematics/vampire-4.8/work
>>>> Source unpacked in /var/tmp/portage/sci-mathematics/vampire-4.8/work
>>>> Preparing source in /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023 ...
> * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023"
> * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build"
> * Hardcoded definition(s) removed in CMakeLists.txt:
> *    set(CMAKE_BUILD_TYPE Release CACHE STRING "Choose the type of build." FORCE
>>>> Source prepared.
>>>> Configuring source in /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023 ...
> * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023"
> * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build"
>cmake -C /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build/gentoo_common_config.cmake -G Ninja -DCMAKE_INSTALL_PREFIX=/usr -DZ3_DIR=/usr/lib/cmake/z3/ -DCMAKE_BUILD_TYPE=Debug -DCMAKE_TOOLCHAIN_FILE=/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023
>loading initial cache file /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build/gentoo_common_config.cmake
>-- The C compiler identification is GNU 14.0.1
>-- The CXX compiler identification is GNU 14.0.1
>-- Detecting C compiler ABI info
>-- Detecting C compiler ABI info - done
>-- Check for working C compiler: /usr/bin/i686-pc-linux-gnu-gcc - skipped
>-- Detecting C compile features
>-- Detecting C compile features - done
>-- Detecting CXX compiler ABI info
>-- Detecting CXX compiler ABI info - done
>-- Check for working CXX compiler: /usr/bin/i686-pc-linux-gnu-g++ - skipped
>-- Detecting CXX compile features
>-- Detecting CXX compile features - done
>-- IPO supported
>-- Found Z3 4.13.0.0
>-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
>-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
>-- Found Threads: TRUE
>fatal: not a git repository (or any parent up to mount point /var/tmp)
>Stopping at filesystem boundary (GIT_DISCOVERY_ACROSS_FILESYSTEM not set).
>-- Setting binary name to 'vampire_z3_dbg'
>-- <<< Gentoo configuration >>>
>Build type      Debug
>Install path    /usr
>Compiler flags:
>C               -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing
>C++             -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing
>Linker flags:
>Executable      -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0
>Module          -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0
>Shared          -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0
>
>-- Configuring done (0.7s)
>-- Generating done (0.0s)
>-- Build files have been written to: /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build
>>>> Source configured.
>>>> Compiling source in /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023 ...
> * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023"
> * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build"
>ninja -v -j16 -l0
>[1/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/MemoryLeak.cpp.o -MF CMakeFiles/obj.dir/Lib/MemoryLeak.cpp.o.d -o CMakeFiles/obj.dir/Lib/MemoryLeak.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/MemoryLeak.cpp
>[2/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Debug/Tracer.cpp.o -MF CMakeFiles/obj.dir/Debug/Tracer.cpp.o.d -o CMakeFiles/obj.dir/Debug/Tracer.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/Tracer.cpp
>[3/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Debug/Assertion.cpp.o -MF CMakeFiles/obj.dir/Debug/Assertion.cpp.o.d -o CMakeFiles/obj.dir/Debug/Assertion.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/Assertion.cpp
>FAILED: CMakeFiles/obj.dir/Debug/Assertion.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Debug/Assertion.cpp.o -MF CMakeFiles/obj.dir/Debug/Assertion.cpp.o.d -o CMakeFiles/obj.dir/Debug/Assertion.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/Assertion.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/Assertion.cpp:21:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[4/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/NameArray.cpp.o -MF CMakeFiles/obj.dir/Lib/NameArray.cpp.o.d -o CMakeFiles/obj.dir/Lib/NameArray.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/NameArray.cpp
>FAILED: CMakeFiles/obj.dir/Lib/NameArray.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/NameArray.cpp.o -MF CMakeFiles/obj.dir/Lib/NameArray.cpp.o.d -o CMakeFiles/obj.dir/Lib/NameArray.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/NameArray.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/STLAllocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/VString.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Exception.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/NameArray.cpp:20:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[5/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Int.cpp.o -MF CMakeFiles/obj.dir/Lib/Int.cpp.o.d -o CMakeFiles/obj.dir/Lib/Int.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Int.cpp
>FAILED: CMakeFiles/obj.dir/Lib/Int.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Int.cpp.o -MF CMakeFiles/obj.dir/Lib/Int.cpp.o.d -o CMakeFiles/obj.dir/Lib/Int.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Int.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Int.hpp:22,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Int.cpp:22:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[6/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o -MF CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o.d -o CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/MultiCounter.cpp
>FAILED: CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o -MF CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o.d -o CMakeFiles/obj.dir/Lib/MultiCounter.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/MultiCounter.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Int.hpp:22,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/MultiCounter.cpp:21:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[7/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Exception.cpp.o -MF CMakeFiles/obj.dir/Lib/Exception.cpp.o.d -o CMakeFiles/obj.dir/Lib/Exception.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Exception.cpp
>FAILED: CMakeFiles/obj.dir/Lib/Exception.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Exception.cpp.o -MF CMakeFiles/obj.dir/Lib/Exception.cpp.o.d -o CMakeFiles/obj.dir/Lib/Exception.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Exception.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Int.hpp:22,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Exception.cpp:18:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[8/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Event.cpp.o -MF CMakeFiles/obj.dir/Lib/Event.cpp.o.d -o CMakeFiles/obj.dir/Lib/Event.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Event.cpp
>FAILED: CMakeFiles/obj.dir/Lib/Event.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Event.cpp.o -MF CMakeFiles/obj.dir/Lib/Event.cpp.o.d -o CMakeFiles/obj.dir/Lib/Event.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Event.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/STLAllocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/VString.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Forwards.hpp:18,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/List.hpp:42,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Event.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Event.cpp:15:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[9/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Random.cpp.o -MF CMakeFiles/obj.dir/Lib/Random.cpp.o.d -o CMakeFiles/obj.dir/Lib/Random.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Random.cpp
>[10/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/DHMap.cpp.o -MF CMakeFiles/obj.dir/Lib/DHMap.cpp.o.d -o CMakeFiles/obj.dir/Lib/DHMap.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/DHMap.cpp
>FAILED: CMakeFiles/obj.dir/Lib/DHMap.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/DHMap.cpp.o -MF CMakeFiles/obj.dir/Lib/DHMap.cpp.o.d -o CMakeFiles/obj.dir/Lib/DHMap.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/DHMap.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/DHMap.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/DHMap.cpp:15:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[11/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o -MF CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o.d -o CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntUnionFind.cpp
>FAILED: CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o -MF CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o.d -o CMakeFiles/obj.dir/Lib/IntUnionFind.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntUnionFind.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntUnionFind.cpp:17:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[12/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o -MF CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o.d -o CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/RuntimeStatistics.cpp
>FAILED: CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o -MF CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o.d -o CMakeFiles/obj.dir/Debug/RuntimeStatistics.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/RuntimeStatistics.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Int.hpp:22,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/RuntimeStatistics.cpp:16:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[13/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/StringUtils.cpp.o -MF CMakeFiles/obj.dir/Lib/StringUtils.cpp.o.d -o CMakeFiles/obj.dir/Lib/StringUtils.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/StringUtils.cpp
>FAILED: CMakeFiles/obj.dir/Lib/StringUtils.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/StringUtils.cpp.o -MF CMakeFiles/obj.dir/Lib/StringUtils.cpp.o.d -o CMakeFiles/obj.dir/Lib/StringUtils.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/StringUtils.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/STLAllocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/VString.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Forwards.hpp:18,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/DArray.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/StringUtils.cpp:15:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>[14/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o -MF CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o.d -o CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntNameTable.cpp
>FAILED: CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o -MF CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o.d -o CMakeFiles/obj.dir/Lib/IntNameTable.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntNameTable.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Array.hpp:22,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntNameTable.hpp:24,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntNameTable.cpp:16:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/TimeProfiling.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Metaiterators.hpp:29,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Map.hpp:28,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/IntNameTable.hpp:25:
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: error: static assertion failed: size of TermList must be the same size as that of size_t
>  262 |   sizeof(TermList) == sizeof(size_t),
>      |   ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: note: the comparison reduces to â(8 == 4)â
>[15/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Allocator.cpp.o -MF CMakeFiles/obj.dir/Lib/Allocator.cpp.o.d -o CMakeFiles/obj.dir/Lib/Allocator.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.cpp
>FAILED: CMakeFiles/obj.dir/Lib/Allocator.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Allocator.cpp.o -MF CMakeFiles/obj.dir/Lib/Allocator.cpp.o.d -o CMakeFiles/obj.dir/Lib/Allocator.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/DHMap.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.cpp:20:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/TimeProfiling.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Metaiterators.hpp:29,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Map.hpp:28,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/OperatorType.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/TermAlgebra.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Theory.hpp:25,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/Property.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/Options.hpp:57,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/UIHelper.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.cpp:28:
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: error: static assertion failed: size of TermList must be the same size as that of size_t
>  262 |   sizeof(TermList) == sizeof(size_t),
>      |   ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: note: the comparison reduces to â(8 == 4)â
>[16/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/System.cpp.o -MF CMakeFiles/obj.dir/Lib/System.cpp.o.d -o CMakeFiles/obj.dir/Lib/System.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/System.cpp
>FAILED: CMakeFiles/obj.dir/Lib/System.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/System.cpp.o -MF CMakeFiles/obj.dir/Lib/System.cpp.o.d -o CMakeFiles/obj.dir/Lib/System.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/System.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/System.cpp:16:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/TimeProfiling.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Metaiterators.hpp:29,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Map.hpp:28,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/OperatorType.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/TermAlgebra.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Theory.hpp:25,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/Property.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/Options.hpp:57,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/System.cpp:35:
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: error: static assertion failed: size of TermList must be the same size as that of size_t
>  262 |   sizeof(TermList) == sizeof(size_t),
>      |   ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: note: the comparison reduces to â(8 == 4)â
>[17/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Timer.cpp.o -MF CMakeFiles/obj.dir/Lib/Timer.cpp.o.d -o CMakeFiles/obj.dir/Lib/Timer.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Timer.cpp
>FAILED: CMakeFiles/obj.dir/Lib/Timer.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Timer.cpp.o -MF CMakeFiles/obj.dir/Lib/Timer.cpp.o.d -o CMakeFiles/obj.dir/Lib/Timer.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Timer.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/STLAllocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/VString.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Forwards.hpp:18,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Environment.hpp:22,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Timer.cpp:27:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/TimeProfiling.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Metaiterators.hpp:29,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Map.hpp:28,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/OperatorType.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/TermAlgebra.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Theory.hpp:25,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/Property.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/Options.hpp:57,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Shell/UIHelper.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Timer.cpp:31:
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: error: static assertion failed: size of TermList must be the same size as that of size_t
>  262 |   sizeof(TermList) == sizeof(size_t),
>      |   ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: note: the comparison reduces to â(8 == 4)â
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Timer.cpp: In function âvoid timer_sigalrm_handler(int)â:
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Timer.cpp:132:11: warning: ignoring return value of âssize_t read(int, void*, size_t)â declared with attribute âwarn_unused_resultâ [-Wunused-result]
>  132 |       read(perf_fd, &last_instruction_count_read, sizeof(long long));
>      |       ~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>[18/284] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Environment.cpp.o -MF CMakeFiles/obj.dir/Lib/Environment.cpp.o.d -o CMakeFiles/obj.dir/Lib/Environment.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Environment.cpp
>FAILED: CMakeFiles/obj.dir/Lib/Environment.cpp.o 
>/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=1 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++14 -Wall -fno-threadsafe-statics -MD -MT CMakeFiles/obj.dir/Lib/Environment.cpp.o -MF CMakeFiles/obj.dir/Lib/Environment.cpp.o.d -o CMakeFiles/obj.dir/Lib/Environment.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Environment.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Allocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/STLAllocator.hpp:27,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/VString.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Forwards.hpp:18,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Sys/SyncPipe.hpp:20,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Environment.cpp:19:
>/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.
>   23 |     sizeof(void *) == 8,
>      |     ~~~~~~~~~~~~~~~^~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Portability.hpp:23:20: note: the comparison reduces to â(4 == 8)â
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Debug/TimeProfiling.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Metaiterators.hpp:29,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Set.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Indexing/TermSharing.hpp:20,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Lib/Environment.cpp:21:
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: error: static assertion failed: size of TermList must be the same size as that of size_t
>  262 |   sizeof(TermList) == sizeof(size_t),
>      |   ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~
>/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023/Kernel/Term.hpp:262:20: note: the comparison reduces to â(8 == 4)â
>ninja: build stopped: subcommand failed.
> * ERROR: sci-mathematics/vampire-4.8::gentoo failed (compile phase):
> *   ninja -v -j16 -l0 failed
> * 
> * Call stack:
> *     ebuild.sh, line  136:  Called src_compile
> *   environment, line 2215:  Called cmake_src_compile
> *   environment, line  878:  Called cmake_build
> *   environment, line  845:  Called eninja
> *   environment, line 1321:  Called die
> * The specific snippet of code:
> *       "$@" || die -n "${*} failed"
> * 
> * If you need support, post the output of `emerge --info '=sci-mathematics/vampire-4.8::gentoo'`,
> * the complete build log and the output of `emerge -pqv '=sci-mathematics/vampire-4.8::gentoo'`.
> * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/vampire-4.8:20240329-020706.log'.
> * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/vampire-4.8/temp/build.log'.
> * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/vampire-4.8/temp/environment'.
> * Working directory: '/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023_build'
> * S: '/var/tmp/portage/sci-mathematics/vampire-4.8/work/vampire-4.8casc2023'
>

Actions: View

Attachments on bug 928097: 888970