build.log

build.log (text/plain), 82.37 KB, created by Agostino Sarubbo on 2024-10-27 10:25:37 UTC

 * Package:    sci-mathematics/vampire-4.9:0/4.9
 * Repository: gentoo
 * Maintainer: [e-mail]
 * 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/693c628e61048926d52eb8cea9c08d0f191208a5  (Fri Oct 25 12:03:24 UTC 2024)
@@@@@ END @@@@@



##################
# emerge --info: #
##################
Portage 3.0.66.1 (python 3.12.7-final-0, default/linux/x86/23.0/i686/split-usr, gcc-15, glibc-2.40-r5, 6.1.87-gentoo-dist i686)
=================================================================
System uname: Linux-6.1.87-gentoo-dist-i686-AMD_EPYC_7513_32-Core_Processor-with-glibc2.40
KiB Mem:   263449376 total, 153088732 free
KiB Swap:          0 total,         0 free
Timestamp of repository gentoo: Fri, 25 Oct 2024 12:03:24 +0000
sh bash 5.2_p37
ld GNU ld (Gentoo 2.43 p2) 2.43.1
app-misc/pax-utils:        1.3.8::gentoo
app-shells/bash:           5.2_p37::gentoo
dev-build/autoconf:        2.72-r1::gentoo
dev-build/automake:        1.17-r1::gentoo
dev-build/cmake:           3.30.5::gentoo
dev-build/libtool:         2.5.3::gentoo
dev-build/make:            4.4.1-r100::gentoo
dev-build/meson:           1.6.0::gentoo
dev-lang/perl:             5.40.0::gentoo
dev-lang/python:           3.10.15_p1::gentoo, 3.11.10_p1::gentoo, 3.12.7_p1::gentoo, 3.13.0::gentoo
sys-apps/baselayout:       2.15::gentoo
sys-apps/openrc:           0.55.1::gentoo
sys-apps/sandbox:          2.39::gentoo
sys-devel/binutils:        2.43-r1::gentoo
sys-devel/binutils-config: 5.5.2::gentoo
sys-devel/gcc:             15.0.0_pre20241020-r2::gentoo
sys-devel/gcc-config:      2.11::gentoo
sys-kernel/linux-headers:  6.11::gentoo (virtual/os-headers)
sys-libs/glibc:            2.40-r5::gentoo
Repositories:

gentoo
    location: /usr/portage
    sync-type: rsync
    sync-uri: rsync://rsync.gentoo.org/gentoo-portage
    priority: -1000
    volatile: True
    sync-rsync-verify-max-age: 3
    sync-rsync-extra-opts: 
    sync-rsync-verify-metamanifest: yes
    sync-rsync-verify-jobs: 1

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.9/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,-z,pack-relative-relocs -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 crypt debug elogind gdbm iconv ipv6 jumbo-build libtirpc native-symlinks ncurses nls openmp pam pcre readline seccomp split-usr ssl test-rust unicode verify-sig 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-10-25T14:34:21 >>> sci-mathematics/z3-4.13.3




