Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 744327 Details for
Bug 817365
[guru] sci-mathematics/frama-c-sparecode-23.1 fails to compile
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
build.log
build.log (text/plain), 60.28 KB, created by
Agostino Sarubbo
on 2021-10-10 15:24:36 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Agostino Sarubbo
Created:
2021-10-10 15:24:36 UTC
Size:
60.28 KB
patch
obsolete
> * Package: sci-mathematics/frama-c-sparecode-23.1 > * Repository: guru > * Maintainer: fx.carton91@gmail.com > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt 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/d32a44301f39f211a8a9ec1c54d5183699716cb0 (Sun Oct 10 06:51:17 UTC 2021) >@@@@@ END @@@@@ > > > >@@@@@ 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://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=d0cad42cd82af60de4f16280f2f679492779eda6 (Sat Oct 9 06:38:22 UTC 2021) >@@@@@ END @@@@@ > > > >################## ># emerge --info: # >################## >Portage 3.0.28 (python 3.10.0-final-0, default/linux/amd64/17.1, gcc-11.2.0, glibc-2.33-r7, 4.19.174-gentoo x86_64) >================================================================= >System uname: Linux-4.19.174-gentoo-x86_64-Intel-R-_Xeon-R-_CPU_E5-2650_v4_@_2.20GHz-with-glibc2.33 >KiB Mem: 264046488 total, 124664052 free >KiB Swap: 0 total, 0 free >Timestamp of repository gentoo: Sun, 10 Oct 2021 06:36:30 +0000 >sh bash 5.1_p8 >ld GNU ld (Gentoo 2.37_p1 p0) 2.37 >app-shells/bash: 5.1_p8::gentoo >dev-lang/perl: 5.34.0-r3::gentoo >dev-lang/python: 2.7.18_p13::gentoo, 3.8.12::gentoo, 3.9.7::gentoo, 3.10.0::gentoo >dev-lang/rust: 1.55.0::gentoo >dev-util/cmake: 3.21.3::gentoo >sys-apps/baselayout: 2.8::gentoo >sys-apps/openrc: 0.44.6::gentoo >sys-apps/sandbox: 2.25::gentoo >sys-devel/autoconf: 2.13-r1::gentoo, 2.71-r1::gentoo >sys-devel/automake: 1.16.5::gentoo >sys-devel/binutils: 2.37_p1::gentoo >sys-devel/gcc: 11.2.0::gentoo >sys-devel/gcc-config: 2.4::gentoo >sys-devel/libtool: 2.4.6-r6::gentoo >sys-devel/make: 4.3::gentoo >sys-kernel/linux-headers: 5.14::gentoo (virtual/os-headers) >sys-libs/glibc: 2.33-r7::gentoo >Repositories: > >gentoo > location: /usr/portage > sync-type: rsync > sync-uri: rsync://rsync.gentoo.org/gentoo-portage > priority: -1000 > sync-rsync-verify-max-age: 24 > sync-rsync-verify-metamanifest: yes > sync-rsync-extra-opts: > sync-rsync-verify-jobs: 1 > >guru > location: /opt/guru > masters: gentoo > priority: 0 > >ACCEPT_KEYWORDS="amd64 ~amd64" >ACCEPT_LICENSE="* LGPL-2.1" >CBUILD="x86_64-pc-linux-gnu" >CFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" >CHOST="x86_64-pc-linux-gnu" >CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt" >CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/fonts/fonts.conf /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo" >CXXFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" >DISTDIR="/var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/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" >FCFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" >FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs buildpkg 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 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color" >GENTOO_MIRRORS="http://distfiles.gentoo.org" >LANG="C.UTF8" >LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" >MAKEOPTS="-j2" >PKGDIR="/root/.packages" >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" >USE="acl amd64 bzip2 cli crypt dri elogind fortran gdbm iconv ipv6 jumbo-build libglvnd libtirpc multilib native-symlinks ncurses nls nptl ocamlopt openmp pam pcre readline seccomp split-usr ssl tcpd unicode xattr zlib" ABI_X86="64" ELIBC="glibc" KERNEL="linux" USERLAND="GNU" >Unset: CC, CPPFLAGS, CTARGET, CXX, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, RUSTFLAGS > > > > > >############################## ># emerge history (qlop -mv): # >############################## >2021-10-10T09:04:01 >>> app-crypt/libmd-1.0.4 >2021-10-10T09:04:04 >>> x11-misc/util-macros-1.19.3 >2021-10-10T09:04:11 >>> dev-libs/fribidi-1.0.10 >2021-10-10T09:04:17 >>> x11-themes/hicolor-icon-theme-0.17 >2021-10-10T09:04:24 >>> dev-libs/vala-common-0.52.5 >2021-10-10T09:04:31 >>> dev-libs/libbsd-0.11.3 >2021-10-10T09:04:38 >>> x11-base/xorg-proto-2021.5 >2021-10-10T09:04:49 >>> dev-lang/ocaml-4.12.1 >2021-10-10T09:05:15 >>> x11-libs/xtrans-1.4.0 >2021-10-10T09:05:28 >>> dev-ml/findlib-1.9.1 >2021-10-10T09:05:35 >>> dev-ml/ocamlbuild-0.14.0-r1 >2021-10-10T09:05:47 >>> dev-ml/dune-2.9.1 >2021-10-10T09:05:58 >>> dev-ml/easy-format-1.2.0 >2021-10-10T09:06:05 >>> dev-ml/camlp4-4.12-r1 >2021-10-10T09:06:19 >>> dev-ml/biniou-1.2.1 >2021-10-10T09:06:31 >>> dev-ml/cppo-1.6.8 >2021-10-10T09:06:42 >>> dev-ml/zarith-1.12 >2021-10-10T09:06:49 >>> dev-ml/yojson-1.7.0 >2021-10-10T09:07:00 >>> media-libs/libart_lgpl-2.3.21-r3 >2021-10-10T09:07:11 >>> gnome-base/gsettings-desktop-schemas-40.0 >2021-10-10T09:07:18 >>> x11-libs/libxshmfence-1.3-r2 >2021-10-10T09:07:25 >>> x11-themes/gnome-themes-standard-3.28 >2021-10-10T09:07:33 >>> x11-libs/libXau-1.0.9-r1 >2021-10-10T09:07:42 >>> x11-libs/libXdmcp-1.1.3 >2021-10-10T09:07:49 >>> media-fonts/font-util-1.3.2-r1 >2021-10-10T09:07:56 >>> x11-libs/libxcb-1.14 >2021-10-10T09:08:03 >>> media-libs/libjpeg-turbo-2.1.1-r2 >2021-10-10T09:08:11 >>> x11-misc/compose-tables-1.7.2 >2021-10-10T09:08:18 >>> virtual/jpeg-100 >2021-10-10T09:08:25 >>> x11-libs/libX11-1.7.2 >2021-10-10T09:08:32 >>> app-text/docbook-xml-dtd-4.3-r2 >2021-10-10T09:08:39 >>> x11-libs/libXext-1.3.4 >2021-10-10T09:08:46 >>> x11-libs/libXfixes-6.0.0 >2021-10-10T09:08:53 >>> x11-libs/libXrender-0.9.10-r2 >2021-10-10T09:09:00 >>> x11-libs/libXcomposite-0.4.5 >2021-10-10T09:09:07 >>> x11-libs/libXrandr-1.5.2 >2021-10-10T09:09:14 >>> x11-libs/libXcursor-1.2.0 >2021-10-10T09:09:21 >>> x11-libs/libXdamage-1.1.5 >2021-10-10T09:09:28 >>> x11-libs/libXi-1.8 >2021-10-10T09:09:35 >>> media-libs/libglvnd-1.3.4 >2021-10-10T09:09:42 >>> x11-libs/libXxf86vm-1.1.4-r2 >2021-10-10T09:09:49 >>> dev-util/gdbus-codegen-2.70.0 >2021-10-10T09:09:56 >>> dev-python/mako-1.1.5 >2021-10-10T09:10:03 >>> dev-lang/vala-0.52.5 >2021-10-10T09:10:11 >>> x11-libs/gdk-pixbuf-2.42.6 >2021-10-10T09:10:18 >>> dev-libs/atk-2.36.0 >2021-10-10T09:10:26 >>> dev-util/gtk-update-icon-cache-3.24.26 >2021-10-10T09:10:33 >>> x11-libs/libpciaccess-0.16 >2021-10-10T09:10:40 >>> app-accessibility/at-spi2-core-2.40.3 >2021-10-10T09:10:48 >>> x11-libs/libdrm-2.4.107 >2021-10-10T09:10:55 >>> app-accessibility/at-spi2-atk-2.38.0 >2021-10-10T09:11:03 >>> media-libs/mesa-21.2.2 >2021-10-10T09:11:12 >>> dev-lang/nasm-2.15.05 >2021-10-10T09:11:20 >>> media-libs/libepoxy-1.5.9 >2021-10-10T09:11:28 >>> x11-base/xcb-proto-1.14.1 >2021-10-10T09:11:40 >>> x11-libs/cairo-1.16.0-r4 >2021-10-10T09:13:50 >>> x11-libs/pango-1.48.10 >2021-10-10T09:13:55 >>> media-libs/gd-2.3.3 >2021-10-10T09:14:03 >>> gnome-base/librsvg-2.50.7 >2021-10-10T09:14:10 >>> media-gfx/graphviz-2.49.0 >2021-10-10T09:14:18 >>> x11-themes/adwaita-icon-theme-40.1.1 >2021-10-10T09:14:37 >>> x11-libs/gtk+-3.24.29 >2021-10-10T09:14:51 >>> x11-libs/gtk+-2.24.33 >2021-10-10T09:20:47 >>> x11-themes/gtk-engines-adwaita-3.28 >2021-10-10T09:20:56 >>> gnome-base/libgnomecanvas-2.30.3-r1 >2021-10-10T09:20:59 >>> x11-libs/gtksourceview-2.10.5-r3 >2021-10-10T09:21:12 >>> dev-ml/lablgtk-2.18.10 >2021-10-10T09:21:27 >>> dev-ml/ocamlgraph-1.8.8-r2 >2021-10-10T09:21:41 >>> sci-mathematics/frama-c-23.1 >2021-10-10T09:22:07 >>> sci-mathematics/frama-c-loopanalysis-23.1 >2021-10-10T09:22:11 >>> sci-mathematics/frama-c-rtegen-23.1 >2021-10-10T09:22:19 >>> sci-mathematics/frama-c-server-23.1 >2021-10-10T09:22:26 >>> sci-mathematics/frama-c-postdominators-23.1 >2021-10-10T09:22:38 >>> sci-mathematics/frama-c-callgraph-23.1 >2021-10-10T09:22:46 >>> sci-mathematics/frama-c-eva-23.1 >2021-10-10T09:22:56 >>> sci-mathematics/frama-c-from-23.1 >2021-10-10T09:23:04 >>> sci-mathematics/frama-c-inout-23.1 >2021-10-10T09:23:13 >>> sci-mathematics/frama-c-scope-23.1 >2021-10-10T09:23:21 >>> sci-mathematics/frama-c-pdg-23.1 >2021-10-10T09:23:24 >>> sci-mathematics/frama-c-users-23.1 > > > > >####################################### ># installed packages (qlist -ICvUSS): # >####################################### >acct-group/input-0-r1:0 >acct-group/kvm-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/sshd-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-accessibility/at-spi2-atk-2.38.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 -test -test >app-accessibility/at-spi2-core-2.40.3: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 -gtk-doc introspection -test -X >app-admin/eselect-1.4.17:0 -doc -emacs -vim-syntax >app-admin/perl-cleaner-2.30:0 >app-arch/bzip2-1.0.8-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 split-usr -static -static-libs >app-arch/gzip-1.11:0 -pic -static >app-arch/libarchive-3.5.2: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 xattr zlib -zstd >app-arch/tar-1.34:0 acl -minimal nls -selinux xattr >app-arch/unzip-6.0_p26:0 bzip2 -natspec unicode >app-arch/xz-utils-5.2.5-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 extra-filters nls split-usr -static-libs >app-arch/zstd-1.5.0: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 -static-libs threads >app-crypt/gnupg-2.2.32:0 bzip2 -doc -ldap nls readline -selinux smartcard ssl -tofu -tools -usb -user-socket -wks-server >app-crypt/gpgme-1.16.0:1/11 -common-lisp cxx -python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -qt5 -static-libs >app-crypt/libb2-0.98.1-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -native-cflags openmp -static-libs >app-crypt/libmd-1.0.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 >app-crypt/openpgp-keys-gentoo-release-20200704:0 -test >app-crypt/pinentry-1.2.0:0 -caps -efl -emacs -gnome-keyring -gtk ncurses -qt5 >app-crypt/rhash-1.4.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 -debug nls ssl -static-libs >app-editors/nano-5.9:0 -debug -justify -magic -minimal ncurses nls spell split-usr -static unicode >app-eselect/eselect-fontconfig-1.1-r1:0 >app-eselect/eselect-iptables-20200508:0 >app-eselect/eselect-lib-bin-symlink-0.1.1-r1:0 >app-eselect/eselect-pinentry-0.7.2:0 >app-eselect/eselect-rust-20210703:0 >app-i18n/man-pages-ja-20180315-r1:0 >app-i18n/man-pages-l10n-4.10.0:0 l10n_de l10n_es l10n_fr l10n_it l10n_nl l10n_pl l10n_pt-BR l10n_ro >app-i18n/man-pages-ru-5.03.2390.2390.20191017-r1:0 >app-i18n/man-pages-zh_CN-1.6.3.2:0 >app-misc/c_rehash-1.7-r1:0 >app-misc/ca-certificates-20210119.3.70:0 -cacert >app-misc/editor-wrapper-4-r1:0 >app-misc/mime-types-9:0 >app-misc/pax-utils-1.3.3:0 -caps -debug -python -python_single_target_python3_10 -python_single_target_python3_8 python_single_target_python3_9 seccomp >app-misc/tmux-3.2a:0 -debug -selinux -utempter -vim-syntax >app-portage/eix-0.36.0:0 -debug -doc nls -sqlite >app-portage/elt-patches-20210924:0 >app-portage/gemato-16.2:0 gpg python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test -tools >app-portage/gentoolkit-0.5.1-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >app-portage/portage-utils-0.92:0 nls openmp qmanifest qtegrity -static >app-shells/bash-5.1_p8:0 -afs -bashlogger -examples -mem-scramble net nls -plugins readline >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.1: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.3-r2:4.3 >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-r2:0 -ruby >app-text/manpager-1:0 >app-text/opensp-1.5.2-r6:0 -doc nls -static-libs -test >app-text/po4a-0.64:0 -test >app-text/sgml-common-0.6.3-r7:0 >app-text/xmlto-0.0.28-r6:0 -latex -text >dev-db/sqlite-3.35.5: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/nasm-2.15.05:0 -doc >dev-lang/ocaml-4.12.1:0/4.12 -emacs -flambda -latex ocamlopt -xemacs >dev-lang/perl-5.34.0-r3:0/5.34 -berkdb -debug -doc gdbm -ithreads -minimal >dev-lang/python-3.10.0:3.10 -bluetooth -build -examples gdbm -hardened ncurses readline sqlite ssl -test -tk -verify-sig -wininst xml >dev-lang/python-3.9.7:3.9 -bluetooth -build -examples gdbm -hardened ncurses readline sqlite ssl -test -tk -verify-sig -wininst xml >dev-lang/python-3.8.12:3.8 -bluetooth -build -examples gdbm -hardened ncurses readline sqlite ssl -test -tk -verify-sig -wininst xml >dev-lang/python-2.7.18_p13:2.7 -berkdb -bluetooth -build -examples gdbm -hardened ncurses readline sqlite ssl -tk -verify-sig -wininst xml >dev-lang/python-exec-2.4.8:2 native-symlinks python_targets_pypy3 python_targets_python3_10 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_8 python_targets_python3_9 >dev-lang/rust-1.55.0:stable/1.55 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -clippy cpu_flags_x86_sse2 -debug -doc -llvm_targets_AArch64 -llvm_targets_AMDGPU -llvm_targets_ARM -llvm_targets_AVR -llvm_targets_BPF -llvm_targets_Hexagon -llvm_targets_Lanai -llvm_targets_Mips -llvm_targets_MSP430 -llvm_targets_NVPTX -llvm_targets_PowerPC -llvm_targets_RISCV -llvm_targets_Sparc -llvm_targets_SystemZ -llvm_targets_WebAssembly llvm_targets_X86 -llvm_targets_XCore -miri -nightly -parallel-compiler -rls -rustfmt -system-bootstrap -system-llvm -test -verify-sig -wasm >dev-lang/spidermonkey-78.15.0:78 -clang -cpu_flags_arm_neon -debug jit -lto -test >dev-lang/tcl-8.6.11: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-lang/vala-0.52.5:0.52 -test -valadoc >dev-libs/atk-2.36.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 -gtk-doc introspection >dev-libs/elfutils-0.185: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 -threads utils -valgrind -zstd >dev-libs/expat-2.4.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 -examples split-usr -static-libs unicode >dev-libs/fribidi-1.0.10:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >dev-libs/glib-2.70.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 -dbus -debug elf -fam -gtk-doc mime -selinux -static-libs -sysprof -systemtap -test -utils xattr >dev-libs/gmp-6.2.1-r1:0/10.4 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 asm cxx -doc -pic -static-libs >dev-libs/gobject-introspection-1.70.0:0 -doctool -gtk-doc -python_single_target_python3_10 -python_single_target_python3_8 python_single_target_python3_9 -test >dev-libs/gobject-introspection-common-1.70.0:0 >dev-libs/icu-69.1-r1:0/69.1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -debug -doc -examples -static-libs >dev-libs/isl-0.24: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.4:0/24 -doc -test >dev-libs/libassuan-2.5.5:0 >dev-libs/libbsd-0.11.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 -static-libs >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.2-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 -debug -exec-static-trampoline -pax-kernel -static-libs -test >dev-libs/libgcrypt-1.9.4: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_neon 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 -o-flag-munging -static-libs >dev-libs/libgpg-error-1.42:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -common-lisp nls -static-libs >dev-libs/libksba-1.6.0:0 -static-libs >dev-libs/libltdl-2.4.6:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs >dev-libs/libpcre-8.45: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 cxx jit -libedit pcre16 pcre32 readline recursion-limit split-usr -static-libs unicode zlib >dev-libs/libpcre2-10.38: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 recursion-limit split-usr -static-libs unicode zlib >dev-libs/libpipeline-1.5.3:0 -static-libs -test >dev-libs/libtasn1-4.17.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 -doc -static-libs -test -valgrind >dev-libs/libunistring-0.9.10-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 -doc -static-libs >dev-libs/libuv-1.42.0: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 >dev-libs/libxml2-2.9.12-r5: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 -icu ipv6 -lzma python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 readline -static-libs -test -verify-sig >dev-libs/libxslt-1.1.34-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 -static-libs -verify-sig >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.2.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.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 >dev-libs/nettle-3.7.3: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_neon cpu_flags_x86_aes -cpu_flags_x86_sha -doc gmp -static-libs -test >dev-libs/npth-1.6-r1:0 >dev-libs/nspr-4.32: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 >dev-libs/openssl-1.1.1l:0/1.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 asm -bindist cpu_flags_x86_sse2 -rfc3779 -sctp -sslv3 -static-libs -test -tls-compression -tls-heartbeat -vanilla >dev-libs/popt-1.18: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-libs/vala-common-0.52.5:0 >dev-ml/biniou-1.2.1:0/1.2.1 ocamlopt >dev-ml/camlp4-4.12-r1:0/4.12 ocamlopt >dev-ml/cppo-1.6.8:0/1.6.8 ocamlopt >dev-ml/dune-2.9.1:0/2.9.1 -test >dev-ml/easy-format-1.2.0:0/1.2.0 -examples ocamlopt -ocamlopt >dev-ml/findlib-1.9.1:0 -doc ocamlopt -tk >dev-ml/lablgtk-2.18.10:2/2.18.10 -debug -examples -glade gnomecanvas ocamlopt sourceview -spell -svg >dev-ml/ocamlbuild-0.14.0-r1:0/0.14.0 ocamlopt -test >dev-ml/ocamlgraph-1.8.8-r2:0/1.8.8 -doc -examples gtk ocamlopt -ocamlopt >dev-ml/yojson-1.7.0:0/1.7.0 -examples ocamlopt -test >dev-ml/zarith-1.12:0/1.12 -doc -mpir ocamlopt -ocamlopt >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:0 -test >dev-perl/File-Listing-6.140.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.320.0:0 -test -test >dev-perl/HTTP-Negotiate-6.10.0-r1:0 >dev-perl/IO-HTML-1.4.0:0 -test >dev-perl/IO-Socket-INET6-2.720.0-r1:0 >dev-perl/IO-Socket-SSL-2.71.0:0 -examples -idn -test >dev-perl/libwww-perl-6.550.0:0 ssl -test >dev-perl/Locale-gettext-1.70.0:0 >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:0 l10n_ja l10n_zh >dev-perl/Module-Build-0.423.100:0 -test >dev-perl/Mozilla-CA-20999999:0 >dev-perl/Net-HTTP-6.210.0:0 -minimal -test >dev-perl/Net-SSLeay-1.900.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/TermReadKey-2.380.0: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.300.0-r1:0 -minimal -test >dev-perl/Unicode-LineBreak-2019.1.0:0 >dev-perl/URI-5.90.0:0 -test >dev-perl/WWW-RobotRules-6.20.0-r2:0 -test >dev-perl/XML-Parser-2.460.0:0 >dev-perl/YAML-Tiny-1.730.0-r1:0 -minimal -test >dev-python/certifi-10001-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/charset_normalizer-2.0.6:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/idna-3.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 >dev-python/jinja-3.0.2:0 -doc -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/mako-1.1.5:0 -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/markupsafe-2.0.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/packaging-21.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/pyparsing-2.4.7-r1:0 -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 >dev-python/pypy3-7.3.5_p1:0/pypy37-pp73 bzip2 gdbm jit ncurses -sqlite -test -tk >dev-python/pypy3-exe-7.3.5:7.3.5 bzip2 -cpu_flags_x86_sse2 jit -low-memory ncurses >dev-python/PySocks-1.7.1-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 >dev-python/requests-2.26.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -socks5 -test >dev-python/setuptools-57.5.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/setuptools_scm-6.3.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/tomli-1.2.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-python/urllib3-1.26.7:0 -brotli python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-util/cmake-3.21.3:0 -doc -emacs ncurses -qt5 -test -test >dev-util/desktop-file-utils-0.26-r1:0 -emacs >dev-util/gdbus-codegen-2.70.0:0 -python_single_target_python3_10 -python_single_target_python3_8 python_single_target_python3_9 >dev-util/glib-utils-2.70.0:0 -python_single_target_python3_10 -python_single_target_python3_8 python_single_target_python3_9 >dev-util/gperf-3.1:0 >dev-util/gtk-doc-am-1.33.2:0 >dev-util/gtk-update-icon-cache-3.24.26:0 >dev-util/intltool-0.51.0-r2:0 >dev-util/itstool-2.0.6-r1:0 -python_single_target_python3_8 python_single_target_python3_9 >dev-util/meson-0.59.2:0 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -test >dev-util/meson-format-array-0:0 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 >dev-util/ninja-1.10.2-r1:0 -doc -emacs -test -vim-syntax >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.33.0-r1:0 blksha1 -cgi curl -cvs -doc -emacs -gnome-keyring gpg -highlight iconv -mediawiki -mediawiki-experimental nls pcre -perforce -perl -ppcsha1 -python_single_target_python3_10 -python_single_target_python3_8 python_single_target_python3_9 -subversion -test threads -tk webdav -xinetd >gnome-base/gsettings-desktop-schemas-40.0:0 introspection >gnome-base/libgnomecanvas-2.30.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 -glade -test >gnome-base/librsvg-2.50.7: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 introspection vala >media-fonts/font-util-1.3.2-r1:0 >media-fonts/liberation-fonts-2.1.3:0 -fontforge -X -X >media-gfx/graphite2-1.3.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 -perl -test >media-gfx/graphviz-2.49.0:0 cairo -devil -doc -examples -gtk -gts -guile -java -java -lasi -lefty nls -pdf -perl -postscript -python -python_single_target_python3_10 -python_single_target_python3_8 python_single_target_python3_9 -qt5 -ruby -svg -tcl -webp -X >media-libs/fontconfig-2.13.1-r2: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 -static-libs >media-libs/freetype-2.11.0-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 adobe-cff -brotli bzip2 cleartype-hinting -debug -doc -fontforge harfbuzz -infinality png -static-libs -utils -X >media-libs/gd-2.3.3:2/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -avif cpu_flags_x86_sse fontconfig -heif jpeg png -static-libs -test -tiff truetype -webp -xpm zlib >media-libs/harfbuzz-3.0.0-r1:0/3.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/libart_lgpl-2.3.21-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 >media-libs/libepoxy-1.5.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 egl -test -test -X >media-libs/libglvnd-1.3.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 -test -X >media-libs/libjpeg-turbo-2.1.1-r2:0/0.2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -cpu_flags_arm_neon -java -java -static-libs >media-libs/libpng-1.6.37-r2: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 >media-libs/mesa-21.2.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 classic -d3d9 -debug egl gallium gbm -gles1 gles2 llvm -lm-sensors -opencl -osmesa -selinux -test -unwind -vaapi -valgrind -vdpau -video_cards_freedreno -video_cards_i915 -video_cards_i965 video_cards_intel -video_cards_iris -video_cards_lima video_cards_nouveau -video_cards_panfrost -video_cards_r100 -video_cards_r200 -video_cards_r300 -video_cards_r600 video_cards_radeon video_cards_radeonsi -video_cards_v3d -video_cards_vc4 -video_cards_virgl -video_cards_vivante -video_cards_vmware -vulkan -vulkan-overlay -wayland -X -xa -xvmc -zink zstd >net-dns/libidn2-2.3.2:0/2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs -verify-sig >net-firewall/iptables-1.8.7:0/1.8.3 -conntrack ipv6 -netlink -nftables -pcap split-usr -static-libs >net-libs/gnutls-3.7.2:0/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 cxx -dane -doc -examples -guile idn nls openssl -pkcs11 seccomp -sslv2 -sslv3 -static-libs -test -test-full tls-heartbeat -tools -valgrind >net-libs/libmnl-1.0.4:0/0.2.0 -examples split-usr -static-libs >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.2:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 ipv6 -kerberos split-usr -static-libs >net-libs/nghttp2-1.45.1-r1: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 threads -utils -xml >net-misc/curl-7.79.1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -adns -alt-svc -brotli -curl_ssl_gnutls -curl_ssl_mbedtls -curl_ssl_nss curl_ssl_openssl -curl_ssl_winssl ftp -gnutls -gopher -hsts http2 -idn imap ipv6 -kerberos -ldap -mbedtls -nghttp3 -nss openssl pop3 progress-meter -quiche -rtmp -samba smtp -ssh ssl -sslv3 -static-libs -telnet -test tftp -threads -winssl -zstd >net-misc/iputils-20210722:0 arping -caps -clockdiff -doc filecaps -gcrypt -idn ipv6 -nettle nls -rarpd -rdisc ssl -static -test -tftpd -tracepath -traceroute6 >net-misc/netifrc-0.7.3:0 >net-misc/openssh-8.8_p1:0 -abi_mips_n32 -audit -bindist -debug -hpn -kerberos -ldns -libedit -livecd pam pie scp -sctp -security-key -selinux ssl -static -test -X -X509 -xmss >net-misc/rsync-3.2.3-r4:0 acl -examples iconv ipv6 -lz4 ssl -stunnel -system-zlib xattr -xxhash -zstd >net-misc/wget-1.21.2:0 -cookie_check -debug -gnutls -idn ipv6 -metalink nls -ntlm pcre ssl -static -test -uuid zlib >perl-core/Encode-3.120.0:0 >perl-core/File-Temp-0.231.100:0 >perl-core/Scalar-List-Utils-1.560.0:0 >sci-mathematics/frama-c-23.1:0 gtk ocamlopt -ocamlopt >sci-mathematics/frama-c-callgraph-23.1:0 gtk ocamlopt -ocamlopt >sci-mathematics/frama-c-eva-23.1:0 gtk ocamlopt -ocamlopt >sci-mathematics/frama-c-from-23.1:0 -gtk ocamlopt -ocamlopt >sci-mathematics/frama-c-inout-23.1:0 ocamlopt -ocamlopt >sci-mathematics/frama-c-loopanalysis-23.1:0 ocamlopt -ocamlopt >sci-mathematics/frama-c-pdg-23.1:0 ocamlopt -ocamlopt >sci-mathematics/frama-c-postdominators-23.1:0 ocamlopt -ocamlopt >sci-mathematics/frama-c-rtegen-23.1:0 ocamlopt -ocamlopt >sci-mathematics/frama-c-scope-23.1:0 -gtk ocamlopt -ocamlopt >sci-mathematics/frama-c-server-23.1:0 ocamlopt -ocamlopt >sci-mathematics/frama-c-users-23.1:0 ocamlopt -ocamlopt >sys-apps/acl-2.3.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 nls split-usr -static-libs >sys-apps/attr-2.5.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 -debug nls split-usr -static-libs >sys-apps/baselayout-2.8:0 -build split-usr >sys-apps/coreutils-9.0-r1:0 acl -caps -gmp -hostname -kill -multicall nls -selinux split-usr -static -test -vanilla xattr >sys-apps/dbus-1.12.20-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 -debug -doc elogind -selinux -static-libs -systemd -test -test -user-session -X >sys-apps/debianutils-5.4:0 installkernel -static >sys-apps/diffutils-3.8:0 nls -static >sys-apps/file-5.40-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 bzip2 -lzma -python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -seccomp -static-libs zlib >sys-apps/findutils-4.8.0:0 nls -selinux -static -test >sys-apps/gawk-5.1.0:0 -mpfr nls readline >sys-apps/gentoo-functions-0.15:0 >sys-apps/grep-3.7:0 nls pcre -static >sys-apps/groff-1.22.4:0 -examples -uchardet -X >sys-apps/help2man-1.48.5:0 nls >sys-apps/hwids-20210613-r1:0 net pci -systemd udev usb >sys-apps/install-xattr-0.8:0 >sys-apps/iproute2-5.14.0:0 -atm -berkdb -bpf -caps -elf iptables ipv6 -libbsd -minimal -selinux >sys-apps/kbd-2.4.0:0 nls pam -test >sys-apps/kmod-29:0 -debug -doc lzma -pkcs7 -python python_targets_python3_8 python_targets_python3_9 -static-libs tools zlib -zstd >sys-apps/less-590:0 pcre unicode >sys-apps/man-db-2.9.4-r1:0 -berkdb gdbm manpager nls seccomp -selinux -static-libs zlib >sys-apps/man-pages-5.13:0 l10n_de l10n_es l10n_fr l10n_it l10n_ja l10n_nl l10n_pl l10n_pt-BR l10n_ro l10n_ru l10n_zh-CN >sys-apps/man-pages-posix-2017a:0 >sys-apps/net-tools-2.10:0 arp hostname ipv6 -nis nls -plipconfig -selinux -slattach -static >sys-apps/openrc-0.44.6:0 -audit -bash -debug ncurses netifrc -newnet pam -selinux -sysv-utils unicode >sys-apps/portage-3.0.28:0 -apidoc -build -doc -gentoo-dev ipc native-extensions python_targets_pypy3 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 rsync-verify -selinux -test xattr >sys-apps/sandbox-2.25: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 >sys-apps/sed-4.8:0 acl nls -selinux -static >sys-apps/shadow-4.9-r2:0 acl -audit -bcrypt -cracklib nls pam -selinux -skey split-usr su xattr >sys-apps/systemd-tmpfiles-249.2:0 -selinux -test >sys-apps/sysvinit-3.00:0 -ibm -selinux -static >sys-apps/texinfo-6.8:0 nls standalone -static >sys-apps/util-linux-2.37.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 -audit -build -caps cramfs -cryptsetup -fdformat hardlink -kill logger -magic ncurses nls pam -python python_targets_python3_8 python_targets_python3_9 readline -selinux -slang split-usr -static-libs -su suid -systemd -test -tty-helpers -udev unicode >sys-apps/which-2.21:0 >sys-auth/elogind-246.10-r1:0 acl -audit -debug -doc pam policykit -selinux >sys-auth/pambase-20210201.1:0 -caps -debug elogind -gnome-keyring -homed -minimal -mktemp nullok -pam_krb5 -pam_ssh passwdqc -pwhistory -pwquality -securetty -selinux sha512 -systemd >sys-auth/passwdqc-2.0.2-r1:0 >sys-auth/polkit-0.120-r1:0 -examples -gtk introspection -kde pam -selinux -systemd -test >sys-devel/autoconf-2.71-r1:2.71 -emacs >sys-devel/autoconf-2.13-r1:2.1 >sys-devel/autoconf-archive-2021.02.19-r1:0 >sys-devel/autoconf-wrapper-15:0 >sys-devel/automake-1.16.5:1.16 -test >sys-devel/automake-wrapper-11:0 >sys-devel/binutils-2.37_p1:2.37 -cet -default-gold -doc gold -multitarget nls plugins -static-libs -test -vanilla >sys-devel/binutils-config-5.4:0 native-symlinks >sys-devel/bison-3.8.2:0 -examples nls -static -test >sys-devel/flex-2.6.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 nls -static -test >sys-devel/gcc-11.2.0:11 -ada -custom-cflags cxx -d -debug -doc -fixed-point fortran -go graphite -hardened -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.4:0 cc-wrappers native-symlinks >sys-devel/gettext-0.21-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 acl -cvs cxx -doc -emacs -git -java -java ncurses nls openmp -static-libs >sys-devel/gnuconfig-20210107:0 >sys-devel/libtool-2.4.6-r6:2 -vanilla >sys-devel/llvm-12.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 -debug -doc -doc -exegesis -gold -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_Hexagon -llvm_targets_Lanai -llvm_targets_Mips -llvm_targets_MSP430 llvm_targets_NVPTX -llvm_targets_PowerPC -llvm_targets_RISCV -llvm_targets_Sparc -llvm_targets_SystemZ -llvm_targets_VE -llvm_targets_WebAssembly llvm_targets_X86 -llvm_targets_XCore ncurses -test -xar -xml -z3 >sys-devel/llvm-common-13.0.0:0 >sys-devel/m4-1.4.19:0 -examples nls >sys-devel/make-4.3:0 -guile nls -static >sys-devel/patch-2.7.6-r4:0 -static -test xattr >sys-fs/e2fsprogs-1.46.4:0 -cron -fuse -lto nls split-usr -static-libs threads >sys-fs/eudev-3.2.10-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 hwdb -introspection kmod -rule-generator -selinux -static-libs -test >sys-fs/udev-init-scripts-35:0 >sys-kernel/installkernel-gentoo-3:0 >sys-kernel/linux-headers-5.14:0 -headers-only >sys-libs/binutils-libs-2.37_p1:0/2.37 -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/e2fsprogs-libs-1.46.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 split-usr -static-libs >sys-libs/gdbm-1.21: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 >sys-libs/glibc-2.33-r7:2.2 -audit -caps -cet -compile-locales -crypt -custom-cflags -doc -gd -headers-only multiarch multilib -multilib-bootstrap -nscd -profile -selinux ssp static-libs -static-pie -suid -systemd -systemtap -test -vanilla >sys-libs/libcap-2.59: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/libseccomp-2.5.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 -python python_targets_python3_8 python_targets_python3_9 -static-libs >sys-libs/libxcrypt-4.4.26: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 split-usr -static-libs system -test >sys-libs/ncurses-6.2_p20210619: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 -static-libs -test tinfo -trace >sys-libs/pam-1.5.2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -audit -berkdb -debug filecaps -nis -selinux split-usr >sys-libs/readline-8.1_p1-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 split-usr -static-libs unicode -utils >sys-libs/timezone-data-2021a-r1:0 -leaps-timezone nls -zic-slim >sys-libs/zlib-1.2.11-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 minizip split-usr -static-libs >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.4-r1:0 ipv6 nls -selinux -X >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/awk-1:0 >virtual/dev-manager-0-r2:0 >virtual/editor-0-r3:0 >virtual/jpeg-100: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/libc-1-r1:0 >virtual/libcrypt-2:0/2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs >virtual/libelf-3: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-r5:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -systemd >virtual/man-0-r4:0 >virtual/os-headers-0-r2:0 >virtual/package-manager-1:0 >virtual/pager-0:0 >virtual/perl-Carp-1.520.0-r1:0 >virtual/perl-Compress-Raw-Bzip2-2.101.0:0 >virtual/perl-Compress-Raw-Zlib-2.101.0:0 >virtual/perl-CPAN-Meta-2.150.10-r5:0 >virtual/perl-CPAN-Meta-Requirements-2.140.0-r7:0 >virtual/perl-CPAN-Meta-YAML-0.18.0-r7:0 >virtual/perl-Data-Dumper-2.179.0:0 >virtual/perl-Digest-MD5-2.580.0:0 >virtual/perl-Encode-3.120.0:0 >virtual/perl-Exporter-5.760.0:0 >virtual/perl-ExtUtils-CBuilder-0.280.236:0 >virtual/perl-ExtUtils-Install-2.200.0:0 >virtual/perl-ExtUtils-MakeMaker-7.620.0:0 >virtual/perl-ExtUtils-Manifest-1.730.0:0 >virtual/perl-ExtUtils-ParseXS-3.430.0:0 >virtual/perl-File-Spec-3.800.0:0 >virtual/perl-File-Temp-0.231.100:0 >virtual/perl-Getopt-Long-2.520.0:0 >virtual/perl-IO-1.460.0:0 >virtual/perl-IO-Compress-2.102.0:0 >virtual/perl-IO-Socket-IP-0.410.0:0 >virtual/perl-JSON-PP-4.60.0:0 >virtual/perl-libnet-3.130.0:0 ssl >virtual/perl-MIME-Base64-3.160.0:0 >virtual/perl-Module-Metadata-1.0.37-r1:0 >virtual/perl-parent-0.238.0-r1:0 >virtual/perl-Parse-CPAN-Meta-2.150.10-r5:0 >virtual/perl-Perl-OSType-1.10.0-r5:0 >virtual/perl-podlators-4.140.0-r2:0 >virtual/perl-Scalar-List-Utils-1.560.0:0 >virtual/perl-Test-Harness-3.430.0:0 >virtual/perl-Text-ParseWords-3.300.0-r8:0 >virtual/perl-Time-Local-1.300.0:0 >virtual/perl-version-0.992.800:0 >virtual/perl-XSLoader-0.300.0-r4:0 >virtual/pkgconfig-2-r1:0 >virtual/rust-1.55.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 -rustfmt >virtual/service-manager-1:0 >virtual/ssh-0:0 -minimal >virtual/tmpfiles-0-r1:0 >virtual/ttf-fonts-1-r1:0 >virtual/udev-217-r3:0 >virtual/yacc-0:0 >www-client/pybugz-0.13-r1:0 python_targets_python3_8 python_targets_python3_9 >x11-base/xcb-proto-1.14.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 python_targets_python3_8 python_targets_python3_9 >x11-base/xorg-proto-2021.5:0 -test >x11-libs/cairo-1.16.0-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 -aqua -debug -gles2-only glib -opengl -static-libs svg -utils -valgrind -X >x11-libs/gdk-pixbuf-2.42.6:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -gtk-doc introspection -jpeg -tiff >x11-libs/gtk+-3.24.29: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 -aqua -broadway -cloudprint -colord -cups -examples -gtk-doc introspection -sysprof -test -test -vim-syntax -wayland -X -xinerama >x11-libs/gtk+-2.24.33: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 -aqua -cups -examples introspection -test -test -vim-syntax -xinerama >x11-libs/gtksourceview-2.10.5-r3:2.0 -test >x11-libs/libdrm-2.4.107: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 -libkms -valgrind video_cards_amdgpu -video_cards_exynos -video_cards_freedreno video_cards_intel video_cards_nouveau -video_cards_omap video_cards_radeon -video_cards_tegra -video_cards_vc4 -video_cards_vivante -video_cards_vmware >x11-libs/libpciaccess-0.16: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 zlib >x11-libs/libX11-1.7.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 -doc ipv6 -test >x11-libs/libXau-1.0.9-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/libxcb-1.14: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/libXcomposite-0.4.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/libXcursor-1.2.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 -doc >x11-libs/libXdamage-1.1.5:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >x11-libs/libXdmcp-1.1.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 >x11-libs/libXext-1.3.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/libXfixes-6.0.0:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc >x11-libs/libXi-1.8:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc >x11-libs/libXrandr-1.5.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 -doc >x11-libs/libXrender-0.9.10-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 >x11-libs/libxshmfence-1.3-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 >x11-libs/libXxf86vm-1.1.4-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 -doc >x11-libs/pango-1.48.10:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -debug introspection -sysprof -X >x11-libs/pixman-0.40.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 -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 >x11-libs/xtrans-1.4.0:0 -doc >x11-misc/compose-tables-1.7.2:0 >x11-misc/shared-mime-info-2.1:0 >x11-misc/util-macros-1.19.3:0 >x11-themes/adwaita-icon-theme-40.1.1:0 -branding >x11-themes/gnome-themes-standard-3.28:0 >x11-themes/gtk-engines-adwaita-3.28: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-themes/hicolor-icon-theme-0.17:0 > > >####################### ># build.log # >####################### >>>> Unpacking source... >>>> Unpacking frama-c-23.1-Vanadium.tar.gz to /var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work/frama-c-23.1-Vanadium ... > * Running eautoreconf in '/var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work/frama-c-23.1-Vanadium' ... > * Running 'aclocal' ... > [ ok ] > * Running 'autoconf --force' ... > [ ok ] > * Running 'autoheader' ... > [ !! ] > * Running elibtoolize in: frama-c-23.1-Vanadium/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/aorai/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/dive/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/e-acsl/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/instantiate/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/loop_analysis/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/markdown-report/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/nonterm/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/obfuscator/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/report/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/security_slicing/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/server/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/studia/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/variadic/ > * Running elibtoolize in: frama-c-23.1-Vanadium/src/plugins/wp/ >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work/frama-c-23.1-Vanadium ... > * econf: updating frama-c-23.1-Vanadium/config.guess with /usr/share/gnuconfig/config.guess > * econf: updating frama-c-23.1-Vanadium/config.sub with /usr/share/gnuconfig/config.sub >./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --docdir=/usr/share/doc/frama-c-sparecode-23.1 --htmldir=/usr/share/doc/frama-c-sparecode-23.1/html --libdir=/usr/lib64 --disable-landmarks --with-no-plugin --disable-gui --enable-sparecode --enable-users --enable-callgraph --enable-eva --enable-server --enable-pdg --enable-from-analysis >configure: ****************** >configure: * CONFIGURE MAKE * >configure: ****************** >checking for gmake... gmake >checking version of make... 4.3 >configure: ***************************** >configure: * CONFIGURE OCAML COMPILERS * >configure: ***************************** >checking for ocamlc... ocamlc >checking version of OCaml... 4.12.1 >checking OCaml library path... /usr/lib64/ocaml >checking for ocamlopt... ocamlopt >checking ocamlopt version and standard library... ok >native dynlink works fine. Great. >checking for ocamlfind... ocamlfind >configure: Distribution mode: all warnings are deactivated >configure: ******************************************* >configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * >configure: ******************************************* >checking for ocamldep... ocamldep >checking for ocamllex... ocamllex >checking for ocamllex.opt... ocamllex.opt >checking for ocamlyacc... ocamlyacc >checking for ocamlcp... ocamlcp >checking for ocamlgraph... found >checking for zarith... found 1.12 >checking for Yojson... found [unspecified] >configure: ****************************************** >configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES * >configure: ****************************************** >checking for ocamldoc... ocamldoc >checking for ocamlmktop... ocamlmktop >checking for otags... no >checking for Apron... not found. The corresponding domains won't be available in Eva >checking for MPFR... not found. The numerors domain won't be available in Eva >Landmarks profiling disabled >checking for python3... found >checking for python3 >= 3.6... ok >configure: ********************** >configure: * CONFIGURE PLATFORM * >configure: ********************** >checking platform... Unix >checking for x86_64-pc-linux-gnu-gcc... x86_64-pc-linux-gnu-gcc >checking whether the C compiler works... yes >checking for C compiler default output file name... a.out >checking for suffix of executables... >checking whether we are cross compiling... no >checking for suffix of object files... o >checking whether the compiler supports GNU C... yes >checking whether x86_64-pc-linux-gnu-gcc accepts -g... yes >checking for x86_64-pc-linux-gnu-gcc option to enable C11 features... none needed >checking for stdio.h... yes >checking for stdlib.h... yes >checking for string.h... yes >checking for inttypes.h... yes >checking for stdint.h... yes >checking for strings.h... yes >checking for sys/stat.h... yes >checking for sys/types.h... yes >checking for unistd.h... yes >checking for stdlib.h... (cached) yes >checking for assert.h... yes >checking for float.h... yes >checking for math.h... yes >checking for signal.h... yes >checking for unistd.h... (cached) yes >checking how to run the C preprocessor... x86_64-pc-linux-gnu-gcc -E >/* Check whether comments are kept in output */ >Default preprocessor is 'x86_64-pc-linux-gnu-gcc -E -C -I.'. >Default preprocessor supported architecture-related options: \"-m32\"; \"-m64\"; \"-m16\"; >configure: *************************** >configure: * WISHED FRAMA-C PLUG-INS * >configure: *************************** >checking for src/plugins/callgraph... yes >callgraph... yes >checking for src/plugins/constant_propagation... yes >semantic_constant_folding... no >checking for src/plugins/from... yes >from_analysis... yes >checking for src/plugins/gui... yes >gui... no >checking for src/plugins/impact... yes >impact... no >checking for src/plugins/inout... yes >inout... no >checking for src/plugins/metrics... yes >metrics... no >checking for src/plugins/occurrence... yes >occurrence... no >checking for src/plugins/pdg... yes >pdg... yes >checking for src/plugins/postdominators... yes >postdominators... no >checking for src/plugins/rte... yes >rtegen... no >checking for src/plugins/scope... yes >scope... no >checking for src/plugins/slicing... yes >slicing... no >checking for src/plugins/sparecode... yes >sparecode... yes >checking for src/plugins/users... yes >users... yes >checking for src/plugins/value... yes >eva... yes >checking for src/plugins/aorai/Makefile.in... yes >aorai... no >checking for src/plugins/dive/Makefile.in... yes >dive... no >checking for src/plugins/e-acsl/Makefile.in... yes >e_acsl... no >checking for uname... uname >checking for src/plugins/instantiate/Makefile.in... yes >instantiate... no >checking for src/plugins/loop_analysis/Makefile.in... yes >loop_analysis... no >checking for src/plugins/markdown-report/Makefile.in... yes >mdr... no >checking for OCaml package ppx_deriving... not found via ocamlfind. >checking for OCaml package ppx_deriving_yojson... not found via ocamlfind. >checking for src/plugins/nonterm/Makefile.in... yes >nonterm... no >checking for src/plugins/obfuscator/Makefile.in... yes >obfuscator... no >checking for src/plugins/print_api... yes >print_api... no >checking for src/plugins/qed... yes >qed... no >checking for src/plugins/report/Makefile.in... yes >report... no >checking for src/plugins/security_slicing/Makefile.in... yes >security_slicing... no >checking for src/plugins/server/Makefile.in... yes >server... yes >checking for OCaml package zmq... not found via ocamlfind. >checking for src/plugins/studia/Makefile.in... yes >studia... no >checking for src/plugins/variadic/Makefile.in... yes >variadic... no >checking for src/plugins/wp/Makefile.in... yes >wp... no >checking for OCaml package why3... not found via ocamlfind. >configure: ******************************************************* >configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * >configure: ******************************************************* >ocamlfind: Package `lablgtk3' not found >Ocamlfind -> using +lablgtk2.(/usr/lib64/ocaml/lablgtk2,/usr/lib64/ocaml/lablgtk2) >checking for /usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cmxa... yes >checking for /usr/lib64/ocaml/lablgtk2/lablgnomecanvas.cmxa... yes >checking for /usr/lib64/ocaml/lablgtk2/lablgtk.cmxa... yes >checking for dot... yes >checking for unix2dos... no >configure: ************************************* >configure: * CHECKING FOR PLUG-IN DEPENDENCIES * >configure: ************************************* >checking for stdio.h... (cached) yes >checking for doxygen... no >checking for dot... yes >configure: creating ./config.status >config.status: creating src/plugins/instantiate/Makefile >config.status: creating src/plugins/loop_analysis/Makefile >config.status: creating src/plugins/nonterm/Makefile >config.status: creating src/plugins/obfuscator/Makefile >config.status: creating src/plugins/report/Makefile >config.status: creating src/plugins/server/Makefile >config.status: creating src/plugins/studia/Makefile >config.status: creating src/plugins/variadic/Makefile >config.status: creating src/plugins/aorai/Makefile >config.status: creating src/plugins/dive/Makefile >config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg >config.status: executing default commands >configure: WARNING: package ppx_deriving not found >configure: WARNING: package ppx_deriving_yojson not found >configure: WARNING: Server support for ZeroMQ disabled (try 'opam install zmq'). >configure: WARNING: server partially enabled because zmq missing. >configure: WARNING: package why3 not found >configure: WARNING: unix2dos not found: you should install dos2unix >configure: WARNING: tests partially enabled because unix2dos missing. >configure: WARNING: callgraph partially enabled because gui not enabled. >configure: WARNING: eva only partially enabled because gui not enabled. >configure: ********************* >configure: * CREATING MAKEFILE * >configure: ********************* >configure: creating ./config.status >config.status: creating src/plugins/instantiate/Makefile >config.status: creating src/plugins/loop_analysis/Makefile >config.status: creating src/plugins/nonterm/Makefile >config.status: creating src/plugins/obfuscator/Makefile >config.status: creating src/plugins/report/Makefile >config.status: creating src/plugins/server/Makefile >config.status: creating src/plugins/studia/Makefile >config.status: creating src/plugins/variadic/Makefile >config.status: creating src/plugins/aorai/Makefile >config.status: creating src/plugins/dive/Makefile >config.status: creating src/plugins/e-acsl/doc/doxygen/doxygen.cfg >config.status: creating src/plugins/e-acsl/Makefile >config.status: creating src/plugins/markdown-report/Makefile >config.status: creating src/plugins/security_slicing/Makefile >config.status: creating src/plugins/wp/Makefile >config.status: creating share/Makefile.config >config.status: executing default commands >configure: ******************************* >configure: * SUMMARY: PLUG-INS AVAILABLE * >configure: ******************************* >configure: callgraph: partial, gui not enabled >configure: semantic_constant_folding: no >configure: from_analysis: yes >configure: gui: no >configure: impact: no >configure: inout: no >configure: metrics: no >configure: occurrence: no >configure: pdg: yes >configure: postdominators: no >configure: rtegen: no >configure: scope: no >configure: slicing: no >configure: sparecode: yes >configure: users: yes >configure: eva: partial, gui not enabled >configure: aorai: no >configure: dive: no >configure: e_acsl: no >configure: instantiate: no >configure: loop_analysis: no >configure: mdr: no >configure: nonterm: no >configure: obfuscator: no >configure: print_api: no >configure: qed: no >configure: report: no >configure: security_slicing: no >configure: server: partial, zmq missing >configure: studia: no >configure: variadic: no >configure: wp: no >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work/frama-c-23.1-Vanadium ... >make -j2 -f src/plugins/sparecode/Makefile FRAMAC_SHARE=/usr/share/frama-c FRAMAC_LIBDIR=/usr/lib64/frama-c >Generating src/plugins/sparecode/.Makefile.plugin.generated >Generating META.frama-c-sparecode >Generating src/plugins/sparecode/top/Sparecode.mli >Ocamldep src/plugins/sparecode/.depend >Ocamlc src/plugins/sparecode/sparecode_params.cmi >Ocamlc src/plugins/sparecode/spare_marks.cmi >Ocamlc src/plugins/sparecode/sparecode_params.cmo >Ocamlc src/plugins/sparecode/globs.cmo >Ocamlc src/plugins/sparecode/spare_marks.cmo >File "src/plugins/sparecode/spare_marks.ml", line 1: >Error: The files /usr/lib64/frama-c/pdgTypes.cmi > and /usr/lib64/frama-c/plugins/Pdg.cmi make inconsistent assumptions > over interface PdgTypes >make: *** [/usr/share/frama-c/Makefile.generic:78: src/plugins/sparecode/spare_marks.cmo] Error 2 >make: *** Waiting for unfinished jobs.... > * ERROR: sci-mathematics/frama-c-sparecode-23.1::guru failed (compile phase): > * emake failed > * > * If you need support, post the output of `emerge --info '=sci-mathematics/frama-c-sparecode-23.1::guru'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/frama-c-sparecode-23.1::guru'`. > * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/frama-c-sparecode-23.1:20211010-072336.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work/frama-c-23.1-Vanadium' > * S: '/var/tmp/portage/sci-mathematics/frama-c-sparecode-23.1/work/frama-c-23.1-Vanadium' >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 817365
: 744327