Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 882183 Details for
Bug 922044
[guru] sci-mathematics/frama-c-25.0-r2 fails to compile (GCC-14-SYSTEM): Error: This expression has type
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), 223.51 KB, created by
Agostino Sarubbo
on 2024-01-13 14:52:11 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Agostino Sarubbo
Created:
2024-01-13 14:52:11 UTC
Size:
223.51 KB
patch
obsolete
> * Package: sci-mathematics/frama-c-25.0-r2:0 > * Repository: guru > * Maintainer: fx.carton91@gmail.com > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt > * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox > > >@@@@@ PLEASE PAY ATTENTION HERE!!! @@@@@ >This information may help you to understand if this is a duplicate or if this bug exists after you pushed a fix; >This ebuild was merged at the following commit: >https://github.com/gentoo-mirror/gentoo/commit/380b1cf3eb58ecefdc3da5df470dca1a2633bb95 (Sat Jan 13 10:50:13 UTC 2024) >@@@@@ 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=909454f4394a44ed4b725d0d2ad95ab3a468adc3 (Thu Jan 11 16:43:01 UTC 2024) >@@@@@ END @@@@@ > > > >################## ># emerge --info: # >################## >Portage 3.0.61 (python 3.11.7-final-0, default/linux/amd64/17.1, gcc-14, glibc-2.38-r9, 6.1.66-gentoo-dist x86_64) >================================================================= >System uname: Linux-6.1.66-gentoo-dist-x86_64-AMD_EPYC_7513_32-Core_Processor-with-glibc2.38 >KiB Mem: 263452516 total, 59452884 free >KiB Swap: 0 total, 0 free >Timestamp of repository gentoo: Sat, 13 Jan 2024 10:50:12 +0000 >sh bash 5.2_p21-r2 >ld GNU ld (Gentoo 2.41 p4) 2.41.0 >app-misc/pax-utils: 1.3.7::gentoo >app-shells/bash: 5.2_p21-r2::gentoo >dev-lang/perl: 5.38.2-r1::gentoo >dev-lang/python: 3.10.13::gentoo, 3.11.7::gentoo, 3.12.1_p1::gentoo >dev-lang/rust-bin: 1.74.1::gentoo >dev-util/cmake: 3.28.1-r1::gentoo >dev-util/meson: 1.3.1::gentoo >sys-apps/baselayout: 2.14-r1::gentoo >sys-apps/openrc: 0.53::gentoo >sys-apps/sandbox: 2.38::gentoo >sys-devel/autoconf: 2.72-r1::gentoo >sys-devel/automake: 1.16.5-r1::gentoo >sys-devel/binutils: 2.41-r4::gentoo >sys-devel/binutils-config: 5.5::gentoo >sys-devel/gcc: 14.0.0_pre20240107::gentoo >sys-devel/gcc-config: 2.11::gentoo >sys-devel/libtool: 2.4.7-r2::gentoo >sys-devel/make: 4.4.1-r1::gentoo >sys-kernel/linux-headers: 6.6::gentoo (virtual/os-headers) >sys-libs/glibc: 2.38-r9::gentoo >Repositories: > >gentoo > location: /usr/portage > sync-type: rsync > sync-uri: rsync://rsync.gentoo.org/gentoo-portage > priority: -1000 > volatile: True > sync-rsync-verify-jobs: 1 > sync-rsync-verify-max-age: 3 > sync-rsync-extra-opts: > sync-rsync-verify-metamanifest: yes > >guru > location: /opt/guru > masters: gentoo > priority: 0 > volatile: True > >ACCEPT_KEYWORDS="amd64 ~amd64" >ACCEPT_LICENSE="* BSD LGPL-2 LGPL-2.1" >CBUILD="x86_64-pc-linux-gnu" >CFLAGS="-O2 -march=x86-64 -pipe -pipe -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 -march=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0" >DISTDIR="/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/distdir" >EMERGE_DEFAULT_OPTS="--with-bdeps=y -1 -k -b --backtrack=100" >ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GDK_PIXBUF_MODULE_FILE GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR XDG_STATE_HOME" >FCFLAGS="-O2 -march=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0" >FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs binpkg-multi-instance buildpkg buildpkg-live config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox pkgdir-index-trusted preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr" >FFLAGS="-O2 -march=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0" >GENTOO_MIRRORS="http://mirror.leaseweb.com/gentoo/ http://ftp.snt.utwente.nl/pub/os/linux/gentoo/ http://ftp.belnet.be/pub/rsync.gentoo.org/gentoo/ http://distfiles.gentoo.org" >LANG="C.UTF8" >LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0" >LEX="flex" >MAKEOPTS="-j60" >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 debug dri elogind fortran gdbm iconv ipv6 jumbo-build libtirpc multilib native-symlinks ncurses nls ocamlopt openmp pam pcre readline seccomp split-usr ssl test-rust unicode xattr zlib" ABI_X86="64" ELIBC="glibc" KERNEL="linux" >Unset: ADDR2LINE, AR, ARFLAGS, AS, ASFLAGS, CC, CCLD, CONFIG_SHELL, CPP, CPPFLAGS, CTARGET, CXX, CXXFILT, ELFEDIT, EXTRA_ECONF, F77FLAGS, FC, GCOV, GPROF, INSTALL_MASK, LC_ALL, LD, LFLAGS, LIBTOOL, LINGUAS, MAKE, MAKEFLAGS, NM, OBJCOPY, OBJDUMP, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS, PYTHONPATH, RANLIB, READELF, RUSTFLAGS, SIZE, STRINGS, STRIP, YACC, YFLAGS > > > > > >############################## ># emerge history (qlop -mv): # >############################## >2024-01-13T12:33:22 >>> dev-libs/vala-common-0.56.14 >2024-01-13T12:33:23 >>> sys-apps/lsb-release-3.3 >2024-01-13T12:33:24 >>> sys-libs/binutils-libs-2.41-r3 >2024-01-13T12:33:23 >>> app-eselect/eselect-rust-20210703 >2024-01-13T12:33:23 >>> media-libs/libjpeg-turbo-3.0.1 >2024-01-13T12:33:23 >>> dev-libs/libltdl-2.4.7-r1 >2024-01-13T12:33:24 >>> dev-lang/nasm-2.16.01-r1 >2024-01-13T12:33:24 >>> dev-libs/fribidi-1.0.13 >2024-01-13T12:33:24 >>> app-text/docbook-xml-dtd-4.3-r2 >2024-01-13T12:33:25 >>> dev-python/pygments-2.17.2 >2024-01-13T12:33:25 >>> x11-libs/libXft-2.3.8 >2024-01-13T12:33:30 >>> dev-lang/vala-0.56.14 >2024-01-13T12:33:34 >>> dev-lang/ocaml-4.14.1 >2024-01-13T12:33:36 >>> dev-lang/rust-bin-1.74.1 >2024-01-13T12:33:41 >>> media-libs/tiff-4.6.0 >2024-01-13T12:33:41 >>> media-libs/gd-2.3.3-r4 >2024-01-13T12:33:47 >>> dev-python/docutils-0.20.1-r1 >2024-01-13T12:33:49 >>> x11-libs/pango-1.51.0 >2024-01-13T12:33:57 >>> dev-ml/dune-3.10.0 >2024-01-13T12:34:00 >>> virtual/rust-1.74.1 >2024-01-13T12:34:06 >>> x11-libs/gdk-pixbuf-2.42.10-r1 >2024-01-13T12:33:57 >>> dev-ml/findlib-1.9.6-r1 >2024-01-13T12:34:12 >>> dev-ml/result-1.5 >2024-01-13T12:34:12 >>> dev-ml/sexplib0-0.16.0 >2024-01-13T12:34:11 >>> dev-ml/ppx_derivers-1.2.1 >2024-01-13T12:34:11 >>> dev-ml/ocaml-migrate-parsetree-2.4.0 >2024-01-13T12:34:15 >>> gnome-base/librsvg-2.57.0 >2024-01-13T12:34:12 >>> dev-ml/stdlib-shims-0.3.0 >2024-01-13T12:34:12 >>> dev-ml/ocaml-compiler-libs-0.12.4 >2024-01-13T12:34:21 >>> dev-ml/ocamlbuild-0.14.2 >2024-01-13T12:34:23 >>> dev-ml/csexp-1.5.2 >2024-01-13T12:34:31 >>> media-gfx/graphviz-9.0.0 >2024-01-13T12:34:21 >>> dev-ml/zarith-1.13 >2024-01-13T12:34:40 >>> dev-ml/dune-configurator-3.10.0 >2024-01-13T12:34:38 >>> dev-ml/cppo-1.6.9-r1 >2024-01-13T12:34:47 >>> dev-ml/graphics-5.1.2 >2024-01-13T12:34:35 >>> dev-ml/ppxlib-0.30.0-r1 >2024-01-13T12:34:50 >>> dev-ml/yojson-2.1.1 >2024-01-13T12:34:51 >>> dev-ml/ppx_tools-6.6 >2024-01-13T12:34:54 >>> dev-ml/ocamlgraph-2.0.0-r1 >2024-01-13T12:34:56 >>> dev-ml/ppx_import-1.10.0 >2024-01-13T12:35:01 >>> dev-ml/ppx_deriving-5.2.1-r2 > > > > >####################################### ># installed packages (qlist -ICvUSS): # >####################################### >acct-group/audio-0-r2:0 >acct-group/cdrom-0-r2:0 >acct-group/dialout-0-r2:0 >acct-group/disk-0-r2:0 >acct-group/floppy-0-r1:0 >acct-group/input-0-r2:0 >acct-group/kmem-0-r2:0 >acct-group/kvm-0-r2:0 >acct-group/lp-0-r2:0 >acct-group/man-0-r2:0 >acct-group/messagebus-0-r2:0 >acct-group/polkitd-0-r2:0 >acct-group/portage-0-r1:0 >acct-group/render-0-r2:0 >acct-group/root-0-r1:0 >acct-group/sgx-0-r1:0 >acct-group/sshd-0-r2:0 >acct-group/tape-0-r2:0 >acct-group/tty-0-r2:0 >acct-group/usb-0-r2:0 >acct-group/video-0-r2:0 >acct-user/man-1-r2:0 >acct-user/messagebus-0-r2:0 >acct-user/polkitd-0-r2:0 >acct-user/portage-0-r2:0 >acct-user/sshd-0-r2:0 >app-admin/eselect-1.4.27-r1:0 -doc -emacs -vim-syntax >app-admin/perl-cleaner-2.31:0 -pkgcore >app-alternatives/awk-4:0 -busybox gawk -mawk -nawk split-usr >app-alternatives/bc-0:0 -gh gnu >app-alternatives/bzip2-1:0 -lbzip2 -pbzip2 reference split-usr >app-alternatives/cpio-0:0 gnu -libarchive split-usr >app-alternatives/gzip-1:0 -pigz reference split-usr >app-alternatives/lex-0-r1:0 flex -reflex >app-alternatives/ninja-1:0 reference -samurai >app-alternatives/sh-0:0 bash -busybox -dash -ksh -lksh -mksh >app-alternatives/tar-0:0 gnu -libarchive split-usr >app-alternatives/yacc-1-r2:0 bison -byacc -reference >app-arch/bzip2-1.0.8-r4:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 split-usr -static -static-libs -verify-sig >app-arch/cpio-2.14:0 nls >app-arch/gzip-1.13:0 -pic -static -verify-sig >app-arch/libarchive-3.7.2:0/13 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 acl -blake2 bzip2 e2fsprogs -expat iconv -lz4 lzma -lzo -nettle -static-libs -verify-sig xattr -zstd >app-arch/tar-1.35:0 acl -minimal nls -selinux -verify-sig xattr >app-arch/unzip-6.0_p27-r1:0 bzip2 -natspec unicode >app-arch/xz-utils-5.4.5:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc extra-filters nls -pgo split-usr -static-libs -verify-sig >app-arch/zstd-1.5.5:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -lz4 lzma split-usr -static-libs -test zlib >app-crypt/gnupg-2.4.3-r1:0 bzip2 -doc -ldap nls readline -selinux smartcard ssl -test tofu -tools -tpm -usb -user-socket -verify-sig -wks-server >app-crypt/gpgme-1.23.2:1/11.6.15.2 -common-lisp cxx debug -python python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -qt5 -qt6 -static-libs -test -verify-sig >app-crypt/libb2-0.98.1-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -native-cflags openmp -static-libs >app-crypt/libmd-1.1.0:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >app-crypt/pinentry-1.2.1-r4:0 -X -caps -efl -emacs -gtk -keyring ncurses -qt5 -verify-sig -wayland >app-crypt/rhash-1.4.4-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 debug nls ssl -static-libs >app-editors/nano-7.2-r1:0 -debug -justify -magic -minimal ncurses nls spell -static unicode >app-eselect/eselect-fontconfig-20220403:0 >app-eselect/eselect-iptables-20220320:0 >app-eselect/eselect-lib-bin-symlink-0.1.1-r1:0 >app-eselect/eselect-pinentry-0.7.3:0 >app-eselect/eselect-rust-20210703:0 >app-i18n/man-pages-ja-20180315-r1:0 >app-i18n/man-pages-l10n-4.19.0:0 l10n_cs l10n_da l10n_de l10n_el l10n_es l10n_fi l10n_fr l10n_hu l10n_id l10n_it l10n_mk l10n_nb l10n_nl l10n_pl l10n_pt-BR l10n_ro l10n_ru l10n_sr l10n_sv l10n_uk l10n_vi >app-i18n/man-pages-zh_CN-1.6.4.0:0 >app-misc/ca-certificates-20230311.3.96.1:0 -cacert >app-misc/editor-wrapper-4-r1:0 >app-misc/mime-types-2.1.54:0 -nginx >app-misc/pax-utils-1.3.7:0 -caps -man -python -python_single_target_python3_10 python_single_target_python3_11 -seccomp -test >app-misc/tmux-3.3a-r1:0 debug -selinux -systemd -utempter -vim-syntax >app-portage/eix-0.36.7:0 debug -doc nls -sqlite >app-portage/elt-patches-20240109:0 >app-portage/gemato-20.5:0 gpg -pretty-log python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test -tools >app-portage/gentoolkit-0.6.3-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 >app-portage/getuto-1.9.1:0 -test >app-portage/portage-utils-0.96.1:0 openmp qmanifest qtegrity -static >app-shells/bash-5.2_p21-r2:0 -afs -bashlogger -examples -mem-scramble net nls -pgo -plugins readline -verify-sig >app-shells/bash-completion-2.11:0 eselect -test >app-shells/gentoo-bashcomp-20230313:0 >app-shells/push-3.4:0 >app-shells/quoter-4.2:0 >app-text/ansifilter-2.20:0 -gui -verify-sig >app-text/asciidoc-10.2.0:0 -python_single_target_pypy3 -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 >app-text/build-docbook-catalog-2.4:0 >app-text/docbook-xml-dtd-4.5-r2:4.5 >app-text/docbook-xml-dtd-4.4-r3:4.4 >app-text/docbook-xml-dtd-4.3-r2:4.3 >app-text/docbook-xml-dtd-4.2-r3:4.2 >app-text/docbook-xml-dtd-4.1.2-r7:4.1.2 >app-text/docbook-xsl-ns-stylesheets-1.79.1:0 -ruby >app-text/docbook-xsl-stylesheets-1.79.1-r4:0 -ruby >app-text/manpager-1:0 >app-text/opensp-1.5.2-r10:0 -doc nls -static-libs -test >app-text/po4a-0.69:0 -test -test >app-text/sgml-common-0.6.3-r7:0 >app-text/xmlto-0.0.28-r11:0 -latex text >dev-db/sqlite-3.44.2-r2:3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 debug -doc -icu readline -secure-delete -static-libs -tcl -test -tools >dev-lang/duktape-2.7.0-r3:0/2.7.0 >dev-lang/nasm-2.16.01-r1:0 -doc >dev-lang/ocaml-4.14.1:0/4.14.1 -emacs -flambda -latex ocamlopt -xemacs >dev-lang/perl-5.38.2-r1:0/5.38 -berkdb debug -doc gdbm ithreads -minimal -quadmath >dev-lang/python-3.12.1_p1:3.12 -bluetooth -build debug ensurepip -examples gdbm -libedit ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig >dev-lang/python-3.11.7:3.11 -bluetooth -build debug ensurepip -examples gdbm -libedit ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig >dev-lang/python-3.10.13:3.10 -bluetooth -build debug ensurepip -examples gdbm -libedit ncurses -pgo readline sqlite ssl -test -tk -valgrind -verify-sig xml >dev-lang/python-exec-2.4.10:2 native-symlinks python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 python_targets_python3_12 -test >dev-lang/python-exec-conf-2.4.6:2 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 >dev-lang/rust-bin-1.74.1:stable -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -big-endian -clippy cpu_flags_x86_sse2 -doc -prefix -rust-analyzer -rust-src -rustfmt -verify-sig >dev-lang/tcl-8.6.13-r1:0/8.6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 debug threads >dev-lang/vala-0.56.14:0.56 -test -valadoc >dev-libs/boehm-gc-8.2.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 -cxx large -static-libs threads >dev-libs/elfutils-0.190:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 bzip2 -debuginfod -lzma nls -static-libs -test utils -verify-sig -zstd >dev-libs/expat-2.5.0:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -examples -static-libs -test unicode >dev-libs/fribidi-1.0.13: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.78.3:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -dbus debug elf -gtk-doc mime -selinux -static-libs -sysprof -systemtap -test -utils xattr >dev-libs/gmp-6.3.0-r1:0/10.4 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 asm cpudetection cxx -doc -pic -static-libs >dev-libs/gobject-introspection-1.78.1:0 -doctool -gtk-doc -python_single_target_python3_10 python_single_target_python3_11 -test >dev-libs/gobject-introspection-common-1.78.1:0 >dev-libs/isl-0.26: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.6:0 -verify-sig >dev-libs/libatomic_ops-7.8.2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 abi_x86_64 -abi_x86_x32 >dev-libs/libbsd-0.11.7-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 -verify-sig >dev-libs/libevent-2.1.12-r1:0/2.1-7 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 clock-gettime debug -malloc-replacement ssl -static-libs -test -verbose-debug -verify-sig >dev-libs/libffi-3.4.4-r4: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.3-r1:0/20 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 asm -cpu_flags_arm_aes -cpu_flags_arm_neon -cpu_flags_arm_sha1 -cpu_flags_arm_sha2 -cpu_flags_ppc_altivec -cpu_flags_ppc_vsx2 -cpu_flags_ppc_vsx3 cpu_flags_x86_aes cpu_flags_x86_avx cpu_flags_x86_avx2 -cpu_flags_x86_padlock -cpu_flags_x86_sha cpu_flags_x86_sse4_1 -doc getentropy -static-libs -verify-sig >dev-libs/libgpg-error-1.47-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -common-lisp nls -static-libs -test -verify-sig >dev-libs/libksba-1.6.5:0 -static-libs -verify-sig >dev-libs/libltdl-2.4.7-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 >dev-libs/libpcre2-10.42-r1:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 bzip2 jit -libedit pcre16 pcre32 readline split-usr -static-libs unicode -valgrind -verify-sig zlib >dev-libs/libpipeline-1.5.7:0 -test >dev-libs/libtasn1-4.19.0:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs -test -verify-sig >dev-libs/libunistring-1.1-r1:0/5 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc -static-libs >dev-libs/libuv-1.47.0-r1:0/1 >dev-libs/libxml2-2.11.6:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -debug -examples ftp -icu -lzma python python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 readline -static-libs -test >dev-libs/libxslt-1.1.39:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 crypt debug -examples -python python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -static-libs >dev-libs/lzo-2.10:2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -examples split-usr -static-libs >dev-libs/mpc-1.3.1:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs >dev-libs/mpfr-4.2.1:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs -verify-sig >dev-libs/nettle-3.9.1:0/8-6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 asm -cpu_flags_arm_aes -cpu_flags_arm_neon -cpu_flags_arm_sha1 -cpu_flags_arm_sha2 -cpu_flags_ppc_altivec -cpu_flags_ppc_vsx2 -cpu_flags_ppc_vsx3 cpu_flags_x86_aes cpu_flags_x86_pclmul -cpu_flags_x86_sha -doc gmp -static-libs -verify-sig >dev-libs/npth-1.6-r2:0 -test >dev-libs/openssl-3.1.4:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 asm cpu_flags_x86_sse2 -fips -ktls -rfc3779 -sctp -static-libs -test -tls-compression -vanilla -verify-sig -verify-sig -weak-ssl-ciphers >dev-libs/popt-1.19-r1:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 nls -static-libs >dev-libs/vala-common-0.56.14:0 >dev-ml/cppo-1.6.9-r1:0/1.6.9 ocamlopt >dev-ml/csexp-1.5.2:0/1.5.2 ocamlopt -test >dev-ml/dune-3.10.0:0/3.10.0 -emacs >dev-ml/dune-configurator-3.10.0:0/3.10.0 ocamlopt >dev-ml/findlib-1.9.6-r1:0 -doc ocamlopt -tk >dev-ml/graphics-5.1.2:0 ocamlopt >dev-ml/ocaml-compiler-libs-0.12.4:0/0.12.4 ocamlopt >dev-ml/ocaml-migrate-parsetree-2.4.0:0/2.4.0 ocamlopt -test >dev-ml/ocamlbuild-0.14.2:0/0.14.2 ocamlopt >dev-ml/ocamlgraph-2.0.0-r1:0/2.0.0 ocamlopt >dev-ml/ppx_derivers-1.2.1:0/1.2.1 ocamlopt >dev-ml/ppx_deriving-5.2.1-r2:0/5.2.1 ocamlopt -test >dev-ml/ppx_import-1.10.0:0/1.10.0 ocamlopt -test >dev-ml/ppx_tools-6.6:0/6.6 ocamlopt >dev-ml/ppxlib-0.30.0-r1:0/0.30.0 ocamlopt -test >dev-ml/result-1.5:0/1.5 ocamlopt >dev-ml/sexplib0-0.16.0:0/0.16.0 ocamlopt >dev-ml/stdlib-shims-0.3.0:0 ocamlopt >dev-ml/yojson-2.1.1:0/2.1.1 -examples ocamlopt -test >dev-ml/zarith-1.13:0/1.13 -doc -mpir ocamlopt -ocamlopt >dev-perl/Encode-EUCJPASCII-0.30.0-r1:0 -test >dev-perl/Encode-HanExtra-0.230.0-r3:0 >dev-perl/Encode-Locale-1.50.0-r1:0 -test >dev-perl/ExtUtils-CChecker-0.110.0:0 -test >dev-perl/File-BaseDir-0.90.0:0 -test >dev-perl/File-DesktopEntry-0.220.0-r1:0 -test >dev-perl/File-MimeInfo-0.330.0:0 -test >dev-perl/IO-Socket-SSL-2.83.0:0 -examples -idn -test >dev-perl/IPC-System-Simple-1.300.0:0 -test >dev-perl/Locale-gettext-1.70.0-r1:0 -test >dev-perl/MIME-Charset-1.13.1:0 l10n_ja l10n_zh -test >dev-perl/Module-Build-0.423.400:0 -test >dev-perl/Mozilla-CA-20999999-r1:0 -test >dev-perl/Net-SSLeay-1.920.0-r1:0 -examples -examples -minimal -test >dev-perl/Pod-Parser-1.660.0:0 -test >dev-perl/Regexp-IPv6-0.30.0-r2:0 -test >dev-perl/SGMLSpm-1.1-r2:0 -test >dev-perl/Syntax-Keyword-Try-0.280.0:0 -test >dev-perl/TermReadKey-2.380.0-r1:0 -examples -test >dev-perl/Text-CharWidth-0.40.0-r2:0 -test >dev-perl/Text-WrapI18N-0.60.0-r2:0 -test >dev-perl/Unicode-LineBreak-2019.1.0:0 >dev-perl/URI-5.210.0:0 -test >dev-perl/XS-Parse-Keyword-0.380.0:0 -test >dev-perl/YAML-Tiny-1.740.0:0 -minimal -test >dev-python/certifi-3021.3.16-r4:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/charset-normalizer-3.3.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/cython-3.0.8:0 debug -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/docutils-0.20.1-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 >dev-python/editables-0.5:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/ensurepip-pip-23.3.2:0 >dev-python/ensurepip-setuptools-69.0.3:0 >dev-python/ensurepip-wheels-100:0 >dev-python/flit-core-3.9.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/gentoo-common-1:0 >dev-python/gpep517-15:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/hatchling-1.21.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/idna-3.6:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/installer-0.7.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/jaraco-context-4.3.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/jaraco-functools-4.0.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/jaraco-text-3.12.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/jinja-3.1.3:0 -doc -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/lxml-5.1.0:0 debug -doc -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test threads >dev-python/markupsafe-2.1.3:0 debug python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/more-itertools-10.2.0:0 -doc python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/nspektr-0.5.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/ordered-set-4.1.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/packaging-23.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/pathspec-0.12.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/platformdirs-4.1.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/pluggy-1.3.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/pygments-2.17.2:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/pyparsing-3.1.1:0 -examples python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/pypy-7.3.14:0/73 bzip2 -full-stdlib gdbm jit ncurses -sqlite -tk >dev-python/pypy-exe-bin-7.3.14:7.3.14 >dev-python/pypy3-7.3.14_p2:0/pypy310-pp73-384 gdbm ncurses sqlite -tk >dev-python/pypy3_10-7.3.14_p2:0/pypy310-pp73-384 ensurepip gdbm jit ncurses sqlite -tk >dev-python/pypy3_10-exe-7.3.14_p1:7.3.14 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_12 >dev-python/requests-2.31.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -socks5 -test test-rust >dev-python/setuptools-69.0.3:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/setuptools-scm-8.0.4:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/tomli-2.0.1-r1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/trove-classifiers-2024.1.8:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/typing-extensions-4.9.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-python/urllib3-2.1.0:0 -brotli python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test -zstd >dev-python/wheel-0.42.0:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test >dev-util/checkbashisms-2.23.5:0 >dev-util/cmake-3.28.1-r1:0 -dap -doc -gui ncurses -qt6 -test -test -verify-sig >dev-util/desktop-file-utils-0.27-r1:0 >dev-util/glib-utils-2.78.3:0 -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 >dev-util/gperf-3.1-r2:0 >dev-util/gtk-doc-am-1.33.2:0 >dev-util/meson-1.3.1:0 python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 -test -verify-sig >dev-util/meson-format-array-0:0 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 >dev-util/ninja-1.11.1-r4:0 -doc -test >dev-util/pkgconf-2.1.0:0/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 -test >dev-util/re2c-2.2:0 debug -test >dev-vcs/git-2.43.0:0 blksha1 -cgi curl -cvs -doc gpg -highlight iconv -keyring -mediawiki nls pcre -perforce -perl -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 safe-directory -selinux -subversion -test -tk webdav -xinetd >gnome-base/librsvg-2.57.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 debug -gtk-doc introspection vala >media-fonts/liberation-fonts-2.1.5:0 -X -X -fontforge >media-gfx/graphite2-1.3.14_p20210810-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -perl -test >media-gfx/graphviz-9.0.0:0 -X cairo -devil -doc -examples -gtk2 -gts -guile -lasi nls -pdf -perl -postscript -python -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 -qt5 -ruby svg -tcl -webp >media-libs/fontconfig-2.15.0:1.0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc nls -test >media-libs/freetype-2.13.2:2 -X -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 adobe-cff -brotli bzip2 cleartype-hinting debug -doc -fontforge harfbuzz png -static-libs -svg -utils >media-libs/gd-2.3.3-r4: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-8.3.0:0/6.0.0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 cairo debug -doc -experimental glib graphite -icu introspection -test truetype >media-libs/libjpeg-turbo-3.0.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 -cpu_flags_arm_neon -java -java -static-libs >media-libs/libpng-1.6.40-r1:0/16 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -apng -cpu_flags_arm_neon cpu_flags_x86_sse -static-libs >media-libs/tiff-4.6.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 cxx -jbig jpeg -lzma -static-libs -test -verify-sig -webp zlib -zstd >net-dns/c-ares-1.25.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 -static-libs -test -verify-sig >net-dns/libidn2-2.3.4-r2:0/2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 nls -static-libs -verify-sig >net-firewall/iptables-1.8.10:0/1.8.3 -conntrack -netlink -nftables -pcap split-usr -static-libs >net-libs/gnutls-3.8.2:0/30.30 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -brotli cxx -dane -doc -examples idn nls openssl -pkcs11 seccomp -sslv2 -sslv3 -static-libs -test -test-full tls-heartbeat -tools -verify-sig zlib -zstd >net-libs/libmnl-1.0.5:0/0.2.0 -examples -verify-sig >net-libs/libnsl-2.0.1:0/3 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs >net-libs/libtirpc-1.3.4-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 -kerberos split-usr -static-libs >net-libs/nghttp2-1.58.0:0/1.14 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 debug -hpack-tools -jemalloc -static-libs -systemd -test -utils -xml >net-misc/curl-8.5.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 adns alt-svc -brotli -curl_ssl_gnutls -curl_ssl_mbedtls curl_ssl_openssl -curl_ssl_rustls ftp -gnutls -gopher hsts http2 -idn imap -kerberos -ldap -mbedtls -nghttp3 openssl pop3 progress-meter -rtmp -rustls -samba smtp -ssh ssl -sslv3 -static-libs -telnet -test tftp -verify-sig -websockets -zstd >net-misc/dhcpcd-10.0.6-r1:0 debug embedded ipv6 -privsep udev >net-misc/iputils-20231222:0 arping -caps -clockdiff -doc filecaps -idn nls -test -tracepath >net-misc/netifrc-0.7.8:0 dhcp >net-misc/openssh-9.6_p1-r1:0 -X -abi_mips_n32 -audit -debug -kerberos -ldns -libedit -livecd pam -pie -security-key -selinux ssl -static -test -verify-sig -xmss >net-misc/rsync-3.2.7-r4:0 acl -examples iconv -lz4 -python_single_target_python3_10 python_single_target_python3_11 -rrsync ssl -stunnel -system-zlib -verify-sig xattr -xxhash -zstd >net-misc/wget-1.21.4:0 -cookie-check debug -gnutls -idn ipv6 -metalink nls -ntlm pcre ssl -static -test -uuid -verify-sig zlib >perl-core/File-Temp-0.231.100:0 >perl-core/Math-BigInt-1.999.842:0 -examples -test >sec-keys/openpgp-keys-gentoo-release-20230329:0 -test >sys-apps/acl-2.3.1-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 nls split-usr -static-libs >sys-apps/attr-2.5.1-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 debug nls split-usr -static-libs >sys-apps/baselayout-2.14-r1:0 -build split-usr >sys-apps/coreutils-9.4:0 acl -caps -gmp -hostname -kill -multicall nls openssl -selinux split-usr -static -test -vanilla -verify-sig xattr >sys-apps/dbus-1.15.8:0 -X -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 debug -doc elogind -selinux -static-libs -systemd -test -test -valgrind >sys-apps/debianutils-5.14:0 installkernel -static >sys-apps/diffutils-3.10:0 nls -verify-sig >sys-apps/file-5.45-r3:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 bzip2 -lzip -lzma -python python_targets_python3_10 python_targets_python3_11 -seccomp -static-libs -verify-sig zlib -zstd >sys-apps/findutils-4.9.0-r2:0 nls -selinux -static -test -verify-sig >sys-apps/gawk-5.3.0:0 -mpfr nls -pma readline -verify-sig >sys-apps/gentoo-functions-0.19:0 >sys-apps/grep-3.11:0 egrep-fgrep nls pcre -static -verify-sig >sys-apps/groff-1.23.0:0 -X -examples -uchardet >sys-apps/help2man-1.49.3:0 nls >sys-apps/install-xattr-0.8-r1:0 >sys-apps/iproute2-6.6.0-r3:0 -atm -berkdb -bpf -caps -elf iptables -minimal -nfs -selinux >sys-apps/kbd-2.6.4:0 nls pam -selinux -test >sys-apps/kmod-31:0 debug -doc lzma -pkcs7 -python python_targets_python3_10 python_targets_python3_11 -static-libs tools zlib zstd >sys-apps/less-643-r1:0 pcre -test >sys-apps/locale-gen-2.23-r1:0 >sys-apps/lsb-release-3.3:0 >sys-apps/man-db-2.12.0:0 manpager nls seccomp -selinux -static-libs zlib >sys-apps/man-pages-6.05.01:0 l10n_cs l10n_da l10n_de l10n_el l10n_es l10n_fi l10n_fr l10n_hu l10n_id l10n_it l10n_ja l10n_mk l10n_nb l10n_nl l10n_pl l10n_pt-BR l10n_ro l10n_ru l10n_sr l10n_sv l10n_uk l10n_vi l10n_zh-CN >sys-apps/miscfiles-1.5-r4:0 -minimal >sys-apps/net-tools-2.10:0 arp hostname ipv6 -nis nls -plipconfig -selinux -slattach -static >sys-apps/openrc-0.53:0 -audit -bash debug ncurses netifrc -newnet pam -s6 -selinux -sysv-utils sysvinit unicode >sys-apps/portage-3.0.61-r1:0 -apidoc -build -doc -gentoo-dev ipc native-extensions python_targets_pypy3 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 rsync-verify -selinux -test xattr >sys-apps/sandbox-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 nnp >sys-apps/sed-4.9:0 acl nls -selinux -static -verify-sig >sys-apps/shadow-4.14.2:0/4 acl -audit -cracklib nls pam -selinux -skey split-usr -su -systemd -verify-sig xattr >sys-apps/systemd-utils-254.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 acl -boot -kernel-install kmod -python_single_target_python3_10 python_single_target_python3_11 -python_single_target_python3_12 -secureboot -selinux split-usr -split-usr -sysusers -test tmpfiles udev -ukify >sys-apps/sysvinit-3.08:0 -ibm nls -selinux -static -verify-sig >sys-apps/texinfo-7.1-r1:0 nls standalone -static >sys-apps/util-linux-2.39.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 -audit -build -caps cramfs -cryptsetup -fdformat hardlink -kill logger -magic ncurses nls pam -python python_targets_python3_10 python_targets_python3_11 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-252.9: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.3-r1:0 >sys-auth/polkit-123:0 daemon duktape -examples -gtk introspection -kde pam -selinux -systemd -test >sys-devel/autoconf-2.72-r1:2.72 -emacs -verify-sig >sys-devel/autoconf-archive-2023.02.20:0 >sys-devel/autoconf-wrapper-20231224:0 >sys-devel/automake-1.16.5-r1:1.16 -test >sys-devel/automake-wrapper-20221207:0 >sys-devel/bc-1.07.1-r6:0 -libedit readline -static >sys-devel/binutils-2.41-r4:2.41 -cet -debuginfod -doc -gold -gprofng -hardened -multitarget nls -pgo plugins -static-libs -test -vanilla -zstd >sys-devel/binutils-config-5.5:0 native-symlinks >sys-devel/bison-3.8.2-r2:0 -examples nls -static -test -verify-sig >sys-devel/flex-2.6.4-r6:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 nls -static -test >sys-devel/gcc-14.0.0_pre20240107:14 -ada -cet -custom-cflags cxx -d -debug -default-stack-clash-protection -default-znow -doc -fixed-point fortran -go graphite -hardened -ieee-long-double -jit -libssp lto -modula2 multilib nls -objc -objc++ -objc-gc openmp -pch -pgo pie -rust sanitize ssp -systemtap -test -valgrind -vanilla -vtv -zstd >sys-devel/gcc-config-2.11:0 cc-wrappers native-symlinks >sys-devel/gettext-0.22.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 acl cxx -doc -emacs -git -java -java ncurses nls openmp -static-libs -verify-sig xattr >sys-devel/gnuconfig-20230731:0 >sys-devel/libtool-2.4.7-r2:2 -vanilla >sys-devel/m4-1.4.19-r2:0 -examples nls -verify-sig >sys-devel/make-4.4.1-r1:0 -guile nls -static -verify-sig >sys-devel/patch-2.7.6-r5:0 -static -test -verify-sig xattr >sys-fs/e2fsprogs-1.47.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 -cron -fuse nls split-usr -static-libs -test tools >sys-fs/udev-init-scripts-35:0 >sys-kernel/dracut-060_pre20231030-r2:0 -selinux -test >sys-kernel/gentoo-kernel-bin-6.1.72:6.1.72 initramfs -test >sys-kernel/installkernel-15:0 dracut -grub -systemd -uki -ukify >sys-kernel/linux-headers-6.6:0 -headers-only >sys-libs/binutils-libs-2.41-r3:0/2.41.0 -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 -test >sys-libs/gdbm-1.23:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 berkdb nls readline -static-libs -test -verify-sig >sys-libs/glibc-2.38-r9:2.2 -audit -caps -cet -compile-locales -crypt -custom-cflags -doc -gd -hash-sysv-compat -headers-only multiarch multilib -multilib-bootstrap -nscd -perl -profile -selinux ssp stack-realign static-libs -suid -systemd -systemtap -test -vanilla >sys-libs/libcap-2.69: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.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 -experimental-loong -python python_targets_python3_10 python_targets_python3_11 -static-libs -test >sys-libs/libxcrypt-4.4.36-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 -headers-only split-usr -static-libs system -test >sys-libs/ncurses-6.4_p20230401:0/6 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -ada cxx debug -doc -gpm -minimal -profile split-usr -split-usr stack-realign -static-libs -test tinfo -trace -verify-sig >sys-libs/pam-1.5.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 -audit -berkdb -debug filecaps -nis -selinux split-usr >sys-libs/readline-8.2_p7: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-2023d:0 -leaps-timezone nls -zic-slim >sys-libs/zlib-1.3-r3:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 minizip split-usr -static-libs -verify-sig >sys-process/procps-4.0.4:0/0-ng -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 elogind kill -modern-top ncurses nls -selinux split-usr -static-libs -systemd -test unicode >sys-process/psmisc-23.6:0 -X -apparmor nls -selinux -test >virtual/acl-0-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs >virtual/dev-manager-0-r2:0 >virtual/dist-kernel-6.1.72:0/6.1.72 >virtual/editor-0-r7:0 >virtual/libc-1-r1:0 >virtual/libcrypt-2-r1:0/2 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 abi_x86_32 abi_x86_64 -abi_x86_x32 -static-libs >virtual/libelf-3-r1:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >virtual/libiconv-0-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >virtual/libintl-0-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >virtual/libudev-251-r2:0/1 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -systemd >virtual/man-0-r4:0 >virtual/openssh-0:0 ssl >virtual/os-headers-0-r2:0 >virtual/package-manager-1:0 >virtual/pager-0-r1:0 >virtual/perl-bignum-0.660.0:0 >virtual/perl-Carp-1.540.0:0 >virtual/perl-CPAN-2.360.0:0 >virtual/perl-CPAN-Meta-2.150.10-r7:0 >virtual/perl-CPAN-Meta-YAML-0.18.0-r9:0 >virtual/perl-Data-Dumper-2.188.0:0 >virtual/perl-Encode-3.190.0:0 >virtual/perl-Exporter-5.770.0-r1:0 >virtual/perl-ExtUtils-CBuilder-0.280.238:0 >virtual/perl-ExtUtils-Install-2.220.0:0 >virtual/perl-ExtUtils-MakeMaker-7.700.0:0 >virtual/perl-ExtUtils-Manifest-1.730.0-r2:0 >virtual/perl-ExtUtils-ParseXS-3.510.0:0 >virtual/perl-File-Path-2.180.0-r2:0 >virtual/perl-File-Spec-3.880.0:0 >virtual/perl-File-Temp-0.231.100:0 >virtual/perl-Getopt-Long-2.540.0:0 >virtual/perl-JSON-PP-4.160.0-r1:0 >virtual/perl-libnet-3.150.0:0 ssl >virtual/perl-Math-BigInt-1.999.842:0 >virtual/perl-Math-BigInt-FastCalc-0.501.300:0 >virtual/perl-Math-BigRat-0.262.400:0 >virtual/perl-Math-Complex-1.620.0:0 >virtual/perl-MIME-Base64-3.160.100_rc:0 >virtual/perl-Module-Metadata-1.0.37-r3:0 >virtual/perl-parent-0.241.0:0 >virtual/perl-Parse-CPAN-Meta-2.150.10-r7:0 >virtual/perl-Perl-OSType-1.10.0-r7:0 >virtual/perl-podlators-5.10.0:0 >virtual/perl-Scalar-List-Utils-1.630.0:0 >virtual/perl-Test-Harness-3.440.0-r1:0 >virtual/perl-Text-ParseWords-3.310.0-r1:0 >virtual/perl-Unicode-Collate-1.310.0-r1:0 >virtual/perl-version-0.992.900-r1:0 >virtual/pkgconfig-2-r1:0 >virtual/rust-1.74.1:0/llvm-17 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -rustfmt >virtual/service-manager-1-r1:0 >virtual/ssh-0-r2:0 -minimal >virtual/tmpfiles-0-r5:0 -systemd >virtual/ttf-fonts-1-r2:0 >virtual/udev-217-r7:0 -systemd >virtual/w3m-1:0 >www-client/pybugz-0.13-r2:0 python_targets_python3_10 python_targets_python3_11 >www-client/w3m-0.5.3_p20230121:0 -X -fbcon -gdk-pixbuf -gpm -imlib l10n_ja -lynxkeymap nls -nntp ssl unicode -xface >x11-apps/xprop-1.2.6:0 >x11-apps/xset-1.2.5:0 >x11-base/xcb-proto-1.16.0:0 python_targets_python3_10 python_targets_python3_11 -python_targets_python3_12 >x11-base/xorg-proto-2023.2:0 -test >x11-libs/cairo-1.18.0:0 X -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -aqua -debug glib -gtk-doc -test >x11-libs/gdk-pixbuf-2.42.10-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 -gtk-doc introspection jpeg -test tiff >x11-libs/libICE-1.1.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 >x11-libs/libSM-1.2.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 uuid >x11-libs/libX11-1.8.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 -doc -test >x11-libs/libXau-1.0.11:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc >x11-libs/libxcb-1.16-r1:0/1.12 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc -doc -selinux -test xkb >x11-libs/libXdmcp-1.1.4-r2:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc >x11-libs/libXext-1.3.5:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc >x11-libs/libXft-2.3.8:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc >x11-libs/libXmu-1.1.4:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc >x11-libs/libXrender-0.9.11:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 >x11-libs/libXt-1.3.0:0 -abi_mips_n32 -abi_mips_n64 -abi_mips_o32 -abi_s390_32 -abi_s390_64 -abi_x86_32 abi_x86_64 -abi_x86_x32 -doc -test >x11-libs/pango-1.51.0: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 -test >x11-libs/pixman-0.43.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.5.0:0 -doc >x11-misc/compose-tables-1.8.7:0 >x11-misc/shared-mime-info-2.4:0 -test >x11-misc/util-macros-1.20.0:0 >x11-misc/xdg-utils-1.2.0_beta1_p20231203:0 -dbus -doc -gnome > > >############# ># build.log # >############# > > >>>> Unpacking source... >>>> Unpacking frama-c-25.0-Manganese.tar.gz to /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese ... > * Running eautoreconf in '/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese' ... > * Running 'aclocal --system-acdir=/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/temp/aclocal' ... > [ ok ] > * Running 'autoconf --force' ... > [ ok ] > * Running 'autoheader' ... > [ !! ] > * Running elibtoolize in: frama-c-25.0-Manganese/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/aorai/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/dive/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/e-acsl/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/instantiate/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/loop_analysis/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/markdown-report/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/nonterm/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/obfuscator/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/report/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/security_slicing/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/server/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/studia/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/variadic/ > * Running elibtoolize in: frama-c-25.0-Manganese/src/plugins/wp/ >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese ... > * econf: updating frama-c-25.0-Manganese/config.sub with /usr/share/gnuconfig/config.sub > * econf: updating frama-c-25.0-Manganese/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-25.0-r2 --htmldir=/usr/share/doc/frama-c-25.0-r2/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.4 >configure: ***************************** >configure: * CONFIGURE OCAML COMPILERS * >configure: ***************************** >checking for ocamlc... ocamlc >checking version of OCaml... 4.14.1 >checking OCaml library path... /usr/lib64/ocaml >checking for ocamlopt... ocamlopt >checking ocamlopt version and standard library... ok >native dynlink works fine. Great. >checking for ocamlfind... ocamlfind >configure: Distribution mode: all warnings are deactivated >configure: ******************************************* >configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * >configure: ******************************************* >checking for ocamldep... ocamldep >checking for ocamllex... ocamllex >checking for ocamllex.opt... ocamllex.opt >checking for ocamlyacc... ocamlyacc >checking for ocamlcp... ocamlcp >checking for ocamlgraph... found >checking for zarith... found 1.13 >checking for Yojson... found [unspecified] >checking for ppx_import... found [unspecified] >checking for ppx_deriving.eq... found 5.2.1 >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.7... 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/reduc... yes >reduc... 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... found. >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_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: reduc: 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-25.0-r2/work/frama-c-25.0-Manganese ... >make -j60 VERBOSEMAKE=yes >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Metrics/g" share/Makefile.plugin.template > src/plugins/metrics/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Callgraph/g" share/Makefile.plugin.template > src/plugins/callgraph/.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@/Reduc/g" share/Makefile.plugin.template > src/plugins/reduc/.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@/RteGen/g" share/Makefile.plugin.template > src/plugins/rte/.Makefile.plugin.generated >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@/Users/g" share/Makefile.plugin.template > src/plugins/users/.Makefile.plugin.generated >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@/Postdominators/g" share/Makefile.plugin.template > src/plugins/postdominators/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Inout/g" share/Makefile.plugin.template > src/plugins/inout/.Makefile.plugin.generated >LC_ALL=C sed -e "s/@PLUGIN_NAME@/Impact/g" share/Makefile.plugin.template > src/plugins/impact/.Makefile.plugin.generated >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@/Scope/g" share/Makefile.plugin.template > src/plugins/scope/.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@/Slicing/g" share/Makefile.plugin.template > src/plugins/slicing/.Makefile.plugin.generated >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 >ocamllex.opt src/kernel_internals/parsing/clexer.mll >rm -f src/kernel_internals/parsing/logic_parser.ml src/kernel_internals/parsing/logic_parser.mli >install src/plugins/gui/GSourceView2.ml.in src/plugins/gui/GSourceView.ml >ocamlyacc -v src/kernel_internals/parsing/cparser.mly >rm -f src/kernel_internals/parsing/logic_preprocess.ml >ocamllex.opt src/kernel_internals/parsing/logic_lexer.mll >install src/plugins/gui/GSourceView2.mli.in src/plugins/gui/GSourceView.mli >ocamlyacc -v src/kernel_internals/parsing/logic_parser.mly >install src/plugins/gui/dgraph_helper.no.ml src/plugins/gui/dgraph_helper.ml >ocamllex.opt src/kernel_internals/parsing/logic_preprocess.mll >install src/plugins/gui/gtk_compat.2.ml src/plugins/gui/gtk_compat.ml >140 states, 794 transitions, table size 4016 bytes >2151 additional bytes used for bindings >156 states, 1840 transitions, table size 8296 bytes >1981 additional bytes used for bindings >chmod a-w src/plugins/gui/GSourceView.ml >chmod a-w src/kernel_internals/parsing/logic_lexer.ml >chmod a-w src/plugins/gui/GSourceView.mli >chmod a-w src/plugins/gui/dgraph_helper.ml >chmod a-w src/kernel_internals/parsing/logic_preprocess.ml >chmod a-w src/plugins/gui/gtk_compat.ml >LC_ALL=C sed \ > -e "s|@VERSION@|25.0|" \ > -e "s|@VERSION_CODENAME@|Manganese|" \ > -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-25.0-r2/work/frama-c-25.0-Manganese|" \ > -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\"; \"parse_env\"; \"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\"; \"ast_diff\"; \"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\"; \"lattice_bounds\"; \"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\"; \"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\"; \"yojson\"; \"bigarray\"; \"ppx_import\"; \"result\"; \"ppx_deriving.runtime\"; \"ppx_deriving\"; \"ppx_deriving.eq\";|" \ > -e "s|@OPTDOT@|Some \"dot\"|" \ > -e "s|@EXE@||" \ > -e "s|@MAJOR_VERSION@|25|" \ > -e "s|@MINOR_VERSION@|0|" \ > src/kernel_internals/runtime/fc_config.ml.in > src/kernel_internals/runtime/fc_config.ml.tmp >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 >mkdir -p lib/fc/ >rm -f src/libraries/utils/json.ml >rm -f src/libraries/stdlib/transitioning.ml >chmod a-w src/kernel_internals/parsing/clexer.ml >LC_ALL=C sed "s/@REQUIRES/findlib ocamlgraph unix str dynlink bytes zarith yojson bigarray ppx_import ppx_deriving.eq/" 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 >36 states, 360 transitions, table size 1656 bytes >chmod a-w src/libraries/utils/json.ml >chmod a-w src/libraries/stdlib/transitioning.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 >Generating src/kernel_internals/runtime/fc_config.ml >chmod a-w share/Makefile.dynamic_config >chmod a-w src/kernel_internals/parsing/logic_parser.ml src/kernel_internals/parsing/logic_parser.mli >rm -f src/kernel_internals/runtime/fc_config.ml.tmp >chmod a-w src/kernel_internals/runtime/fc_config.ml >MAKEFLAGS=" -j60 -- VERBOSEMAKE=yes" make depend >make[1]: Entering directory '/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese' >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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/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-25.0-r2/work/frama-c-25.0-Manganese/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/orphan_emitter.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_diff_1.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/func_locs.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-25.0-r2/work/frama-c-25.0-Manganese' >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/stdlib/integer.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/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 -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/runtime/boot.mli >x86_64-pc-linux-gnu-gcc -fPIC -c -I/usr/lib64/ocaml -O2 -march=x86-64 -pipe -pipe -frecord-gcc-switches -fno-diagnostics-color -fmessage-length=0 -Wall -o src/libraries/utils/c_bindings.o src/libraries/utils/c_bindings.c >rm -f ptests/ptests_config.ml >rm -f tests/spec/preprocess_dos.c >rm -f tests/ptests_config >touch ptests/ptests_config.ml >LC_ALL=C sed -e "s|@UNIX2DOS@|unix2dos|g" \ > -e "s|@DONTRUN@|DONTRUN: no unix2dos found|g" \ > tests/spec/preprocess_dos.c.in > tests/spec/preprocess_dos.c >touch tests/ptests_config >chmod a-w ptests/ptests_config.ml >echo "DEFAULT_SUITES=dynamic journal saveload spec misc syntax cil pretty_printing builtins libc value compliance fc_script jcdb" >> tests/ptests_config >ocamlfind ocamlopt -I ptests -dtypes -thread -o bin/ptests.opt \ > unix.cmxa threads.cmxa str.cmxa dynlink.cmxa ptests/ptests_config.ml ptests/ptests.ml >chmod a-w tests/spec/preprocess_dos.c >echo "TOPLEVEL_PATH=/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/bin/toplevel.opt" >> tests/ptests_config >echo "OCAMLRUNPARAM=" >> tests/ptests_config >echo "FRAMAC_SESSION=/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese" >> tests/ptests_config >echo "FRAMAC_SHARE=/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/share" >> tests/ptests_config >echo "FRAMAC_PLUGIN=/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins" >> tests/ptests_config >echo "FRAMAC_PLUGIN_GUI=/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins/gui" >> tests/ptests_config >echo "FRAMAC_LIB=/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc" >> tests/ptests_config >chmod a-w tests/ptests_config >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/datatype/unmarshal_z.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/unmarshal_z.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/runtime/frama_c_init.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/stdlib/transitioning.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_internals/runtime/frama_c_init.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/frama_c_init.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/stdlib/transitioning.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/transitioning.cmi >install src/libraries/stdlib/FCHashtbl.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/FCHashtbl.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/datatype/unmarshal.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/unmarshal.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/sanitizer.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/sanitizer.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/pretty_utils.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/pretty_utils.cmi >install src/libraries/utils/hook.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/hook.cmi >install src/libraries/utils/wto.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/wto.cmi >install src/libraries/utils/indexer.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/indexer.cmi >install src/libraries/utils/qstack.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/qstack.cmi >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/kernel_internals/runtime/frama_c_init.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/stdlib/transitioning.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/stdlib/FCHashtbl.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/stdlib/extlib.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/datatype/unmarshal.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/sanitizer.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/pretty_utils.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/hook.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/bag.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/wto.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/vector.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/indexer.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/rgmap.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/bitvector.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/qstack.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact -w -58 src/libraries/stdlib/integer.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/rich_text.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/escape.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/stdlib/FCHashtbl.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/stdlib/extlib.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/datatype/unmarshal.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/datatype/unmarshal_z.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/datatype/structural_descr.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/filepath.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/sanitizer.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/pretty_utils.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/hook.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/bag.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/wto.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/vector.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/indexer.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/rgmap.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/bitvector.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/qstack.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/stdlib/integer.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/json.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/markdown.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/rich_text.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/dotgraph.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/runtime/fc_config.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/plugin_entry_points/log.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/utf8_logic.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/escape.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_data/cil_types.mli >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/parsing/parse_env.mli >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/plugins/value_types/cilE.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/stdlib/extlib.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/extlib.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/filepath.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/filepath.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/bag.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bag.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/vector.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/vector.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/rgmap.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rgmap.cmi >install src/libraries/utils/bitvector.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bitvector.cmi >install src/libraries/stdlib/integer.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/integer.cmi >install src/libraries/utils/markdown.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/markdown.cmi >install src/libraries/utils/rich_text.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rich_text.cmi >install src/libraries/utils/utf8_logic.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/utf8_logic.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/binary_cache.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/binary_cache.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/escape.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/escape.cmi >install src/libraries/utils/unicode.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/unicode.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_internals/parsing/lexerhack.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/lexerhack.cmi >install src/kernel_internals/typing/alpha.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/alpha.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_services/abstract_interp/lattice_messages.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/lattice_messages.cmi >install src/plugins/value_types/cilE.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/cilE.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/command.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/command.cmi >install src/libraries/utils/task.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/task.cmi >install src/kernel_internals/runtime/dump_config.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/dump_config.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_services/ast_transformations/contract_special_float.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/contract_special_float.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_internals/runtime/special_hooks.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/special_hooks.cmi >install src/kernel_internals/runtime/boot.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/boot.cmi >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/markdown.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/utf8_logic.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/stdlib/transitioning.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/transitioning.cmo >install src/kernel_internals/runtime/frama_c_init.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/frama_c_init.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/libraries/stdlib/transitioning.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/kernel_internals/runtime/frama_c_init.o >install src/libraries/stdlib/transitioning.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/transitioning.cmx >install src/kernel_internals/runtime/frama_c_init.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/frama_c_init.cmx >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_internals/runtime/frama_c_init.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/frama_c_init.o >install src/libraries/stdlib/transitioning.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/transitioning.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/libraries/utils/sanitizer.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/sanitizer.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/sanitizer.cmx >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/datatype/unmarshal_z.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/unmarshal_z.cmo >install src/libraries/utils/sanitizer.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/sanitizer.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/datatype/structural_descr.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/datatype/type.mli >install src/libraries/datatype/structural_descr.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/structural_descr.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/sanitizer.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/sanitizer.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/vector.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/vector.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/indexer.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/indexer.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/rgmap.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rgmap.cmo >install src/libraries/utils/c_bindings.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/c_bindings.o >touch src/libraries/stdlib/FCHashtbl.o >touch src/libraries/utils/vector.o >install src/libraries/stdlib/FCHashtbl.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/FCHashtbl.cmx >touch src/libraries/utils/rgmap.o >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/json.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/dotgraph.ml >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/runtime/fc_config.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/json.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/json.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/dotgraph.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/dotgraph.cmi >install src/kernel_internals/runtime/fc_config.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/fc_config.cmi >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_internals/parsing/parse_env.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/parse_env.cmi >install src/libraries/stdlib/FCHashtbl.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/FCHashtbl.cmo >install src/libraries/utils/bag.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bag.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/qstack.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/qstack.cmo >install src/libraries/utils/utf8_logic.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/utf8_logic.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/plugins/value_types/cilE.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/cilE.cmo >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/dotgraph.ml >install src/libraries/utils/hook.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/hook.cmx >install src/libraries/utils/bag.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bag.cmx >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/vector.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/vector.cmx >install src/libraries/utils/indexer.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/indexer.cmx >touch src/libraries/utils/hook.o >install src/libraries/utils/rgmap.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rgmap.cmx >install src/libraries/utils/qstack.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/qstack.cmx >install src/libraries/stdlib/FCHashtbl.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/FCHashtbl.o >touch src/libraries/utils/bag.o >install src/libraries/utils/escape.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/escape.cmx >touch src/libraries/utils/wto.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/libraries/utils/indexer.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/libraries/utils/qstack.o >touch src/libraries/utils/escape.o >install src/libraries/utils/vector.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/vector.o >install src/libraries/utils/rgmap.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rgmap.o >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/plugin_entry_points/log.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/project/project_skeleton.mli >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_services/plugin_entry_points/log.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/log.cmi >install src/libraries/utils/hook.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/hook.cmo >install src/libraries/utils/wto.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/wto.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/stdlib/integer.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/integer.cmo >install src/libraries/utils/rich_text.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rich_text.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/escape.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/escape.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/wto.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/wto.cmx >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/stdlib/integer.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/integer.cmx >install src/libraries/utils/hook.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/hook.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/bag.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bag.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/libraries/stdlib/integer.o >install src/libraries/utils/wto.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/wto.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/indexer.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/indexer.o >install src/libraries/utils/qstack.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/qstack.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/escape.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/escape.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/filepath.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/filepath.cmo >install src/libraries/utils/pretty_utils.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/pretty_utils.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/bitvector.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bitvector.cmo >install src/libraries/stdlib/integer.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/integer.o >touch src/libraries/utils/rich_text.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/rich_text.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rich_text.cmx >touch src/libraries/utils/pretty_utils.o >touch src/libraries/utils/bitvector.o >install src/libraries/utils/pretty_utils.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/pretty_utils.cmx >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/utils/rich_text.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/rich_text.o >install src/libraries/stdlib/extlib.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/extlib.cmo >install src/libraries/utils/bitvector.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bitvector.cmx >install src/libraries/utils/pretty_utils.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/pretty_utils.o >install src/libraries/utils/bitvector.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/bitvector.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/datatype/unmarshal.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/unmarshal.cmo >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/parsetree/logic_ptree.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/utils/floating_point.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_printing/cil_types_debug.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_printing/printer_api.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/runtime/machdeps.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_printing/cil_descriptive_printer.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_queries/ast_info.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/typing/cfg.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/typing/logic_builtin.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/typing/mergecil.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/typing/rmtmps.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_internals/typing/oneret.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/analysis/ordered_stmt.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/analysis/dominators.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/analysis/undefined_sequence.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/analysis/logic_interp.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_transformations/clone.mli >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_transformations/inline.mli >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/kernel_services/ast_building/cil_builder.mli >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_services/ast_data/cil_types.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/cil_types.cmi >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/utils/filepath.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/libraries/stdlib/extlib.o >touch src/libraries/utils/utf8_logic.o >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/plugins/value_types/cilE.ml >install src/libraries/stdlib/extlib.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/extlib.cmx >install src/libraries/utils/utf8_logic.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/utf8_logic.cmx >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/stdlib/extlib.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/extlib.o >install src/libraries/utils/markdown.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/markdown.cmo >install src/libraries/utils/utf8_logic.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/utf8_logic.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >touch src/libraries/datatype/unmarshal.o >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact -w -58 src/libraries/datatype/unmarshal_z.ml >ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins -compact src/libraries/datatype/structural_descr.ml >install src/libraries/datatype/unmarshal.cmx /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/unmarshal.cmx >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/datatype/type.ml >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -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-25.0-r2/work/frama-c-25.0-Manganese/lib/plugins src/libraries/datatype/descr.mli >install src/libraries/datatype/type.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/type.cmi >install src/libraries/datatype/unmarshal.o /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/unmarshal.o >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/kernel_internals/runtime/fc_config.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/fc_config.cmo >install src/libraries/datatype/structural_descr.cmo /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/structural_descr.cmo >mkdir -p /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc >install src/libraries/project/project_skeleton.cmi /var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese/lib/fc/project_skeleton.cmi >File "src/libraries/utils/json.mll", line 374, characters 8-16: >Error: This expression has type > (string list -> Yojson.Basic.t -> Yojson.Basic.t option, > [> `Assoc of (String.t * Yojson.Basic.t) list > | `List of Yojson.Basic.t list ] > as 'a) > Hashtbl.t = > (string list -> Yojson.Basic.t -> Yojson.Basic.t option, 'a) > Hashtbl.t > but an expression was expected of type > (Filepath.Normalized.t, Yojson.Basic.t) Hashtbl.t > Type string list -> Yojson.Basic.t -> Yojson.Basic.t option > is not compatible with type Filepath.Normalized.t >make: *** [share/Makefile.generic:77: src/libraries/utils/json.cmo] Error 2 >make: *** Waiting for unfinished jobs.... > * ERROR: sci-mathematics/frama-c-25.0-r2::guru failed (compile phase): > * emake failed > * > * If you need support, post the output of `emerge --info '=sci-mathematics/frama-c-25.0-r2::guru'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/frama-c-25.0-r2::guru'`. > * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/frama-c-25.0-r2:20240113-113510.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese' > * S: '/var/tmp/portage/sci-mathematics/frama-c-25.0-r2/work/frama-c-25.0-Manganese' >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 922044
: 882183