#######################################
# 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-r2: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-r1:0 -pic -static verify-sig
app-arch/libarchive-3.7.7: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.6.3: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_crc32 -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-r2: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-r2:1/11.6.15.2 -common-lisp cxx debug -python python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -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.1:0 -X -caps -efl -emacs -gtk -keyring ncurses -qt5 -qt6 verify-sig -wayland
app-crypt/rhash-1.4.5: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-8.2:0 -debug -justify -magic -minimal ncurses nls spell 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-r2: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.8:0 -caps -man -python -python_single_target_python3_10 -python_single_target_python3_11 python_single_target_python3_12 -python_single_target_python3_13 -seccomp -test
app-misc/tmux-3.5a:0 debug -jemalloc -selinux -systemd -utempter -vim-syntax
app-portage/eix-0.36.7-r1:0 debug -doc nls -sqlite
app-portage/elt-patches-20240912:0
app-portage/gemato-20.6:0 gpg -pretty-log python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test -tools
app-portage/gentoolkit-0.6.8:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
app-portage/getuto-1.13:0 -test
app-portage/portage-utils-0.97:0 openmp qmanifest -static
app-shells/bash-5.2_p37:0 -afs -bashlogger -examples -mem-scramble net nls -pgo -plugins readline verify-sig
app-shells/bash-completion-2.14.0-r1:0 eselect -test
app-shells/gentoo-bashcomp-20240625:0
app-shells/push-3.4:0
app-shells/quoter-4.2:0
app-text/ansifilter-2.21:0 -gui verify-sig
app-text/asciidoc-10.2.1:0 -python_single_target_pypy3 -python_single_target_python3_10 -python_single_target_python3_11 python_single_target_python3_12 -python_single_target_python3_13 -test
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-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.73:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -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-2024.10.16:0
dev-build/autoconf-wrapper-20231224:0
dev-build/automake-1.17-r1:1.17 -test verify-sig
dev-build/automake-wrapper-20240607:0
dev-build/cmake-3.30.5:0 -dap -doc -gui ncurses -qt6 -test verify-sig
dev-build/gtk-doc-am-1.33.2:0
dev-build/libtool-2.5.3:2 -vanilla
dev-build/make-4.4.1-r100:0 -doc -guile -guile_single_target_2-2 guile_single_target_3-0 nls -static -test verify-sig
dev-build/meson-1.6.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test verify-sig
dev-build/meson-format-array-0:0 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13
dev-build/ninja-1.12.1:0 -doc -test
dev-db/sqlite-3.46.1: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.40.0:0/5.40 -berkdb -doc gdbm -minimal -perl_features_debug -perl_features_ithreads -perl_features_quadmath
dev-lang/pypy-3.10.7.3.17_p1:3.10/pypy310-pp73-384 ensurepip gdbm jit ncurses sqlite symlink test-install -tk
dev-lang/python-3.13.0:3.13 -bluetooth -build debug ensurepip -examples gdbm -jit -libedit llvm_slot_18 ncurses -pgo readline sqlite ssl -test -tk -valgrind verify-sig
dev-lang/python-3.12.7_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.10_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.15_p1: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 python_targets_python3_13 python_targets_python3_13t -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 -python_targets_python3_13 -python_targets_python3_13t
dev-lang/tcl-8.6.15: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.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 -cxx large -static-libs threads
dev-libs/elfutils-0.191-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 bzip2 -debuginfod -lzma nls -static-libs -test utils -valgrind verify-sig -zstd
dev-libs/expat-2.6.3: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.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 -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-r2:0 -doctool -gtk-doc -python_single_target_python3_10 -python_single_target_python3_11 python_single_target_python3_12 -python_single_target_python3_13 -test
dev-libs/gobject-introspection-common-1.78.1:0
dev-libs/isl-0.27: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.6-r2:0/26 -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
dev-libs/libassuan-3.0.0:0/3.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/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-r2: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.11.0-r1: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_arm_sve -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_avx512f -cpu_flags_x86_padlock -cpu_flags_x86_sha cpu_flags_x86_sse4_1 -doc getentropy -static-libs verify-sig
dev-libs/libgpg-error-1.50: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.7:0 -static-libs verify-sig
dev-libs/libpcre2-10.44-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 bzip2 jit -libedit pcre16 pcre32 readline -static-libs unicode -valgrind verify-sig zlib
dev-libs/libpipeline-1.5.8: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.49.1:0/1 verify-sig
dev-libs/libxml2-2.12.8: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 -python_targets_python3_13 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 -python_targets_python3_13 -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/mpdecimal-4.0.0:4 -cxx -test
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.10: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.3.2: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 quic -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/Capture-Tiny-0.480.0-r1:0 -examples -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Class-Inspector-1.360.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Config-AutoConf-0.320.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Encode-EUCJPASCII-0.30.0-r1:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Encode-HanExtra-0.230.0-r3:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath
dev-perl/Encode-Locale-1.50.0-r1:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Exporter-Tiny-1.6.2:0 -examples -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/ExtUtils-CChecker-0.120.0-r1:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/File-BaseDir-0.90.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/File-DesktopEntry-0.220.0-r1:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/File-MimeInfo-0.330.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/File-ShareDir-1.118.0:0 -minimal -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/File-ShareDir-Install-0.140.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test -test
dev-perl/File-Slurper-0.14.0:0 -examples -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/IO-Socket-SSL-2.89.0:0 -examples -idn -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/IPC-System-Simple-1.300.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/List-MoreUtils-0.430.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test xs
dev-perl/List-MoreUtils-XS-0.430.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Locale-gettext-1.70.0-r1:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/MIME-Base32-1.303.0-r1:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/MIME-Charset-1.13.1:0 l10n_ja l10n_zh -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Module-Build-0.423.400:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Net-SSLeay-1.940.0:0 -examples -examples -minimal -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Params-Util-1.102.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/PerlIO-utf8_strict-0.10.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Pod-Parser-1.660.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Regexp-IPv6-0.30.0-r2:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/SGMLSpm-1.1-r2:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Syntax-Keyword-Try-0.300.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/TermReadKey-2.380.0-r1:0 -examples -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Text-CharWidth-0.40.0-r2:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Text-WrapI18N-0.60.0-r2:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/Unicode-LineBreak-2019.1.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath
dev-perl/URI-5.300.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/XS-Parse-Keyword-0.460.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-perl/YAML-Tiny-1.740.0:0 -minimal -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
dev-python/backports-tarfile-1.2.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -test
dev-python/certifi-3024.7.22:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
dev-python/charset-normalizer-3.4.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
dev-python/cython-3.0.11:0 debug -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
dev-python/editables-0.5:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/ensurepip-pip-24.2:0
dev-python/ensurepip-setuptools-74.1.3: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 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/gentoo-common-1:0
dev-python/gpep517-16:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/hatch-vcs-0.4.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/hatchling-1.25.0-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/idna-3.10:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
dev-python/installer-0.7.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/jaraco-context-6.0.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/jaraco-functools-4.1.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/jaraco-text-4.0.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/jinja-3.1.4:0 -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
dev-python/lxml-5.3.0:0 debug -doc -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test threads
dev-python/markupsafe-3.0.2:0 debug native-extensions python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/more-itertools-10.5.0:0 -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/packaging-24.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/pathspec-0.12.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/platformdirs-4.3.6:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/pluggy-1.5.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/pypy3-7.3.17-r100:0/pypy310-pp73-384 gdbm ncurses sqlite test-install -tk
dev-python/pypy3_10-exe-bin-7.3.17:7.3.17
dev-python/PySocks-1.7.1-r2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13
dev-python/requests-2.32.3:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -socks5 -test test-rust
dev-python/setuptools-74.1.3-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/setuptools-scm-8.1.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/tomli-2.0.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
dev-python/trove-classifiers-2024.10.21.16:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-python/urllib3-2.2.3:0 -brotli -http2 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test -zstd
dev-python/wheel-0.44.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -python_targets_python3_13t -test
dev-util/checkbashisms-2.23.5:0
dev-util/desktop-file-utils-0.27-r1:0
dev-util/glib-utils-2.78.6:0 -python_single_target_python3_10 -python_single_target_python3_11 python_single_target_python3_12 -python_single_target_python3_13
dev-util/gperf-3.1-r2:0
dev-util/patchelf-0.18.0:0
dev-util/pkgconf-2.3.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.47.0-r1: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 -python_single_target_python3_13 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-r1: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.3: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-9.0.0: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.44: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_x86_sse -static-libs -test
net-dns/c-ares-1.34.2: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.7.1-r1: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 -static-libs -test
net-libs/libtirpc-1.3.5: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.64.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-libs/nghttp3-1.6.0: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 -static-libs -test
net-misc/curl-8.10.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_quic_ngtcp2 curl_quic_openssl -curl_ssl_gnutls -curl_ssl_mbedtls curl_ssl_openssl -curl_ssl_rustls debug ftp -gnutls -gopher hsts http2 http3 -idn imap -kerberos -ldap -mbedtls openssl pop3 progress-meter psl quic -rtmp -rustls -samba smtp -ssh ssl -sslv3 -static-libs -telnet -test tftp verify-sig websockets -zstd
net-misc/dhcpcd-10.1.0:0 debug embedded ipv6 -privsep udev
net-misc/iputils-20240905:0 arping -caps -clockdiff -doc filecaps -idn nls -test -tracepath
net-misc/netifrc-0.7.12:0 dhcp
net-misc/openssh-9.8_p1-r3: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.3.0-r1:0 acl -examples iconv -lz4 -python_single_target_python3_10 -python_single_target_python3_11 python_single_target_python3_12 -python_single_target_python3_13 -rrsync ssl -stunnel -system-zlib verify-sig xattr -xxhash -zstd
net-misc/wget-1.24.5:0 -cookie-check debug -gnutls -idn ipv6 -libproxy -metalink nls -ntlm pcre ssl -static -test -uuid verify-sig zlib
perl-core/File-Temp-0.231.100-r1:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath
perl-core/Getopt-Long-2.580.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath
perl-core/Scalar-List-Utils-1.680.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath
perl-core/Test-Harness-3.500.0:0 -perl_features_debug -perl_features_ithreads -perl_features_quadmath -test
sci-mathematics/z3-4.13.3: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 -python_single_target_python3_13
sec-keys/openpgp-keys-alejandro-colomar-20231031:0
sec-keys/openpgp-keys-andresimon-20240906:0
sec-keys/openpgp-keys-bison-20220407:0
sec-keys/openpgp-keys-bradhouse-20240624:0
sec-keys/openpgp-keys-bradking-20240902:0
sec-keys/openpgp-keys-bzip2-20220406:0
sec-keys/openpgp-keys-chetramey-20220406:0
sec-keys/openpgp-keys-coreutils-20220407:0
sec-keys/openpgp-keys-danielstenberg-20220330:0
sec-keys/openpgp-keys-diffutils-20220407:0
sec-keys/openpgp-keys-elfutils-20240301:0
sec-keys/openpgp-keys-file-20220611:0
sec-keys/openpgp-keys-findutils-20220407:0
sec-keys/openpgp-keys-gawk-20220407:0
sec-keys/openpgp-keys-gdbm-20220407:0
sec-keys/openpgp-keys-gentoo-release-20240703:0 -test
sec-keys/openpgp-keys-gettext-20220407:0
sec-keys/openpgp-keys-gnupg-20220210:0
sec-keys/openpgp-keys-gnutls-20240415:0
sec-keys/openpgp-keys-grep-20220407:0
sec-keys/openpgp-keys-gzip-20220406:0
sec-keys/openpgp-keys-jimmeyering-20220407:0
sec-keys/openpgp-keys-jpakkane-20231105:0
sec-keys/openpgp-keys-karelzak-20230517:0
sec-keys/openpgp-keys-lassecollin-20240529:0
sec-keys/openpgp-keys-libarchive-20221209:0
sec-keys/openpgp-keys-libevent-0:0
sec-keys/openpgp-keys-libidn-20240114:0
sec-keys/openpgp-keys-libtasn1-20220824:0
sec-keys/openpgp-keys-libuv-20240209:0
sec-keys/openpgp-keys-m4-20220407:0
sec-keys/openpgp-keys-madler-20220328:0
sec-keys/openpgp-keys-make-20220407:0
sec-keys/openpgp-keys-netfilter-20220326:0
sec-keys/openpgp-keys-nettle-20220603:0
sec-keys/openpgp-keys-openssh-20220316:0
sec-keys/openpgp-keys-openssl-20240920:0
sec-keys/openpgp-keys-patch-20220407:0
sec-keys/openpgp-keys-philiphazel-20220416:0
sec-keys/openpgp-keys-python-20221025:0
sec-keys/openpgp-keys-sed-20220407:0
sec-keys/openpgp-keys-sysvinit-20220413:0
sec-keys/openpgp-keys-tar-20220406:0
sec-keys/openpgp-keys-thomasdickey-20240114:0
sec-keys/openpgp-keys-vincentlefevre-20221213:0
sec-keys/openpgp-keys-waynedavison-20220329:0
sec-keys/openpgp-keys-wget-20240415:0
sec-keys/openpgp-keys-zackweinberg-20231223:0
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 python_targets_python3_12 -python_targets_python3_13 -seccomp -static-libs verify-sig zlib -zstd
sys-apps/findutils-4.10.0:0 nls -selinux -static -test verify-sig
sys-apps/gawk-5.3.1:0 -mpfr nls -pma readline verify-sig
sys-apps/gentoo-functions-1.7.3:0 -test
sys-apps/grep-3.11-r1: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.11.0-r1:0 -atm -berkdb -bpf -caps -elf iptables -minimal -nfs -selinux
sys-apps/kbd-2.6.4:0 nls pam -selinux -test
sys-apps/kmod-33:0 debug -doc lzma -pkcs7 -static-libs tools zlib zstd
sys-apps/less-668:0 pcre -test
sys-apps/locale-gen-2.23-r1:0
sys-apps/man-db-2.13.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.55.1:0 -audit -bash -caps debug netifrc -newnet pam -s6 -selinux -sysv-utils sysvinit unicode
sys-apps/portage-3.0.66.1-r1:0 -apidoc -build -doc -gentoo-dev ipc native-extensions python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 rsync-verify -selinux -test xattr
sys-apps/sandbox-2.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 nnp
sys-apps/sed-4.9-r1:0 acl nls -selinux -static verify-sig
sys-apps/shadow-4.14.8:0/4 acl -audit -cracklib nls pam -selinux -skey split-usr -su -systemd verify-sig xattr
sys-apps/systemd-utils-255.12: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.10:0 -ibm nls -selinux -static verify-sig
sys-apps/texinfo-7.1.1:0 nls standalone -static
sys-apps/util-linux-2.40.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 -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 -uuidd verify-sig
sys-apps/which-2.21:0
sys-auth/elogind-255.5: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-125: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.43-r1:2.43 -cet -debuginfod -doc -gold -gprofng -hardened -multitarget nls -pgo plugins -static-libs -test -vanilla zstd
sys-devel/binutils-config-5.5.2: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-15.0.0_pre20241020-r2:15 -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-20240728: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.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 -archive -cron -fuse nls -static-libs -test tools
sys-fs/udev-init-scripts-35:0
sys-kernel/dracut-103-r4:0 -selinux -test
sys-kernel/gentoo-kernel-bin-6.1.114:6.1.114 initramfs -test
sys-kernel/installkernel-48-r1:0 dracut -efistub -grub -refind -systemd -systemd-boot -ugrd -uki -ukify
sys-kernel/linux-headers-6.11:0 -headers-only
sys-libs/gdbm-1.24: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.40-r5: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.70: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-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 debug -experimental-loong -python python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -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_p20240414: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.6.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 -audit -berkdb -debug -examples filecaps -nis -selinux
sys-libs/readline-8.2_p13: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.114:0/6.1.114
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-Carp-1.540.0-r1:0
virtual/perl-CPAN-2.360.0-r1:0
virtual/perl-CPAN-Meta-2.150.10-r8:0
virtual/perl-CPAN-Meta-YAML-0.18.0-r10:0
virtual/perl-Data-Dumper-2.189.0:0
virtual/perl-Encode-3.210.0-r1:0
virtual/perl-Exporter-5.780.0:0
virtual/perl-ExtUtils-CBuilder-0.280.240:0
virtual/perl-ExtUtils-Install-2.220.0-r1:0
virtual/perl-ExtUtils-MakeMaker-7.700.0-r1:0
virtual/perl-ExtUtils-Manifest-1.750.0:0
virtual/perl-ExtUtils-ParseXS-3.510.0-r1:0
virtual/perl-File-Path-2.180.0-r3:0
virtual/perl-File-Spec-3.900.0:0
virtual/perl-File-Temp-0.231.100-r1:0
virtual/perl-Getopt-Long-2.580.0:0
virtual/perl-IO-1.550.0:0
virtual/perl-IPC-Cmd-1.40.0-r4:0
virtual/perl-JSON-PP-4.160.0-r2:0
virtual/perl-libnet-3.150.0-r1:0 ssl
virtual/perl-Math-BigInt-2.3.2:0
virtual/perl-MIME-Base64-3.160.100_rc-r1:0
virtual/perl-Module-Metadata-1.0.38:0
virtual/perl-parent-0.241.0-r1:0
virtual/perl-Parse-CPAN-Meta-2.150.10-r8:0
virtual/perl-Perl-OSType-1.10.0-r8:0
virtual/perl-podlators-5.10.200_rc:0
virtual/perl-Scalar-List-Utils-1.680.0:0
virtual/perl-Test-Harness-3.500.0:0
virtual/perl-Text-ParseWords-3.310.0-r3:0
virtual/perl-Unicode-Collate-1.310.0-r2:0
virtual/perl-version-0.993.0:0
virtual/perl-XSLoader-0.320.0-r1:0
virtual/pkgconfig-3:0 native-symlinks
virtual/service-manager-1-r2: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 -python_targets_python3_13
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.17.0:0 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13
x11-base/xorg-proto-2024.1:0 -test
x11-libs/cairo-1.18.2-r1: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.10: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.17.0: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.1:0 -doc
x11-misc/compose-tables-1.8.10:0
x11-misc/shared-mime-info-2.4-r1:0 -test
x11-misc/xdg-utils-1.2.1-r6:0 -X -dbus -doc -gnome -plasma


