Attachment 916691 Details for Bug 948184 – build.log

build.log

build.log (text/plain), 133.06 KB, created by Agostino Sarubbo on 2025-01-16 09:52:48 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Agostino Sarubbo

Created: 2025-01-16 09:52:48 UTC

Size: 133.06 KB

patch

obsolete

> * Package:    sci-mathematics/vampire-4.9:0/4.9
> * Repository: gentoo
> * Maintainer: sci-mathematics@gentoo.org
> * Upstream:   https://github.com/vprover/vampire/issues/
> * USE:        abi_x86_64 amd64 debug elibc_glibc kernel_linux 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/f4f46fea83689cc97daf96524b07a909df1bab59  (Wed Jan 15 06:48:44 UTC 2025)
>@@@@@ END @@@@@
>
>
>
>##################
># emerge --info: #
>##################
>Portage 3.0.66.1 (python 3.12.8-final-0, default/linux/amd64/23.0/split-usr, gcc-15, glibc-2.40-r7, 6.1.121-gentoo-dist x86_64)
>=================================================================
>System uname: Linux-6.1.121-gentoo-dist-x86_64-AMD_EPYC_7513_32-Core_Processor-with-glibc2.40
>KiB Mem:   263449480 total,  82494804 free
>KiB Swap:          0 total,         0 free
>Timestamp of repository gentoo: Wed, 15 Jan 2025 06:48:44 +0000
>sh bash 5.2_p37
>ld GNU ld (Gentoo 2.43 p3) 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.31.4-r1::gentoo
>dev-build/libtool:         2.5.4::gentoo
>dev-build/make:            4.4.1-r100::gentoo
>dev-build/meson:           1.6.1::gentoo
>dev-lang/perl:             5.40.0-r1::gentoo
>dev-lang/python:           3.10.16_p1::gentoo, 3.11.11_p1::gentoo, 3.12.8_p1::gentoo, 3.13.1_p1::gentoo
>sys-apps/baselayout:       2.17::gentoo
>sys-apps/sandbox:          2.42::gentoo
>sys-devel/binutils:        2.43-r2::gentoo
>sys-devel/binutils-config: 5.5.2::gentoo
>sys-devel/gcc:             15.0.0_pre20250112-r2::gentoo
>sys-devel/gcc-config:      2.12.1::gentoo
>sys-kernel/linux-headers:  6.12::gentoo (virtual/os-headers)
>sys-libs/glibc:            2.40-r7::gentoo
>Repositories:
>
>gentoo
>    location: /usr/portage
>    sync-type: rsync
>    sync-uri: rsync://rsync.gentoo.org/gentoo-portage
>    priority: -1000
>    volatile: True
>    sync-rsync-verify-jobs: 1
>    sync-rsync-verify-max-age: 3
>    sync-rsync-extra-opts: 
>    sync-rsync-verify-metamanifest: yes
>
>ACCEPT_KEYWORDS="amd64 ~amd64"
>ACCEPT_LICENSE="* BSD"
>CBUILD="x86_64-pc-linux-gnu"
>CFLAGS="-O2 -march=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -std=gnu17"
>CHOST="x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint"
>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=x86-64 -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 multilib-strict 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=x86-64 -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="-j32"
>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 amd64 bzip2 cet crypt debug elogind gdbm iconv ipv6 jumbo-build libtirpc multilib native-symlinks ncurses nls openmp pam pcre readline seccomp split-usr ssl test-rust unicode verify-sig xattr z3 zlib" ABI_X86="64" 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): #
>##############################
>2025-01-15T08:08:18 >>> sci-mathematics/z3-4.13.4
>
>
>
>
>#######################################
># 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.28: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.7:0 bzip2 -doc -ldap nls readline -selinux smartcard ssl -test tofu -tools -tpm -usb -user-socket verify-sig -wks-server
>app-crypt/gpgme-1.24.1: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.3: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 -sixel -systemd -utempter -vim-syntax
>app-portage/eix-0.36.9:0 debug -doc nls -sqlite
>app-portage/elt-patches-20241121: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.14: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.15.0: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-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.73-r1: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-r1: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.31.4-r1:0 -dap -doc -gui ncurses -test verify-sig
>dev-build/gtk-doc-am-1.33.2:0
>dev-build/libtool-2.5.4: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.1: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.47.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/nasm-2.16.03:0 -doc
>dev-lang/perl-5.40.0-r1:0/5.40 -berkdb -doc gdbm -minimal -perl_features_debug -perl_features_ithreads -perl_features_quadmath
>dev-lang/pypy-3.10.7.3.17_p4:3.10/pypy310-pp73-384 ensurepip gdbm jit ncurses sqlite symlink test-install -tk
>dev-lang/python-3.13.1_p1: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.8_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.11_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.16_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.192-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 bzip2 -debuginfod -lzma nls -stacktrace -static-libs -test utils -valgrind verify-sig -zstd
>dev-libs/expat-2.6.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 -examples -static-libs -test unicode
>dev-libs/glib-2.82.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 -doc elf introspection 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.82.0-r1: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.82.0: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-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_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.51: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.3: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.2:0/1 verify-sig
>dev-libs/libxml2-2.13.5: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 -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.42: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.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.8:0 -test
>dev-libs/openssl-3.3.2-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 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/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-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/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-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/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/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/XS-Parse-Keyword-0.470.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.1: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/docutils-0.21.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13
>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.3.1:0
>dev-python/ensurepip-setuptools-75.8.0:0
>dev-python/ensurepip-wheels-100:0
>dev-python/flit-core-3.10.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/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.27.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/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-collections-5.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-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/jinja2-3.1.5: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.6.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/olefile-0.47:0 -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test
>dev-python/packaging-24.2: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/pillow-11.1.0:0 debug -examples -imagequant jpeg -jpeg2k -lcms python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -test -test -test -tiff -tk -truetype -webp -xcb zlib
>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/pygments-2.19.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -python_targets_python3_13 -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-75.8.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/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.2.1: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-2025.1.10.15: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.3.0: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.45.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-util/checkbashisms-2.23.5:0
>dev-util/desktop-file-utils-0.28:0
>dev-util/glib-utils-2.82.4: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.48.0-r2:0 -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-10.1.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/libjpeg-turbo-3.1.0: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 -cpu_flags_arm_neon -java -java -static-libs
>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.4: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.11-r1:0/1.8.3 -conntrack -netlink -nftables -pcap -static-libs -test
>net-libs/gnutls-3.8.8: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 -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.6: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.7.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.11.1-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 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-contrib-9.7_p1-r4:0 -X -X509 -abi_mips_n32 -audit debug -hpn -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.25.0: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.4: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-20241111: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.17: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.46-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 -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.12.0:0 -atm -berkdb -bpf -caps -elf iptables -minimal -nfs -selinux
>sys-apps/kbd-2.7.1: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-navi-0.60_beta4: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.42: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-256.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 acl -boot -kernel-install kmod -python_single_target_python3_10 -python_single_target_python3_11 python_single_target_python3_12 -python_single_target_python3_13 -secureboot -selinux split-usr -sysusers -test tmpfiles udev -ukify
>sys-apps/sysvinit-3.12-r1:0 -ibm nls -selinux -static verify-sig
>sys-apps/texinfo-7.2:0 nls standalone -static
>sys-apps/util-linux-2.40.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 -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 -python_targets_python3_13 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-r1: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-123-r1:0 daemon -examples -gtk introspection -kde pam -selinux -systemd -test
>sys-devel/bc-1.08.1:0 -libedit readline -static
>sys-devel/binutils-2.43-r2: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-r3: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_pre20250112-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 -libgdiagnostics -libssp lto -modula2 multilib nls -objc -objc++ -objc-gc openmp -pch -pgo pie -rust sanitize ssp -systemtap -test -time64 -valgrind -vanilla -vtv zstd
>sys-devel/gcc-config-2.12.1:0 cc-wrappers native-symlinks
>sys-devel/gettext-0.23: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-r6:0 -static -test verify-sig xattr
>sys-fs/e2fsprogs-1.47.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 -archive -cron -fuse nls -static-libs -test tools
>sys-fs/udev-init-scripts-35:0
>sys-kernel/dracut-105-r4:0 -selinux -test
>sys-kernel/gentoo-kernel-bin-6.1.124:6.1.124 initramfs -test
>sys-kernel/installkernel-50:0 dracut -efistub -grub -refind -systemd -systemd-boot -ugrd -uki -ukify
>sys-kernel/linux-headers-6.12: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-r7: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.71: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.5_p20241109: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.7.0_p20241230-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 -audit -berkdb -debug elogind -examples filecaps -nis nls -selinux -systemd
>sys-libs/readline-8.2_p13-r1: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-r2: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 -skill -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.124:0/6.1.124
>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-r1: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-Math-BigInt-2.3.2:0
>virtual/perl-Module-Metadata-1.0.38: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-r3: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/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-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 -test
>x11-libs/libXau-1.0.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 -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.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
>x11-libs/pixman-0.44.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 -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.2: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-r8:0 -X -dbus -doc -gnome -perl -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/lib64/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/x86_64-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/x86_64-pc-linux-gnu-g++ - skipped
>-- Detecting CXX compile features
>-- Detecting CXX compile features - done
>-- IPO supported
>-- Found Z3 4.13.4.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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -std=gnu17 -fno-strict-aliasing
>C++             -O2 -march=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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 -j32 -l0
>[1/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[4/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[6/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[7/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[8/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[10/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Rebalancing.cpp.o -MF CMakeFiles/obj.dir/Kernel/Rebalancing.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Rebalancing.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Rebalancing.cpp
>[11/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[12/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[13/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[14/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[15/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>/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());
>      |   ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~
>[16/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[17/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[18/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[19/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>/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));
>      |     ~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>[20/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o -MF CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FormulaUnit.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/FormulaUnit.cpp
>[21/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/FlatTerm.cpp.o -MF CMakeFiles/obj.dir/Kernel/FlatTerm.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FlatTerm.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/FlatTerm.cpp
>[22/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/MaximalLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/MaximalLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MaximalLiteralSelector.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/MaximalLiteralSelector.cpp
>[23/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o -MF CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FormulaTransformer.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/FormulaTransformer.cpp
>[24/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/FormulaVarIterator.cpp.o -MF CMakeFiles/obj.dir/Kernel/FormulaVarIterator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/FormulaVarIterator.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/FormulaVarIterator.cpp
>[25/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Inference.cpp.o -MF CMakeFiles/obj.dir/Kernel/Inference.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Inference.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Inference.cpp
>[26/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Ordering_Equality.cpp.o -MF CMakeFiles/obj.dir/Kernel/Ordering_Equality.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Ordering_Equality.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Ordering_Equality.cpp
>[27/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o -MF CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MainLoop.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/MainLoop.cpp
>[28/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Formula.cpp.o -MF CMakeFiles/obj.dir/Kernel/Formula.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Formula.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Formula.cpp
>[29/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[30/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/SpassLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/SpassLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SpassLiteralSelector.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/SpassLiteralSelector.cpp
>[31/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Grounder.cpp.o -MF CMakeFiles/obj.dir/Kernel/Grounder.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Grounder.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Grounder.cpp
>[32/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o -MF CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/InterpretedLiteralEvaluator.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/InterpretedLiteralEvaluator.cpp
>[33/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/RndLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/RndLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/RndLiteralSelector.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/RndLiteralSelector.cpp
>[34/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Problem.cpp.o -MF CMakeFiles/obj.dir/Kernel/Problem.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Problem.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Problem.cpp
>[35/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/MLVariant.cpp.o -MF CMakeFiles/obj.dir/Kernel/MLVariant.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MLVariant.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/MLVariant.cpp
>[36/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Substitution.cpp.o -MF CMakeFiles/obj.dir/Kernel/Substitution.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Substitution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Substitution.cpp
>[37/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/EqHelper.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/EqHelper.cpp
>[38/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/SubformulaIterator.cpp.o -MF CMakeFiles/obj.dir/Kernel/SubformulaIterator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SubformulaIterator.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/SubformulaIterator.cpp
>[39/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/OperatorType.cpp.o -MF CMakeFiles/obj.dir/Kernel/OperatorType.cpp.o.d -o CMakeFiles/obj.dir/Kernel/OperatorType.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/OperatorType.cpp
>[40/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/MLMatcher.cpp.o -MF CMakeFiles/obj.dir/Kernel/MLMatcher.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MLMatcher.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/MLMatcher.cpp
>[41/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/MLMatcherSD.cpp.o -MF CMakeFiles/obj.dir/Kernel/MLMatcherSD.cpp.o.d -o CMakeFiles/obj.dir/Kernel/MLMatcherSD.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/MLMatcherSD.cpp
>[42/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/TermTransformer.cpp.o -MF CMakeFiles/obj.dir/Kernel/TermTransformer.cpp.o.d -o CMakeFiles/obj.dir/Kernel/TermTransformer.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/TermTransformer.cpp
>[43/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LiteralSelector.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/LiteralSelector.cpp
>[44/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/KBO.cpp.o -MF CMakeFiles/obj.dir/Kernel/KBO.cpp.o.d -o CMakeFiles/obj.dir/Kernel/KBO.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBO.cpp
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBO.cpp: In member function âKernel::Ordering::Result Kernel::KBO::isGreaterOrEq(Kernel::AppliedTerm, Kernel::AppliedTerm) constâ:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBO.cpp:956:10: warning: âresâ may be used uninitialized [-Wmaybe-uninitialized]
>  956 |   return res;
>      |          ^~~
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBO.cpp:921:10: note: âresâ was declared here
>  921 |   Result res;
>      |          ^~~
>[45/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/KBOComparator.cpp.o -MF CMakeFiles/obj.dir/Kernel/KBOComparator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/KBOComparator.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.cpp:15:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp: In constructor âKernel::KBOComparator::KBOComparator(Kernel::TermList, Kernel::TermList, const Kernel::KBO&)â:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp:82:19: warning: âins.Kernel::KBOComparator::Instruction::_contentâ may be used uninitialized [-Wmaybe-uninitialized]
>   82 |       Instruction ins;
>      |                   ^~~
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp:82:19: warning: âins.Kernel::KBOComparator::Instruction::_contentâ may be used uninitialized [-Wmaybe-uninitialized]
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp:82:19: warning: âins.Kernel::KBOComparator::Instruction::_contentâ may be used uninitialized [-Wmaybe-uninitialized]
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp:82:19: warning: âins.Kernel::KBOComparator::Instruction::_contentâ may be used uninitialized [-Wmaybe-uninitialized]
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Term.hpp:37,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/OperatorType.hpp:30,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Shell/TermAlgebra.hpp:19,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Signature.hpp:35,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Formula.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/SubstHelper.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.cpp:11:
>In static member function âstatic void Lib::BitUtils::setBits(uint64_t&, uint64_t) [with unsigned int lower = 3; unsigned int upper = 32]â,
>    inlined from âvoid Kernel::KBOComparator::Instruction::_setFirstUint(unsigned int)â at /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp:107:5,
>    inlined from âstatic Kernel::KBOComparator::Instruction Kernel::KBOComparator::Instruction::uintUint(Kernel::KBOComparator::InstructionTag, unsigned int, unsigned int)â at /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp:84:24,
>    inlined from âKernel::KBOComparator::KBOComparator(Kernel::TermList, Kernel::TermList, const Kernel::KBO&)â at /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.cpp:121:27:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/BitUtils.hpp:114:10: warning: âins.Kernel::KBOComparator::Instruction::_contentâ may be used uninitialized [-Wmaybe-uninitialized]
>  114 |     bits &= ~mask;
>      |     ~~~~~^~~~~~~~
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp: In constructor âKernel::KBOComparator::KBOComparator(Kernel::TermList, Kernel::TermList, const Kernel::KBO&)â:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/KBOComparator.hpp:82:19: note: âins.Kernel::KBOComparator::Instruction::_contentâ was declared here
>   82 |       Instruction ins;
>      |                   ^~~
>[46/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o -MF CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LookaheadLiteralSelector.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/LookaheadLiteralSelector.cpp
>[47/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[48/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Ordering.cpp.o -MF CMakeFiles/obj.dir/Kernel/Ordering.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Ordering.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Ordering.cpp
>[49/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Renaming.cpp.o -MF CMakeFiles/obj.dir/Kernel/Renaming.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Renaming.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Renaming.cpp
>[50/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Unit.cpp.o -MF CMakeFiles/obj.dir/Kernel/Unit.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Unit.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Unit.cpp
>[51/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/LPO.cpp.o -MF CMakeFiles/obj.dir/Kernel/LPO.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LPO.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/LPO.cpp
>[52/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o -MF CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o.d -o CMakeFiles/obj.dir/Kernel/InferenceStore.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/InferenceStore.cpp
>[53/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Matcher.cpp.o -MF CMakeFiles/obj.dir/Kernel/Matcher.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Matcher.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Matcher.cpp
>[54/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/ApplicativeHelper.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/ApplicativeHelper.cpp
>[55/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/SortHelper.cpp.o -MF CMakeFiles/obj.dir/Kernel/SortHelper.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SortHelper.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/SortHelper.cpp
>[56/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/RobSubstitution.cpp.o -MF CMakeFiles/obj.dir/Kernel/RobSubstitution.cpp.o.d -o CMakeFiles/obj.dir/Kernel/RobSubstitution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/RobSubstitution.cpp
>[57/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Signature.cpp.o -MF CMakeFiles/obj.dir/Kernel/Signature.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Signature.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Signature.cpp
>[58/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/TermIterators.cpp.o -MF CMakeFiles/obj.dir/Kernel/TermIterators.cpp.o.d -o CMakeFiles/obj.dir/Kernel/TermIterators.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/TermIterators.cpp
>[59/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/UnificationWithAbstraction.cpp.o -MF CMakeFiles/obj.dir/Kernel/UnificationWithAbstraction.cpp.o.d -o CMakeFiles/obj.dir/Kernel/UnificationWithAbstraction.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/UnificationWithAbstraction.cpp
>[60/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Theory.cpp.o -MF CMakeFiles/obj.dir/Kernel/Theory.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Theory.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Theory.cpp
>[61/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/CombinatorDemodISE.cpp.o -MF CMakeFiles/obj.dir/Inferences/CombinatorDemodISE.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CombinatorDemodISE.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/CombinatorDemodISE.cpp
>[62/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/CombinatorNormalisationISE.cpp.o -MF CMakeFiles/obj.dir/Inferences/CombinatorNormalisationISE.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CombinatorNormalisationISE.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/CombinatorNormalisationISE.cpp
>[63/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/BoolEqToDiseq.cpp.o -MF CMakeFiles/obj.dir/Inferences/BoolEqToDiseq.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BoolEqToDiseq.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/BoolEqToDiseq.cpp
>[64/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/Injectivity.cpp.o -MF CMakeFiles/obj.dir/Inferences/Injectivity.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Injectivity.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Injectivity.cpp
>[65/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o -MF CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o.d -o CMakeFiles/obj.dir/Inferences/NegativeExt.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/NegativeExt.cpp
>[66/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o -MF CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CNFOnTheFly.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/CNFOnTheFly.cpp
>[67/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/Narrow.cpp.o -MF CMakeFiles/obj.dir/Inferences/Narrow.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Narrow.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Narrow.cpp
>[68/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/BoolSimp.cpp.o -MF CMakeFiles/obj.dir/Inferences/BoolSimp.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BoolSimp.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/BoolSimp.cpp
>[69/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/PrimitiveInstantiation.cpp.o -MF CMakeFiles/obj.dir/Inferences/PrimitiveInstantiation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/PrimitiveInstantiation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/PrimitiveInstantiation.cpp
>[70/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/SKIKBO.cpp.o -MF CMakeFiles/obj.dir/Kernel/SKIKBO.cpp.o.d -o CMakeFiles/obj.dir/Kernel/SKIKBO.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/SKIKBO.cpp
>[71/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/ElimLeibniz.cpp.o -MF CMakeFiles/obj.dir/Inferences/ElimLeibniz.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ElimLeibniz.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/ElimLeibniz.cpp
>[72/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o -MF CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ArgCong.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/ArgCong.cpp
>[73/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/Cases.cpp.o -MF CMakeFiles/obj.dir/Inferences/Cases.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Cases.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Cases.cpp
>[74/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/LiteralMiniIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/LiteralMiniIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/LiteralMiniIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/LiteralMiniIndex.cpp
>[75/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/AcyclicityIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/AcyclicityIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/AcyclicityIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/AcyclicityIndex.cpp
>[76/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/CasesSimp.cpp.o -MF CMakeFiles/obj.dir/Inferences/CasesSimp.cpp.o.d -o CMakeFiles/obj.dir/Inferences/CasesSimp.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/CasesSimp.cpp
>[77/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/LPOComparator.cpp.o -MF CMakeFiles/obj.dir/Kernel/LPOComparator.cpp.o.d -o CMakeFiles/obj.dir/Kernel/LPOComparator.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/LPOComparator.cpp
>[78/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/Index.cpp.o -MF CMakeFiles/obj.dir/Indexing/Index.cpp.o.d -o CMakeFiles/obj.dir/Indexing/Index.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/Index.cpp
>[79/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Shell/LambdaElimination.cpp.o -MF CMakeFiles/obj.dir/Shell/LambdaElimination.cpp.o.d -o CMakeFiles/obj.dir/Shell/LambdaElimination.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Shell/LambdaElimination.cpp
>[80/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/GroundingIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/GroundingIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/GroundingIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/GroundingIndex.cpp
>[81/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/Choice.cpp.o -MF CMakeFiles/obj.dir/Inferences/Choice.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Choice.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Choice.cpp
>[82/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o -MF CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o.d -o CMakeFiles/obj.dir/Indexing/ResultSubstitution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/ResultSubstitution.cpp
>[83/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/SubVarSup.cpp.o -MF CMakeFiles/obj.dir/Inferences/SubVarSup.cpp.o.d -o CMakeFiles/obj.dir/Inferences/SubVarSup.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/SubVarSup.cpp
>[84/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Polynomial.cpp.o -MF CMakeFiles/obj.dir/Kernel/Polynomial.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Polynomial.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Polynomial.cpp
>[85/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/InductionFormulaIndex.cpp
>FAILED: CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o 
>/usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/InductionFormulaIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/InductionFormulaIndex.cpp
>In file included from /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/hashtable.h:37,
>                 from /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/unordered_map.h:33,
>                 from /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/unordered_map:43,
>                 from /usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/functional:65,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/Hash.hpp:19,
>                 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/Indexing/InductionFormulaIndex.hpp:21,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/InductionFormulaIndex.cpp:15:
>/usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/hashtable_policy.h: In instantiation of âconstexpr std::__detail::_Hashtable_alloc<_NodeAlloc>::_Hashtable_alloc() [with _NodeAlloc = Lib::STLAllocator<std::__detail::_Hash_node<std::pair<Kernel::Clause* const, Lib::Stack<Kernel::Literal*> >, true> >]â:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Induction.hpp:135:19:   recursively required from âstd::unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>::unordered_map() [with _Key = Kernel::Clause*; _Tp = Lib::Stack<Kernel::Literal*>; _Hash = Inferences::StlClauseHash; _Pred = std::equal_to<Kernel::Clause*>; _Alloc = Lib::STLAllocator<std::pair<Kernel::Clause* const, Lib::Stack<Kernel::Literal*> > >]â
>  135 |     : _indTerms(ts) {}
>      |                   ^
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Induction.hpp:135:19:   required from here
>/usr/lib/gcc/x86_64-pc-linux-gnu/15/include/g++-v15/bits/hashtable_policy.h:1491:67: error: converting to âLib::STLAllocator<std::__detail::_Hash_node<std::pair<Kernel::Clause* const, Lib::Stack<Kernel::Literal*> >, true> >â from initializer list would use explicit constructor âLib::STLAllocator<T>::STLAllocator() [with T = std::__detail::_Hash_node<std::pair<Kernel::Clause* const, Lib::Stack<Kernel::Literal*> >, true>]â
> 1491 |       [[__no_unique_address__]] _Hashtable_ebo_helper<_NodeAlloc> _M_alloc{};
>      |                                                                   ^~~~~~~~
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/VString.hpp:26,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Forwards.hpp:18,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/InductionFormulaIndex.hpp:19:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/STLAllocator.hpp:51:21: note: âLib::STLAllocator<T>::STLAllocator() [with T = std::__detail::_Hash_node<std::pair<Kernel::Clause* const, Lib::Stack<Kernel::Literal*> >, true>]â declared here
>   51 |     inline explicit STLAllocator() {}
>      |                     ^~~~~~~~~~~~
>[86/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/TermCodeTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/TermCodeTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/TermCodeTree.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/TermCodeTree.cpp
>[87/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/ClauseCodeTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/ClauseCodeTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/ClauseCodeTree.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/ClauseCodeTree.cpp
>[88/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/Term.cpp.o -MF CMakeFiles/obj.dir/Kernel/Term.cpp.o.d -o CMakeFiles/obj.dir/Kernel/Term.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Term.cpp
>[89/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/DemodulationHelper.cpp.o -MF CMakeFiles/obj.dir/Inferences/DemodulationHelper.cpp.o.d -o CMakeFiles/obj.dir/Inferences/DemodulationHelper.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/DemodulationHelper.cpp
>[90/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/TermSharing.cpp.o -MF CMakeFiles/obj.dir/Indexing/TermSharing.cpp.o.d -o CMakeFiles/obj.dir/Indexing/TermSharing.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/TermSharing.cpp
>[91/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/CodeTree.cpp.o -MF CMakeFiles/obj.dir/Indexing/CodeTree.cpp.o.d -o CMakeFiles/obj.dir/Indexing/CodeTree.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/CodeTree.cpp
>In file included from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/Term.hpp:37,
>                 from /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/CodeTree.cpp:25:
>In static member function âstatic void Lib::BitUtils::setBits(uint64_t&, uint64_t) [with unsigned int lower = 0; unsigned int upper = 3]â,
>    inlined from âvoid Indexing::CodeTree::CodeOp::_setInstruction(unsigned int)â at /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/CodeTree.hpp:244:5,
>    inlined from âIndexing::CodeTree::SearchStruct::SearchStruct(Kind, size_t)â at /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/CodeTree.cpp:435:28:
>/var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Lib/BitUtils.hpp:114:10: warning: â*(uint64_t*)thisâ is used uninitialized [-Wuninitialized]
>  114 |     bits &= ~mask;
>      |     ~~~~~^~~~~~~~
>[92/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/DistinctEqualitySimplifier.cpp.o -MF CMakeFiles/obj.dir/Inferences/DistinctEqualitySimplifier.cpp.o.d -o CMakeFiles/obj.dir/Inferences/DistinctEqualitySimplifier.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/DistinctEqualitySimplifier.cpp
>[93/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/CodeTreeInterfaces.cpp.o -MF CMakeFiles/obj.dir/Indexing/CodeTreeInterfaces.cpp.o.d -o CMakeFiles/obj.dir/Indexing/CodeTreeInterfaces.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/CodeTreeInterfaces.cpp
>[94/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/Condensation.cpp.o -MF CMakeFiles/obj.dir/Inferences/Condensation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Condensation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Condensation.cpp
>[95/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/BackwardDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/BackwardDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BackwardDemodulation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/BackwardDemodulation.cpp
>[96/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/ForwardLiteralRewriting.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardLiteralRewriting.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardLiteralRewriting.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/ForwardLiteralRewriting.cpp
>[97/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/FastCondensation.cpp.o -MF CMakeFiles/obj.dir/Inferences/FastCondensation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/FastCondensation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/FastCondensation.cpp
>[98/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/FOOLParamodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/FOOLParamodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/FOOLParamodulation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/FOOLParamodulation.cpp
>[99/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/BackwardSubsumptionResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/BackwardSubsumptionResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BackwardSubsumptionResolution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/BackwardSubsumptionResolution.cpp
>[100/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o -MF CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o.d -o CMakeFiles/obj.dir/Kernel/PolynomialNormalizer.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Kernel/PolynomialNormalizer.cpp
>[101/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/Factoring.cpp.o -MF CMakeFiles/obj.dir/Inferences/Factoring.cpp.o.d -o CMakeFiles/obj.dir/Inferences/Factoring.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/Factoring.cpp
>[102/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/EqualityResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/EqualityResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/EqualityResolution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/EqualityResolution.cpp
>[103/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/BinaryResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/BinaryResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BinaryResolution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/BinaryResolution.cpp
>[104/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -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
>[105/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/ForwardSubsumptionAndResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardSubsumptionAndResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardSubsumptionAndResolution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/ForwardSubsumptionAndResolution.cpp
>[106/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/EqualityFactoring.cpp.o -MF CMakeFiles/obj.dir/Inferences/EqualityFactoring.cpp.o.d -o CMakeFiles/obj.dir/Inferences/EqualityFactoring.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/EqualityFactoring.cpp
>[107/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/TermIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/TermIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/TermIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/TermIndex.cpp
>[108/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/ExtensionalityResolution.cpp.o -MF CMakeFiles/obj.dir/Inferences/ExtensionalityResolution.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ExtensionalityResolution.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/ExtensionalityResolution.cpp
>[109/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/FunctionDefinitionRewriting.cpp.o -MF CMakeFiles/obj.dir/Inferences/FunctionDefinitionRewriting.cpp.o.d -o CMakeFiles/obj.dir/Inferences/FunctionDefinitionRewriting.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/FunctionDefinitionRewriting.cpp
>[110/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/GlobalSubsumption.cpp.o -MF CMakeFiles/obj.dir/Inferences/GlobalSubsumption.cpp.o.d -o CMakeFiles/obj.dir/Inferences/GlobalSubsumption.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/GlobalSubsumption.cpp
>[111/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/BackwardSubsumptionDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/BackwardSubsumptionDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/BackwardSubsumptionDemodulation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/BackwardSubsumptionDemodulation.cpp
>[112/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/ForwardSubsumptionDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardSubsumptionDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardSubsumptionDemodulation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/ForwardSubsumptionDemodulation.cpp
>[113/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/ClauseVariantIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/ClauseVariantIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/ClauseVariantIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/ClauseVariantIndex.cpp
>[114/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/LiteralIndex.cpp.o -MF CMakeFiles/obj.dir/Indexing/LiteralIndex.cpp.o.d -o CMakeFiles/obj.dir/Indexing/LiteralIndex.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/LiteralIndex.cpp
>[115/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Inferences/ForwardDemodulation.cpp.o -MF CMakeFiles/obj.dir/Inferences/ForwardDemodulation.cpp.o.d -o CMakeFiles/obj.dir/Inferences/ForwardDemodulation.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Inferences/ForwardDemodulation.cpp
>[116/279] /usr/bin/x86_64-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=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -include cstdint -fno-strict-aliasing -std=c++17 -Wall -fno-threadsafe-statics -fno-rtti -fsized-deallocation -MD -MT CMakeFiles/obj.dir/Indexing/IndexManager.cpp.o -MF CMakeFiles/obj.dir/Indexing/IndexManager.cpp.o.d -o CMakeFiles/obj.dir/Indexing/IndexManager.cpp.o -c /var/tmp/portage/sci-mathematics/vampire-4.9/work/vampire-4.9casc2024/Indexing/IndexManager.cpp
>ninja: build stopped: subcommand failed.
> * ERROR: sci-mathematics/vampire-4.9::gentoo failed (compile phase):
> *   ninja -v -j32 -l0 failed
> * 
> * Call stack:
> *     ebuild.sh, line  136:  Called src_compile
> *   environment, line 2217:  Called cmake_src_compile
> *   environment, line  865:  Called cmake_build
> *   environment, line  832:  Called eninja
> *   environment, line 1314:  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:20250115-071249.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'
>

Actions: View

Attachments on bug 948184: 916691