Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 780737 Details for
Bug 847424
[guru] sci-mathematics/frama-c-24.0 fails to compile: x86_64-pc-linux-gnu-gcc: error: argument to -fmessage-length= should be a non-negative integer
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), 111.30 KB, created by
Agostino Sarubbo
on 2022-05-25 09:05:43 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Agostino Sarubbo
Created:
2022-05-25 09:05:43 UTC
Size:
111.30 KB
patch
obsolete
> * Package: sci-mathematics/frama-c-24.0 > * 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 test 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/gentoo/commit/e7eb80ace562be278fc30dc6858e15bae3a549be (Wed May 25 08:29:15 UTC 2022) >@@@@@ 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=6ab87080eff066d969ddf8699bb85220e0aba796 (Wed May 25 08:01:52 UTC 2022) >@@@@@ END @@@@@ > > > >@@@@@ PLEASE PAY ATTENTION HERE!!! @@@@@ >This ebuild was merged (directly or as a dependency) because of the following commit: >https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=86ecc49dcb6310bf9c9d1a02eaeeaf484d499a25 >@@@@@ END @@@@@ > > > >################## ># emerge --info: # >################## >Portage 3.0.30 (python 3.10.4-final-0, default/linux/amd64/17.1, gcc-11.3.0, glibc-2.35-r5, 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.35 >KiB Mem: 264046488 total, 45096952 free >KiB Swap: 0 total, 0 free >sh bash 5.1_p16 >ld GNU ld (Gentoo 2.38 p4) 2.38 >app-misc/pax-utils: 1.3.4::gentoo >app-shells/bash: 5.1_p16::gentoo >dev-lang/perl: 5.34.1-r3::gentoo >dev-lang/python: 2.7.18_p15::gentoo, 3.8.13_p2::gentoo, 3.9.13::gentoo, 3.10.4_p1::gentoo >dev-util/cmake: 3.23.1::gentoo >dev-util/meson: 0.62.1::gentoo >sys-apps/baselayout: 2.8::gentoo >sys-apps/openrc: 0.44.10::gentoo >sys-apps/sandbox: 2.29::gentoo >sys-devel/autoconf: 2.71-r1::gentoo >sys-devel/automake: 1.16.5::gentoo >sys-devel/binutils: 2.38-r2::gentoo >sys-devel/binutils-config: 5.4.1::gentoo >sys-devel/gcc: 11.3.0::gentoo >sys-devel/gcc-config: 2.5-r1::gentoo >sys-devel/libtool: 2.4.7::gentoo >sys-devel/make: 4.3::gentoo >sys-kernel/linux-headers: 5.18::gentoo (virtual/os-headers) >sys-libs/glibc: 2.35-r5::gentoo >Repositories: > >gentoo > location: /usr/portage > sync-type: rsync > sync-uri: rsync://rsync.gentoo.org/gentoo-portage > priority: -1000 > sync-rsync-verify-jobs: 1 > sync-rsync-extra-opts: > sync-rsync-verify-metamanifest: yes > sync-rsync-verify-max-age: 24 > >guru > location: /opt/guru > masters: gentoo > priority: 0 > >ACCEPT_KEYWORDS="amd64 ~amd64" >ACCEPT_LICENSE="* BSD LGPL-2 LGPL-2.1" >CBUILD="x86_64-pc-linux-gnu" >CFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0" >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 -fmessage-length=0" >DISTDIR="/var/tmp/portage/sci-mathematics/frama-c-24.0/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 -fmessage-length=0" >FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs binpkg-multi-instance buildpkg buildpkg-live config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict test unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" >FFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0" >GENTOO_MIRRORS="http://mirror.leaseweb.com/gentoo/ http://ftp.snt.utwente.nl/pub/os/linux/gentoo/ http://ftp.belnet.be/pub/rsync.gentoo.org/gentoo/ http://distfiles.gentoo.org" >LANG="C.UTF8" >LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" >MAKEOPTS="-j43" >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 ocamlopt openmp pam pcre readline seccomp split-usr ssl test unicode xattr zlib" ABI_X86="64" ELIBC="glibc" KERNEL="linux" USERLAND="GNU" >Unset: ADDR2LINE, AR, ARFLAGS, AS, ASFLAGS, CC, CCLD, CONFIG_SHELL, CPP, CPPFLAGS, CTARGET, CXX, CXXFILT, ELFEDIT, EXTRA_ECONF, F77FLAGS, FC, GCOV, GPROF, INSTALL_MASK, LC_ALL, LD, LEX, 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-05-25T10:33:36 >>> dev-lang/ocaml-4.14.0 >2022-05-25T10:33:40 >>> dev-libs/fribidi-1.0.12 >2022-05-25T10:33:48 >>> dev-ml/findlib-1.9.3 >2022-05-25T10:33:52 >>> media-libs/libjpeg-turbo-2.1.3 >2022-05-25T10:33:56 >>> dev-ml/dune-2.9.3-r2 >2022-05-25T10:34:00 >>> dev-ml/easy-format-1.2.0 >2022-05-25T10:34:04 >>> dev-ml/ocamlbuild-0.14.0-r1 >2022-05-25T10:34:08 >>> dev-ml/result-1.5 >2022-05-25T10:34:12 >>> dev-ml/biniou-1.2.1 >2022-05-25T10:34:16 >>> dev-ml/cppo-1.6.8 >2022-05-25T10:34:20 >>> dev-ml/stdlib-shims-0.3.0 >2022-05-25T10:34:24 >>> dev-ml/csexp-1.5.1 >2022-05-25T10:34:28 >>> dev-ml/yojson-1.7.0 >2022-05-25T10:34:32 >>> dev-ml/dune-private-libs-2.9.3 >2022-05-25T10:34:36 >>> dev-ml/zarith-1.12 >2022-05-25T10:34:40 >>> dev-ml/dune-configurator-2.9.3 >2022-05-25T10:34:44 >>> virtual/jpeg-100-r1 >2022-05-25T10:34:49 >>> dev-ml/graphics-5.1.2 >2022-05-25T10:34:52 >>> sci-libs/gts-20121130 >2022-05-25T10:34:56 >>> dev-ml/ocamlgraph-2.0.0-r1 >2022-05-25T10:35:00 >>> dev-lang/nasm-2.15.05 >2022-05-25T10:35:05 >>> x11-libs/pango-1.50.7 >2022-05-25T10:35:09 >>> media-libs/gd-2.3.3-r1 >2022-05-25T10:35:18 >>> media-gfx/graphviz-2.50.0 > > > > >####################################### ># 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-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 -verify-sig >app-arch/gzip-1.12:0 -pic -static -verify-sig >app-arch/libarchive-3.6.1: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:0 acl -minimal nls -selinux -verify-sig xattr >app-arch/unzip-6.0_p26:0 bzip2 -natspec unicode >app-arch/xz-utils-5.2.5-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 extra-filters nls split-usr -static-libs -verify-sig >app-arch/zstd-1.5.2: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.3.6:0 bzip2 -doc -ldap nls readline -selinux smartcard ssl -test tofu -tools -tpm -usb -user-socket -verify-sig -wks-server >app-crypt/gpgme-1.17.1:1/11.6.15 -common-lisp cxx -python python_targets_python3_10 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/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/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-6.3:0 -debug -justify -magic -minimal ncurses nls spell split-usr -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.12.1-r2: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 >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.77:0 -cacert >app-misc/editor-wrapper-4-r1:0 >app-misc/mime-types-2.1.53:0 -nginx >app-misc/pax-utils-1.3.4: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.2:0 -debug -doc nls -sqlite >app-portage/elt-patches-20211104:0 >app-portage/gemato-16.2:0 gpg 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.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.93.3:0 nls openmp qmanifest qtegrity -static >app-shells/bash-5.1_p16:0 -afs -bashlogger -examples -mem-scramble net nls -plugins readline -verify-sig >app-shells/bash-completion-2.11:0 eselect -test >app-shells/gentoo-bashcomp-20190211: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: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-r2:0 -ruby >app-text/manpager-1:0 >app-text/opensp-1.5.2-r7:0 -doc nls -static-libs -test >app-text/po4a-0.66:0 -test -test >app-text/sgml-common-0.6.3-r7:0 >app-text/xmlto-0.0.28-r8:0 -latex text >dev-db/sqlite-3.38.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/duktape-2.7.0-r1:0/2.7.0 >dev-lang/nasm-2.15.05:0 -doc >dev-lang/ocaml-4.14.0:0/4.14 -emacs -flambda -latex ocamlopt -xemacs >dev-lang/perl-5.34.1-r3:0/5.34 -berkdb -debug -doc gdbm ithreads -minimal -quadmath >dev-lang/python-3.10.4_p1:3.10 -bluetooth -build -examples gdbm -hardened -libedit -lto ncurses -pgo readline sqlite ssl -test -tk -verify-sig -wininst xml >dev-lang/python-3.9.13:3.9 -bluetooth -build -examples gdbm -hardened -lto ncurses -pgo readline sqlite ssl -test -tk -verify-sig -wininst xml >dev-lang/python-3.8.13_p2:3.8 -bluetooth -build -examples gdbm -hardened ncurses readline sqlite ssl -test -tk -verify-sig -wininst xml >dev-lang/python-2.7.18_p15:2.7 -berkdb -bluetooth -build -examples gdbm -hardened ncurses readline sqlite ssl -tk -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.12: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.0.6:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -cxx large -static-libs threads >dev-libs/elfutils-0.187: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 -verify-sig -zstd >dev-libs/expat-2.4.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 -examples -static-libs unicode >dev-libs/fribidi-1.0.12:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc -test >dev-libs/glib-2.72.1: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-r2: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.72.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.72.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.12:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >dev-libs/libbsd-0.11.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 -verify-sig >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.10.1: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 -static-libs -verify-sig >dev-libs/libgpg-error-1.45: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 >dev-libs/libksba-1.6.0:0 -static-libs >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/libpcre-8.45-r1: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 split-usr -static-libs unicode zlib >dev-libs/libpcre2-10.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 bzip2 jit -libedit pcre16 pcre32 readline split-usr -static-libs unicode -verify-sig zlib >dev-libs/libpipeline-1.5.6:0 -test >dev-libs/libtasn1-4.18.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 >dev-libs/libunistring-1.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 -doc -static-libs >dev-libs/libuv-1.44.1: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.14-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 -icu -lzma python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 readline -static-libs -test >dev-libs/libxslt-1.1.35: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 >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_p13-r1: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 -test >dev-libs/openssl-1.1.1o: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 cpu_flags_x86_sse2 -rfc3779 -sctp -sslv3 -static-libs -test -tls-compression -tls-heartbeat -vanilla -verify-sig -verify-sig -weak-ssl-ciphers >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-ml/biniou-1.2.1:0/1.2.1 ocamlopt >dev-ml/cppo-1.6.8:0/1.6.8 ocamlopt >dev-ml/csexp-1.5.1:0/1.5.1 ocamlopt -test >dev-ml/dune-2.9.3-r2:0/2.9.3 -emacs -test >dev-ml/dune-configurator-2.9.3:0/2.9.3 ocamlopt -test >dev-ml/dune-private-libs-2.9.3:0/2.9.3 ocamlopt -test >dev-ml/easy-format-1.2.0:0/1.2.0 -examples ocamlopt -ocamlopt >dev-ml/findlib-1.9.3:0 -doc ocamlopt -tk >dev-ml/graphics-5.1.2:0 ocamlopt >dev-ml/ocamlbuild-0.14.0-r1:0/0.14.0 ocamlopt -test >dev-ml/ocamlgraph-2.0.0-r1:0/2.0.0 ocamlopt >dev-ml/result-1.5:0/1.5 ocamlopt >dev-ml/stdlib-shims-0.3.0:0 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/Devel-CheckLib-1.140.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/File-BaseDir-0.90.0:0 -test >dev-perl/File-DesktopEntry-0.220.0-r1:0 -test >dev-perl/File-Listing-6.140.0:0 -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.330.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.74.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.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.310.0:0 -minimal -test >dev-perl/Unicode-LineBreak-2019.1.0:0 >dev-perl/URI-5.100.0:0 -test >dev-perl/WWW-RobotRules-6.20.0-r2:0 -test >dev-perl/XML-Parser-2.460.0-r2:0 >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/certifi-3021.3.16-r2: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-2.0.12:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test >dev-python/flit_core-3.7.1:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test >dev-python/gpep517-6: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.3-r1: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-4.11.4:0 -doc 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.7.1:0 -doc python_targets_pypy3 python_targets_python3_8 -test >dev-python/installer-0.5.1: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.1.1-r2: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.0-r2:0 -doc 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.7.0-r2:0 -doc 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-8.13.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.3.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/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.9_p1:0/pypy39-pp73 bzip2 gdbm jit ncurses -sqlite -test -tk >dev-python/pypy3-exe-7.3.9:3.9-7.3.9 bzip2 -cpu_flags_x86_sse2 jit -low-memory ncurses >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.27.1-r1:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -socks5 -test >dev-python/setuptools-62.3.2-r1: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-6.4.2:0 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:0 python_targets_pypy3 python_targets_python3_10 -python_targets_python3_11 python_targets_python3_8 python_targets_python3_9 -test >dev-python/urllib3-1.26.9-r1: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.37.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/zipp-3.8.0:0 -doc 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.1:0 >dev-util/cmake-3.23.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.72.1: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/intltool-0.51.0-r2:0 >dev-util/meson-0.62.1: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.11.0: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.35.1: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 >media-fonts/liberation-fonts-2.1.3:0 -X -X -fontforge >media-gfx/graphite2-1.3.14_p20210810-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 -perl -test >media-gfx/graphviz-2.50.0:0 -X cairo -devil -doc -examples -gtk2 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 >media-libs/fontconfig-2.14.0-r1:1.0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc -static-libs -test >media-libs/freetype-2.12.1: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/gd-2.3.3-r1: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-4.3.0:0/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 cairo -debug -doc -experimental glib graphite -icu introspection -test truetype >media-libs/libjpeg-turbo-2.1.3: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 >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.8-r2:0/1.8.3 -conntrack -netlink -nftables -pcap split-usr -static-libs >net-libs/gnutls-3.7.5: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.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.47.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 threads -utils -xml >net-misc/curl-7.83.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 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 -verify-sig -zstd >net-misc/dhcpcd-9.4.1:0 -debug embedded ipv6 -privsep udev >net-misc/iputils-20211215:0 arping -caps -clockdiff -doc filecaps -idn nls -rarpd -rdisc -static -test -tracepath >net-misc/netifrc-0.7.3-r1:0 dhcp >net-misc/openssh-9.0_p1-r1: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.4-r1:0 acl -examples iconv ipv6 -lz4 -python_single_target_python3_10 -python_single_target_python3_8 python_single_target_python3_9 ssl -stunnel -system-zlib -verify-sig xattr -xxhash -zstd >net-misc/wget-1.21.3:0 -cookie-check -debug -gnutls -idn ipv6 -metalink nls -ntlm pcre ssl -static -test -uuid -verify-sig zlib >perl-core/CPAN-2.290.0-r1:0 >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-libs/gts-20121130:0 -doc -test >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: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.1-r1:0 acl -caps -gmp -hostname -kill -multicall nls -selinux split-usr -static -test -vanilla -verify-sig xattr >sys-apps/dbus-1.14.0-r1:0 -X -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -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.41-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 zlib >sys-apps/findutils-4.9.0:0 nls -selinux -static -test -verify-sig >sys-apps/gawk-5.1.1-r2:0 -mpfr nls readline -verify-sig >sys-apps/gentoo-functions-0.15:0 >sys-apps/grep-3.7:0 nls pcre -static -verify-sig >sys-apps/groff-1.22.4:0 -X -examples -uchardet >sys-apps/help2man-1.48.5:0 nls >sys-apps/install-xattr-0.8:0 >sys-apps/iproute2-5.17.0:0 -atm -berkdb -bpf -caps -elf iptables -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_10 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.10.2-r1:0 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/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.44.10:0 -audit -bash -debug ncurses netifrc -newnet pam -selinux -sysv-utils unicode >sys-apps/portage-3.0.30-r5: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.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.8:0 acl nls -selinux -static -verify-sig >sys-apps/shadow-4.11.1:0/4 acl -audit -bcrypt -cracklib nls pam -selinux -skey split-usr -su xattr >sys-apps/systemd-utils-250.5:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 acl -boot kmod -selinux split-usr -sysusers -test tmpfiles udev >sys-apps/sysvinit-3.04:0 -ibm nls -selinux -static -verify-sig >sys-apps/texinfo-6.8:0 nls standalone -static >sys-apps/util-linux-2.38:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -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-0.120_p20220509:0 duktape -examples -gtk introspection -kde pam -selinux -systemd -test >sys-devel/autoconf-2.71-r1:2.71 -emacs >sys-devel/autoconf-archive-2022.02.11:0 >sys-devel/autoconf-wrapper-20220130:0 >sys-devel/automake-1.16.5:1.16 -test >sys-devel/automake-wrapper-11:0 >sys-devel/binutils-2.38-r2:2.38 -cet -default-gold -doc gold -multitarget nls -pgo plugins -static-libs -test -vanilla >sys-devel/binutils-config-5.4.1:0 native-symlinks >sys-devel/bison-3.8.2:0 -examples nls -static -test -verify-sig >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.3.0:11 -ada -cet -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.5-r1: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 -verify-sig >sys-devel/gnuconfig-20220508:0 >sys-devel/libtool-2.4.7:2 -vanilla >sys-devel/m4-1.4.19:0 -examples nls -verify-sig >sys-devel/make-4.3:0 -guile nls -static -verify-sig >sys-devel/patch-2.7.6-r4:0 -static -test -verify-sig xattr >sys-fs/e2fsprogs-1.46.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 -cron -fuse -lto nls split-usr -static-libs -test threads tools >sys-fs/udev-init-scripts-35:0 >sys-kernel/installkernel-gentoo-5:0 -grub >sys-kernel/linux-headers-5.18:0 -experimental-loong -headers-only >sys-libs/binutils-libs-2.38-r2:0/2.38 -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/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 -verify-sig >sys-libs/glibc-2.35-r5:2.2 -audit -caps -cet clone3 -compile-locales -crypt -custom-cflags -doc -experimental-loong -gd -headers-only multiarch multilib -multilib-bootstrap -nscd -profile -selinux ssp static-libs -suid -systemd -systemtap -test -vanilla >sys-libs/libcap-2.64: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.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 -python python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 -static-libs -test >sys-libs/libxcrypt-4.4.28-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 compat split-usr -static-libs system -test >sys-libs/ncurses-6.3_p20220423: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 -verify-sig >sys-libs/pam-1.5.2-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -audit -berkdb -debug filecaps -nis -selinux >sys-libs/readline-8.1_p2: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-2022a:0 -leaps-timezone nls -zic-slim >sys-libs/zlib-1.2.12-r2:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 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.4-r1:0 -X ipv6 nls -selinux >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-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 -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-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:0 >virtual/perl-Carp-1.520.0-r2:0 >virtual/perl-Compress-Raw-Bzip2-2.103.0-r2:0 >virtual/perl-Compress-Raw-Zlib-2.103.0-r1:0 >virtual/perl-CPAN-2.290.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.179.0:0 >virtual/perl-Digest-MD5-2.580.0-r1:0 >virtual/perl-Encode-3.120.0:0 >virtual/perl-Exporter-5.760.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.620.0:0 >virtual/perl-ExtUtils-Manifest-1.730.0-r1:0 >virtual/perl-ExtUtils-ParseXS-3.430.0:0 >virtual/perl-File-Path-2.180.0-r1:0 >virtual/perl-File-Spec-3.800.0:0 >virtual/perl-File-Temp-0.231.100:0 >virtual/perl-Getopt-Long-2.520.0-r1:0 >virtual/perl-IO-1.460.0:0 >virtual/perl-IO-Compress-2.103.0-r1:0 >virtual/perl-IO-Socket-IP-0.410.0-r1:0 >virtual/perl-JSON-PP-4.60.0:0 >virtual/perl-libnet-3.130.0:0 ssl >virtual/perl-MIME-Base64-3.160.0-r1: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/service-manager-1:0 >virtual/ssh-0:0 -minimal >virtual/tmpfiles-0-r3:0 >virtual/ttf-fonts-1-r1:0 >virtual/udev-217-r5:0 >virtual/w3m-1:0 >virtual/yacc-0:0 >www-client/pybugz-0.13-r2:0 python_targets_python3_10 python_targets_python3_8 python_targets_python3_9 >www-client/w3m-0.5.3_p20220429:0 -X -fbcon -gdk-pixbuf -gpm -imlib l10n_ja -lynxkeymap nls -nntp ssl unicode -xface >x11-apps/xprop-1.2.5:0 >x11-apps/xset-1.2.4-r1:0 >x11-base/xcb-proto-1.15: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_10 python_targets_python3_8 python_targets_python3_9 >x11-base/xorg-proto-2022.1:0 -test >x11-libs/cairo-1.16.0-r5: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 glib -opengl -static-libs svg -utils -valgrind >x11-libs/libICE-1.0.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 ipv6 >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.7.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 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.15: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.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 >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/libXmu-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 ipv6 >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/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/pango-1.50.7: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 introspection -sysprof >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 -test >x11-libs/xtrans-1.4.0:0 -doc >x11-misc/compose-tables-1.8:0 >x11-misc/shared-mime-info-2.2:0 -test >x11-misc/xdg-utils-1.1.3_p20210805:0 -dbus -doc -gnome > > >####################### ># build.log # >####################### >>>> Unpacking source... >>>> Unpacking frama-c-24.0-Chromium.tar.gz to /var/tmp/portage/sci-mathematics/frama-c-24.0/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/frama-c-24.0/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium ... > * Running eautoreconf in '/var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium' ... > * Running 'aclocal --system-acdir=/var/tmp/portage/sci-mathematics/frama-c-24.0/temp/aclocal' ... > [ ok ] > * Running 'autoconf --force' ... > [ ok ] > * Running 'autoheader' ... > [ !! ] > * Running elibtoolize in: frama-c-24.0-Chromium/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/aorai/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/dive/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/e-acsl/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/instantiate/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/loop_analysis/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/markdown-report/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/nonterm/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/obfuscator/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/report/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/security_slicing/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/server/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/studia/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/variadic/ > * Running elibtoolize in: frama-c-24.0-Chromium/src/plugins/wp/ > * Applying frama-c-24.0-fix-bflags.patch ... > [ ok ] >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium ... > * econf: updating frama-c-24.0-Chromium/config.sub with /usr/share/gnuconfig/config.sub > * econf: updating frama-c-24.0-Chromium/config.guess with /usr/share/gnuconfig/config.guess >./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-24.0 --htmldir=/usr/share/doc/frama-c-24.0/html --libdir=/usr/lib64 --disable-landmarks --with-no-plugin --disable-gui >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.14.0 >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... no >checking for src/plugins/constant_propagation... yes >semantic_constant_folding... no >checking for src/plugins/from... yes >from_analysis... no >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... no >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... no >checking for src/plugins/users... yes >users... no >checking for src/plugins/value... yes >eva... no >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... no >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: Package `lablgtk2' not found >Ocamlfind -> using +lablgtk2.(,/usr/lib64/ocaml/lablgtk2) >checking for /usr/lib64/ocaml/lablgtk2/lablgtksourceview2.cmxa... no >checking for /usr/lib64/ocaml/lablgtk2/lablgtk3_sourceview3.cmxa... no >checking for /usr/lib64/ocaml/lablgtk2/lablgnomecanvas.cmxa... no >checking for /usr/lib64/ocaml/lablgtk2/lablgtk.cmxa... no >checking for /usr/lib64/ocaml/lablgtk2/lablgtk3.cmxa... no >checking for OCaml package ocamlgraph_gtk... not found via ocamlfind. >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: package why3 not found >configure: WARNING: lablgtksourceview not found >configure: WARNING: /usr/lib64/ocaml/lablgtk2/lablgtk.cmxa not found. >configure: WARNING: package ocamlgraph_gtk not found >configure: WARNING: unix2dos not found: you should install dos2unix >configure: WARNING: tests partially enabled because unix2dos missing. >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: no >configure: semantic_constant_folding: no >configure: from_analysis: no >configure: gui: no >configure: impact: no >configure: inout: no >configure: metrics: no >configure: occurrence: no >configure: pdg: no >configure: postdominators: no >configure: rtegen: no >configure: scope: no >configure: slicing: no >configure: sparecode: no >configure: users: no >configure: eva: no >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: no >configure: studia: no >configure: variadic: no >configure: wp: no >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium ... >make -j43 VERBOSEMAKE=yes >rm -f src/kernel_internals/parsing/clexer.ml >rm -f src/kernel_internals/parsing/cparser.ml src/kernel_internals/parsing/cparser.mli >rm -f src/kernel_internals/parsing/logic_lexer.ml >rm -f src/kernel_internals/parsing/logic_parser.ml src/kernel_internals/parsing/logic_parser.mli >ocamllex.opt src/kernel_internals/parsing/clexer.mll >ocamlyacc -v src/kernel_internals/parsing/cparser.mly >rm -f src/kernel_internals/parsing/logic_preprocess.ml >install src/plugins/gui/GSourceView2.ml.in src/plugins/gui/GSourceView.ml >ocamllex.opt src/kernel_internals/parsing/logic_lexer.mll >ocamlyacc -v src/kernel_internals/parsing/logic_parser.mly >install src/plugins/gui/GSourceView2.mli.in src/plugins/gui/GSourceView.mli >ocamllex.opt src/kernel_internals/parsing/logic_preprocess.mll >install src/plugins/gui/dgraph_helper.no.ml src/plugins/gui/dgraph_helper.ml >install src/plugins/gui/gtk_compat.2.ml src/plugins/gui/gtk_compat.ml >chmod a-w src/plugins/gui/GSourceView.ml >140 states, 794 transitions, table size 4016 bytes >2151 additional bytes used for bindings >chmod a-w src/plugins/gui/GSourceView.mli >chmod a-w src/plugins/gui/dgraph_helper.ml >chmod a-w src/plugins/gui/gtk_compat.ml >chmod a-w src/kernel_internals/parsing/logic_preprocess.ml >156 states, 1840 transitions, table size 8296 bytes >1981 additional bytes used for bindings >LC_ALL=C sed \ > -e "s|@VERSION@|24.0|" \ > -e "s|@VERSION_CODENAME@|Chromium|" \ > -e "s|@CURR_DATE@|$(LC_ALL=C date)|" \ > -e "s|@LABLGTK@|lablgtk2|" \ > -e "s|@OCAMLC@|ocamlfind ocamlc|" \ > -e "s|@OCAMLOPT@|ocamlfind ocamlopt|" \ > -e "s|@WARNINGS@|-w -a|" \ > -e "s|@FRAMAC_DATADIR@|/usr/share/frama-c|" \ > -e "s|@FRAMAC_LIBDIR@|/usr/lib64/frama-c|" \ > -e "s|@FRAMAC_ROOT_SRCDIR@|/var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium|" \ > -e "s|@FRAMAC_PLUGINDIR@|/usr/lib64/frama-c/plugins|" \ > -e "s|@FRAMAC_DEFAULT_CPP@|x86_64-pc-linux-gnu-gcc -E -C -I.|" \ > -e "s|@FRAMAC_DEFAULT_CPP_ARGS@|-C -I.|" \ > -e "s|@FRAMAC_GNU_CPP@|true|" \ > -e "s|@DEFAULT_CPP_KEEP_COMMENTS@|true|" \ > -e "s|@DEFAULT_CPP_SUPPORTED_ARCH_OPTS@|\"-m32\"; \"-m64\"; \"-m16\";|" \ > -e "s|@COMPILATION_UNITS@|\"frama_c_init\"; \"transitioning\"; \"FCHashtbl\"; \"extlib\"; \"unmarshal\"; \"unmarshal_z\"; \"structural_descr\"; \"type\"; \"descr\"; \"filepath\"; \"sanitizer\"; \"pretty_utils\"; \"hook\"; \"bag\"; \"wto\"; \"vector\"; \"indexer\"; \"rgmap\"; \"bitvector\"; \"qstack\"; \"integer\"; \"json\"; \"markdown\"; \"rich_text\"; \"dotgraph\"; \"fc_config\"; \"gui_init\"; \"log\"; \"cmdline\"; \"project_skeleton\"; \"datatype\"; \"journal\"; \"state\"; \"state_dependency_graph\"; \"state_topological\"; \"state_selection\"; \"project\"; \"state_builder\"; \"utf8_logic\"; \"binary_cache\"; \"hptmap\"; \"hptset\"; \"escape\"; \"cil_datatype\"; \"typed_parameter\"; \"dynamic\"; \"parameter_category\"; \"parameter_customize\"; \"parameter_state\"; \"parameter_builder\"; \"plugin\"; \"kernel\"; \"unicode\"; \"emitter\"; \"floating_point\"; \"rangemap\"; \"cil_types_debug\"; \"printer_builder\"; \"cilconfig\"; \"alpha\"; \"cil_state_builder\"; \"machdeps\"; \"cil_const\"; \"logic_env\"; \"logic_const\"; \"visitor_behavior\"; \"cil\"; \"cil_builtins\"; \"errorloc\"; \"cil_printer\"; \"cil_descriptive_printer\"; \"cabshelper\"; \"logic_utils\"; \"logic_print\"; \"logic_parser\"; \"logic_lexer\"; \"logic_typing\"; \"acsl_extension\"; \"ast_info\"; \"ast\"; \"cprint\"; \"cabsvisit\"; \"cabs2cil\"; \"globals\"; \"cfg\"; \"kernel_function\"; \"property\"; \"property_status\"; \"annotations\"; \"printer\"; \"logic_builtin\"; \"cabs_debug\"; \"lexerhack\"; \"clexer\"; \"cparser\"; \"logic_preprocess\"; \"mergecil\"; \"rmtmps\"; \"oneret\"; \"frontc\"; \"substitute_const_globals\"; \"ordered_stmt\"; \"wto_statement\"; \"dataflows\"; \"dataflow2\"; \"stmts_graph\"; \"dominators\"; \"service_graph\"; \"undefined_sequence\"; \"interpreted_automata\"; \"alarms\"; \"description\"; \"lattice_messages\"; \"abstract_interp\"; \"bottom\"; \"int_Base\"; \"bit_utils\"; \"fc_float\"; \"float_interval\"; \"fval\"; \"int_interval\"; \"int_set\"; \"int_val\"; \"ival\"; \"base\"; \"origin\"; \"map_lattice\"; \"tr_offset\"; \"offsetmap\"; \"int_Intervals\"; \"locations\"; \"lmap\"; \"lmap_bitwise\"; \"multidim\"; \"abstract_offset\"; \"abstract_memory\"; \"visitor\"; \"statuses_by_call\"; \"printer_tag\"; \"db\"; \"command\"; \"task\"; \"filecheck\"; \"json_compilation_database\"; \"file\"; \"translate_lightweight\"; \"ghost_cfg\"; \"ghost_accesses\"; \"allocates\"; \"unroll_loops\"; \"asm_contracts\"; \"loop\"; \"exn_flow\"; \"destructors\"; \"logic_interp\"; \"infer_annotations\"; \"clone\"; \"filter\"; \"inline\"; \"dump_config\"; \"contract_special_float\"; \"special_hooks\"; \"messages\"; \"cil_builder\"; \"boot\"; |" \ > -e "s|@LIBRARY_NAMES@|\"findlib.internal\"; \"findlib\"; \"stdlib-shims\"; \"ocamlgraph\"; \"unix\"; \"str\"; \"dynlink\"; \"bytes\"; \"zarith\"; \"easy-format\"; \"biniou\"; \"yojson\"; \"bigarray\";|" \ > -e "s|@OPTDOT@|Some \"dot\"|" \ > -e "s|@EXE@||" \ > -e "s|@MAJOR_VERSION@|24|" \ > -e "s|@MINOR_VERSION@|0|" \ > src/kernel_internals/runtime/fc_config.ml.in > src/kernel_internals/runtime/fc_config.ml.tmp >chmod a-w src/kernel_internals/parsing/logic_lexer.ml >mkdir -p lib/fc/ >rm -f src/libraries/utils/json.ml >rm -f src/libraries/stdlib/transitioning.ml >LC_ALL=C sed "s/@REQUIRES/findlib ocamlgraph unix str dynlink bytes zarith yojson bigarray/" share/META.frama-c > lib/fc/META.frama-c >ocamllex.opt src/libraries/utils/json.mll >cat src/libraries/stdlib/transitioning.ml.in > src/libraries/stdlib/transitioning.ml >install share/frama-c.Unix.rc share/frama-c.rc >rm -f share/Makefile.dynamic_config >install share/Makefile.dynamic_config.internal share/Makefile.dynamic_config >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Slicing/g" share/Makefile.plugin.template > src/plugins/slicing/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Sparecode/g" share/Makefile.plugin.template > src/plugins/sparecode/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Scope/g" share/Makefile.plugin.template > src/plugins/scope/.Makefile.plugin.generated >chmod a-w src/libraries/stdlib/transitioning.ml >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Pdg/g" share/Makefile.plugin.template > src/plugins/pdg/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Impact/g" share/Makefile.plugin.template > src/plugins/impact/.Makefile.plugin.generated >36 states, 360 transitions, table size 1656 bytes >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Inout/g" share/Makefile.plugin.template > src/plugins/inout/.Makefile.plugin.generated >chmod a-w src/libraries/utils/json.ml >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Postdominators/g" share/Makefile.plugin.template > src/plugins/postdominators/.Makefile.plugin.generated >420 states, 4549 transitions, table size 20716 bytes >3563 additional bytes used for bindings >chmod a-w src/kernel_internals/parsing/cparser.ml src/kernel_internals/parsing/cparser.mli >chmod a-w share/Makefile.dynamic_config >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Constant_Propagation/g" share/Makefile.plugin.template > src/plugins/constant_propagation/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Users/g" share/Makefile.plugin.template > src/plugins/users/.Makefile.plugin.generated >chmod a-w src/kernel_internals/parsing/clexer.ml >sh -c 'if cmp -s $1 $2; then touch -r $2 $1; else echo "Generating $2"; install $1 $2; fi' cpifdiff src/kernel_internals/runtime/fc_config.ml.tmp src/kernel_internals/runtime/fc_config.ml >LC_ALL=C sed -e "s/@PLUGIN_NAME@/From/g" share/Makefile.plugin.template > src/plugins/from/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/RteGen/g" share/Makefile.plugin.template > src/plugins/rte/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Occurrence/g" share/Makefile.plugin.template > src/plugins/occurrence/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Reduc/g" share/Makefile.plugin.template > src/plugins/reduc/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Eva/g" share/Makefile.plugin.template > src/plugins/value/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Callgraph/g" share/Makefile.plugin.template > src/plugins/callgraph/.Makefile.plugin.generated >Generating src/kernel_internals/runtime/fc_config.ml >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Metrics/g" share/Makefile.plugin.template > src/plugins/metrics/.Makefile.plugin.generated >rm -f src/kernel_internals/runtime/fc_config.ml.tmp >chmod a-w src/kernel_internals/parsing/logic_parser.ml src/kernel_internals/parsing/logic_parser.mli >chmod a-w src/kernel_internals/runtime/fc_config.ml >MAKEFLAGS="" make depend >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium' >rm -f /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/ >echo "description = \""Frama-C Reduc plug-in"\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >echo "version = \"24.0\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >echo "requires = \"frama-c.kernel frama-c-eva\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >echo "archive(byte) = \"top/Reduc.cmo\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >echo "archive(native) = \"top/Reduc.cmx\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >echo "plugin(native) = \"top/Reduc.cmxs\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >echo "plugin(byte) = \"top/Reduc.cmo\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >echo "directory = \"\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/META.frama-c-reduc >touch src/plugins/reduc/Reduc.check_mli_exists >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins >rm -f /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli >echo "(* This module was generated automatically by code in Makefile and src/plugins/reduc/Reduc.mli *)" > /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli >echo "#1 \"src/plugins/reduc/Reduc.mli\"" >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli >cat src/plugins/reduc/Reduc.mli >> /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli >chmod a-w /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/top >rm -f /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/top/Reduc.mli >install /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/top/Reduc.mli >touch /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/.placeholders_ready >rm -f src/plugins/reduc/.depend >ocamlfind ocamldep -slash -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins \ > -I src/plugins/reduc \ > src/plugins/reduc/Reduc.mli src/plugins/reduc/reduc_options.ml src/plugins/reduc/misc.ml src/plugins/reduc/value2acsl.ml src/plugins/reduc/collect.ml src/plugins/reduc/hyp.ml src/plugins/reduc/register.ml src/plugins/reduc/reduc_options.mli src/plugins/reduc/misc.mli src/plugins/reduc/value2acsl.mli src/plugins/reduc/collect.mli src/plugins/reduc/hyp.mli src/plugins/reduc/register.mli /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli \ > \ > > src/plugins/reduc/.depend >chmod a-w src/plugins/reduc/.depend >rm -f src/plugins/reduc/.depend >ocamlfind ocamldep -slash -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins \ > -I src/plugins/reduc \ > src/plugins/reduc/Reduc.mli src/plugins/reduc/reduc_options.ml src/plugins/reduc/misc.ml src/plugins/reduc/value2acsl.ml src/plugins/reduc/collect.ml src/plugins/reduc/hyp.ml src/plugins/reduc/register.ml src/plugins/reduc/reduc_options.mli src/plugins/reduc/misc.mli src/plugins/reduc/value2acsl.mli src/plugins/reduc/collect.mli src/plugins/reduc/hyp.mli src/plugins/reduc/register.mli /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/Reduc.mli \ > \ > > src/plugins/reduc/.depend >chmod a-w src/plugins/reduc/.depend >rm -f .depend >ocamlfind ocamldep -slash -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins/*.mli src/plugins/pdg_types/*.mli src/plugins/value_types/*.mli src/libraries/stdlib/*.mli src/libraries/utils/*.mli src/libraries/project/*.mli src/libraries/datatype/*.mli src/kernel_internals/parsing/*.mli src/kernel_internals/typing/*.mli src/kernel_internals/runtime/*.mli src/kernel_services/parsetree/*.mli src/kernel_services/ast_data/*.mli src/kernel_services/ast_queries/*.mli src/kernel_services/ast_printing/*.mli src/kernel_services/ast_building/*.mli src/kernel_services/cmdline_parameters/*.mli src/kernel_services/plugin_entry_points/*.mli src/kernel_services/abstract_interp/*.mli src/kernel_services/visitors/*.mli src/kernel_services/analysis/*.mli src/kernel_services/ast_transformations/*.mli src/plugins/gui/*.mli src/plugins/pdg_types/*.ml src/plugins/value_types/*.ml src/libraries/stdlib/*.ml src/libraries/utils/*.ml src/libraries/project/*.ml src/libraries/datatype/*.ml src/kernel_internals/parsing/*.ml src/kernel_internals/typing/*.ml src/kernel_internals/runtime/*.ml src/kernel_services/parsetree/*.ml src/kernel_services/ast_data/*.ml src/kernel_services/ast_queries/*.ml src/kernel_services/ast_printing/*.ml src/kernel_services/ast_building/*.ml src/kernel_services/cmdline_parameters/*.ml src/kernel_services/plugin_entry_points/*.ml src/kernel_services/abstract_interp/*.ml src/kernel_services/visitors/*.ml src/kernel_services/analysis/*.ml src/kernel_services/ast_transformations/*.ml src/plugins/gui/*.ml > .depend >ocamlfind ocamldep -slash -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins -I tests/dynamic -I tests/journal -I tests/saveload -I tests/spec -I tests/misc -I tests/syntax -I tests/cil -I tests/pretty_printing -I tests/builtins -I tests/libc -I tests/value -I tests/compliance -I tests/fc_script -I tests/jcdb \ > space/module.ml tests/builtins/big_local_array_script.ml tests/cil/Change_formals.ml tests/cil/change_to_instr.ml tests/cil/insert_formal.ml tests/cil/mkBinOp.ml tests/cil/queue_ghost_instr.ml tests/dynamic/abstract.ml tests/dynamic/abstract2.ml tests/dynamic/empty.ml tests/jcdb/jcdb.ml tests/journal/abstract_cpt.ml tests/journal/intra.ml tests/journal/use_cpt.ml tests/libc/check_compliance.ml tests/libc/check_const.ml tests/libc/check_libc_anonymous_tags.ml tests/libc/check_libc_naming_conventions.ml tests/libc/check_parsing_individual_headers.ml tests/misc/Debug_category.ml tests/misc/add_assigns.ml tests/misc/behavior_names.ml tests/misc/bts0452.ml tests/misc/bts0489.ml tests/misc/bts1201.ml tests/misc/bts1347.ml tests/misc/bug_0209.ml tests/misc/callsite.ml tests/misc/change_main.ml tests/misc/cli_string_multiple_map.ml tests/misc/copy_kf.ml tests/misc/copy_machdep.ml tests/misc/custom_machdep.ml tests/misc/ensures.ml tests/misc/exception.ml tests/misc/filepath_test.ml tests/misc/find_enclosing_loop.ml tests/misc/global_decl_loc.ml tests/misc/init_from_cil.ml tests/misc/interpreted_automata_dataflow_backward.ml tests/misc/interpreted_automata_dataflow_forward.ml tests/misc/issue109.ml tests/misc/issue_191.ml tests/misc/justcopy.ml tests/misc/keep_entry_point.ml tests/misc/log_twice.ml tests/misc/my_visitor.ml tests/misc/plugin_log.ml tests/misc/pp_bin_hex.ml tests/misc/pp_int.ml tests/misc/remove_status_hyps.ml tests/misc/save_comments.ml tests/misc/static.ml tests/misc/test_datatype.ml tests/misc/version.ml tests/misc/vis_queueInstr.ml tests/misc/vis_spec.ml tests/misc/visitor_creates_func_bts_1349.ml tests/misc/well_typed_alarm.ml tests/misc/with tests/misc/wstring_phase6.ml tests/saveload/basic.ml tests/saveload/deps_A.ml tests/saveload/deps_B.ml tests/saveload/deps_C.ml tests/saveload/deps_D.ml tests/saveload/deps_E.ml tests/saveload/load_one.ml tests/saveload/multi_project.ml tests/saveload/segfault_datatypes_A.ml tests/saveload/segfault_datatypes_B.ml tests/saveload/serialized_queue.ml tests/saveload/status.ml tests/spec/Extend.ml tests/spec/Extend_preprocess.ml tests/spec/Extend_recursive_preprocess.ml tests/spec/Extend_short_print.ml tests/spec/Type_of_term.ml tests/spec/add_global.ml tests/spec/assigns_from_kf.ml tests/spec/boolean_conversion.ml tests/spec/bts0578.ml tests/spec/bts0655.ml tests/spec/comparison.ml tests/spec/expr_to_term.ml tests/spec/extend_extern.ml tests/spec/location_char.ml tests/spec/logic_functions_sets.ml tests/spec/loop_assigns_generated.ml tests/spec/model.ml tests/spec/pp_empty_spec.ml tests/spec/property_test.ml tests/spec/status_by_call_issue_890.ml tests/spec/type_constructors_in_env.ml tests/syntax/Enum_repr.ml tests/syntax/Refresh_visitor.ml tests/syntax/add_allocates.ml tests/syntax/ast_init.ml tests/syntax/clone_test.ml tests/syntax/copy_visitor_bts_1073.ml tests/syntax/copy_visitor_bts_1073_bis.ml tests/syntax/forloophook.ml tests/syntax/formals_decl_leak.ml tests/syntax/get_astinfo_bts1136.ml tests/syntax/ghost_cv_var_decl.ml tests/syntax/ghost_parameters_formals_status.ml tests/syntax/inserted_casts.ml tests/syntax/logic_env_script.ml tests/syntax/machdep_char_unsigned.ml tests/syntax/mutable_test.ml tests/syntax/pp_lines.ml tests/syntax/reorder.ml tests/syntax/syntactic_hook.ml tests/syntax/temporary_location.ml tests/syntax/transient_block.ml tests/syntax/typedef_multi.ml tests/syntax/vdescr_bts1387.ml tests/syntax/visit_create_local.ml tests/value/unit_tests.ml >> .depend >chmod a-w .depend >make[1]: Leaving directory '/var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium' >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_internals/runtime/frama_c_init.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/stdlib/transitioning.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/stdlib/FCHashtbl.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/stdlib/extlib.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/datatype/unmarshal.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/datatype/unmarshal_z.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/filepath.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/sanitizer.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/pretty_utils.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/hook.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/bag.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/wto.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/vector.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/indexer.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/rgmap.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/bitvector.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/qstack.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/markdown.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/rich_text.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/utf8_logic.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/binary_cache.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/escape.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/unicode.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_internals/typing/alpha.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_internals/parsing/lexerhack.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_services/abstract_interp/lattice_messages.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/plugins/value_types/cilE.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/command.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/libraries/utils/task.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_internals/runtime/dump_config.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_services/ast_transformations/contract_special_float.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_internals/runtime/special_hooks.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins src/kernel_internals/runtime/boot.mli >x86_64-pc-linux-gnu-gcc -fPIC -c -I/usr/lib64/ocaml-O2 -pipe -march=x86-64 -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0-Wall -o src/libraries/utils/c_bindings.o src/libraries/utils/c_bindings.c >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc >x86_64-pc-linux-gnu-gcc: error: argument to â-fmessage-length=â should be a non-negative integer >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins -I src/plugins/reduc -I /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray src/plugins/reduc/register.mli >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc >make: *** [Makefile:688: src/libraries/utils/c_bindings.o] Error 1 >make: *** Waiting for unfinished jobs.... >install src/kernel_internals/runtime/frama_c_init.cmi /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc/frama_c_init.cmi >install src/libraries/stdlib/transitioning.cmi /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc/transitioning.cmi >install src/libraries/stdlib/FCHashtbl.cmi /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc/FCHashtbl.cmi >install src/libraries/stdlib/extlib.cmi /var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium/lib/fc/extlib.cmi > * ERROR: sci-mathematics/frama-c-24.0::guru failed (compile phase): > * emake failed > * > * If you need support, post the output of `emerge --info '=sci-mathematics/frama-c-24.0::guru'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/frama-c-24.0::guru'`. > * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/frama-c-24.0:20220525-083523.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/frama-c-24.0/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/frama-c-24.0/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium' > * S: '/var/tmp/portage/sci-mathematics/frama-c-24.0/work/frama-c-24.0-Chromium' >
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=780737">View the attachment on a separate page</a>.</b>
View Attachment As Raw
Actions:
View
Attachments on
bug 847424
: 780737
