* Package: sci-mathematics/prover9-2009.11a:0 * Repository: gentoo * Maintainer: gienah@gentoo.org sci-mathematics@gentoo.org * USE: abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU * 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/9a4bd7fcc863a7db1fde07f4ad64a10baed9b635 (Sat Dec 17 12:47:07 UTC 2022) @@@@@ END @@@@@ ################## # emerge --info: # ################## Portage 3.0.41 (python 3.10.9-final-0, default/linux/amd64/17.1, gcc-12, glibc-2.36-r6, 5.15.77-gentoo-dist x86_64) ================================================================= System uname: Linux-5.15.77-gentoo-dist-x86_64-AMD_EPYC_7513_32-Core_Processor-with-glibc2.36 KiB Mem: 263533016 total, 178462744 free KiB Swap: 0 total, 0 free Timestamp of repository gentoo: Sat, 17 Dec 2022 12:47:06 +0000 sh bash 5.2_p15 ld GNU ld (Gentoo 2.39 p5) 2.39.0 app-misc/pax-utils: 1.3.5::gentoo app-shells/bash: 5.2_p15::gentoo dev-lang/perl: 5.36.0-r1::gentoo dev-lang/python: 3.8.16::gentoo, 3.9.16::gentoo, 3.10.9::gentoo, 3.11.1::gentoo dev-util/cmake: 3.25.1::gentoo dev-util/meson: 0.64.1::gentoo sys-apps/baselayout: 2.9::gentoo sys-apps/openrc: 0.45.2-r2::gentoo sys-apps/sandbox: 2.29::gentoo sys-devel/autoconf: 2.71-r5::gentoo sys-devel/automake: 1.16.5::gentoo sys-devel/binutils: 2.39-r4::gentoo sys-devel/binutils-config: 5.4.1::gentoo sys-devel/clang: 15.0.6::gentoo sys-devel/gcc: 12.2.1_p20221210::gentoo sys-devel/gcc-config: 2.8::gentoo sys-devel/libtool: 2.4.7-r1::gentoo sys-devel/llvm: 15.0.6::gentoo sys-devel/make: 4.4::gentoo sys-kernel/linux-headers: 6.1::gentoo (virtual/os-headers) sys-libs/glibc: 2.36-r6::gentoo Repositories: gentoo location: /usr/portage sync-type: rsync sync-uri: rsync://rsync.gentoo.org/gentoo-portage priority: -1000 sync-rsync-verify-metamanifest: yes sync-rsync-verify-jobs: 1 sync-rsync-extra-opts: sync-rsync-verify-max-age: 24 ACCEPT_KEYWORDS="amd64 ~amd64" ACCEPT_LICENSE="* GPL-2" CBUILD="x86_64-pc-linux-gnu" CC="clang" CFLAGS="-O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types" 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" CXX="clang++" CXXFLAGS="-O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types" DISTDIR="/var/tmp/portage/sci-mathematics/prover9-2009.11a/distdir" EMERGE_DEFAULT_OPTS="--with-bdeps=y -1 -k -b" ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY 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 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types" 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 multilib-strict network-sandbox news parallel-fetch pid-sandbox 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 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types" GENTOO_MIRRORS="http://mirror.leaseweb.com/gentoo/ http://ftp.snt.utwente.nl/pub/os/linux/gentoo/ http://ftp.belnet.be/pub/rsync.gentoo.org/gentoo/ http://distfiles.gentoo.org" LANG="C.UTF8" LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" LEX="flex" MAKEOPTS="-j16" PKGDIR="/root/tbci/binpkg" PORTAGE_CONFIGROOT="/" PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git" PORTAGE_TMPDIR="/var/tmp" SHELL="/bin/bash" USE="acl amd64 bzip2 cli crypt dri elogind fortran gdbm iconv ipv6 jumbo-build libglvnd libtirpc multilib native-symlinks ncurses nls nptl openmp pam pcre readline seccomp split-usr ssl test-rust unicode xattr zlib" ABI_X86="64" ELIBC="glibc" KERNEL="linux" USERLAND="GNU" Unset: ADDR2LINE, AR, ARFLAGS, AS, ASFLAGS, CCLD, CONFIG_SHELL, CPP, CPPFLAGS, CTARGET, 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, RANLIB, READELF, RUSTFLAGS, SIZE, STRINGS, STRIP, YACC, YFLAGS ############################## # emerge history (qlop -mv): # ############################## 2022-12-17T14:27:30 >>> sci-mathematics/prover9-2009.11a ####################################### # installed packages (qlist -ICvUSS): # ####################################### acct-group/audio-0-r1:0 acct-group/cdrom-0-r1:0 acct-group/dialout-0-r1:0 acct-group/disk-0-r1:0 acct-group/input-0-r1:0 acct-group/kmem-0-r1:0 acct-group/kvm-0-r1:0 acct-group/lp-0-r1:0 acct-group/man-0-r1:0 acct-group/messagebus-0-r1:0 acct-group/polkitd-0-r1:0 acct-group/portage-0:0 acct-group/render-0-r1:0 acct-group/sgx-0:0 acct-group/sshd-0-r1:0 acct-group/tape-0-r1:0 acct-group/tty-0-r1:0 acct-group/video-0-r1:0 acct-user/man-1-r1:0 acct-user/messagebus-0-r1:0 acct-user/polkitd-0-r1:0 acct-user/portage-0:0 acct-user/sshd-0-r1:0 app-admin/eselect-1.4.20:0 -doc -emacs -vim-syntax app-admin/perl-cleaner-2.30:0 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/gzip-0:0 -pigz reference split-usr app-alternatives/lex-0-r1:0 flex -reflex app-alternatives/tar-0:0 gnu -libarchive split-usr app-alternatives/yacc-1-r2:0 bison -byacc -reference app-arch/bzip2-1.0.8-r4: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 split-usr -static -static-libs -verify-sig app-arch/gzip-1.12-r3:0 -pic -static -verify-sig app-arch/libarchive-3.6.1-r1: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 -verify-sig xattr -zstd app-arch/tar-1.34-r2:0 acl -minimal nls -selinux -verify-sig xattr app-arch/unzip-6.0_p27-r1:0 bzip2 -natspec unicode app-arch/xz-utils-5.4.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 extra-filters nls split-usr -static-libs -verify-sig app-arch/zstd-1.5.2-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 -lz4 split-usr -static-libs app-crypt/gnupg-2.3.8:0 bzip2 -doc -ldap nls readline -selinux smartcard ssl -test tofu -tools -tpm -usb -user-socket -verify-sig -wks-server app-crypt/gpgme-1.18.0-r2:1/11.6.15.1 -common-lisp cxx -python python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -qt5 -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/pinentry-1.2.1-r1:0 -caps -efl -emacs -gnome-keyring -gtk ncurses -qt5 -verify-sig app-crypt/rhash-1.4.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 -debug nls ssl -static-libs app-editors/nano-7.1:0 -debug -justify -magic -minimal ncurses nls spell -static unicode app-eselect/eselect-fontconfig-20220403:0 app-eselect/eselect-iptables-20220320:0 app-eselect/eselect-lib-bin-symlink-0.1.1-r1:0 app-eselect/eselect-pinentry-0.7.2:0 app-i18n/man-pages-ja-20180315-r1:0 app-i18n/man-pages-l10n-4.14.0-r1: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_sr l10n_sv l10n_uk l10n_vi app-i18n/man-pages-ru-5.03.2390.2390.20191017-r1:0 app-i18n/man-pages-zh_CN-1.6.3.6:0 app-misc/c_rehash-1.7-r1:0 app-misc/ca-certificates-20211016.3.86:0 -cacert app-misc/editor-wrapper-4-r1:0 app-misc/mime-types-2.1.53:0 -nginx app-misc/pax-utils-1.3.5:0 -caps man -python python_single_target_python3_10 -python_single_target_python3_11 -python_single_target_python3_8 -python_single_target_python3_9 seccomp -test app-misc/tmux-3.3a-r1:0 -debug -selinux -systemd -utempter -vim-syntax app-portage/eix-0.36.5:0 -debug -doc nls -sqlite app-portage/elt-patches-20221210:0 app-portage/gemato-17.0:0 gpg -pretty-log python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test -tools app-portage/gentoolkit-0.6.1-r3:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test app-portage/portage-utils-0.94.4:0 openmp qmanifest qtegrity -static app-shells/bash-5.2_p15:0 -afs -bashlogger -examples -mem-scramble net nls -pgo -plugins readline -verify-sig app-shells/bash-completion-2.11:0 eselect -test app-shells/gentoo-bashcomp-20190211-r1:0 app-shells/push-3.4:0 app-shells/quoter-4.2:0 app-text/ansifilter-2.18:0 -qt5 app-text/build-docbook-catalog-2.3-r1:0 app-text/docbook-xml-dtd-4.5-r2:4.5 app-text/docbook-xml-dtd-4.4-r3:4.4 app-text/docbook-xml-dtd-4.2-r3:4.2 app-text/docbook-xml-dtd-4.1.2-r7:4.1.2 app-text/docbook-xsl-stylesheets-1.79.1-r3:0 -ruby app-text/manpager-1:0 app-text/opensp-1.5.2-r9:0 -doc nls -static-libs -test app-text/po4a-0.68:0 -test -test app-text/sgml-common-0.6.3-r7:0 app-text/xmlto-0.0.28-r10:0 -latex text dev-db/sqlite-3.40.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 -debug -doc -icu readline -secure-delete -static-libs -tcl -test -tools dev-lang/duktape-2.7.0-r3:0/2.7.0 dev-lang/perl-5.36.0-r1:0/5.36 -berkdb -debug -doc gdbm ithreads -minimal -quadmath dev-lang/python-3.11.1:3.11 -bluetooth -build ensurepip -examples gdbm -hardened -libedit -lto ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig dev-lang/python-3.10.9:3.10 -bluetooth -build ensurepip -examples gdbm -hardened -libedit -lto ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig xml dev-lang/python-3.9.16:3.9 -bluetooth -build ensurepip -examples gdbm -hardened -lto ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig xml dev-lang/python-3.8.16:3.8 -bluetooth -build ensurepip -examples gdbm -hardened -lto ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig -wininst xml dev-lang/python-exec-2.4.9:2 native-symlinks python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-lang/python-exec-conf-2.4.6:2 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 dev-lang/tcl-8.6.13: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.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 -cxx large -static-libs threads dev-libs/elfutils-0.188: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 -lzma nls -static-libs -test utils -valgrind -verify-sig -zstd dev-libs/expat-2.5.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 -examples -static-libs unicode dev-libs/glib-2.74.3-r3:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -dbus -debug elf -gtk-doc mime -selinux -static-libs -sysprof -systemtap -test -utils xattr dev-libs/gmp-6.2.1-r5: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.74.0:0 -doctool -gtk-doc python_single_target_python3_10 -python_single_target_python3_11 -python_single_target_python3_8 -python_single_target_python3_9 -test dev-libs/gobject-introspection-common-1.74.0:0 dev-libs/isl-0.24-r2:0/23 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs dev-libs/jsoncpp-1.9.5:0/25 -doc -test dev-libs/libassuan-2.5.5:0 dev-libs/libatomic_ops-7.6.14: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: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 threads -verbose-debug dev-libs/libffi-3.4.4:0/8 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -debug -exec-static-trampoline -pax-kernel -static-libs -test dev-libs/libgcrypt-1.10.1-r3:0/20 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 asm -cpu_flags_arm_aes -cpu_flags_arm_neon -cpu_flags_arm_sha1 -cpu_flags_arm_sha2 -cpu_flags_ppc_altivec -cpu_flags_ppc_vsx2 -cpu_flags_ppc_vsx3 cpu_flags_x86_aes cpu_flags_x86_avx cpu_flags_x86_avx2 -cpu_flags_x86_padlock -cpu_flags_x86_sha cpu_flags_x86_sse4_1 -doc getentropy -static-libs -verify-sig dev-libs/libgpg-error-1.46-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 -common-lisp nls -static-libs -test -verify-sig dev-libs/libksba-1.6.2:0 -static-libs -verify-sig dev-libs/libltdl-2.4.7: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 dev-libs/libpcre2-10.42: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 split-usr -static-libs unicode -verify-sig zlib dev-libs/libpipeline-1.5.7:0 -test dev-libs/libtasn1-4.19.0:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs -test -valgrind -verify-sig dev-libs/libunistring-1.1-r1: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.44.2-r1:0/1 dev-libs/libxml2-2.10.3-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 -debug -examples ftp -icu -lzma python python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 readline -static-libs -test dev-libs/libxslt-1.1.37-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 crypt -debug -examples -python python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -static-libs dev-libs/lzo-2.10:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -examples split-usr -static-libs dev-libs/mpc-1.3.1:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs dev-libs/mpfr-4.1.1_p1: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 dev-libs/nettle-3.8.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_x86_aes cpu_flags_x86_pclmul -cpu_flags_x86_sha -doc gmp -static-libs -verify-sig dev-libs/npth-1.6-r1:0 -test dev-libs/openssl-3.0.7-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 -rfc3779 -sctp -static-libs -test -tls-compression -vanilla -verify-sig -verify-sig -weak-ssl-ciphers dev-libs/popt-1.19: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/Clone-0.460.0:0 -test dev-perl/Devel-CheckLib-1.160.0:0 -test dev-perl/Encode-EUCJPASCII-0.30.0-r1:0 -test dev-perl/Encode-HanExtra-0.230.0-r3:0 dev-perl/Encode-Locale-1.50.0-r1:0 -test dev-perl/ExtUtils-CChecker-0.110.0:0 -test dev-perl/File-BaseDir-0.90.0:0 -test dev-perl/File-DesktopEntry-0.220.0-r1:0 -test dev-perl/File-Listing-6.150.0:0 -test -test dev-perl/File-MimeInfo-0.300.0:0 -test dev-perl/HTML-Parser-3.760.0:0 -test dev-perl/HTML-Tagset-3.200.0-r2:0 dev-perl/HTTP-Cookies-6.100.0:0 -test dev-perl/HTTP-Date-6.50.0:0 dev-perl/HTTP-Message-6.440.0:0 -test -test dev-perl/HTTP-Negotiate-6.10.0-r2:0 -test dev-perl/IO-HTML-1.4.0:0 -test dev-perl/IO-Socket-INET6-2.720.0-r2:0 -test dev-perl/IO-Socket-SSL-2.78.0:0 -examples -idn -test dev-perl/IPC-System-Simple-1.300.0:0 -test dev-perl/libwww-perl-6.600.0-r1:0 ssl -test dev-perl/Locale-gettext-1.70.0-r1:0 -test dev-perl/LWP-MediaTypes-6.40.0:0 -test dev-perl/LWP-Protocol-https-6.100.0:0 -test dev-perl/MIME-Charset-1.12.2-r1:0 l10n_ja l10n_zh -test dev-perl/Module-Build-0.423.100:0 -test dev-perl/Mozilla-CA-20999999-r1:0 -test dev-perl/Net-HTTP-6.210.0:0 -minimal -test dev-perl/Net-SSLeay-1.920.0:0 -examples -examples -minimal -test dev-perl/Pod-Parser-1.630.0-r1:0 -test dev-perl/SGMLSpm-1.1-r2:0 -test dev-perl/Socket6-0.290.0:0 -test dev-perl/Sub-Name-0.260.0:0 -suggested -test dev-perl/Syntax-Keyword-Try-0.270.0:0 -test dev-perl/TermReadKey-2.380.0-r1:0 -examples -test dev-perl/Text-CharWidth-0.40.0-r2:0 -test dev-perl/Text-WrapI18N-0.60.0-r2:0 -test dev-perl/TimeDate-2.330.0-r1:0 -test dev-perl/Try-Tiny-0.310.0:0 -minimal -test dev-perl/Unicode-LineBreak-2019.1.0:0 dev-perl/URI-5.110.0:0 -test dev-perl/WWW-RobotRules-6.20.0-r2:0 -test dev-perl/XML-Parser-2.460.0-r2:0 dev-perl/XS-Parse-Keyword-0.250.0:0 -test dev-perl/YAML-Tiny-1.730.0-r1:0 -minimal -test dev-python/appdirs-1.4.4-r2:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 dev-python/autocommand-2.2.2:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/certifi-3021.3.16-r3:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/charset_normalizer-3.0.1:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/cython-0.29.32:0 -doc -emacs python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/ensurepip-pip-22.3.1:0 dev-python/ensurepip-setuptools-65.6.3:0 dev-python/ensurepip-wheels-100:0 dev-python/flit_core-3.8.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/gpep517-13:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/idna-3.4:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/importlib_metadata-5.1.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/importlib_resources-5.10.1:0 python_targets_pypy3 python_targets_python3_8 -test dev-python/inflect-6.0.2:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/installer-0.6.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/jaraco-context-4.2.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/jaraco-functools-3.5.2:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/jaraco-text-3.11.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/jinja-3.1.2:0 -doc -examples python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/markupsafe-2.1.1:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/more-itertools-9.0.0:0 -doc python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/nspektr-0.4.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/ordered-set-4.1.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/packaging-21.3-r2:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/pydantic-1.10.2:0 native-extensions python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/pyparsing-3.0.9:0 -examples python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/pypy3-7.3.10_p1:0/pypy39-pp73-336 ensurepip gdbm jit ncurses sqlite -tk dev-python/pypy3-exe-bin-7.3.10:3.9-7.3.10 dev-python/PySocks-1.7.1-r2:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 dev-python/requests-2.28.1-r1:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -socks5 -test test-rust dev-python/setuptools-65.6.3:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/setuptools_scm-7.0.5:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/six-1.16.0-r1:0 -doc python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/tomli-2.0.1-r1:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/typing-extensions-4.3.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 dev-python/urllib3-1.26.13:0 -brotli python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/wheel-0.38.4:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-python/zipp-3.11.0:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-util/checkbashisms-2.22.2:0 dev-util/cmake-3.25.1:0 -doc -emacs ncurses -qt5 -test -test -verify-sig dev-util/desktop-file-utils-0.26-r2:0 -emacs dev-util/glib-utils-2.74.3:0 python_single_target_python3_10 -python_single_target_python3_11 -python_single_target_python3_8 -python_single_target_python3_9 dev-util/gperf-3.1-r1:0 dev-util/gtk-doc-am-1.33.2:0 dev-util/intltool-0.51.0-r3:0 dev-util/meson-0.64.1:0 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test dev-util/meson-format-array-0:0 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 dev-util/ninja-1.11.1-r2:0 -doc -emacs -test dev-util/pkgconf-1.8.0-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 -test dev-util/re2c-2.2:0 -debug -test dev-vcs/git-2.39.0:0 blksha1 -cgi curl -cvs -doc -gnome-keyring gpg -highlight iconv -mediawiki -mediawiki-experimental nls pcre -perforce -perl python_single_target_python3_10 -python_single_target_python3_11 -python_single_target_python3_8 -python_single_target_python3_9 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-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 -perl -test media-libs/fontconfig-2.14.1-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.12.1-r2: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 -infinality png -static-libs -svg -utils media-libs/harfbuzz-6.0.0:0/6.0.0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 cairo -debug -doc -experimental glib graphite -icu introspection -test truetype media-libs/libpng-1.6.39:0/16 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -apng -cpu_flags_arm_neon cpu_flags_x86_sse -static-libs net-dns/c-ares-1.18.1: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 net-dns/libidn2-2.3.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 nls -static-libs -verify-sig net-firewall/iptables-1.8.8-r5:0/1.8.3 -conntrack -netlink -nftables -pcap split-usr -static-libs net-libs/gnutls-3.7.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 -guile idn nls openssl -pkcs11 seccomp -sslv2 -sslv3 -static-libs -test -test-full tls-heartbeat -tools -valgrind -verify-sig zlib -zstd net-libs/libmnl-1.0.5:0/0.2.0 -examples -verify-sig net-libs/libnsl-2.0.0-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 -static-libs net-libs/libtirpc-1.3.3: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 split-usr -static-libs net-libs/nghttp2-1.51.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 -cxx -debug -hpack-tools -jemalloc -static-libs -test -utils -xml net-misc/curl-7.86.0-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 adns -alt-svc -brotli -curl_ssl_gnutls -curl_ssl_mbedtls -curl_ssl_nss curl_ssl_openssl -curl_ssl_rustls ftp -gnutls -gopher -hsts http2 -idn imap ipv6 -kerberos -ldap -mbedtls -nghttp3 -nss openssl pop3 progress-meter -quiche -rtmp -rustls -samba smtp -ssh ssl -sslv3 -static-libs -telnet -test tftp -verify-sig -websockets -zstd net-misc/dhcpcd-9.4.1:0 -debug embedded ipv6 -privsep udev net-misc/iputils-20221126:0 arping -caps -clockdiff -doc filecaps -idn nls -test -tracepath net-misc/netifrc-0.7.3-r1:0 dhcp net-misc/openssh-9.1_p1:0 -X -X509 -abi_mips_n32 -audit -debug -hpn -kerberos -ldns -libedit -livecd pam pie -sctp -security-key -selinux ssl -static -test -verify-sig -xmss net-misc/rsync-3.2.7-r1:0 acl -examples iconv -lz4 python_single_target_python3_10 -python_single_target_python3_8 -python_single_target_python3_9 -rrsync ssl -stunnel -system-zlib -verify-sig xattr -xxhash -zstd net-misc/wget-1.21.3-r1:0 -cookie-check -debug -gnutls -idn ipv6 -metalink nls -ntlm pcre ssl -static -test -uuid -verify-sig zlib perl-core/Compress-Raw-Zlib-2.202.0:0 perl-core/File-Temp-0.231.100:0 sci-mathematics/prover9-2009.11a:0 -examples sec-keys/openpgp-keys-gentoo-release-20220101:0 -test sys-apps/acl-2.3.1-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 split-usr -static-libs sys-apps/attr-2.5.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 -debug nls split-usr -static-libs sys-apps/baselayout-2.9:0 -build split-usr sys-apps/coreutils-9.1-r2:0 acl -caps -gmp -hostname -kill -multicall nls openssl -selinux split-usr -static -test -vanilla -verify-sig xattr sys-apps/dbus-1.15.2: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 sys-apps/debianutils-5.7:0 installkernel -static sys-apps/diffutils-3.8:0 nls -static -verify-sig sys-apps/file-5.43-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 -lzma -python python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -seccomp -static-libs -verify-sig zlib sys-apps/findutils-4.9.0-r2:0 nls -selinux -static -test -verify-sig sys-apps/gawk-5.2.1:0 -mpfr nls -pma readline -verify-sig sys-apps/gentoo-functions-0.17:0 sys-apps/grep-3.8-r1:0 egrep-fgrep nls pcre -static -verify-sig sys-apps/groff-1.22.4:0 -X -examples -uchardet sys-apps/help2man-1.49.3:0 nls sys-apps/install-xattr-0.8:0 sys-apps/iproute2-6.1.0:0 -atm -berkdb -bpf -caps -elf iptables -libbsd -minimal -nfs -selinux split-usr sys-apps/kbd-2.5.1:0 nls pam -test sys-apps/kmod-30:0 -debug -doc lzma -pkcs7 -python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -static-libs tools zlib zstd sys-apps/less-608-r1:0 pcre unicode sys-apps/man-db-2.11.1:0 manpager nls seccomp -selinux -static-libs zlib sys-apps/man-pages-6.01: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 sys-apps/miscfiles-1.5-r4:0 -minimal sys-apps/net-tools-2.10:0 arp hostname ipv6 -nis nls -plipconfig -selinux -slattach -static sys-apps/openrc-0.45.2-r2:0 -audit -bash -debug ncurses netifrc -newnet pam -selinux -sysv-utils unicode sys-apps/portage-3.0.41:0 -apidoc -build -doc -gentoo-dev ipc native-extensions python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 rsync-verify -selinux -test xattr sys-apps/sandbox-2.29:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 abi_x86_64 -abi_x86_x32 nnp sys-apps/sed-4.9:0 acl nls -selinux -static -verify-sig sys-apps/shadow-4.13-r1:0/4 acl -audit -bcrypt -cracklib nls pam -selinux -skey split-usr -su -verify-sig xattr sys-apps/systemd-utils-251.9: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 kmod -selinux split-usr -split-usr -sysusers -test tmpfiles udev sys-apps/sysvinit-3.05:0 -ibm nls -selinux -static -verify-sig sys-apps/texinfo-7.0.1:0 nls standalone -static sys-apps/util-linux-2.38.1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -audit -build -caps cramfs -cryptsetup -fdformat hardlink -kill logger -magic ncurses nls pam -python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 readline -rtas -selinux -slang split-usr -static-libs su suid -systemd -test -tty-helpers -udev unicode -verify-sig sys-apps/which-2.21:0 sys-auth/elogind-246.10-r2:0 acl -audit cgroup-hybrid -debug -doc pam policykit -selinux -test sys-auth/pambase-20220214:0 -caps -debug elogind -gnome-keyring -homed -minimal -mktemp nullok -pam_krb5 -pam_ssh passwdqc -pwhistory -pwquality -securetty -selinux sha512 -systemd -yescrypt sys-auth/passwdqc-2.0.2-r1:0 sys-auth/polkit-122:0 daemon duktape -examples -gtk introspection -kde pam -selinux -systemd -test sys-devel/autoconf-2.71-r5:2.71 -emacs sys-devel/autoconf-archive-2022.09.03:0 sys-devel/autoconf-wrapper-20221207:0 sys-devel/automake-1.16.5:1.16 -test sys-devel/automake-wrapper-11-r1:0 sys-devel/bc-1.07.1-r6:0 -libedit readline -static sys-devel/binutils-2.39-r4:2.39 -cet -default-gold -doc -gold -gprofng -multitarget nls -pgo plugins -static-libs -test -vanilla sys-devel/binutils-config-5.4.1:0 native-symlinks sys-devel/bison-3.8.2-r2:0 -examples nls -static -test -verify-sig sys-devel/clang-15.0.6:15/15 -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 -doc extra llvm_targets_AArch64 llvm_targets_AMDGPU -llvm_targets_ARC llvm_targets_ARM llvm_targets_AVR llvm_targets_BPF -llvm_targets_CSKY -llvm_targets_DirectX llvm_targets_Hexagon llvm_targets_Lanai -llvm_targets_LoongArch -llvm_targets_M68k llvm_targets_MSP430 llvm_targets_Mips llvm_targets_NVPTX llvm_targets_PowerPC llvm_targets_RISCV -llvm_targets_SPIRV llvm_targets_Sparc llvm_targets_SystemZ llvm_targets_VE llvm_targets_WebAssembly llvm_targets_X86 llvm_targets_XCore pie python_single_target_python3_10 -python_single_target_python3_11 -python_single_target_python3_8 -python_single_target_python3_9 static-analyzer -test -test -verify-sig -xml sys-devel/clang-common-15.0.6:0 -default-compiler-rt -default-libcxx -default-lld -llvm-libunwind -stricter -verify-sig sys-devel/clang-runtime-15.0.6:15.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 compiler-rt -libcxx openmp sanitize sys-devel/clang-toolchain-symlinks-15-r2:15 -gcc-symlinks -multilib-symlinks native-symlinks sys-devel/flex-2.6.4-r5: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-12.2.1_p20221210:12 -ada -cet -custom-cflags cxx -d -debug -default-stack-clash-protection -default-znow -doc -fixed-point fortran -go graphite -hardened -ieee-long-double -jit -libssp lto multilib nls nptl -objc -objc++ -objc-gc openmp -pch -pgo pie sanitize ssp -systemtap -test -valgrind -vanilla -vtv -zstd sys-devel/gcc-config-2.8:0 cc-wrappers native-symlinks sys-devel/gettext-0.21.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 acl -cvs cxx -doc -emacs -git -java -java ncurses nls openmp -static-libs -verify-sig sys-devel/gnuconfig-20221007:0 sys-devel/libtool-2.4.7-r1:2 -vanilla sys-devel/llvm-15.0.6:15/15 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 binutils-plugin -debug -doc -doc -exegesis -libedit libffi llvm_targets_AArch64 llvm_targets_AMDGPU -llvm_targets_ARC llvm_targets_ARM llvm_targets_AVR llvm_targets_BPF -llvm_targets_CSKY -llvm_targets_DirectX llvm_targets_Hexagon llvm_targets_Lanai -llvm_targets_LoongArch -llvm_targets_M68k llvm_targets_MSP430 llvm_targets_Mips llvm_targets_NVPTX llvm_targets_PowerPC llvm_targets_RISCV -llvm_targets_SPIRV llvm_targets_Sparc llvm_targets_SystemZ llvm_targets_VE llvm_targets_WebAssembly llvm_targets_X86 llvm_targets_XCore ncurses -test -verify-sig -xar -xml -z3 -zstd sys-devel/llvm-common-15.0.6:0 -verify-sig sys-devel/llvm-toolchain-symlinks-15-r1:15 -multilib-symlinks native-symlinks sys-devel/llvmgold-15:0 sys-devel/m4-1.4.19:0 -examples nls -verify-sig sys-devel/make-4.4:0 -guile nls -static -verify-sig sys-devel/patch-2.7.6-r5:0 -static -test -verify-sig xattr sys-fs/e2fsprogs-1.46.5-r4:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -cron -fuse -lto nls split-usr -static-libs -test tools sys-fs/udev-init-scripts-35:0 sys-kernel/installkernel-gentoo-6:0 -grub sys-kernel/linux-headers-6.1:0 -headers-only sys-libs/binutils-libs-2.39-r4:0/2.39 -64-bit-bfd -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -cet -multitarget nls -static-libs sys-libs/compiler-rt-15.0.6:15.0.6 abi_x86_32 abi_x86_64 clang -debug -test -verify-sig sys-libs/compiler-rt-sanitizers-15.0.6:15.0.6 abi_x86_32 abi_x86_64 asan cfi clang -debug dfsan gwp-asan hwasan libfuzzer lsan memprof msan orc profile safestack scudo -shadowcallstack -test -test tsan ubsan -verify-sig xray sys-libs/gdbm-1.23:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 berkdb nls readline -static-libs -test -verify-sig sys-libs/glibc-2.36-r6:2.2 -audit -caps -cet -compile-locales -crypt -custom-cflags -doc -gd -hash-sysv-compat -headers-only multiarch multilib -multilib-bootstrap -nscd -profile -selinux ssp stack-realign static-libs -suid -systemd -systemtap -test -vanilla sys-libs/libcap-2.66: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 split-usr -static-libs -tools sys-libs/libomp-15.0.6:0/15 -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 -hwloc -llvm_targets_AMDGPU -llvm_targets_NVPTX -offload -ompt -test -verify-sig sys-libs/libseccomp-2.5.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 -experimental-loong -python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -static-libs -test sys-libs/libxcrypt-4.4.33: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 split-usr -static-libs system -test sys-libs/ncurses-6.3_p20221203:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -ada cxx -debug -doc -gpm -minimal -profile split-usr -split-usr stack-realign -static-libs -test tinfo -trace -verify-sig sys-libs/pam-1.5.2-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 filecaps -nis -selinux split-usr sys-libs/readline-8.2_p1: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 split-usr -static-libs unicode -utils -verify-sig sys-libs/timezone-data-2022g:0 -leaps-timezone nls -zic-slim sys-libs/zlib-1.2.13-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 split-usr -static-libs -verify-sig sys-process/procps-3.3.17-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 elogind kill -modern-top ncurses nls -selinux split-usr -static-libs -systemd -test unicode sys-process/psmisc-23.6: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/editor-0-r4: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-232-r7: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/os-headers-0-r2:0 virtual/package-manager-1:0 virtual/pager-0-r1:0 virtual/perl-Carp-1.520.0-r2:0 virtual/perl-Compress-Raw-Bzip2-2.103.0-r3:0 virtual/perl-Compress-Raw-Zlib-2.202.0:0 virtual/perl-CPAN-2.330.0:0 virtual/perl-CPAN-Meta-2.150.10-r6:0 virtual/perl-CPAN-Meta-Requirements-2.140.0-r8:0 virtual/perl-CPAN-Meta-YAML-0.18.0-r8:0 virtual/perl-Data-Dumper-2.184.0:0 virtual/perl-Digest-MD5-2.580.0-r1:0 virtual/perl-Encode-3.170.0:0 virtual/perl-Exporter-5.770.0:0 virtual/perl-ExtUtils-CBuilder-0.280.236-r1:0 virtual/perl-ExtUtils-Install-2.200.0-r1:0 virtual/perl-ExtUtils-MakeMaker-7.640.0:0 virtual/perl-ExtUtils-Manifest-1.730.0-r1:0 virtual/perl-ExtUtils-ParseXS-3.450.0:0 virtual/perl-File-Path-2.180.0-r1:0 virtual/perl-File-Spec-3.840.0:0 virtual/perl-File-Temp-0.231.100:0 virtual/perl-Getopt-Long-2.520.0-r1:0 virtual/perl-IO-1.500.0:0 virtual/perl-IO-Compress-2.106.0:0 virtual/perl-IO-Socket-IP-0.410.0-r1:0 virtual/perl-JSON-PP-4.70.0:0 virtual/perl-libnet-3.140.0:0 ssl virtual/perl-MIME-Base64-3.160.0-r1:0 virtual/perl-Module-Metadata-1.0.37-r2:0 virtual/perl-parent-0.238.0-r2:0 virtual/perl-Parse-CPAN-Meta-2.150.10-r6:0 virtual/perl-Perl-OSType-1.10.0-r6:0 virtual/perl-podlators-4.140.0-r3:0 virtual/perl-Scalar-List-Utils-1.620.0:0 virtual/perl-Test-Harness-3.440.0:0 virtual/perl-Text-ParseWords-3.310.0:0 virtual/perl-Time-Local-1.300.0-r1:0 virtual/perl-version-0.992.900:0 virtual/perl-XSLoader-0.310.0:0 virtual/pkgconfig-2-r1:0 virtual/service-manager-1-r1:0 virtual/ssh-0-r1:0 -minimal virtual/tmpfiles-0-r3:0 virtual/ttf-fonts-1-r2:0 virtual/udev-217-r5:0 virtual/w3m-1:0 www-client/pybugz-0.13-r2:0 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 www-client/w3m-0.5.3_p20220429-r1:0 -X -fbcon -gdk-pixbuf -gpm -imlib l10n_ja -lynxkeymap nls -nntp ssl unicode -xface x11-apps/xprop-1.2.6:0 x11-apps/xset-1.2.5:0 x11-base/xcb-proto-1.15.2:0 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 x11-base/xorg-proto-2022.2:0 -test x11-libs/cairo-1.17.6: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 -gles2-only -gles3 glib -gtk-doc -opengl -test x11-libs/libICE-1.1.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 x11-libs/libSM-1.2.3-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc ipv6 uuid x11-libs/libX11-1.8.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 -doc -test x11-libs/libXau-1.0.11:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc x11-libs/libxcb-1.15-r1: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.4-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 x11-libs/libXext-1.3.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/libXmu-1.1.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 -doc x11-libs/libXt-1.2.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 -test x11-libs/pixman-0.42.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_iwmmxt -cpu_flags_arm_iwmmxt2 -cpu_flags_arm_neon -cpu_flags_ppc_altivec cpu_flags_x86_mmxext cpu_flags_x86_sse2 cpu_flags_x86_ssse3 -loongson2f -static-libs -test x11-libs/xtrans-1.4.0:0 -doc x11-misc/compose-tables-1.8.3:0 x11-misc/shared-mime-info-2.2:0 -test x11-misc/xdg-utils-1.1.3_p20210805-r1:0 -dbus -doc -gnome ####################### # build.log # ####################### >>> Unpacking source... >>> Unpacking LADR-2009-11A.tar.gz to /var/tmp/portage/sci-mathematics/prover9-2009.11a/work >>> Unpacking LADR-2009-11A-makefile.patch.xz to /var/tmp/portage/sci-mathematics/prover9-2009.11a/work >>> Source unpacked in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work >>> Preparing source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ... * Applying LADR-2009-11A-makefile.patch ... [ ok ] * Applying LADR-2009-11A-manpages.patch ... [ ok ] >>> Source prepared. >>> Configuring source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ... >>> Source configured. >>> Compiling source in /var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A ... make -j16 -j1 all cd ladr && make lib XFLAGS+=-D_REENTRANT make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make libladr.la make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o order.lo order.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT order.c -fPIC -DPIC -o .libs/order.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT order.c -o order.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clock.lo clock.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clock.c -fPIC -DPIC -o .libs/clock.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clock.c -o clock.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o nonport.lo nonport.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT nonport.c -fPIC -DPIC -o .libs/nonport.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT nonport.c -o nonport.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o fatal.lo fatal.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fatal.c -fPIC -DPIC -o .libs/fatal.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fatal.c -o fatal.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o ibuffer.lo ibuffer.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ibuffer.c -fPIC -DPIC -o .libs/ibuffer.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ibuffer.c -o ibuffer.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o memory.lo memory.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT memory.c -fPIC -DPIC -o .libs/memory.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT memory.c -o memory.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o hash.lo hash.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT hash.c -fPIC -DPIC -o .libs/hash.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT hash.c -o hash.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o string.lo string.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT string.c -fPIC -DPIC -o .libs/string.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT string.c -o string.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o strbuf.lo strbuf.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT strbuf.c -fPIC -DPIC -o .libs/strbuf.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT strbuf.c -o strbuf.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o glist.lo glist.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT glist.c -fPIC -DPIC -o .libs/glist.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT glist.c -o glist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o options.lo options.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT options.c -fPIC -DPIC -o .libs/options.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT options.c -o options.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o symbols.lo symbols.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT symbols.c -fPIC -DPIC -o .libs/symbols.o symbols.c:478:10: warning: taking the absolute value of unsigned type 'unsigned int' has no effect [-Wabsolute-value] return abs(x) % SYM_TAB_SIZE; ^ symbols.c:478:10: note: remove the call to 'abs' since unsigned values cannot be negative return abs(x) % SYM_TAB_SIZE; ^~~ 1 warning generated. libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT symbols.c -o symbols.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o avltree.lo avltree.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT avltree.c -fPIC -DPIC -o .libs/avltree.o avltree.c:658:21: warning: cast to smaller integer type 'int' from 'void *' [-Wvoid-pointer-to-int-cast] printf("%4d\n", (int) p->item); ^~~~~~~~~~~~~ 1 warning generated. libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT avltree.c -o avltree.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o term.lo term.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT term.c -fPIC -DPIC -o .libs/term.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT term.c -o term.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o termflag.lo termflag.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT termflag.c -fPIC -DPIC -o .libs/termflag.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT termflag.c -o termflag.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o listterm.lo listterm.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT listterm.c -fPIC -DPIC -o .libs/listterm.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT listterm.c -o listterm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o tlist.lo tlist.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT tlist.c -fPIC -DPIC -o .libs/tlist.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT tlist.c -o tlist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o flatterm.lo flatterm.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT flatterm.c -fPIC -DPIC -o .libs/flatterm.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT flatterm.c -o flatterm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o multiset.lo multiset.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT multiset.c -fPIC -DPIC -o .libs/multiset.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT multiset.c -o multiset.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o termorder.lo termorder.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT termorder.c -fPIC -DPIC -o .libs/termorder.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT termorder.c -o termorder.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o parse.lo parse.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT parse.c -fPIC -DPIC -o .libs/parse.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT parse.c -o parse.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o accanon.lo accanon.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT accanon.c -fPIC -DPIC -o .libs/accanon.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT accanon.c -o accanon.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o unify.lo unify.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT unify.c -fPIC -DPIC -o .libs/unify.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT unify.c -o unify.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o fpalist.lo fpalist.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fpalist.c -fPIC -DPIC -o .libs/fpalist.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fpalist.c -o fpalist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o fpa.lo fpa.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fpa.c -fPIC -DPIC -o .libs/fpa.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fpa.c -o fpa.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o discrim.lo discrim.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT discrim.c -fPIC -DPIC -o .libs/discrim.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT discrim.c -o discrim.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o discrimb.lo discrimb.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT discrimb.c -fPIC -DPIC -o .libs/discrimb.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT discrimb.c -o discrimb.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o discrimw.lo discrimw.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT discrimw.c -fPIC -DPIC -o .libs/discrimw.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT discrimw.c -o discrimw.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o dioph.lo dioph.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT dioph.c -fPIC -DPIC -o .libs/dioph.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT dioph.c -o dioph.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o btu.lo btu.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT btu.c -fPIC -DPIC -o .libs/btu.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT btu.c -o btu.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o btm.lo btm.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT btm.c -fPIC -DPIC -o .libs/btm.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT btm.c -o btm.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o mindex.lo mindex.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT mindex.c -fPIC -DPIC -o .libs/mindex.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT mindex.c -o mindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o basic.lo basic.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT basic.c -fPIC -DPIC -o .libs/basic.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT basic.c -o basic.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o attrib.lo attrib.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT attrib.c -fPIC -DPIC -o .libs/attrib.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT attrib.c -o attrib.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o formula.lo formula.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT formula.c -fPIC -DPIC -o .libs/formula.o formula.c:711:25: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case AND_FORM: return OR_FORM; ~~~~~~ ^~~~~~~ formula.c:712:24: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case OR_FORM: return AND_FORM; ~~~~~~ ^~~~~~~~ formula.c:713:25: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case ALL_FORM: return EXISTS_FORM; ~~~~~~ ^~~~~~~~~~~ formula.c:714:28: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion] case EXISTS_FORM: return ALL_FORM; ~~~~~~ ^~~~~~~~ formula.c:736:13: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion] f->type = dual_type(f->type); ~ ^~~~~~~~~~~~~~~~~~ formula.c:1002:34: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion] Formula g = formula_get(1, dual_type(h->type)); ~~~~~~~~~~~ ^~~~~~~~~~~~~~~~~~ formula.c:1010:41: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion] Formula g = formula_get(h->arity, dual_type(h->type)); ~~~~~~~~~~~ ^~~~~~~~~~~~~~~~~~ 7 warnings generated. libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT formula.c -o formula.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o definitions.lo definitions.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT definitions.c -fPIC -DPIC -o .libs/definitions.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT definitions.c -o definitions.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o literals.lo literals.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT literals.c -fPIC -DPIC -o .libs/literals.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT literals.c -o literals.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o topform.lo topform.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT topform.c -fPIC -DPIC -o .libs/topform.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT topform.c -o topform.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clist.lo clist.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clist.c -fPIC -DPIC -o .libs/clist.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clist.c -o clist.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clauseid.lo clauseid.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clauseid.c -fPIC -DPIC -o .libs/clauseid.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clauseid.c -o clauseid.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clauses.lo clauses.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clauses.c -fPIC -DPIC -o .libs/clauses.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clauses.c -o clauses.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o just.lo just.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT just.c -fPIC -DPIC -o .libs/just.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT just.c -o just.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o cnf.lo cnf.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT cnf.c -fPIC -DPIC -o .libs/cnf.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT cnf.c -o cnf.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clausify.lo clausify.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clausify.c -fPIC -DPIC -o .libs/clausify.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clausify.c -o clausify.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o parautil.lo parautil.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT parautil.c -fPIC -DPIC -o .libs/parautil.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT parautil.c -o parautil.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o pindex.lo pindex.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT pindex.c -fPIC -DPIC -o .libs/pindex.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT pindex.c -o pindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o compress.lo compress.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT compress.c -fPIC -DPIC -o .libs/compress.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT compress.c -o compress.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o maximal.lo maximal.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT maximal.c -fPIC -DPIC -o .libs/maximal.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT maximal.c -o maximal.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o lindex.lo lindex.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT lindex.c -fPIC -DPIC -o .libs/lindex.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT lindex.c -o lindex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o weight.lo weight.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT weight.c -fPIC -DPIC -o .libs/weight.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT weight.c -o weight.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o weight2.lo weight2.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT weight2.c -fPIC -DPIC -o .libs/weight2.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT weight2.c -o weight2.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o int_code.lo int_code.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT int_code.c -fPIC -DPIC -o .libs/int_code.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT int_code.c -o int_code.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o features.lo features.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT features.c -fPIC -DPIC -o .libs/features.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT features.c -o features.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o di_tree.lo di_tree.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT di_tree.c -fPIC -DPIC -o .libs/di_tree.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT di_tree.c -o di_tree.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o fastparse.lo fastparse.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fastparse.c -fPIC -DPIC -o .libs/fastparse.o fastparse.c:186:23: warning: format string is not a string literal (potentially insecure) [-Wformat-security] fprintf(stderr, s); ^ fastparse.c:186:23: note: treat the string as an argument to avoid this fprintf(stderr, s); ^ "%s", fastparse.c:187:23: warning: format string is not a string literal (potentially insecure) [-Wformat-security] fprintf(stdout, s); ^ fastparse.c:187:23: note: treat the string as an argument to avoid this fprintf(stdout, s); ^ "%s", 2 warnings generated. libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT fastparse.c -o fastparse.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o random.lo random.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT random.c -fPIC -DPIC -o .libs/random.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT random.c -o random.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o subsume.lo subsume.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT subsume.c -fPIC -DPIC -o .libs/subsume.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT subsume.c -o subsume.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clause_misc.lo clause_misc.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clause_misc.c -fPIC -DPIC -o .libs/clause_misc.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clause_misc.c -o clause_misc.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clause_eval.lo clause_eval.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clause_eval.c -fPIC -DPIC -o .libs/clause_eval.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clause_eval.c -o clause_eval.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o complex.lo complex.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT complex.c -fPIC -DPIC -o .libs/complex.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT complex.c -o complex.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o dollar.lo dollar.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT dollar.c -fPIC -DPIC -o .libs/dollar.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT dollar.c -o dollar.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o flatdemod.lo flatdemod.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT flatdemod.c -fPIC -DPIC -o .libs/flatdemod.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT flatdemod.c -o flatdemod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o demod.lo demod.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT demod.c -fPIC -DPIC -o .libs/demod.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT demod.c -o demod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o clash.lo clash.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clash.c -fPIC -DPIC -o .libs/clash.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT clash.c -o clash.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o resolve.lo resolve.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT resolve.c -fPIC -DPIC -o .libs/resolve.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT resolve.c -o resolve.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o paramod.lo paramod.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT paramod.c -fPIC -DPIC -o .libs/paramod.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT paramod.c -o paramod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o backdemod.lo backdemod.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT backdemod.c -fPIC -DPIC -o .libs/backdemod.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT backdemod.c -o backdemod.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o hints.lo hints.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT hints.c -fPIC -DPIC -o .libs/hints.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT hints.c -o hints.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o ac_redun.lo ac_redun.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ac_redun.c -fPIC -DPIC -o .libs/ac_redun.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ac_redun.c -o ac_redun.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o xproofs.lo xproofs.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT xproofs.c -fPIC -DPIC -o .libs/xproofs.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT xproofs.c -o xproofs.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o ivy.lo ivy.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ivy.c -fPIC -DPIC -o .libs/ivy.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ivy.c -o ivy.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o interp.lo interp.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT interp.c -fPIC -DPIC -o .libs/interp.o interp.c:2238:10: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ordertype' [-Wenum-conversion] return TRUE; ~~~~~~ ^~~~ 1 warning generated. libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT interp.c -o interp.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o std_options.lo std_options.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT std_options.c -fPIC -DPIC -o .libs/std_options.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT std_options.c -o std_options.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o banner.lo banner.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT banner.c -fPIC -DPIC -o .libs/banner.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT banner.c -o banner.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o ioutil.lo ioutil.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ioutil.c -fPIC -DPIC -o .libs/ioutil.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT ioutil.c -o ioutil.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o tptp_trans.lo tptp_trans.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT tptp_trans.c -fPIC -DPIC -o .libs/tptp_trans.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT tptp_trans.c -o tptp_trans.o >/dev/null 2>&1 libtool --tag=CC --mode=compile clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT -o top_input.lo top_input.c libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT top_input.c -fPIC -DPIC -o .libs/top_input.o libtool: compile: clang -c -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -D_REENTRANT top_input.c -o top_input.o >/dev/null 2>&1 libtool --tag=CC --mode=link clang -shared -rpath /usr/lib -version-info 4:0:0 -o libladr.la order.lo clock.lo nonport.lo fatal.lo ibuffer.lo memory.lo hash.lo string.lo strbuf.lo glist.lo options.lo symbols.lo avltree.lo term.lo termflag.lo listterm.lo tlist.lo flatterm.lo multiset.lo termorder.lo parse.lo accanon.lo unify.lo fpalist.lo fpa.lo discrim.lo discrimb.lo discrimw.lo dioph.lo btu.lo btm.lo mindex.lo basic.lo attrib.lo formula.lo definitions.lo literals.lo topform.lo clist.lo clauseid.lo clauses.lo just.lo cnf.lo clausify.lo parautil.lo pindex.lo compress.lo maximal.lo lindex.lo weight.lo weight2.lo int_code.lo features.lo di_tree.lo fastparse.lo random.lo subsume.lo clause_misc.lo clause_eval.lo complex.lo dollar.lo flatdemod.lo demod.lo clash.lo resolve.lo paramod.lo backdemod.lo hints.lo ac_redun.lo xproofs.lo ivy.lo interp.lo std_options.lo banner.lo ioutil.lo tptp_trans.lo top_input.lo -lm libtool: link: clang -shared -fPIC -DPIC .libs/order.o .libs/clock.o .libs/nonport.o .libs/fatal.o .libs/ibuffer.o .libs/memory.o .libs/hash.o .libs/string.o .libs/strbuf.o .libs/glist.o .libs/options.o .libs/symbols.o .libs/avltree.o .libs/term.o .libs/termflag.o .libs/listterm.o .libs/tlist.o .libs/flatterm.o .libs/multiset.o .libs/termorder.o .libs/parse.o .libs/accanon.o .libs/unify.o .libs/fpalist.o .libs/fpa.o .libs/discrim.o .libs/discrimb.o .libs/discrimw.o .libs/dioph.o .libs/btu.o .libs/btm.o .libs/mindex.o .libs/basic.o .libs/attrib.o .libs/formula.o .libs/definitions.o .libs/literals.o .libs/topform.o .libs/clist.o .libs/clauseid.o .libs/clauses.o .libs/just.o .libs/cnf.o .libs/clausify.o .libs/parautil.o .libs/pindex.o .libs/compress.o .libs/maximal.o .libs/lindex.o .libs/weight.o .libs/weight2.o .libs/int_code.o .libs/features.o .libs/di_tree.o .libs/fastparse.o .libs/random.o .libs/subsume.o .libs/clause_misc.o .libs/clause_eval.o .libs/complex.o .libs/dollar.o .libs/flatdemod.o .libs/demod.o .libs/clash.o .libs/resolve.o .libs/paramod.o .libs/backdemod.o .libs/hints.o .libs/ac_redun.o .libs/xproofs.o .libs/ivy.o .libs/interp.o .libs/std_options.o .libs/banner.o .libs/ioutil.o .libs/tptp_trans.o .libs/top_input.o -lm -Wl,-soname -Wl,libladr.so.4 -o .libs/libladr.so.4.0.0 libtool: link: (cd ".libs" && rm -f "libladr.so.4" && ln -s "libladr.so.4.0.0" "libladr.so.4") libtool: link: (cd ".libs" && rm -f "libladr.so" && ln -s "libladr.so.4.0.0" "libladr.so") libtool: link: ( cd ".libs" && rm -f "libladr.la" && ln -s "../libladr.la" "libladr.la" ) make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' cd mace4.src && make all make[1]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' cd ../ladr && make libladr.la make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make[2]: 'libladr.la' is up to date. make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/ladr' make clean make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' libtool --tag=CC --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make libmace4.a make[2]: Entering directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' clang -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -c -o estack.o estack.c clang -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -c -o util.o util.c clang -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -c -o print.o print.c print.c:114:13: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s2); ^~ print.c:114:13: note: treat the string as an argument to avoid this printf(s2); ^ "%s", print.c:119:15: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s3); ^~ print.c:119:15: note: treat the string as an argument to avoid this printf(s3); ^ "%s", print.c:137:11: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s2); ^~ print.c:137:11: note: treat the string as an argument to avoid this printf(s2); ^ "%s", print.c:145:15: warning: format string is not a string literal (potentially insecure) [-Wformat-security] printf(s3); ^~ print.c:145:15: note: treat the string as an argument to avoid this printf(s3); ^ "%s", 4 warnings generated. clang -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -c -o syms.o syms.c clang -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -c -o ground.o ground.c clang -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -c -o arithmetic.o arithmetic.c clang -O2 -g0 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Werror=implicit-function-declaration -Werror=implicit-int -Werror=incompatible-function-pointer-types -c -o select.o select.c select.c:236:44: error: parameter 'max_constrained' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^ select.c:236:36: error: parameter 'max_id' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^ select.c:236:28: error: parameter 'min_id' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Werror,-Wimplicit-int] int select_concentric_band(min_id, max_id, max_constrained) ^ select.c:236:5: warning: a function definition without a prototype is deprecated in all versions of C and is not supported in C2x [-Wdeprecated-non-prototype] int select_concentric_band(min_id, max_id, max_constrained) ^ 1 warning and 3 errors generated. make[2]: *** [: select.o] Error 1 make[2]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make[1]: *** [Makefile:26: lib] Error 2 make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/mace4.src' make: *** [Makefile:6: all] Error 2 * ERROR: sci-mathematics/prover9-2009.11a::gentoo failed (compile phase): * emake failed * * If you need support, post the output of `emerge --info '=sci-mathematics/prover9-2009.11a::gentoo'`, * the complete build log and the output of `emerge -pqv '=sci-mathematics/prover9-2009.11a::gentoo'`. * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/prover9-2009.11a:20221217-132810.log'. * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a/temp/build.log'. * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/prover9-2009.11a/temp/environment'. * Working directory: '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A' * S: '/var/tmp/portage/sci-mathematics/prover9-2009.11a/work/LADR-2009-11A/'