#############
# build.log #
#############


>>> Unpacking source...
>>> Unpacking vampire-4.9-casc2023.tar.gz to /var/tmp/portage/sci-mathematics/vampire-4.9/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/vampire-4.9/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024_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.9/work/vampire-4.9casc2024 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024_build"
cmake -C /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024_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.9/work/vampire-4.9casc2024_build/gentoo_toolchain.cmake /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024
loading initial cache file /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024_build/gentoo_common_config.cmake
-- The C compiler identification is GNU 15.0.0
-- The CXX compiler identification is GNU 15.0.0
-- 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.3.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,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0
Module          -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0
Shared          -Wl,-O1 -Wl,--as-needed -Wl,-z,pack-relative-relocs -Wl,--defsym=__gentoo_check_ldflags__=0

-- Configuring done (1.2s)
-- Generating done (0.5s)
-- Build files have been written to: /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024_build
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024 ...
 * Source directory (CMAKE_USE_DIR): "/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024"
 * Build directory  (BUILD_DIR):     "/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024_build"
ninja -v -j16 -l0
[1/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Debug/Assertion.cpp
[2/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/Random.cpp
[3/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/Allocator.cpp
[4/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/Event.cpp
[5/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/NameArray.cpp
[6/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/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=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/DHMap.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.hpp:29,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.cpp:15:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
[7/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/Int.cpp
[8/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/IntUnionFind.cpp
[9/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/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=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/IntNameTable.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Map.hpp:24,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/IntNameTable.hpp:25,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/IntNameTable.cpp:16:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
[10/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/Exception.cpp
[11/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/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=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/System.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.hpp:29,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Shell/Options.hpp:49,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/System.cpp:30:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
[12/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Debug/Tracer.cpp
FAILED: CMakeFiles/obj.dir/Debug/Tracer.cpp.o 
/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Debug/Tracer.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.hpp:29,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Environment.hpp:24,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Debug/Tracer.cpp:32:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Debug/Tracer.cpp: In function ‘void Debug::Tracer::printStack(std::ostream&)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Debug/Tracer.cpp:65:14: warning: ignoring return value of ‘int system(const char*)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
   65 |   std::system(out.str().c_str());
      |   ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~
[13/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o -MF CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o.d -o CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Sys/Multiprocessing.cpp
FAILED: CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o 
/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o -MF CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o.d -o CMakeFiles/obj.dir/Lib/Sys/Multiprocessing.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Sys/Multiprocessing.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.hpp:29,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Environment.hpp:24,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Sys/Multiprocessing.cpp:24:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
[14/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/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=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/Timer.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.hpp:29,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Environment.hpp:24,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Timer.cpp:20:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Timer.cpp: In static member function ‘static void Lib::Timer::updateInstructionCount()’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Timer.cpp:157:9: warning: ignoring return value of ‘ssize_t read(int, void*, size_t)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
  157 |     read(perf_fd, &last_instruction_count_read, sizeof(long long));
      |     ~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[15/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Debug/RuntimeStatistics.cpp
[16/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/StringUtils.cpp
[17/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/ClauseQueue.cpp.o -MF CMakeFiles/obj.dir/Kernel/ClauseQueue.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ClauseQueue.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/ClauseQueue.cpp
[18/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/ELiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/ELiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ELiteralSelector.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/ELiteralSelector.cpp
[19/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/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=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -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.9/work/vampire-4.9casc2024/Lib/Environment.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Set.hpp:24,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/TermSharing.hpp:20,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Environment.cpp:18:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
[20/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Clause.cpp.o -MF CMakeFiles/obj.dir/Kernel/Clause.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Clause.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Clause.cpp
FAILED: CMakeFiles/obj.dir/Kernel/Clause.cpp.o 
/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Clause.cpp.o -MF CMakeFiles/obj.dir/Kernel/Clause.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Clause.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Clause.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Saturation/Splitter.hpp:35,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Clause.cpp:30:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATSolver.hpp: In constructor ‘SAT::PrimitiveProofRecordingSATSolver::PrimitiveProofRecordingSATSolver()’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATSolver.hpp:355:53: error: exception cleanup for this placement new selects non-placement ‘operator delete’ [-fpermissive]
  355 |     _addedClauses(0), _refutation(new(0) SATClause(0)), _refutationInference(new PropInference(SATClauseList::empty()))
      |                                                     ^
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATInference.hpp:20,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATSolver.hpp:19:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATClause.hpp:52:8: note: ‘static void SAT::SATClause::operator delete(void*, size_t)’ is a usual (non-placement) deallocation function
   52 |   void operator delete(void *, size_t);
      |        ^~~~~~~~
[21/279] /usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/ColorHelper.cpp
FAILED: CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o 
/usr/bin/i686-pc-linux-gnu-g++ -DCHECK_LEAKS=0 -DVDEBUG=1 -DVTIME_PROFILING=0 -DVZ3=1 -I/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024  -O2 -march=i686 -mfpmath=sse -msse2 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ColorHelper.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/ColorHelper.cpp
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/DHMap.hpp:29,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/ColorHelper.cpp:15:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp: In static member function ‘static typename std::enable_if<(! std::is_base_of<Kernel::Unit, T>::value), unsigned int>::type Lib::DefaultHash2::hash(T*)’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:292:51: error: ‘uintptr_t’ does not name a type [-Wtemplate-body]
  292 |     return static_cast<unsigned>(reinterpret_cast<uintptr_t>(ptr));
      |                                                   ^~~~~~~~~
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:26:1: note: ‘uintptr_t’ is defined in header ‘<cstdint>’; this is probably fixable by adding ‘#include <cstdint>’
   25 | #include "Lib/Option.hpp"
  +++ |+#include <cstdint>
   26 | 
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/Z3Interfacing.hpp:33,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/TheoryInstAndSimp.hpp:25,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Saturation/SaturationAlgorithm.hpp:34,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/ColorHelper.cpp:18:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATSolver.hpp: In constructor ‘SAT::PrimitiveProofRecordingSATSolver::PrimitiveProofRecordingSATSolver()’:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATSolver.hpp:355:53: error: exception cleanup for this placement new selects non-placement ‘operator delete’ [-fpermissive]
  355 |     _addedClauses(0), _refutation(new(0) SATClause(0)), _refutationInference(new PropInference(SATClauseList::empty()))
      |                                                     ^
In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATInference.hpp:20,
                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATSolver.hpp:19:
/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/SAT/SATClause.hpp:52:8: note: ‘static void SAT::SATClause::operator delete(void*, size_t)’ is a usual (non-placement) deallocation function
   52 |   void operator delete(void *, size_t);
      |        ^~~~~~~~
ninja: build stopped: subcommand failed.
 * ERROR: sci-mathematics/vampire-4.9::gentoo failed (compile phase):
 *   ninja -v -j16 -l0 failed
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_compile
 *   environment, line 2202:  Called cmake_src_compile
 *   environment, line  850:  Called cmake_build
 *   environment, line  817:  Called eninja
 *   environment, line 1299:  Called die
 * The specific snippet of code:
 *       "$@" || die -n "${*} failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/vampire-4.9::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/vampire-4.9::gentoo'`.
 * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/vampire-4.9:20241025-124106.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/vampire-4.9/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/vampire-4.9/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024_build'
 * S: '/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024'