=> Building devel/frama-c Started : Wednesday, 24 JUL 2019 at 01:36:10 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.83.g49866-DEVELOPMENT #40: Sun Jun 30 03:00:04 PDT 2019 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.6-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.6-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- MAKE=gmake PKG_CONFIG=pkgconf XDG_DATA_HOME=/construction/devel/frama-c XDG_CONFIG_HOME=/construction/devel/frama-c HOME=/construction/devel/frama-c TMPDIR="/tmp" PATH=/construction/devel/frama-c/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CMAKE_PREFIX_PATH="/usr/local" LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --with-cpp="cpp -C -I/usr/local/share/frama-c/libc -I." --disable-e_acsl --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- FRAMAC_LIBDIR="/usr/local/lib/frama-c" FRAMAC_DATADIR="/usr/local/share/frama-c" STAGEDIR="/construction/devel/frama-c/stage" XDG_DATA_HOME=/construction/devel/frama-c XDG_CONFIG_HOME=/construction/devel/frama-c HOME=/construction/devel/frama-c TMPDIR="/tmp" PATH=/construction/devel/frama-c/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS=" -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/devel/frama-c/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- OCAML_SITELIBDIR="lib/ocaml/site-lib" GTK2_VERSION="2.10.0" GTK3_VERSION="3.0.0" OSREL=5.6 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/frama-c" EXAMPLESDIR="share/examples/frama-c" DATADIR="share/frama-c" WWWDIR="www/frama-c" ETCDIR="etc/frama-c" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/frama-c DOCSDIR=/usr/local/share/doc/frama-c EXAMPLESDIR=/usr/local/share/examples/frama-c WWWDIR=/usr/local/www/frama-c ETCDIR=/usr/local/etc/frama-c -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-5.6 USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.28.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500601 OSVERSION=9999999 OSREL=5.6 _OSRELEASE=5.6-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License LGPL21 accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> frama-c-20170501 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.11.1.txz Installing pkg-1.11.1... Extracting pkg-1.11.1: .......... done ===> frama-c-20170501 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of frama-c-20170501 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20170501 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20170501 for building => SHA256 Checksum OK for frama-c-Phosphorus-20170501.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- ===> frama-c-20170501 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.05.0.txz Installing ocaml-4.05.0... `-- Installing libX11-1.6.8,1... | `-- Installing libXau-1.0.9... | `-- Extracting libXau-1.0.9: .......... done | `-- Installing libXdmcp-1.1.3... | | `-- Installing xorgproto-2019.1... | | `-- Extracting xorgproto-2019.1: .......... done | `-- Extracting libXdmcp-1.1.3: ......... done | `-- Installing libxcb-1.13.1... | | `-- Installing libpthread-stubs-0.4... | | `-- Extracting libpthread-stubs-0.4: .... done | | `-- Installing libxml2-2.9.9... | | `-- Extracting libxml2-2.9.9: .......... done | `-- Extracting libxcb-1.13.1: .......... done `-- Extracting libX11-1.6.8,1: .......... done Extracting ocaml-4.05.0: .......... done ===> frama-c-20170501 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of frama-c-20170501 -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20170501 for building ===> Extracting for frama-c-20170501 => SHA256 Checksum OK for frama-c-Phosphorus-20170501.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- ===> frama-c-20170501 depends on file: /usr/local/bin/ocamlc - found -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for frama-c-20170501 ===> Applying ports patches for frama-c-20170501 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> frama-c-20170501 depends on file: /usr/local/lib/ocaml/ocamlgraph/graph.a - not found ===> Installing existing package /packages/All/ocaml-ocamlgraph-1.8.7_2.txz Installing ocaml-ocamlgraph-1.8.7_2... `-- Installing ocaml-findlib-1.7.1... | `-- Installing ocaml-labltk-8.06.3... | | `-- Installing tcl86-8.6.9_1... | | `-- Extracting tcl86-8.6.9_1: .......... done | | `-- Installing tk86-8.6.9_1... | | `-- Installing fontconfig-2.12.6,1... | | | `-- Installing expat-2.2.6_1... | | | `-- Extracting expat-2.2.6_1: .......... done | | | `-- Installing freetype2-2.10.0... | | | `-- Extracting freetype2-2.10.0: .......... done | | `-- Extracting fontconfig-2.12.6,1: .......... done Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory fc-cache: succeeded | | `-- Installing libXScrnSaver-1.2.3_2... | | | `-- Installing libXext-1.3.4,1... | | | `-- Extracting libXext-1.3.4,1: .......... done | | `-- Extracting libXScrnSaver-1.2.3_2: .......... done | | `-- Installing libXft-2.3.2_3... | | | `-- Installing libXrender-0.9.10_2... | | | `-- Extracting libXrender-0.9.10_2: .......... done | | `-- Extracting libXft-2.3.2_3: .......... done | | `-- Extracting tk86-8.6.9_1: .......... done | `-- Extracting ocaml-labltk-8.06.3: .......... done `-- Extracting ocaml-findlib-1.7.1: .......... done `-- Installing ocaml-lablgtk2-2.18.5... | `-- Installing ORBit2-2.14.19_2... | | `-- Installing gettext-runtime-0.20.1... | | `-- Installing indexinfo-0.3.1... | | `-- Extracting indexinfo-0.3.1: .... done | | `-- Extracting gettext-runtime-0.20.1: .......... done | | `-- Installing glib-2.56.3_5,1... | | `-- Installing libffi-3.2.1_3... | | `-- Extracting libffi-3.2.1_3: .......... done | | `-- Installing libiconv-1.14_11... | | `-- Extracting libiconv-1.14_11: .......... done | | `-- Installing pcre-8.43_1... | | `-- Extracting pcre-8.43_1: .......... done | | `-- Installing python36-3.6.9... | | | `-- Installing libressl-2.9.2... | | | `-- Extracting libressl-2.9.2: .......... done | | | `-- Installing ncurses-6.1.20190525... | | | `-- Extracting ncurses-6.1.20190525: .......... done | | | `-- Installing readline-8.0.0... | | | `-- Extracting readline-8.0.0: .......... done | | `-- Extracting python36-3.6.9: .......... done | | `-- Extracting glib-2.56.3_5,1: .......... done No schema files found: doing nothing. | | `-- Installing libIDL-0.8.14_4... | | `-- Extracting libIDL-0.8.14_4: ......... done | `-- Extracting ORBit2-2.14.19_2: .......... done | `-- Installing atk-2.28.1... | `-- Extracting atk-2.28.1: .......... done | `-- Installing gconf2-3.2.6_5... | | `-- Installing dbus-glib-0.110... | | `-- Installing dbus-1.12.12... | | | `-- Installing libICE-1.0.9_3,1... | | | `-- Extracting libICE-1.0.9_3,1: .......... done | | | `-- Installing libSM-1.2.3,1... | | | `-- Extracting libSM-1.2.3,1: .......... done ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. | | `-- Extracting dbus-1.12.12: ......... done | | `-- Extracting dbus-glib-0.110: .......... done | | `-- Installing dconf-0.28.0... | | `-- Extracting dconf-0.28.0: .......... done | | `-- Installing gtk2-2.24.32... | | `-- Installing cups-2.2.11... | | | `-- Installing avahi-app-0.7_2... | | | `-- Installing gdbm-1.18.1_1... | | | `-- Extracting gdbm-1.18.1_1: .......... done | | | `-- Installing gnome_subr-1.0... | | | `-- Extracting gnome_subr-1.0: .... done | | | `-- Installing gobject-introspection-1.56.1,1... | | | `-- Extracting gobject-introspection-1.56.1,1: .......... done | | | `-- Installing libdaemon-0.14_1... | | | `-- Extracting libdaemon-0.14_1: .......... done ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. | | | `-- Extracting avahi-app-0.7_2: .......... done | | | `-- Installing gnutls-3.6.8_1... | | | `-- Installing ca_root_nss-3.45... | | | `-- Extracting ca_root_nss-3.45: ........ done | | | `-- Installing gmp-6.1.2_1... | | | `-- Extracting gmp-6.1.2_1: .......... done | | | `-- Installing libidn2-2.2.0... | | | | `-- Installing libunistring-0.9.10_1... | | | | `-- Extracting libunistring-0.9.10_1: .......... done | | | `-- Extracting libidn2-2.2.0: .......... done | | | `-- Installing libtasn1-4.13_1... | | | `-- Extracting libtasn1-4.13_1: .......... done | | | `-- Installing nettle-3.5.1... | | | `-- Extracting nettle-3.5.1: .......... done | | | `-- Installing p11-kit-0.23.16.1... | | | `-- Extracting p11-kit-0.23.16.1: .......... done | | | `-- Installing trousers-0.3.14_2... | | | | `-- Installing tpm-emulator-0.7.4_2... ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | | | `-- Extracting tpm-emulator-0.7.4_2: ......... done ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | | `-- Extracting trousers-0.3.14_2: .......... done | | | `-- Extracting gnutls-3.6.8_1: .......... done | | | `-- Installing libpaper-1.1.24.4... | | | `-- Extracting libpaper-1.1.24.4: .......... done ===> Creating groups. Creating group 'cups' with gid '193'. ===> Creating users Creating user 'cups' with uid '193'. | | `-- Extracting cups-2.2.11: .......... done | | `-- Installing gdk-pixbuf2-2.38.1... | | | `-- Installing jpeg-turbo-2.0.2... | | | `-- Extracting jpeg-turbo-2.0.2: .......... done | | | `-- Installing png-1.6.37... | | | `-- Extracting png-1.6.37: .......... done | | | `-- Installing shared-mime-info-1.10_1... | | | `-- Extracting shared-mime-info-1.10_1: .......... done | | | `-- Installing tiff-4.0.10_1... | | | `-- Installing jbigkit-2.1_1... | | | `-- Extracting jbigkit-2.1_1: .......... done | | | `-- Extracting tiff-4.0.10_1: .......... done | | `-- Extracting gdk-pixbuf2-2.38.1: .......... done | | `-- Installing gtk-update-icon-cache-2.24.32... | | | `-- Installing hicolor-icon-theme-0.17... | | | `-- Extracting hicolor-icon-theme-0.17: . done | | | `-- Installing libXcomposite-0.4.5,1... | | | `-- Installing libXfixes-5.0.3_2... | | | `-- Extracting libXfixes-5.0.3_2: .......... done | | | `-- Extracting libXcomposite-0.4.5,1: .......... done | | | `-- Installing libXcursor-1.2.0... | | | `-- Extracting libXcursor-1.2.0: .......... done | | | `-- Installing libXdamage-1.1.5... | | | `-- Extracting libXdamage-1.1.5: ......... done | | | `-- Installing libXi-1.7.10,1... | | | `-- Extracting libXi-1.7.10,1: .......... done | | | `-- Installing libXinerama-1.1.4_2,1... | | | `-- Extracting libXinerama-1.1.4_2,1: .......... done | | | `-- Installing libXrandr-1.5.2... | | | `-- Extracting libXrandr-1.5.2: .......... done | | | `-- Installing pango-1.42.4_2... | | | `-- Installing cairo-1.16.0,2... | | | | `-- Installing mesa-libs-18.3.2_1... | | | | `-- Installing libXxf86vm-1.1.4_3... | | | | `-- Extracting libXxf86vm-1.1.4_3: .......... done | | | | `-- Installing libdrm-2.4.99... | | | | | `-- Installing libpciaccess-0.14... | | | | | `-- Installing pciids-20190620... | | | | | `-- Extracting pciids-20190620: ..... done | | | | | `-- Extracting libpciaccess-0.14: ......... done | | | | `-- Extracting libdrm-2.4.99: .......... done | | | | `-- Installing libelf-0.8.13_3... | | | | `-- Extracting libelf-0.8.13_3: .......... done | | | | `-- Installing libxshmfence-1.3... | | | | `-- Extracting libxshmfence-1.3: ......... done | | | | `-- Installing wayland-1.16.0... | | | | `-- Extracting wayland-1.16.0: .......... done | | | | `-- Extracting mesa-libs-18.3.2_1: .......... done | | | | `-- Installing pixman-0.38.4... | | | | `-- Extracting pixman-0.38.4: .......... done | | | `-- Extracting cairo-1.16.0,2: .......... done | | | `-- Installing encodings-1.0.5,1... | | | | `-- Installing font-util-1.3.1... | | | | `-- Extracting font-util-1.3.1: .......... done | | | `-- Extracting encodings-1.0.5,1: .......... done | | | `-- Installing fribidi-0.19.7... | | | `-- Extracting fribidi-0.19.7: .......... done | | | `-- Installing harfbuzz-2.5.3... | | | | `-- Installing graphite2-1.3.13... | | | | `-- Extracting graphite2-1.3.13: .......... done | | | `-- Extracting harfbuzz-2.5.3: .......... done | | | `-- Installing xorg-fonts-truetype-7.7_1... | | | | `-- Installing dejavu-2.37_1... | | | | `-- Installing mkfontscale-1.2.1... | | | | | `-- Installing libfontenc-1.1.4... | | | | | `-- Extracting libfontenc-1.1.4: ......... done | | | | `-- Extracting mkfontscale-1.2.1: ....... done | | | | `-- Extracting dejavu-2.37_1: .......... done | | | | `-- Installing font-bh-ttf-1.0.3_4... | | | | `-- Extracting font-bh-ttf-1.0.3_4: .......... done | | | | `-- Installing font-misc-ethiopic-1.0.3_4... | | | | `-- Extracting font-misc-ethiopic-1.0.3_4: ... done | | | | `-- Installing font-misc-meltho-1.0.3_4... | | | | `-- Extracting font-misc-meltho-1.0.3_4: .......... done | | | `-- Extracting pango-1.42.4_2: .......... done | | `-- Extracting gtk-update-icon-cache-2.24.32: .... done | | `-- Extracting gtk2-2.24.32: .......... done | | `-- Installing polkit-0.114_2... | | `-- Installing spidermonkey52-52.9.0_3... | | | `-- Installing icu-64.2,1... | | | `-- Extracting icu-64.2,1: .......... done | | | `-- Installing nspr-4.21... | | | `-- Extracting nspr-4.21: .......... done | | `-- Extracting spidermonkey52-52.9.0_3: .......... done ===> Creating groups. Creating group 'polkitd' with gid '565'. ===> Creating users Creating user 'polkitd' with uid '565'. | | `-- Extracting polkit-0.114_2: ......... done | `-- Extracting gconf2-3.2.6_5: .......... done | `-- Installing gnome-mime-data-2.18.0_5... | `-- Extracting gnome-mime-data-2.18.0_5: .......... done | `-- Installing gnome-vfs-2.24.4_11... | | `-- Installing gamin-0.1.10_10... | | `-- Extracting gamin-0.1.10_10: .......... done | | `-- Installing samba48-4.8.12_3... | | `-- Installing cmocka-1.1.3... | | `-- Extracting cmocka-1.1.3: .......... done | | `-- Installing jansson-2.12... | | `-- Extracting jansson-2.12: .......... done | | `-- Installing libarchive-3.3.3_1,1... | | | `-- Installing liblz4-1.9.1,1... | | | `-- Extracting liblz4-1.9.1,1: .......... done | | | `-- Installing lzo2-2.10_1... | | | `-- Extracting lzo2-2.10_1: .......... done | | `-- Extracting libarchive-3.3.3_1,1: .......... done | | `-- Installing libinotify-20180201_1... | | `-- Extracting libinotify-20180201_1: .......... done | | `-- Installing popt-1.16_2... | | `-- Extracting popt-1.16_2: .......... done | | `-- Installing py27-dnspython-1.16.0... | | | `-- Installing py27-setuptools-41.0.1... | | | `-- Installing python27-2.7.16_1... | | | `-- Extracting python27-2.7.16_1: .......... done | | | `-- Extracting py27-setuptools-41.0.1: .......... done | | `-- Extracting py27-dnspython-1.16.0: .......... done | | `-- Installing py27-iso8601-0.1.12... | | `-- Extracting py27-iso8601-0.1.12: .......... done | | `-- Extracting samba48-4.8.12_3: .......... done | `-- Extracting gnome-vfs-2.24.4_11: .......... done | `-- Installing gtkglarea-2.0.1_9... | | `-- Installing libGLU-9.0.0_3... | | `-- Extracting libGLU-9.0.0_3: ...... done | `-- Extracting gtkglarea-2.0.1_9: ........ done | `-- Installing gtksourceview2-2.10.5_5... | `-- Extracting gtksourceview2-2.10.5_5: .......... done | `-- Installing gtkspell-2.0.16_6... | | `-- Installing enchant-1.6.0_9... | | `-- Installing hunspell-1.7.0_1... | | | `-- Installing perl5-5.28.2... | | | `-- Extracting perl5-5.28.2: .......... done | | `-- Extracting hunspell-1.7.0_1: .......... done | | `-- Extracting enchant-1.6.0_9: .......... done | `-- Extracting gtkspell-2.0.16_6: .......... done | `-- Installing libart_lgpl-2.3.21_3,1... | `-- Extracting libart_lgpl-2.3.21_3,1: .......... done | `-- Installing libbonobo-2.32.1... | `-- Extracting libbonobo-2.32.1: .......... done | `-- Installing libbonoboui-2.24.5_1... | | `-- Installing libglade2-2.6.4_9... | | `-- Installing xmlcatmgr-2.2_2... | | `-- Extracting xmlcatmgr-2.2_2: ......... done + Creating /usr/local/share/sgml/catalog + Registering CATALOG catalog.ports (SGML) + Creating /usr/local/share/sgml/catalog.ports + Creating /usr/local/share/xml/catalog + Registering nextCatalog catalog.ports (XML) + Creating /usr/local/share/xml/catalog.ports | | `-- Extracting libglade2-2.6.4_9: .......... done | | `-- Installing libgnome-2.32.1... | | `-- Installing libXpm-3.5.12_2... | | | `-- Installing libXt-1.2.0,1... | | | `-- Extracting libXt-1.2.0,1: .......... done | | `-- Extracting libXpm-3.5.12_2: .......... done | | `-- Installing libcanberra-0.30_5... | | | `-- Installing libltdl-2.4.6... | | | `-- Extracting libltdl-2.4.6: .......... done | | | `-- Installing libvorbis-1.3.6,3... | | | `-- Installing libogg-1.3.3,4... | | | `-- Extracting libogg-1.3.3,4: .......... done | | | `-- Extracting libvorbis-1.3.6,3: .......... done | | `-- Extracting libcanberra-0.30_5: .......... done | | `-- Installing rarian-0.8.1_4... | | | `-- Installing bash-5.0.7... | | | `-- Extracting bash-5.0.7: .......... done | | | `-- Installing docbook-xml-5.0_3... | | | `-- Installing xmlcharent-0.3_2... | | | `-- Extracting xmlcharent-0.3_2: .......... done | | | `-- Extracting docbook-xml-5.0_3: .......... done | | | `-- Installing docbook-xsl-1.79.1_1,1... | | | `-- Installing docbook-1.5... | | | | `-- Installing docbook-sgml-4.5_1... | | | | `-- Installing iso8879-1986_3... | | | | `-- Extracting iso8879-1986_3: .......... done | | | | `-- Extracting docbook-sgml-4.5_1: .......... done | | | | `-- Installing sdocbook-xml-1.1_2,2... | | | | `-- Extracting sdocbook-xml-1.1_2,2: .......... done | | | `-- Extracting docbook-xsl-1.79.1_1,1: .......... done | | | `-- Installing getopt-1.1.6... | | | `-- Extracting getopt-1.1.6: .......... done | | | `-- Installing libxslt-1.1.33... | | | `-- Installing libgcrypt-1.8.4_1... | | | | `-- Installing libgpg-error-1.36... | | | | `-- Extracting libgpg-error-1.36: .......... done | | | `-- Extracting libgcrypt-1.8.4_1: .......... done | | | `-- Extracting libxslt-1.1.33: .......... done | | `-- Extracting rarian-0.8.1_4: .......... done | | `-- Extracting libgnome-2.32.1: .......... done | | `-- Installing libgnomecanvas-2.30.3_4... | | `-- Extracting libgnomecanvas-2.30.3_4: .......... done | `-- Extracting libbonoboui-2.24.5_1: .......... done | `-- Installing libgnomeui-2.24.5... | | `-- Installing gnome-icon-theme-3.12.0_1... | | `-- Installing gnome-icon-theme-symbolic-3.12.0... | | `-- Extracting gnome-icon-theme-symbolic-3.12.0: .......... done | | `-- Extracting gnome-icon-theme-3.12.0_1: .......... done | | `-- Installing gvfs-1.30.4_2... | | `-- Installing gcr-3.28.0... | | | `-- Installing desktop-file-utils-0.23... | | | `-- Extracting desktop-file-utils-0.23: .......... done | | | `-- Installing gtk3-3.24.10... | | | `-- Installing adwaita-icon-theme-3.28.0... | | | `-- Extracting adwaita-icon-theme-3.28.0: .......... done | | | `-- Installing at-spi2-atk-2.26.2... | | | | `-- Installing at-spi2-core-2.28.0... | | | | `-- Installing libXtst-1.2.3_2... | | | | `-- Extracting libXtst-1.2.3_2: .......... done | | | | `-- Installing libxkbcommon-0.8.4... | | | | | `-- Installing xkeyboard-config-2.27... | | | | | `-- Extracting xkeyboard-config-2.27: .......... done | | | | `-- Extracting libxkbcommon-0.8.4: .......... done | | | | `-- Extracting at-spi2-core-2.28.0: .......... done | | | `-- Extracting at-spi2-atk-2.26.2: .......... done | | | `-- Installing colord-1.3.5... | | | | `-- Installing argyllcms-1.9.2_4... | | | | `-- Extracting argyllcms-1.9.2_4: .......... done | | | | `-- Installing lcms2-2.9... | | | | `-- Extracting lcms2-2.9: .......... done | | | | `-- Installing sqlite3-3.29.0... | | | | `-- Extracting sqlite3-3.29.0: .......... done ===> Creating groups. Creating group 'colord' with gid '970'. ===> Creating users Creating user 'colord' with uid '970'. | | | `-- Extracting colord-1.3.5: .......... done | | | `-- Installing libepoxy-1.5.2... | | | `-- Extracting libepoxy-1.5.2: .......... done | | | `-- Installing librsvg2-2.40.20... | | | | `-- Installing libcroco-0.6.12... | | | | `-- Extracting libcroco-0.6.12: .......... done | | | | `-- Installing libgsf-1.14.44... | | | | `-- Extracting libgsf-1.14.44: .......... done | | | `-- Extracting librsvg2-2.40.20: .......... done | | | `-- Installing wayland-protocols-1.17... | | | `-- Extracting wayland-protocols-1.17: .......... done | | | `-- Extracting gtk3-3.24.10: .......... done | | `-- Extracting gcr-3.28.0: .......... done | | `-- Installing json-glib-1.4.2... | | `-- Extracting json-glib-1.4.2: .......... done | | `-- Installing libcdio-2.0.0_1... | | | `-- Installing libcddb-1.3.2_4... | | | `-- Extracting libcddb-1.3.2_4: .......... done | | `-- Extracting libcdio-2.0.0_1: .......... done | | `-- Installing libsecret-0.18.6_1... | | `-- Extracting libsecret-0.18.6_1: .......... done | | `-- Installing libsoup-2.62.3... | | | `-- Installing glib-networking-2.56.1_1... | | | `-- Installing gsettings-desktop-schemas-3.28.1... | | | `-- Extracting gsettings-desktop-schemas-3.28.1: .......... done | | | `-- Installing libproxy-0.4.15... | | | `-- Extracting libproxy-0.4.15: .......... done | | | `-- Extracting glib-networking-2.56.1_1: .......... done | | `-- Extracting libsoup-2.62.3: .......... done | | `-- Installing libsoup-gnome-2.62.3... | | `-- Extracting libsoup-gnome-2.62.3: .......... done | | `-- Extracting gvfs-1.30.4_2: .......... done | | `-- Installing libgnome-keyring-3.12.0_2... | | `-- Extracting libgnome-keyring-3.12.0_2: .......... done | | `-- Installing startup-notification-0.12_4... | | `-- Installing xcb-util-0.4.0_2,1... | | `-- Extracting xcb-util-0.4.0_2,1: .......... done | | `-- Extracting startup-notification-0.12_4: .......... done | `-- Extracting libgnomeui-2.24.5: .......... done | `-- Installing ocaml-lablgl-1.05_3,1... | | `-- Installing freeglut-3.0.0_2... | | `-- Extracting freeglut-3.0.0_2: .......... done | | `-- Installing libXmu-1.1.3,1... | | `-- Extracting libXmu-1.1.3,1: .......... done | `-- Extracting ocaml-lablgl-1.05_3,1: .......... done `-- Extracting ocaml-lablgtk2-2.18.5: .......... done Extracting ocaml-ocamlgraph-1.8.7_2: .......... done Message from freetype2-2.10.0: The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/site/index.html, if documentation was installed). Message from ocaml-labltk-8.06.3: ===> NOTICE: The ocaml-labltk port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from python36-3.6.9: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== Message from ca_root_nss-3.45: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** Message from trousers-0.3.14_2: To run tcsd automatically, add the following line to /etc/rc.conf: tcsd_enable="YES" You might want to edit /usr/local/etc/tcsd.conf to reflect your setup. If you want to use tcsd with software TPM emulator, use the following configuration in /etc/rc.conf: tcsd_enable="YES" tcsd_mode="emulator" tpmd_enable="YES" To use TPM, add your_account to '_tss' group like following: # pw groupmod _tss -m your_account Message from dejavu-2.37_1: Make sure that the freetype module is loaded. If it is not, add the following line to the "Modules" section of your X Windows configuration file: Load "freetype" Add the following line to the "Files" section of X Windows configuration file: FontPath "/usr/local/share/fonts/dejavu/" Note: your X Windows configuration file is typically /etc/X11/XF86Config if you are using XFree86, and /etc/X11/xorg.conf if you are using X.Org. Message from gamin-0.1.10_10: =============================================================================== Gamin will only provide realtime notification of changes for at most n files, where n is the minimum value between (kern.maxfiles * 0.7) and (kern.maxfilesperproc - 200). Beyond that limit, files will be polled. If you often open several large folders with Nautilus, you might want to increase the kern.maxfiles tunable (you do not need to set kern.maxfilesperproc, since it is computed at boot time from kern.maxfiles). The behavior of gamin can be controlled via the various gaminrc files. See http://www.gnome.org/~veillard/gamin/config.html on how to create these files. In particular, if you find gam_server is taking up too much CPU time polling for changes, something like the following may help in one of the gaminrc files: # reduce polling frequency to once per 10 seconds # for UFS file systems in order to lower CPU load fsset ufs poll 10 =============================================================================== ===> NOTICE: The gamin port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from cmocka-1.1.3: ================================================================= For more information on using cmocka, see https://api.cmocka.org ================================================================= Message from libinotify-20180201_1: ============================================================================ Libinotify functionality on FreeBSD is missing support for - detecting a file being moved into or out of a directory within the same filesystem - certain modifications to a symbolic link (rather than the file it points to.) in addition to the known limitations on all platforms using kqueue(2) where various open and close notifications are unimplemented. This means the following regression tests will fail: Directory notifications: IN_MOVED_FROM IN_MOVED_TO Open/close notifications: IN_OPEN IN_CLOSE_NOWRITE IN_CLOSE_WRITE Symbolic Link notifications: IN_DONT_FOLLOW IN_ATTRIB IN_MOVE_SELF IN_DELETE_SELF Kernel patches to address the missing directory and symbolic link notifications are available from: https://github.com/libinotify-kqueue/libinotify-kqueue/tree/master/patches ============================================================================= You might want to consider increasing the kern.maxfiles tunable if you plan to use this library for applications that need to monitor activity of a lot of files. ============================================================================= Message from python27-2.7.16_1: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter =========================================================================== Message from py27-setuptools-41.0.1: ******************************************************************* Only /usr/local/bin/easy_install-2.7 script has been installed since Python 2.7 is not the default Python version. ******************************************************************* Message from samba48-4.8.12_3: =============================================================================== How to start: http://wiki.samba.org/index.php/Samba4/HOWTO * Your configuration is: /usr/local/etc/smb4.conf * All the relevant databases are under: /var/db/samba4 * All the logs are under: /var/log/samba4 * Provisioning script is: /usr/local/bin/samba-tool For additional documentation check: http://wiki.samba.org/index.php/Samba4 Bug reports should go to the: https://bugzilla.samba.org/ =============================================================================== Message from gtkglarea-2.0.1_9: ===> NOTICE: The gtkglarea port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from perl5-5.28.2: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. Message from xmlcatmgr-2.2_2: The following catalogs are installed: 1) /usr/local/share/sgml/catalog The top level catalog for SGML stuff. It is not changed by any ports/packages except textproc/xmlcatmgr. 2) /usr/local/share/sgml/catalog.ports This catalog is for handling SGML stuff installed under /usr/local/share/sgml. It is changed by ports/packages. 3) /usr/local/share/xml/catalog The top level catalog for XML stuff. It is not changed by any ports/packages except textproc/xmlcatmgr. 4) /usr/local/share/xml/catalog.ports This catalog is for handling XML stuff installed under /usr/local/share/xml. It is changed by ports/packages. Message from freeglut-3.0.0_2: Joystick support is untested and it is unknown if it works. Do not hesitate to contact x11@FreeBSD.org if this causes issues. Message from ocaml-lablgl-1.05_3,1: ===> NOTICE: The ocaml-lablgl port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from ocaml-ocamlgraph-1.8.7_2: ===> NOTICE: The ocaml-ocamlgraph port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> frama-c-20170501 depends on file: /usr/local/lib/ocaml/ocamlgraph/graph.a - found ===> Returning to build of frama-c-20170501 ===> frama-c-20170501 depends on file: /usr/local/lib/ocaml/site-lib/zarith/zarith.a - not found ===> Installing existing package /packages/All/ocaml-zarith-1.4.1.txz Installing ocaml-zarith-1.4.1... Extracting ocaml-zarith-1.4.1: .......... done Message from ocaml-zarith-1.4.1: ===> NOTICE: The ocaml-zarith port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> frama-c-20170501 depends on file: /usr/local/lib/ocaml/site-lib/zarith/zarith.a - found ===> Returning to build of frama-c-20170501 ===> frama-c-20170501 depends on file: /usr/local/bin/ocamlc - found ===> frama-c-20170501 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_3.txz Installing gmake-4.2.1_3... Extracting gmake-4.2.1_3: .......... done ===> frama-c-20170501 depends on executable: gmake - found ===> Returning to build of frama-c-20170501 ===> frama-c-20170501 depends on package: pkgconf>=1.3.0_1 - not found ===> Installing existing package /packages/All/pkgconf-1.6.1,1.txz Installing pkgconf-1.6.1,1... Extracting pkgconf-1.6.1,1: .......... done ===> frama-c-20170501 depends on package: pkgconf>=1.3.0_1 - found ===> Returning to build of frama-c-20170501 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> frama-c-20170501 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> frama-c-20170501 depends on shared library: libfreetype.so - found (/usr/local/lib/libfreetype.so) ===> frama-c-20170501 depends on shared library: libfontconfig.so - found (/usr/local/lib/libfontconfig.so) ===> frama-c-20170501 depends on shared library: libintl.so - found (/usr/local/lib/libintl.so) ===> frama-c-20170501 depends on shared library: libatk-1.0.so - found (/usr/local/lib/libatk-1.0.so) ===> frama-c-20170501 depends on shared library: libcairo.so - found (/usr/local/lib/libcairo.so) ===> frama-c-20170501 depends on shared library: libgdk_pixbuf-2.0.so - found (/usr/local/lib/libgdk_pixbuf-2.0.so) ===> frama-c-20170501 depends on shared library: libglib-2.0.so - found (/usr/local/lib/libglib-2.0.so) ===> frama-c-20170501 depends on shared library: libintl.so - found (/usr/local/lib/libintl.so) ===> frama-c-20170501 depends on shared library: libgtk-x11-2.0.so - found (/usr/local/lib/libgtk-x11-2.0.so) ===> frama-c-20170501 depends on shared library: libgtksourceview-2.0.so - found (/usr/local/lib/libgtksourceview-2.0.so) ===> frama-c-20170501 depends on shared library: libart_lgpl_2.so - found (/usr/local/lib/libart_lgpl_2.so) ===> frama-c-20170501 depends on shared library: libglade-2.0.so - found (/usr/local/lib/libglade-2.0.so) ===> frama-c-20170501 depends on shared library: libgnomecanvas-2.so - found (/usr/local/lib/libgnomecanvas-2.so) ===> frama-c-20170501 depends on shared library: libxml2.so - found (/usr/local/lib/libxml2.so) ===> frama-c-20170501 depends on shared library: libpango-1.0.so - found (/usr/local/lib/libpango-1.0.so) -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for frama-c-20170501 configure: loading site script /xports/Templates/config.site configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for make... gmake checking version of make... 4.2 configure: ***************************** configure: * CONFIGURE OCAML COMPILERS * configure: ***************************** checking for ocamlc... ocamlc checking version of OCaml... 4.05.0 checking OCaml library path... /usr/local/lib/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version and standard library... ok 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 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 Landmarks... not found. configure: ********************** configure: * CONFIGURE PLATFORM * configure: ********************** checking platform... Unix checking OCaml native threads... ok. checking for gcc... cc 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 we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking how to run the C preprocessor... cpp checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for stdlib.h... (cached) yes checking assert.h usability... yes checking assert.h presence... yes checking for assert.h... yes checking for float.h... (cached) yes checking for math.h... (cached) yes checking for signal.h... (cached) yes checking for unistd.h... (cached) yes /* Check whether comments are kept in output */ Default preprocessor is 'cpp -C -I/usr/local/share/frama-c/libc -I. '. ./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m32\"; : not found ./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m64\"; : not found ./configure: DEFAULT_CPP_SUPPORTED_ARCH_OPTS+=\"-m16\"; : not found Default preprocessor supported architecture-related options: configure: *************************** configure: * WISHED FRAMA-C PLUG-INS * configure: *************************** checking for src/plugins/callgraph... yes callgraph... yes checking for src/plugins/constant_propagation... yes semantic_constant_folding... yes checking for src/plugins/from... yes from_analysis... yes checking for src/plugins/gui... yes gui... yes checking for src/plugins/impact... yes impact... yes checking for src/plugins/inout... yes inout... yes checking for src/plugins/metrics... yes metrics... yes checking for src/plugins/occurrence... yes occurrence... yes checking for src/plugins/pdg... yes pdg... yes checking for src/plugins/postdominators... yes postdominators... yes checking for src/plugins/rte... yes rtegen... yes checking for src/plugins/scope... yes scope... yes checking for src/plugins/slicing... yes slicing... yes checking for src/plugins/sparecode... yes sparecode... yes checking for src/plugins/users... yes users... yes checking for src/plugins/value... yes value_analysis... yes checking for src/plugins/aorai/Makefile.in... yes aorai... yes checking for ltl2ba... no checking for src/plugins/e-acsl/Makefile.in... yes e_acsl... no checking for uname... uname checking for src/plugins/loop_analysis/Makefile.in... yes loop_analysis... yes checking for src/plugins/nonterm/Makefile.in... yes nonterm... yes checking for src/plugins/obfuscator/Makefile.in... yes obfuscator... yes checking for src/plugins/print_api... yes print_api... yes checking for src/plugins/report/Makefile.in... yes report... yes checking for src/plugins/security_slicing/Makefile.in... yes security_slicing... yes checking for src/plugins/variadic/Makefile.in... yes variadic... yes checking for src/plugins/wp/Makefile.in... yes wp... yes configure: ******************************************************* configure: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS * configure: ******************************************************* Ocamlfind -> using /usr/local/lib/ocaml/site-lib/lablgtk2 checking for /usr/local/lib/ocaml/site-lib/lablgtk2/lablgtksourceview2.cmxa... yes checking for /usr/local/lib/ocaml/site-lib/lablgtk2/lablgnomecanvas.cmxa... yes checking for /usr/local/lib/ocaml/site-lib/lablgtk2/lablgtk.cmxa... yes checking for dot... no native dynlink works fine. Great. configure: ************************************* configure: * CHECKING FOR PLUG-IN DEPENDENCIES * configure: ************************************* configure: WARNING: ltl2ba not found. configure: WARNING: aorai partially enabled because ltl2ba missing. checking for coqc... no configure: rerun configure to make wp using coq 8.5 configure: WARNING: dot not found: you should install GraphViz configure: WARNING: callgraph partially enabled because dot missing. configure: WARNING: gui partially enabled because dot missing. configure: ********************* configure: * CREATING MAKEFILE * configure: ********************* configure: creating ./config.status 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/variadic/Makefile config.status: creating src/plugins/aorai/Makefile config.status: creating src/plugins/security_slicing/Makefile config.status: creating src/plugins/wp/Makefile config.status: creating share/Makefile.config configure: ******************************* configure: * SUMMARY: PLUG-INS AVAILABLE * configure: ******************************* configure: callgraph: partial, dynamic, dot missing configure: semantic_constant_folding: yes, dynamic configure: from_analysis: yes, dynamic configure: gui: partial, dot missing configure: impact: yes, dynamic configure: inout: yes, dynamic configure: metrics: yes, dynamic configure: occurrence: yes, dynamic configure: pdg: yes, dynamic configure: postdominators: yes, dynamic configure: rtegen: yes, dynamic configure: scope: yes, dynamic configure: slicing: yes, dynamic configure: sparecode: yes, dynamic configure: users: yes, dynamic configure: value_analysis: yes, dynamic configure: aorai: partial, dynamic, ltl2ba missing configure: e_acsl: no configure: loop_analysis: yes, dynamic configure: nonterm: yes, dynamic configure: obfuscator: yes, dynamic configure: print_api: yes, dynamic configure: report: yes, dynamic configure: security_slicing: yes, dynamic configure: variadic: yes, dynamic configure: wp: yes, dynamic -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for frama-c-20170501 gmake[1]: Entering directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501' Ocamllex src/libraries/utils/json.ml Ocamllex src/kernel_internals/parsing/clexer.ml Ocamllex src/kernel_internals/parsing/logic_lexer.ml Ocamlyacc src/kernel_internals/parsing/logic_parser.ml 36 states, 360 transitions, table size 1656 bytes Ocamlyacc src/kernel_internals/parsing/cparser.ml Ocamllex src/kernel_internals/parsing/logic_preprocess.ml 148 states, 1842 transitions, table size 8256 bytes 1933 additional bytes used for bindings 136 states, 558 transitions, table size 3048 bytes 2127 additional bytes used for bindings 381 states, 4411 transitions, table size 19930 bytes 3329 additional bytes used for bindings Generating src/plugins/value/domains/apron/apron_domain.ml Generating share/frama-c.rc Generating share/Makefile.dynamic_config Generating src/plugins/wp/.Makefile.plugin.generated Generating share/Makefile.kernel Generating src/plugins/security_slicing/.Makefile.plugin.generated Generating src/kernel_internals/runtime/config.ml Generating src/plugins/report/.Makefile.plugin.generated Generating src/plugins/print_api/.Makefile.plugin.generated Generating src/plugins/obfuscator/.Makefile.plugin.generated Generating src/plugins/variadic/.Makefile.plugin.generated Generating src/plugins/nonterm/.Makefile.plugin.generated Generating src/plugins/loop_analysis/.Makefile.plugin.generated Generating src/plugins/aorai/.Makefile.plugin.generated Generating src/plugins/slicing/.Makefile.plugin.generated Generating src/plugins/sparecode/.Makefile.plugin.generated Generating src/plugins/scope/.Makefile.plugin.generated Generating src/plugins/pdg/.Makefile.plugin.generated Generating src/plugins/impact/.Makefile.plugin.generated Generating src/plugins/inout/.Makefile.plugin.generated Generating src/plugins/postdominators/.Makefile.plugin.generated Generating src/plugins/constant_propagation/.Makefile.plugin.generated Generating src/plugins/users/.Makefile.plugin.generated Generating src/plugins/from/.Makefile.plugin.generated Generating src/plugins/rte/.Makefile.plugin.generated Generating src/plugins/occurrence/.Makefile.plugin.generated Generating src/plugins/value/.Makefile.plugin.generated Generating src/plugins/callgraph/.Makefile.plugin.generated Generating src/plugins/metrics/.Makefile.plugin.generated Generating src/kernel_internals/runtime/frama_c_config.ml Generating .depend Ocamllex src/plugins/wp/why3_xml.ml Ocamllex src/plugins/wp/qed/src/numbers.ml Ocamllex src/plugins/wp/script.ml Ocamllex src/plugins/wp/rformat.ml Ocamllex src/plugins/wp/driver.ml 53 states, 1709 transitions, table size 7154 bytes 4689 additional bytes used for bindings 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings 31 states, 1109 transitions, table size 4622 bytes 4393 additional bytes used for bindings 57 states, 826 transitions, table size 3646 bytes Generating src/plugins/wp/Wp.mli Ocamlyacc src/plugins/print_api/grammar.ml Ocamllex src/plugins/print_api/lexer.ml Ocamllex src/plugins/aorai/promelalexer_withexps.ml Ocamlyacc src/plugins/aorai/promelaparser_withexps.ml Ocamllex src/plugins/aorai/promelalexer.ml 8 states, 264 transitions, table size 1104 bytes 4 shift/reduce conflicts. 100 states, 4420 transitions, table size 18280 bytes 85 states, 4392 transitions, table size 18078 bytes Ocamllex src/plugins/aorai/ltllexer.ml Ocamlyacc src/plugins/aorai/ltlparser.ml Ocamllex src/plugins/aorai/yalexer.ml 7 shift/reduce conflicts. 82 states, 3369 transitions, table size 13968 bytes 73 states, 2302 transitions, table size 9646 bytes Ocamlyacc src/plugins/aorai/yaparser.ml Ocamlyacc src/plugins/aorai/promelaparser.ml Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Metrics.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Value.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/RteGen.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/From.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Users.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Inout.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Impact.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Scope.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Pdg.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Aorai.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Slicing.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Print_api.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Report.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Variadic.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Users.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/From.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/From.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Value.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Report.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Wp.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.mli Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.mli Ocamldep src/plugins/variadic/.depend Ocamldep src/plugins/security_slicing/.depend Ocamldep src/plugins/report/.depend Ocamldep src/plugins/print_api/.depend Ocamldep src/plugins/obfuscator/.depend Ocamldep src/plugins/nonterm/.depend Ocamldep src/plugins/loop_analysis/.depend Ocamldep src/plugins/aorai/.depend Ocamldep src/plugins/slicing/.depend Ocamldep src/plugins/sparecode/.depend Ocamldep src/plugins/scope/.depend Ocamldep src/plugins/pdg/.depend Ocamldep src/plugins/impact/.depend Ocamldep src/plugins/inout/.depend Ocamldep src/plugins/postdominators/.depend Ocamldep src/plugins/constant_propagation/.depend Ocamldep src/plugins/users/.depend Ocamldep src/plugins/from/.depend Ocamldep src/plugins/rte/.depend Ocamldep src/plugins/occurrence/.depend Ocamldep src/plugins/value/.depend Ocamldep src/plugins/callgraph/.depend Ocamldep src/plugins/metrics/.depend Ocamldep src/plugins/wp/.depend Generating META.frama-c-aorai Ocamlc src/libraries/stdlib/FCSet.cmi Ocamlc src/plugins/aorai/bool3.cmi Ocamlc src/libraries/utils/pretty_utils.cmi Ocamlc src/libraries/datatype/unmarshal.cmi Ocamlc src/libraries/stdlib/FCMap.cmi Ocamlc src/libraries/stdlib/FCHashtbl.cmi Ocamlc src/libraries/stdlib/extlib.cmi Ocamlc src/plugins/aorai/ltlast.cmi Ocamlc src/plugins/aorai/aorai_dataflow.cmi Ocamlc src/libraries/utils/wto.cmi Ocamlc src/libraries/utils/filepath.cmi Ocamlc src/libraries/utils/escape.cmi Ocamlc src/libraries/utils/hook.cmi Ocamlc src/plugins/value_types/cilE.cmi Ocamlopt src/plugins/aorai/bool3.cmx Ocamlopt src/libraries/datatype/unmarshal.cmx Ocamlc src/libraries/stdlib/transitioning.cmi Ocamlopt src/libraries/stdlib/FCSet.cmx Ocamlc src/libraries/stdlib/FCBuffer.cmi Ocamlc src/kernel_internals/runtime/config.cmi Ocamlopt src/libraries/stdlib/FCMap.cmx Ocamlc src/libraries/utils/qstack.cmi Ocamlc src/libraries/utils/binary_cache.cmi Ocamlc src/libraries/utils/utf8_logic.cmi Ocamlopt src/libraries/utils/escape.cmx Ocamlc src/kernel_internals/typing/alpha.cmi Ocamlc src/kernel_internals/parsing/errorloc.cmi Ocamlopt src/libraries/utils/wto.cmx Ocamlc src/libraries/utils/bitvector.cmi Ocamlc src/kernel_internals/parsing/logic_preprocess.cmi Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmi Ocamlc src/libraries/utils/unicode.cmi Generating ptests/ptests_config.ml Generating tests/ptests_config Ocamlc src/plugins/slicing/register_gui.cmi Ocamlc src/plugins/gui/wutil.cmi Ocamlc src/plugins/gui/widget.cmi Ocamlc src/libraries/utils/command.cmi Ocamlc src/libraries/utils/cilconfig.cmi Ocamlc src/libraries/utils/rgmap.cmi Ocamlc src/plugins/gui/wtable.cmi Ocamlc src/libraries/utils/indexer.cmi Ocamlc src/libraries/utils/task.cmi Ocamlc src/plugins/gui/source_viewer.cmi Generating src/plugins/report/tests/ptests_config Generating src/plugins/wp/tests/ptests_config Ocamlc src/libraries/datatype/structural_descr.cmi Ocamlc src/plugins/aorai/bool3.cmo Ocamlc src/kernel_services/plugin_entry_points/log.cmi Ocamlc src/libraries/stdlib/integer.cmi Ocamlc src/plugins/aorai/ltl_output.cmi Ocamlopt src/libraries/datatype/structural_descr.cmx Ocamlopt src/libraries/stdlib/transitioning.cmx Ocamlopt src/libraries/stdlib/FCBuffer.cmx Ocamlopt src/libraries/utils/hook.cmx Ocamlopt src/libraries/stdlib/integer.cmx Ocamlopt src/libraries/stdlib/FCHashtbl.cmx Ocamlopt src/libraries/utils/qstack.cmx Ocamlopt src/libraries/utils/utf8_logic.cmx Ocamlopt src/plugins/aorai/ltl_output.cmx Ocamlopt src/libraries/utils/bitvector.cmx Linking bin/ptests.opt Ocamlopt src/plugins/gui/wutil.cmx Ocamlc src/plugins/gui/wtext.cmi Ocamlopt src/libraries/utils/rgmap.cmx Ocamlc src/plugins/gui/warning_manager.cmi Ocamlopt src/plugins/gui/wtable.cmx Ocamlopt src/libraries/utils/indexer.cmx Ocamlc src/libraries/datatype/type.cmi Ocamlc src/libraries/project/project_skeleton.cmi Ocamlc src/kernel_services/ast_data/cil_types.cmi Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmi Ocamlc src/plugins/aorai/ltl_output.cmo Ocamlopt src/libraries/datatype/type.cmx Ocamlopt src/libraries/stdlib/extlib.cmx Ocamlc src/kernel_services/plugin_entry_points/journal.cmi Ocamlc src/libraries/utils/floating_point.cmi Ocamlc src/kernel_internals/runtime/machdeps.cmi Ocamlc src/kernel_services/ast_queries/ast_info.cmi Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmi Ocamlc src/kernel_services/analysis/ordered_stmt.cmi Ocamlc src/kernel_services/analysis/undefined_sequence.cmi Ocamlc src/kernel_internals/typing/rmtmps.cmi Ocamlc src/kernel_internals/typing/oneret.cmi Ocamlc src/kernel_internals/typing/mergecil.cmi Ocamlc src/kernel_internals/typing/logic_builtin.cmi Ocamlc src/plugins/callgraph/journalize.cmi Ocamlc src/kernel_services/analysis/logic_interp.cmi Ocamlopt src/plugins/gui/widget.cmx Ocamlc src/plugins/gui/filetree.cmi Ocamlc src/libraries/datatype/descr.cmi Ocamlc src/kernel_services/parsetree/logic_ptree.cmi Ocamlc src/kernel_services/ast_printing/printer_api.cmi Ocamlc src/kernel_internals/typing/cfg.cmi Ocamlopt src/libraries/utils/pretty_utils.cmx Ocamlopt src/libraries/utils/filepath.cmx Ocamlc src/kernel_services/ast_printing/printer_builder.cmi Ocamlc src/kernel_services/ast_printing/cil_printer.cmi Ocamlopt src/kernel_internals/runtime/machdeps.cmx Ocamlc src/kernel_services/ast_printing/logic_print.cmi Ocamlopt src/plugins/value_types/cilE.cmx Ocamlc src/libraries/datatype/datatype.cmi Ocamlc src/kernel_services/parsetree/cabs.cmo Ocamlc src/plugins/aorai/promelaast.cmi Ocamlc src/kernel_services/ast_printing/printer.cmi Ocamlc src/kernel_internals/parsing/logic_parser.cmi Ocamlc src/kernel_internals/parsing/cparser.cmi Ocamlc src/plugins/aorai/ltlparser.cmi Ocamlc src/plugins/aorai/yaparser.cmi Ocamlc src/plugins/aorai/promelaparser.cmi Ocamlc src/plugins/aorai/promelaparser_withexps.cmi Ocamlopt src/kernel_services/plugin_entry_points/log.cmx Ocamlopt src/kernel_internals/runtime/config.cmx Ocamlopt src/libraries/datatype/descr.cmx Ocamlopt src/kernel_services/ast_printing/printer_builder.cmx Ocamlc src/libraries/utils/rangemap.cmi Ocamlc src/kernel_services/ast_printing/cprint.cmi Ocamlopt src/plugins/aorai/ltlparser.cmx Ocamlc src/kernel_internals/typing/frontc.cmi Ocamlc src/plugins/callgraph/journalize.cmo Ocamlc src/kernel_services/analysis/service_graph.cmi Ocamlopt src/plugins/gui/wtext.cmx Ocamlc src/plugins/gui/gui_printers.cmi Ocamlc src/libraries/project/state.cmi Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmi Ocamlc src/kernel_services/ast_queries/logic_typing.cmi Ocamlc src/plugins/aorai/promelaoutput.cmi Ocamlc src/plugins/aorai/logic_simplification.cmi Ocamlc src/kernel_internals/parsing/logic_lexer.cmi Ocamlc src/kernel_services/ast_data/globals.cmi Ocamlc src/kernel_internals/parsing/clexer.cmi Ocamlc src/kernel_services/ast_data/ast.cmi Ocamlc src/plugins/aorai/ltlparser.cmo Ocamlc src/plugins/aorai/ltllexer.cmo Ocamlc src/plugins/aorai/yalexer.cmo Ocamlc src/kernel_services/analysis/wto_statement.cmi Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmi Ocamlc src/kernel_services/abstract_interp/lattice_type.cmi Ocamlc src/kernel_services/abstract_interp/int_Base.cmi Ocamlc src/kernel_services/ast_data/property.cmi Ocamlc src/libraries/project/state_dependency_graph.cmi Ocamlopt src/kernel_services/cmdline_parameters/cmdline.cmx Ocamlc src/libraries/project/state_topological.cmi Ocamlopt src/kernel_services/parsetree/cabs.cmx Ocamlc src/kernel_services/parsetree/cabshelper.cmi Ocamlc src/kernel_services/ast_printing/description.cmi Ocamlopt src/plugins/gui/warning_manager.cmx Ocamlc src/kernel_internals/runtime/messages.cmi Ocamlc src/libraries/project/state_selection.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmi Ocamlc src/libraries/utils/hptmap_sig.cmi Ocamlc src/kernel_services/analysis/dataflow2.cmi Ocamlc src/kernel_services/abstract_interp/origin.cmi Ocamlc src/kernel_services/abstract_interp/bottom.cmi Ocamlopt src/plugins/aorai/ltllexer.cmx Ocamlc src/libraries/project/project.cmi Ocamlc src/libraries/utils/hptmap.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.cmi Ocamlopt src/libraries/project/project_skeleton.cmx Ocamlopt src/libraries/utils/binary_cache.cmx Ocamlc src/plugins/slicing/slicingTransform.cmi Ocamlc src/libraries/project/state_builder.cmi Ocamlc src/kernel_services/ast_transformations/filter.cmi Ocamlc src/libraries/utils/hptset.cmi Ocamlopt src/libraries/datatype/datatype.cmx Ocamlc src/kernel_services/plugin_entry_points/emitter.cmi Ocamlc src/kernel_services/ast_queries/logic_env.cmi Ocamlc src/kernel_services/ast_queries/cil_const.cmi Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmi Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmi Ocamlc src/kernel_services/ast_queries/cil_datatype.cmi Ocamlc src/kernel_services/ast_data/annotations.cmi Ocamlc src/kernel_services/abstract_interp/fval.cmi Ocamlc src/kernel_services/ast_data/property_status.cmi Ocamlc src/kernel_services/analysis/bit_utils.cmi Ocamlc src/kernel_services/ast_data/alarms.cmi Ocamlc src/plugins/gui/gtk_helper.cmi Ocamlc src/kernel_services/abstract_interp/ival.cmi Ocamlc src/kernel_services/abstract_interp/int_Intervals_sig.cmi Ocamlc src/kernel_services/abstract_interp/base.cmi Ocamlc src/plugins/gui/pretty_source.cmi Ocamlc src/plugins/gui/menu_manager.cmi Ocamlc src/plugins/gui/launcher.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_sig.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmi Ocamlc src/kernel_services/ast_data/kernel_function.cmi Ocamlc src/kernel_services/ast_queries/cil.cmi Ocamlc src/kernel_services/ast_queries/logic_const.cmi Ocamlc src/kernel_internals/typing/cabs2cil.cmi Ocamlc src/plugins/aorai/data_for_aorai.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_sig.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap_bitwise_sig.cmi Ocamlc src/kernel_services/abstract_interp/tr_offset.cmi Ocamlc src/kernel_services/analysis/stmts_graph.cmi Ocamlc src/plugins/pdg/ctrlDpds.cmi Ocamlc src/kernel_services/analysis/dataflows.cmi Ocamlc src/plugins/callgraph/callgraph_api.cmi Ocamlc src/plugins/callgraph/uses.cmi Ocamlc src/plugins/gui/source_manager.cmi Ocamlc src/kernel_services/ast_data/statuses_by_call.cmi Ocamlc src/plugins/gui/history.cmi Ocamlc src/kernel_services/plugin_entry_points/plugin.cmi Ocamlc src/kernel_services/ast_queries/logic_utils.cmi Ocamlc src/kernel_services/visitors/visitor.cmi Ocamlc src/plugins/aorai/aorai_utils.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmi Ocamlc src/kernel_services/abstract_interp/offsetmap.cmi Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmi Ocamlc src/kernel_services/visitors/cabsvisit.cmi Ocamlc src/plugins/callgraph/cg.cmi Ocamlc src/plugins/callgraph/services.cmi Ocamlc src/plugins/gui/design.cmi Ocamlc src/kernel_services/ast_queries/filecheck.cmi Ocamlc src/kernel_services/ast_queries/file.cmi Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmi Ocamlopt src/libraries/project/state.cmx Ocamlopt src/kernel_services/plugin_entry_points/journal.cmx Ocamlopt src/kernel_services/cmdline_parameters/typed_parameter.cmx Ocamlopt src/libraries/utils/rangemap.cmx Ocamlopt src/kernel_services/abstract_interp/bottom.cmx Ocamlc src/plugins/callgraph/uses.cmo Ocamlc src/kernel_services/abstract_interp/locations.cmi Ocamlopt src/libraries/project/state_dependency_graph.cmx Ocamlopt src/libraries/project/state_topological.cmx Ocamlopt src/kernel_services/plugin_entry_points/dynamic.cmx Ocamlopt src/kernel_services/cmdline_parameters/parameter_category.cmx Ocamlc src/plugins/value_types/precise_locs.cmi Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmi Ocamlc src/kernel_services/abstract_interp/lmap_sig.cmi Ocamlc src/plugins/pdg_types/pdgIndex.cmi Ocamlc src/plugins/value_types/inout_type.cmi Ocamlc src/plugins/slicing/slicingParameters.cmi Ocamlopt src/libraries/project/state_selection.cmx Ocamlc src/plugins/pdg/pdg_parameters.cmi Ocamlc src/plugins/callgraph/options.cmi Ocamlc src/plugins/gui/gui_parameters.cmi Ocamlc src/plugins/slicing/slicingParameters.cmo Ocamlc src/kernel_services/plugin_entry_points/kernel.cmi Ocamlc src/plugins/aorai/aorai_option.cmi Ocamlc src/plugins/value_types/function_Froms.cmi Ocamlc src/plugins/value_types/cvalue.cmi Ocamlc src/plugins/pdg_types/pdgTypes.cmi Ocamlc src/kernel_internals/parsing/lexerhack.cmo Ocamlc src/kernel_services/abstract_interp/map_Lattice.cmo Ocamlc src/kernel_services/abstract_interp/lmap.cmi Ocamlc src/plugins/callgraph/options.cmo Ocamlc src/plugins/callgraph/services.cmo Ocamlc src/plugins/aorai/aorai_option.cmo Ocamlc src/plugins/aorai/path_analysis.cmo Ocamlc src/plugins/aorai/promelaoutput.cmo Ocamlc src/plugins/aorai/logic_simplification.cmo Ocamlc src/plugins/aorai/utils_parser.cmo Ocamlc src/plugins/aorai/yaparser.cmo Ocamlc src/plugins/aorai/promelaparser.cmo Ocamlc src/plugins/aorai/promelalexer.cmo Ocamlc src/plugins/aorai/promelaparser_withexps.cmo Ocamlc src/plugins/aorai/promelalexer_withexps.cmo Ocamlc src/plugins/aorai/aorai_dataflow.cmo Ocamlc src/plugins/aorai/aorai_visitors.cmo Ocamlc src/plugins/value_types/value_types.cmi Ocamlc src/plugins/pdg_types/pdgMarks.cmi Ocamlopt src/libraries/project/project.cmx Ocamlc src/plugins/pdg/pdg_parameters.cmo Ocamlc src/plugins/pdg/pdg_state.cmi Ocamlc src/plugins/pdg/build.cmi Ocamlc src/plugins/pdg/sets.cmi Ocamlc src/plugins/pdg/annot.cmi Ocamlc src/plugins/pdg/marks.cmi Ocamlc src/plugins/aorai/data_for_aorai.cmo Ocamlc src/plugins/aorai/aorai_utils.cmo Ocamlc src/plugins/slicing_types/slicingInternals.cmo Ocamlc src/plugins/pdg/pdg_state.cmo Ocamlc src/plugins/slicing/printSlice.cmi Ocamlc src/plugins/slicing/slicingProject.cmi Ocamlc src/plugins/slicing_types/slicingTypes.cmo Ocamlc src/plugins/slicing/fct_slice.cmi Ocamlc src/kernel_services/plugin_entry_points/db.cmi Ocamlc src/plugins/slicing/slicingState.cmi Ocamlc src/plugins/slicing/slicingMarks.cmi Ocamlc src/plugins/slicing/slicingMarks.cmo Ocamlopt src/libraries/project/state_builder.cmx Ocamlc src/plugins/aorai/aorai_register.cmo Ocamlc src/plugins/slicing/slicingMacros.cmi Ocamlc src/plugins/slicing/slicingActions.cmi Ocamlc src/plugins/pdg/ctrlDpds.cmo Ocamlc src/plugins/pdg/build.cmo Ocamlc src/plugins/pdg/sets.cmo Ocamlc src/plugins/pdg/annot.cmo Ocamlc src/plugins/pdg/marks.cmo Ocamlc src/plugins/callgraph/cg.cmo Ocamlc src/plugins/callgraph/register.cmo Ocamlc src/plugins/slicing/slicingCmds.cmi Ocamlc src/plugins/slicing/slicingState.cmo Ocamlc src/plugins/slicing/slicingMacros.cmo Ocamlc src/plugins/slicing/slicingActions.cmo Ocamlc src/plugins/slicing/printSlice.cmo Ocamlc src/plugins/slicing/slicingProject.cmo Ocamlc src/plugins/slicing/slicingTransform.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Aorai.cmi Ocamlopt src/libraries/utils/hptmap.cmx Ocamlc src/plugins/slicing/register.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Callgraph.cmi Ocamlc src/plugins/loop_analysis/options.cmi Generating META.frama-c-loopanalysis Ocamlc src/plugins/loop_analysis/region_analysis_sig.cmo Ocamlc src/plugins/loop_analysis/loop_analysis.cmi Ocamlc src/kernel_services/analysis/loop.cmi Ocamlc src/plugins/pdg/register.cmo Ocamlc src/kernel_services/analysis/dominators.cmi Ocamlc src/plugins/slicing/slicingCmds.cmo Ocamlc src/plugins/loop_analysis/options.cmo Ocamlc src/plugins/loop_analysis/region_analysis.cmi Ocamlc src/plugins/loop_analysis/region_analysis.cmo Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmi Ocamlc src/plugins/loop_analysis/region_analysis_stmt.cmo Ocamlc src/plugins/loop_analysis/loop_analysis.cmo Ocamlc src/plugins/loop_analysis/slevel_analysis.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Pdg.cmi Ocamlc src/plugins/slicing/fct_slice.cmo Ocamlopt src/libraries/utils/hptset.cmx Ocamlc src/plugins/loop_analysis/register.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/LoopAnalysis.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmo Generating META.frama-c-nonterm Ocamlc src/plugins/nonterm/nonterm_run.cmo Ocamlopt src/kernel_services/ast_queries/cil_datatype.cmx Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Slicing.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Nonterm.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmo Generating META.frama-c-obfuscator Ocamlc src/plugins/obfuscator/options.cmi Ocamlc src/plugins/obfuscator/obfuscator_kind.cmi Ocamlc src/plugins/obfuscator/obfuscate.cmi Ocamlc src/plugins/obfuscator/obfuscator_kind.cmo Ocamlc src/plugins/obfuscator/dictionary.cmi Ocamlc src/plugins/obfuscator/options.cmo Ocamlc src/plugins/obfuscator/dictionary.cmo Ocamlc src/plugins/obfuscator/obfuscate.cmo Ocamlc src/plugins/obfuscator/obfuscator_register.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Obfuscator.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmo Generating META.frama-c-print_api Ocamlc src/plugins/print_api/grammar.cmi Ocamlc src/plugins/print_api/grammar.cmo Ocamlc src/plugins/print_api/lexer.cmo Ocamlc src/plugins/print_api/print_interface.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Print_api.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmo Generating META.frama-c-report Ocamlc src/plugins/report/scan.cmi Ocamlc src/plugins/report/report_parameters.cmi Ocamlc src/plugins/report/csv.cmi Ocamlc src/plugins/report/register.cmi Ocamlc src/plugins/report/dump.cmi Ocamlc src/plugins/report/report_parameters.cmo Ocamlc src/plugins/report/scan.cmo Ocamlc src/plugins/report/csv.cmo Ocamlc src/plugins/report/dump.cmo Ocamlc src/plugins/report/register.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Report.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmo Generating META.frama-c-security_slicing Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmi Ocamlc src/plugins/security_slicing/components.cmi Ocamlc src/plugins/security_slicing/security_slicing_parameters.cmo Ocamlc src/plugins/security_slicing/components.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Security_slicing.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmo Generating META.frama-c-variadic Ocamlc src/plugins/variadic/options.cmi Ocamlc src/plugins/variadic/extends.cmi Ocamlc src/plugins/variadic/va_build.cmo Ocamlc src/plugins/variadic/environment.cmo Ocamlc src/plugins/variadic/format_types.cmi Ocamlc src/plugins/variadic/format_pprint.cmi Ocamlc src/plugins/variadic/format_typer.cmi Ocamlc src/plugins/variadic/format_parser.cmi Ocamlc src/plugins/variadic/va_types.cmi Ocamlc src/plugins/variadic/format_typer.cmo Ocamlopt src/kernel_services/cmdline_parameters/parameter_customize.cmx Ocamlopt src/kernel_services/ast_queries/cil_state_builder.cmx Ocamlc src/plugins/variadic/options.cmo Ocamlc src/plugins/variadic/format_pprint.cmo Ocamlc src/plugins/variadic/extends.cmo Ocamlc src/plugins/variadic/format_parser.cmo Ocamlc src/plugins/variadic/generic.cmo Ocamlc src/plugins/variadic/standard.cmo Ocamlc src/plugins/variadic/classify.cmo Ocamlopt src/kernel_services/cmdline_parameters/parameter_state.cmx Ocamlopt src/kernel_services/cmdline_parameters/parameter_builder.cmx Ocamlc src/plugins/variadic/translate.cmo Ocamlc src/plugins/variadic/register.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Variadic.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmo Ocamlc src/plugins/wp/rformat.cmi Ocamlc src/plugins/wp/wprop.cmi Generating META.frama-c-wp Ocamlc src/plugins/wp/wp_parameters.cmi Ocamlc src/plugins/wp/wp_error.cmi Ocamlc src/plugins/wp/dyncall.cmi Compiling Qed (byte) Ocamlc src/plugins/wp/clabels.cmi gmake[2]: Entering directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501/src/plugins/wp/qed/src' Ocamlc src/plugins/wp/Separation.cmi Ocamlc src/plugins/wp/normAtLabels.cmi Ocamlc src/libraries/utils/bag.cmi Ocamlc src/plugins/wp/Context.cmi Ocamlc src/plugins/wp/Warning.cmi Ocamlc src/plugins/wp/Model.cmi Ocamlc src/plugins/wp/VCS.cmi gmake[2]: Leaving directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501/src/plugins/wp/qed/src' gmake[2]: Entering directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501/src/plugins/wp/qed/src' Ocamlc src/plugins/wp/script.cmi Ocamlc src/plugins/wp/wpReport.cmi Ocamlc src/libraries/utils/vector.cmi Ocamlc src/libraries/utils/json.cmi Ocamlc src/plugins/wp/why3_xml.cmi Ocamlc src/plugins/wp/rformat.cmo Ocamlc src/plugins/wp/wprop.cmo Ocamlc src/plugins/wp/wp_parameters.cmo Ocamlc src/plugins/wp/ProverTask.cmi Ocamlc src/plugins/wp/wp_error.cmo Ocamlc src/plugins/wp/dyncall.cmo Ocamlc src/plugins/wp/Separation.cmo Ocamlc src/plugins/wp/LogicUsage.cmi Ocamlc src/plugins/wp/cil2cfg.cmi Ocamlc src/plugins/wp/normAtLabels.cmo Ocamlc src/plugins/wp/Context.cmo Ocamlc src/plugins/wp/Warning.cmo Ocamlc src/plugins/wp/Model.cmo Ocamlc src/plugins/wp/wpRTE.cmi Ocamlc src/plugins/wp/VCS.cmo Ocamlc src/plugins/wp/script.cmo Ocamlc src/plugins/wp/why3_xml.cmo Ocamlopt src/kernel_services/plugin_entry_points/plugin.cmx Ocamlc src/plugins/wp/LogicUsage.cmo Ocamlc src/plugins/wp/cil2cfg.cmo Ocamlc src/plugins/wp/wpPropId.cmi Ocamlc src/plugins/wp/mcfg.cmo Ocamlc src/plugins/wp/wpStrategy.cmi Ocamlc src/plugins/wp/proof.cmi Ocamlc src/plugins/wp/proof.cmo Ocamlc src/plugins/wp/ProverTask.cmo Ocamlc src/plugins/wp/wpStrategy.cmo Ocamlc src/plugins/wp/wpAnnot.cmi Ocamlc src/plugins/wp/calculus.cmi Ocamlopt src/kernel_services/plugin_entry_points/kernel.cmx Ocamlopt src/plugins/slicing/slicingParameters.cmx Ocamlopt src/plugins/gui/gui_parameters.cmx Ocamlc src/plugins/wp/wpAnnot.cmo Ocamlc src/plugins/wp/calculus.cmo Ocamlopt src/plugins/gui/source_viewer.cmx gmake[2]: Leaving directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501/src/plugins/wp/qed/src' Ocamlc src/plugins/wp/ctypes.cmi Ocamlc src/plugins/wp/RefUsage.cmi Ocamlc src/plugins/wp/Splitter.cmi Ocamlc src/plugins/wp/ctypes.cmo Ocamlc src/plugins/wp/clabels.cmo Ocamlc src/plugins/wp/RefUsage.cmo Ocamlc src/plugins/wp/wpPropId.cmo Ocamlc src/plugins/wp/Lang.cmi Ocamlc src/plugins/wp/Splitter.cmo Ocamlopt src/kernel_services/plugin_entry_points/emitter.cmx Ocamlopt src/kernel_services/ast_queries/cil_const.cmx Ocamlopt src/libraries/utils/floating_point.cmx Ocamlopt src/kernel_internals/typing/alpha.cmx Ocamlopt src/kernel_internals/parsing/errorloc.cmx Ocamlopt src/kernel_internals/parsing/lexerhack.cmx Ocamlopt src/kernel_services/abstract_interp/lattice_messages.cmx Ocamlopt src/libraries/utils/unicode.cmx Ocamlopt src/libraries/utils/cilconfig.cmx Ocamlc src/plugins/wp/Lang.cmo Ocamlc src/plugins/wp/Repr.cmi Ocamlc src/plugins/wp/Matrix.cmi Ocamlc src/plugins/wp/Passive.cmi Ocamlc src/plugins/wp/Letify.cmi Ocamlc src/plugins/wp/LogicBuiltins.cmi Ocamlc src/plugins/wp/Definitions.cmi Ocamlc src/plugins/wp/Cleaning.cmi Ocamlc src/plugins/wp/Vset.cmi Ocamlc src/plugins/wp/Cfloat.cmi Ocamlc src/plugins/wp/Vlist.cmi Ocamlc src/plugins/wp/Region.cmi Ocamlc src/plugins/wp/Plang.cmi Ocamlc src/plugins/wp/Footprint.cmi Ocamlc src/plugins/wp/WpTac.cmi Ocamlc src/plugins/wp/driver.cmi Ocamlopt src/plugins/aorai/aorai_option.cmx Ocamlopt src/kernel_services/ast_queries/logic_env.cmx Ocamlopt src/kernel_services/abstract_interp/abstract_interp.cmx Ocamlc src/plugins/wp/Repr.cmo Ocamlc src/plugins/wp/Matrix.cmo Ocamlc src/plugins/wp/Passive.cmo Ocamlc src/plugins/wp/Letify.cmo Ocamlc src/plugins/wp/Cleaning.cmo Ocamlc src/plugins/wp/LogicBuiltins.cmo Ocamlc src/plugins/wp/Definitions.cmo Ocamlc src/plugins/wp/Cstring.cmi Ocamlc src/plugins/wp/Cfloat.cmo Ocamlc src/plugins/wp/Vset.cmo Ocamlc src/plugins/wp/Region.cmo Ocamlc src/plugins/wp/Cstring.cmo Ocamlc src/plugins/wp/Plang.cmo Ocamlc src/plugins/wp/Footprint.cmo Ocamlc src/plugins/wp/driver.cmo Ocamlopt src/plugins/aorai/path_analysis.cmx Ocamlopt src/kernel_services/ast_queries/logic_const.cmx Ocamlc src/plugins/wp/Memory.cmo Ocamlc src/plugins/wp/Mstate.cmi Ocamlc src/plugins/wp/Sigma.cmi Ocamlc src/plugins/wp/LogicCompiler.cmi Ocamlc src/plugins/wp/LogicSemantics.cmi Ocamlc src/plugins/wp/LogicAssigns.cmi Ocamlc src/plugins/wp/Sigma.cmo Ocamlc src/plugins/wp/MemEmpty.cmi Ocamlc src/plugins/wp/MemZeroAlias.cmi Ocamlc src/plugins/wp/MemVar.cmi Ocamlc src/plugins/wp/MemTyped.cmi Ocamlopt src/kernel_services/ast_queries/cil.cmx Ocamlc src/plugins/wp/Conditions.cmi Ocamlc src/plugins/wp/Cvalues.cmi Ocamlc src/plugins/wp/Mstate.cmo Ocamlc src/plugins/wp/Conditions.cmo Ocamlc src/plugins/wp/Filtering.cmi Ocamlc src/plugins/wp/Pcfg.cmi Ocamlc src/plugins/wp/CodeSemantics.cmi Ocamlc src/plugins/wp/LogicCompiler.cmo Ocamlc src/plugins/wp/LogicAssigns.cmo Ocamlc src/plugins/wp/MemEmpty.cmo Ocamlc src/plugins/wp/MemZeroAlias.cmo Ocamlc src/plugins/wp/MemVar.cmo Ocamlc src/plugins/wp/MemTyped.cmo Ocamlc src/plugins/wp/wpo.cmi Ocamlc src/plugins/wp/Tactical.cmi Ocamlc src/plugins/wp/WpTac.cmo Ocamlc src/plugins/wp/ProofScript.cmi Ocamlc src/plugins/wp/ProverErgo.cmi Ocamlc src/plugins/wp/ProverCoq.cmi Ocamlc src/plugins/wp/ProverWhy3.cmi Ocamlc src/plugins/wp/ProverWhy3ide.cmi Ocamlc src/plugins/wp/prover.cmi Ocamlc src/plugins/wp/ProverScript.cmi Ocamlc src/plugins/wp/Generator.cmi Ocamlc src/plugins/wp/VC.cmi Ocamlc src/plugins/wp/Cint.cmi Ocamlc src/plugins/wp/Filtering.cmo Ocamlc src/plugins/wp/Pcfg.cmo Ocamlc src/plugins/wp/Pcond.cmi Ocamlc src/plugins/wp/CodeSemantics.cmo Ocamlc src/plugins/wp/LogicSemantics.cmo Ocamlc src/plugins/wp/wpRTE.cmo Ocamlc src/plugins/wp/wpo.cmo Ocamlc src/plugins/wp/wpReport.cmo Ocamlc src/plugins/wp/Tactical.cmo Ocamlc src/plugins/wp/Strategy.cmi Ocamlc src/plugins/wp/ProofSession.cmi Ocamlc src/plugins/wp/ProofScript.cmo Ocamlc src/plugins/wp/ProofEngine.cmi Ocamlc src/plugins/wp/ProverErgo.cmo Ocamlc src/plugins/wp/ProverCoq.cmo Ocamlc src/plugins/wp/ProverWhy3.cmo Ocamlc src/plugins/wp/ProverWhy3ide.cmo Ocamlc src/plugins/wp/prover.cmo Ocamlc src/plugins/wp/ProverScript.cmo Ocamlc src/plugins/wp/ProverSearch.cmi Ocamlc src/plugins/wp/Generator.cmo Ocamlc src/plugins/wp/Factory.cmi Ocamlc src/plugins/wp/cfgDump.cmi Ocamlc src/plugins/wp/cfgWP.cmi Ocamlopt src/kernel_services/abstract_interp/int_Base.cmx Ocamlopt src/kernel_services/abstract_interp/fval.cmx Ocamlc src/plugins/wp/Cint.cmo Ocamlc src/plugins/wp/Vlist.cmo Ocamlc src/plugins/wp/Cvalues.cmo Ocamlc src/plugins/wp/Pcond.cmo Ocamlc src/plugins/wp/Strategy.cmo Ocamlc src/plugins/wp/TacSplit.cmi Ocamlc src/plugins/wp/TacChoice.cmi Ocamlc src/plugins/wp/TacRange.cmi Ocamlc src/plugins/wp/TacArray.cmi Ocamlc src/plugins/wp/TacCompound.cmi Ocamlc src/plugins/wp/TacUnfold.cmi Ocamlc src/plugins/wp/TacHavoc.cmi Ocamlc src/plugins/wp/TacInstance.cmi Ocamlc src/plugins/wp/TacLemma.cmi Ocamlc src/plugins/wp/TacFilter.cmi Ocamlc src/plugins/wp/TacCut.cmi Ocamlc src/plugins/wp/TacNormalForm.cmi Ocamlc src/plugins/wp/TacRewrite.cmi Ocamlc src/plugins/wp/Auto.cmi Ocamlc src/plugins/wp/ProofSession.cmo Ocamlc src/plugins/wp/ProofEngine.cmo Ocamlc src/plugins/wp/ProverSearch.cmo Ocamlc src/plugins/wp/Factory.cmo Ocamlc src/plugins/wp/cfgDump.cmo Ocamlc src/plugins/wp/cfgWP.cmo Ocamlc src/plugins/wp/register.cmo Ocamlopt src/kernel_services/abstract_interp/ival.cmx Ocamlc src/plugins/wp/TacSplit.cmo Ocamlc src/plugins/wp/TacChoice.cmo Ocamlc src/plugins/wp/TacRange.cmo Ocamlc src/plugins/wp/TacArray.cmo Ocamlc src/plugins/wp/TacCompound.cmo Ocamlc src/plugins/wp/TacUnfold.cmo Ocamlc src/plugins/wp/TacHavoc.cmo Ocamlc src/plugins/wp/TacInstance.cmo Ocamlc src/plugins/wp/TacLemma.cmo Ocamlc src/plugins/wp/TacFilter.cmo Ocamlc src/plugins/wp/TacCut.cmo Ocamlc src/plugins/wp/TacNormalForm.cmo Ocamlc src/plugins/wp/TacRewrite.cmo Ocamlc src/plugins/wp/Auto.cmo Ocamlc src/plugins/wp/VC.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Wp.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.cma Generation of the extra-config for why3 Ocamlc src/kernel_internals/runtime/frama_c_init.cmi Ocamlc src/libraries/stdlib/FCMap.cmo Ocamlc src/libraries/stdlib/transitioning.cmo Ocamlc src/libraries/stdlib/FCSet.cmo Ocamlc src/libraries/stdlib/FCBuffer.cmo Ocamlc src/libraries/stdlib/FCHashtbl.cmo Ocamlc src/libraries/stdlib/extlib.cmo Ocamlc src/libraries/datatype/unmarshal.cmo Ocamlc src/libraries/datatype/unmarshal_z.cmi Ocamlc src/libraries/datatype/structural_descr.cmo Ocamlc src/libraries/datatype/type.cmo Ocamlc src/libraries/datatype/descr.cmo Ocamlc src/libraries/utils/pretty_utils.cmo Ocamlc src/libraries/utils/hook.cmo Ocamlc src/libraries/utils/bag.cmo Ocamlc src/libraries/utils/wto.cmo Ocamlc src/libraries/utils/vector.cmo Ocamlc src/libraries/utils/indexer.cmo Ocamlc src/libraries/utils/rgmap.cmo Ocamlc src/libraries/utils/bitvector.cmo Ocamlc src/libraries/utils/qstack.cmo Ocamlc src/libraries/utils/leftistheap.cmi Ocamlc src/libraries/stdlib/integer.cmo Ocamlc src/libraries/utils/filepath.cmo Ocamlc src/libraries/utils/json.cmo Ocamlc src/kernel_internals/runtime/config.cmo Ocamlc src/kernel_services/plugin_entry_points/log.cmo Ocamlc src/kernel_services/cmdline_parameters/cmdline.cmo Ocamlc src/libraries/project/project_skeleton.cmo Ocamlc src/libraries/datatype/datatype.cmo Ocamlc src/kernel_services/plugin_entry_points/journal.cmo Ocamlc src/libraries/project/state.cmo Ocamlc src/libraries/project/state_dependency_graph.cmo Ocamlc src/libraries/project/state_topological.cmo Ocamlc src/libraries/project/state_selection.cmo Ocamlc src/libraries/project/project.cmo Ocamlc src/libraries/project/state_builder.cmo Ocamlc src/libraries/utils/utf8_logic.cmo Ocamlc src/libraries/utils/binary_cache.cmo Ocamlc src/libraries/utils/hptmap.cmo Ocamlc src/libraries/utils/hptset.cmo Ocamlc src/libraries/utils/escape.cmo Ocamlc src/kernel_services/ast_queries/cil_datatype.cmo Ocamlc src/kernel_services/cmdline_parameters/typed_parameter.cmo Ocamlc src/kernel_services/plugin_entry_points/dynamic.cmo Ocamlc src/kernel_services/cmdline_parameters/parameter_category.cmo Ocamlc src/kernel_services/cmdline_parameters/parameter_customize.cmo Ocamlc src/kernel_services/cmdline_parameters/parameter_state.cmo Ocamlc src/kernel_services/cmdline_parameters/parameter_builder.cmo Ocamlc src/kernel_services/plugin_entry_points/plugin.cmo Ocamlc src/kernel_services/plugin_entry_points/kernel.cmo Ocamlc src/libraries/utils/unicode.cmo Ocamlc src/kernel_services/plugin_entry_points/emitter.cmo Ocamlc src/libraries/utils/floating_point.cmo Ocamlc src/libraries/utils/rangemap.cmo Ocamlc src/kernel_services/ast_printing/cil_types_debug.cmi Ocamlc src/kernel_services/ast_printing/printer_builder.cmo Ocamlc src/libraries/utils/cilconfig.cmo Ocamlc src/kernel_internals/typing/alpha.cmo Ocamlc src/kernel_services/ast_queries/cil_state_builder.cmo Ocamlc src/kernel_internals/runtime/machdeps.cmo Ocamlc src/kernel_services/ast_queries/cil_const.cmo Ocamlc src/kernel_services/ast_queries/logic_env.cmo Ocamlc src/kernel_services/ast_queries/logic_const.cmo Ocamlc src/kernel_services/ast_queries/cil.cmo Ocamlc src/kernel_internals/parsing/errorloc.cmo Ocamlc src/kernel_services/ast_printing/cil_printer.cmo Ocamlc src/kernel_services/ast_printing/cil_descriptive_printer.cmo Ocamlc src/kernel_services/parsetree/cabshelper.cmo Ocamlc src/kernel_services/ast_printing/logic_print.cmo Ocamlc src/kernel_services/ast_queries/logic_utils.cmo Ocamlc src/kernel_internals/parsing/logic_parser.cmo Ocamlc src/kernel_internals/parsing/logic_lexer.cmo Ocamlc src/kernel_services/ast_queries/logic_typing.cmo Ocamlc src/kernel_services/ast_queries/ast_info.cmo Ocamlc src/kernel_services/ast_data/ast.cmo Ocamlc src/kernel_services/ast_data/globals.cmo Ocamlc src/kernel_services/ast_printing/cprint.cmo Ocamlc src/kernel_services/visitors/cabsvisit.cmo Ocamlc src/kernel_internals/typing/cabs2cil.cmo Ocamlc src/kernel_internals/typing/cfg.cmo Ocamlc src/kernel_services/ast_data/kernel_function.cmo Ocamlc src/kernel_services/ast_data/property.cmo Ocamlc src/kernel_services/ast_data/property_status.cmo Ocamlc src/kernel_services/ast_data/annotations.cmo Ocamlc src/kernel_services/ast_printing/printer.cmo Ocamlc src/kernel_internals/typing/logic_builtin.cmo Ocamlc src/kernel_services/ast_printing/cabs_debug.cmi Ocamlc src/kernel_internals/parsing/clexer.cmo Ocamlc src/kernel_internals/parsing/cparser.cmo Ocamlc src/kernel_internals/parsing/logic_preprocess.cmo Ocamlc src/kernel_internals/typing/mergecil.cmo Ocamlc src/kernel_internals/typing/rmtmps.cmo Ocamlc src/kernel_internals/typing/oneret.cmo Ocamlc src/kernel_internals/typing/frontc.cmo Ocamlc src/kernel_services/ast_data/statuses_by_call.cmo Ocamlc src/kernel_services/analysis/dataflow.cmi Ocamlc src/kernel_services/analysis/ordered_stmt.cmo Ocamlc src/kernel_services/analysis/wto_statement.cmo Ocamlc src/kernel_services/analysis/dataflow2.cmo Ocamlc src/kernel_services/analysis/dataflows.cmo Ocamlc src/kernel_services/analysis/stmts_graph.cmo Ocamlc src/kernel_services/analysis/dominators.cmo Ocamlc src/kernel_services/analysis/service_graph.cmo Ocamlc src/kernel_services/analysis/undefined_sequence.cmo Ocamlc src/kernel_services/ast_printing/description.cmo Ocamlc src/kernel_services/ast_data/alarms.cmo Ocamlc src/kernel_services/abstract_interp/lattice_messages.cmo Ocamlc src/kernel_services/abstract_interp/abstract_interp.cmo Ocamlc src/kernel_services/abstract_interp/bottom.cmo Ocamlc src/kernel_services/abstract_interp/int_Base.cmo Ocamlc src/kernel_services/analysis/bit_utils.cmo Ocamlc src/kernel_services/abstract_interp/fval.cmo Ocamlc src/kernel_services/abstract_interp/ival.cmo Ocamlc src/kernel_services/abstract_interp/base.cmo Ocamlc src/kernel_services/abstract_interp/origin.cmo Ocamlc src/kernel_services/abstract_interp/tr_offset.cmo Ocamlc src/kernel_services/abstract_interp/offsetmap.cmo Ocamlc src/kernel_services/abstract_interp/int_Intervals.cmo Ocamlc src/kernel_services/abstract_interp/locations.cmo Ocamlc src/kernel_services/abstract_interp/lmap.cmo Ocamlc src/kernel_services/abstract_interp/lmap_bitwise.cmo Ocamlc src/kernel_services/visitors/visitor.cmo Ocamlc src/plugins/value_types/cilE.cmo Ocamlc src/plugins/value_types/cvalue.cmo Ocamlc src/plugins/value_types/precise_locs.cmo Ocamlc src/plugins/value_types/value_types.cmo Ocamlc src/plugins/value_types/widen_type.cmi Ocamlc src/plugins/value_types/function_Froms.cmo Ocamlc src/plugins/value_types/inout_type.cmo Ocamlc src/plugins/pdg_types/pdgIndex.cmo Ocamlc src/plugins/pdg_types/pdgTypes.cmo Ocamlc src/plugins/pdg_types/pdgMarks.cmo Ocamlc src/kernel_services/plugin_entry_points/db.cmo Ocamlc src/libraries/utils/command.cmo Ocamlc src/libraries/utils/task.cmo Ocamlc src/kernel_services/ast_queries/filecheck.cmo Ocamlc src/kernel_services/ast_queries/file.cmo Ocamlc src/kernel_internals/typing/translate_lightweight.cmi Ocamlc src/kernel_internals/typing/allocates.cmi Ocamlc src/kernel_internals/typing/unroll_loops.cmi Ocamlc src/kernel_internals/typing/asm_contracts.cmi Ocamlc src/kernel_services/analysis/loop.cmo Ocamlc src/kernel_services/analysis/exn_flow.cmi Ocamlc src/kernel_services/analysis/destructors.cmi Ocamlc src/kernel_services/analysis/logic_interp.cmo Ocamlc src/kernel_internals/typing/infer_annotations.cmi Ocamlc src/kernel_services/ast_transformations/clone.cmi Ocamlc src/kernel_services/ast_transformations/filter.cmo Ocamlc src/kernel_internals/runtime/special_hooks.cmi Ocamlc src/kernel_internals/runtime/messages.cmo Ocamlc src/kernel_internals/runtime/boot.cmo CC src/libraries/utils/c_bindings.o Ocamlc src/plugins/metrics/metrics_parameters.cmi src/libraries/utils/c_bindings.c: In function 'terminate_process': src/libraries/utils/c_bindings.c:227:4: warning: #warning Does your system have kill()? [-Wcpp] #warning Does your system have kill()? ^~~~~~~ src/libraries/utils/c_bindings.c:220:8: warning: unused variable 'pid' [-Wunused-variable] long pid = Long_val(v); ^~~ Ocamlc src/plugins/metrics/css_html.cmo Ocamlc src/plugins/metrics/metrics_base.cmi Ocamlc src/plugins/metrics/metrics_acsl.cmi Ocamlc src/plugins/metrics/metrics_cabs.cmi Ocamlc src/plugins/metrics/metrics_cilast.cmi Ocamlc src/plugins/metrics/metrics_coverage.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.cmi Ocamlc src/plugins/value/slevel/split_strategy.cmi Ocamlc src/plugins/value/slevel/stop_at_nth.cmi Ocamlc src/plugins/value/utils/value_perf.cmi Ocamlc src/plugins/value/slevel/separate.cmi Ocamlc src/plugins/value/utils/widen_hints_ext.cmi Ocamlc src/plugins/value/utils/widen.cmi Ocamlc src/plugins/value/engine/split_return.cmi Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmi Ocamlc src/plugins/value/utils/library_functions.cmi Ocamlc src/plugins/value/alarmset.cmi Ocamlc src/plugins/value/utils/backward_formals.cmi Ocamlc src/plugins/value/legacy/warn.cmi Ocamlc src/plugins/value/utils/structure.cmi Ocamlc src/plugins/value/values/cvalue_backward.cmi Ocamlc src/plugins/value/legacy/eval_op.cmi Ocamlc src/plugins/value/legacy/function_args.cmi Ocamlc src/plugins/value/domains/hcexprs.cmi Ocamlc src/plugins/value/domains/equality/equality_sig.cmi Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmi Ocamlc src/plugins/value/domains/cvalue/builtins.cmi Ocamlc src/plugins/value/domains/cvalue/builtins_malloc.cmi Ocamlc src/plugins/value/domains/cvalue/builtins_string.cmi Ocamlc src/plugins/value/domains/cvalue/builtins_misc.cmi Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmi Ocamlc src/plugins/value/utils/state_import.cmi Ocamlc src/plugins/value/utils/value_results.cmi Ocamlc src/plugins/value/legacy/eval_terms.cmi Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmi Ocamlc src/plugins/value/engine/recursion.cmi Ocamlc src/plugins/value/register.cmi Ocamlc src/plugins/occurrence/options.cmi Ocamlc src/plugins/rte/options.cmi Ocamlc src/plugins/rte/generator.cmi Ocamlc src/plugins/rte/rte.cmi Ocamlc src/plugins/rte/visit.cmi Ocamlc src/plugins/from/from_parameters.cmi Ocamlc src/plugins/from/from_compute.cmi Ocamlc src/plugins/from/functionwise.cmi Ocamlc src/plugins/from/callwise.cmi Ocamlc src/plugins/from/from_register.cmi Ocamlc src/plugins/users/users_register.cmo Ocamlc src/plugins/constant_propagation/propagationParameters.cmi Ocamlc src/plugins/constant_propagation/register.cmi Ocamlc src/plugins/postdominators/postdominators_parameters.cmi Ocamlc src/plugins/inout/inout_parameters.cmi Ocamlc src/plugins/inout/cumulative_analysis.cmi Ocamlc src/plugins/inout/outputs.cmi Ocamlc src/plugins/inout/inputs.cmi Ocamlc src/plugins/inout/derefs.cmi Ocamlc src/plugins/impact/options.cmi Ocamlc src/plugins/impact/pdg_aux.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.cmi Ocamlc src/plugins/scope/datascope.cmi Ocamlc src/plugins/scope/zones.cmi Ocamlc src/plugins/scope/defs.cmi Ocamlc src/plugins/sparecode/sparecode_params.cmi Ocamlc src/plugins/sparecode/spare_marks.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.cmi Ocamlc src/plugins/gui/wbox.cmi Ocamlc src/plugins/gui/wfile.cmi Ocamlc src/plugins/gui/wpane.cmi Ocamlc src/plugins/gui/wpalette.cmi Ocamlc src/plugins/gui/gtk_form.cmi Ocamlc src/plugins/gui/book_manager.cmi Ocamlc src/plugins/gui/analyses_manager.cmi Ocamlc src/plugins/gui/file_manager.cmi Ocamlc src/plugins/gui/project_manager.cmi Ocamlc src/plugins/gui/debug_manager.cmi Ocamlc src/plugins/gui/help_manager.cmi Ocamlc src/plugins/gui/property_navigator.cmi Ocamlc src/plugins/gui/wutil.cmo Ocamlc src/plugins/gui/widget.cmo Ocamlc src/plugins/gui/wbox.cmo Ocamlc src/plugins/gui/wfile.cmo Ocamlc src/plugins/gui/wpane.cmo Ocamlc src/plugins/gui/wpalette.cmo Ocamlc src/plugins/gui/wtext.cmo Ocamlc src/plugins/gui/wtable.cmo Ocamlc src/plugins/gui/gui_parameters.cmo Ocamlc src/plugins/gui/gtk_helper.cmo Ocamlc src/plugins/gui/gtk_form.cmo Ocamlc src/plugins/gui/source_viewer.cmo Ocamlc src/plugins/gui/pretty_source.cmo Ocamlc src/plugins/gui/source_manager.cmo Ocamlc src/plugins/gui/book_manager.cmo Ocamlc src/plugins/gui/warning_manager.cmo Ocamlc src/plugins/gui/filetree.cmo Ocamlc src/plugins/gui/launcher.cmo Ocamlc src/plugins/gui/menu_manager.cmo Ocamlc src/plugins/gui/history.cmo Ocamlc src/plugins/gui/gui_printers.cmo Ocamlc src/plugins/gui/design.cmo Ocamlc src/plugins/gui/analyses_manager.cmo Ocamlc src/plugins/gui/file_manager.cmo Ocamlc src/plugins/gui/project_manager.cmo Ocamlc src/plugins/gui/debug_manager.cmo Ocamlc src/plugins/gui/help_manager.cmo Ocamlc src/plugins/gui/property_navigator.cmo Generating META.frama-c-metrics Generating META.frama-c-callgraph Generating META.frama-c-value Generating META.frama-c-occurrence Generating META.frama-c-rtegen Generating META.frama-c-from Generating META.frama-c-users Generating META.frama-c-constant_propagation Generating META.frama-c-postdominators Generating META.frama-c-inout Generating META.frama-c-impact Generating META.frama-c-pdg Generating META.frama-c-scope Generating META.frama-c-sparecode Generating META.frama-c-slicing Ocamlopt src/kernel_services/ast_printing/cil_printer.cmx Ocamlopt src/kernel_services/parsetree/cabshelper.cmx Ocamlopt src/kernel_services/ast_queries/ast_info.cmx Ocamlopt src/plugins/aorai/utils_parser.cmx Ocamlopt src/kernel_services/abstract_interp/origin.cmx Ocamlc src/kernel_internals/runtime/frama_c_init.cmo Ocamlc src/libraries/datatype/unmarshal_z.cmo Ocamlc src/libraries/utils/leftistheap.cmo Ocamlc src/kernel_services/ast_printing/cil_types_debug.cmo Ocamlc src/kernel_services/ast_printing/cabs_debug.cmo Ocamlc src/kernel_services/analysis/dataflow.cmo Ocamlc src/plugins/value_types/widen_type.cmo Ocamlc src/kernel_internals/typing/translate_lightweight.cmo Ocamlc src/kernel_internals/typing/allocates.cmo Ocamlc src/kernel_internals/typing/unroll_loops.cmo Ocamlc src/kernel_internals/typing/asm_contracts.cmo Ocamlc src/kernel_services/analysis/exn_flow.cmo Ocamlc src/kernel_services/analysis/destructors.cmo Ocamlc src/kernel_internals/typing/infer_annotations.cmo Ocamlc src/kernel_services/ast_transformations/clone.cmo Ocamlc src/kernel_internals/runtime/special_hooks.cmo Ocamlc src/plugins/metrics/metrics_parameters.cmo Ocamlc src/plugins/metrics/metrics_base.cmo Ocamlc src/plugins/metrics/metrics_acsl.cmo Ocamlc src/plugins/metrics/metrics_cabs.cmo Ocamlc src/plugins/metrics/metrics_cilast.cmo Ocamlc src/plugins/metrics/metrics_coverage.cmo Ocamlc src/plugins/metrics/register.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.cmo Ocamlc src/plugins/value/slevel/split_strategy.cmo Ocamlc src/plugins/value/value_parameters.cmi Ocamlc src/plugins/value/utils/widen_hints_ext.cmo Ocamlc src/plugins/value/eval.cmi Ocamlc src/plugins/value/utils/backward_formals.cmo Ocamlc src/plugins/value/utils/structure.cmo Ocamlc src/plugins/value/domains/hcexprs.cmo Ocamlc src/plugins/value/domains/equality/equality.cmi Ocamlc src/plugins/value/domains/cvalue/locals_scoping.cmo Ocamlc src/plugins/value/legacy/eval_annots.cmi Ocamlc src/plugins/value/domains/cvalue/cvalue_specification.cmi Ocamlc src/plugins/value/engine/mem_exec.cmi Ocamlc src/plugins/occurrence/options.cmo Ocamlc src/plugins/occurrence/register.cmo Ocamlc src/plugins/rte/options.cmo Ocamlc src/plugins/rte/generator.cmo Ocamlc src/plugins/rte/rte.cmo Ocamlc src/plugins/rte/visit.cmo Ocamlc src/plugins/rte/register.cmo Ocamlc src/plugins/from/from_parameters.cmo Ocamlc src/plugins/from/from_compute.cmo Ocamlc src/plugins/from/functionwise.cmo Ocamlc src/plugins/from/callwise.cmo Ocamlc src/plugins/from/from_register.cmo Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Users.cmi Ocamlc src/plugins/constant_propagation/propagationParameters.cmo Ocamlc src/plugins/constant_propagation/register.cmo Ocamlc src/plugins/postdominators/postdominators_parameters.cmo Ocamlc src/plugins/postdominators/print.cmo Ocamlc src/plugins/inout/inout_parameters.cmo Ocamlc src/plugins/inout/cumulative_analysis.cmo Ocamlc src/plugins/inout/operational_inputs.cmo Ocamlc src/plugins/inout/inputs.cmo Ocamlc src/plugins/inout/derefs.cmo Ocamlc src/plugins/impact/options.cmo Ocamlc src/plugins/impact/pdg_aux.cmo Ocamlc src/plugins/impact/reason_graph.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.cmo Ocamlc src/plugins/scope/datascope.cmo Ocamlc src/plugins/scope/zones.cmo Ocamlc src/plugins/scope/defs.cmo Ocamlc src/plugins/sparecode/sparecode_params.cmo Ocamlc src/plugins/sparecode/globs.cmo Ocamlc src/plugins/sparecode/spare_marks.cmo Ocamlc src/plugins/sparecode/transform.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.cmo Ocamlopt src/kernel_services/visitors/cabsvisit.cmx Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Metrics.cmi Ocamlc src/plugins/value/value_parameters.cmo Ocamlc src/plugins/value/slevel/stop_at_nth.cmo Ocamlc src/plugins/value/utils/value_perf.cmo Ocamlc src/plugins/value/utils/value_util.cmi Ocamlc src/plugins/value/utils/mark_noresults.cmo Ocamlc src/plugins/value/slevel/separate.cmo Ocamlc src/plugins/value/utils/widen.cmo Ocamlc src/plugins/value/engine/split_return.cmo Ocamlc src/plugins/value/slevel/per_stmt_slevel.cmo Ocamlc src/plugins/value/utils/library_functions.cmo Ocamlc src/plugins/value/utils/eval_typ.cmi Ocamlc src/plugins/value/alarmset.cmo Ocamlc src/plugins/value/legacy/warn.cmo Ocamlc src/plugins/value/eval.cmo Ocamlc src/plugins/value/values/abstract_value.cmi Ocamlc src/plugins/value/values/abstract_location.cmi Ocamlc src/plugins/value/values/cvalue_forward.cmi Ocamlc src/plugins/value/values/main_values.cmi Ocamlc src/plugins/value/values/main_locations.cmi Ocamlc src/plugins/value/values/offsm_value.cmi Ocamlc src/plugins/value/legacy/eval_op.cmo Ocamlc src/plugins/value/legacy/function_args.cmo Ocamlc src/plugins/value/domains/abstract_domain.cmi Ocamlc src/plugins/value/domains/equality/equality.cmo Ocamlc src/plugins/value/domains/cvalue/builtins.cmo Ocamlc src/plugins/value/domains/cvalue/builtins_malloc.cmo Ocamlc src/plugins/value/domains/cvalue/builtins_string.cmo Ocamlc src/plugins/value/domains/cvalue/builtins_misc.cmo Ocamlc src/plugins/value/domains/cvalue/builtins_float.cmo Ocamlc src/plugins/value/utils/value_results.cmo Ocamlc src/plugins/value/utils/state_import.cmo Ocamlc src/plugins/value/legacy/eval_terms.cmo Ocamlc src/plugins/value/legacy/eval_annots.cmo Ocamlc src/plugins/value/domains/powerset.cmi Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmi Ocamlc src/plugins/value/domains/cvalue/cvalue_init.cmo Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmi Ocamlc src/plugins/value/engine/evaluation.cmi Ocamlc src/plugins/value/engine/recursion.cmo Ocamlc src/plugins/value/engine/initialization.cmi Ocamlc src/plugins/value/engine/partitioning.cmi Ocamlc src/plugins/value/engine/initialization.cmo Ocamlc src/plugins/value/engine/abstractions.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Occurrence.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/RteGen.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/From.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Users.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Constant_Propagation.cmi Ocamlc src/plugins/postdominators/compute.cmo Ocamlc src/plugins/inout/outputs.cmo Ocamlc src/plugins/inout/register.cmo Ocamlc src/plugins/impact/compute_impact.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Scope.cmi Ocamlc src/plugins/sparecode/register.cmo Ocamlopt src/kernel_services/ast_queries/logic_utils.cmx Ocamlopt src/kernel_services/ast_data/ast.cmx Ocamlopt src/kernel_services/ast_printing/logic_print.cmx Ocamlopt src/kernel_services/ast_printing/cil_descriptive_printer.cmx Ocamlopt src/kernel_services/analysis/undefined_sequence.cmx Ocamlopt src/kernel_internals/typing/rmtmps.cmx Ocamlopt src/kernel_services/abstract_interp/map_Lattice.cmx Ocamlopt src/kernel_internals/runtime/messages.cmx Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.cmi Ocamlc src/plugins/value/utils/value_util.cmo Ocamlc src/plugins/value/utils/eval_typ.cmo Ocamlc src/plugins/value/values/value_product.cmi Ocamlc src/plugins/value/values/location_lift.cmi Ocamlc src/plugins/value/values/cvalue_forward.cmo Ocamlc src/plugins/value/values/cvalue_backward.cmo Ocamlc src/plugins/value/values/main_values.cmo Ocamlc src/plugins/value/values/main_locations.cmo Ocamlc src/plugins/value/values/offsm_value.cmo Ocamlc src/plugins/value/domains/domain_store.cmi Ocamlc src/plugins/value/domains/domain_builder.cmi Ocamlc src/plugins/value/domains/domain_product.cmi Ocamlc src/plugins/value/domains/domain_lift.cmi Ocamlc src/plugins/value/domains/unit_domain.cmi Ocamlc src/plugins/value/domains/gauges/gauges_domain.cmi Ocamlc src/plugins/value/domains/apron/apron_domain.cmi Ocamlc src/plugins/value/domains/equality/equality_domain.cmi Ocamlc src/plugins/value/domains/offsm_domain.cmi Ocamlc src/plugins/value/domains/symbolic_locs.cmi Ocamlc src/plugins/value/domains/powerset.cmo Ocamlc src/plugins/value/engine/transfer_logic.cmi Ocamlc src/plugins/value/domains/cvalue/cvalue_transfer.cmo Ocamlc src/plugins/value/domains/cvalue/cvalue_domain.cmo Ocamlc src/plugins/value/engine/evaluation.cmo Ocamlc src/plugins/value/engine/non_linear_evaluation.cmi Ocamlc src/plugins/value/engine/transfer_stmt.cmi Ocamlc src/plugins/value/engine/partitioning.cmo Ocamlc src/plugins/value/engine/abstractions.cmo Ocamlc src/plugins/value/engine/compute_functions.cmi Ocamlc src/plugins/value/engine/analysis.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/From.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Users.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Postdominators.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Inout.cmi Ocamlc src/plugins/impact/compute_impact.cmo Ocamlc src/plugins/impact/register.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Sparecode.cmi Ocamlopt src/kernel_internals/parsing/logic_parser.cmx Ocamlopt src/kernel_services/ast_printing/cprint.cmx Ocamlopt src/kernel_internals/typing/oneret.cmx Ocamlopt src/kernel_internals/typing/logic_builtin.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.cmo Ocamlc src/plugins/value/values/value_product.cmo Ocamlc src/plugins/value/values/location_lift.cmo Ocamlc src/plugins/value/domains/domain_store.cmo Ocamlc src/plugins/value/domains/domain_builder.cmo Ocamlc src/plugins/value/domains/domain_product.cmo Ocamlc src/plugins/value/domains/domain_lift.cmo Ocamlc src/plugins/value/domains/unit_domain.cmo Ocamlc src/plugins/value/domains/gauges/gauges_domain.cmo Ocamlc src/plugins/value/domains/apron/apron_domain.cmo Ocamlc src/plugins/value/domains/equality/equality_domain.cmo Ocamlc src/plugins/value/domains/offsm_domain.cmo Ocamlc src/plugins/value/domains/symbolic_locs.cmo Ocamlc src/plugins/value/engine/transfer_logic.cmo Ocamlc src/plugins/value/domains/cvalue/cvalue_specification.cmo Ocamlc src/plugins/value/engine/non_linear_evaluation.cmo Ocamlc src/plugins/value/engine/transfer_stmt.cmo Ocamlc src/plugins/value/engine/mem_exec.cmo Ocamlc src/plugins/value/engine/partitioned_dataflow.cmi Ocamlc src/plugins/value/engine/analysis.cmo Ocamlc src/plugins/value/register.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/From.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.cmi Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Impact.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.cmi Ocamlopt src/kernel_internals/parsing/logic_lexer.cmx Ocamlc src/plugins/value/engine/partitioned_dataflow.cmo Ocamlc src/plugins/value/engine/compute_functions.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.cmo Ocamlopt src/kernel_services/ast_queries/logic_typing.cmx Ocamlopt src/kernel_internals/parsing/cparser.cmx Ocamlc /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/Value.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Value.cmi Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Value.cmo Ocamlopt src/kernel_internals/parsing/clexer.cmx Linking bin/toplevel.byte Ocamlopt src/kernel_internals/parsing/logic_preprocess.cmx Ocamlopt src/kernel_services/ast_data/globals.cmx Ocamlopt src/kernel_internals/typing/cabs2cil.cmx Ocamlopt src/kernel_internals/typing/cfg.cmx Ocamlopt src/kernel_internals/typing/frontc.cmx Ocamlopt src/kernel_services/ast_data/kernel_function.cmx Ocamlopt src/kernel_services/ast_data/property.cmx Ocamlopt src/kernel_services/analysis/wto_statement.cmx Ocamlopt src/kernel_services/analysis/ordered_stmt.cmx Ocamlopt src/kernel_services/analysis/dataflow2.cmx Ocamlopt src/kernel_services/ast_data/property_status.cmx Ocamlopt src/kernel_services/ast_data/annotations.cmx Ocamlopt src/kernel_services/ast_printing/printer.cmx Ocamlopt src/plugins/aorai/promelaoutput.cmx Ocamlopt src/kernel_services/visitors/visitor.cmx Ocamlopt src/kernel_internals/typing/mergecil.cmx Ocamlopt src/kernel_services/analysis/bit_utils.cmx Ocamlopt src/kernel_services/ast_data/alarms.cmx Ocamlopt src/kernel_services/ast_printing/description.cmx Ocamlopt src/kernel_services/ast_data/statuses_by_call.cmx Ocamlopt src/plugins/gui/gui_printers.cmx Ocamlopt src/plugins/aorai/logic_simplification.cmx Ocamlopt src/kernel_services/abstract_interp/base.cmx Ocamlopt src/kernel_services/abstract_interp/tr_offset.cmx Ocamlopt src/kernel_services/abstract_interp/offsetmap.cmx Ocamlopt src/plugins/aorai/data_for_aorai.cmx Ocamlopt src/kernel_services/ast_queries/filecheck.cmx Ocamlopt src/kernel_services/abstract_interp/int_Intervals.cmx Ocamlopt src/kernel_services/abstract_interp/locations.cmx Ocamlopt src/kernel_services/ast_queries/file.cmx Ocamlopt src/plugins/value_types/precise_locs.cmx Ocamlopt src/kernel_services/abstract_interp/lmap_bitwise.cmx Ocamlopt src/kernel_services/abstract_interp/lmap.cmx Ocamlopt src/plugins/pdg_types/pdgIndex.cmx Ocamlopt src/plugins/value_types/inout_type.cmx Ocamlopt src/plugins/value_types/function_Froms.cmx Ocamlopt src/plugins/pdg_types/pdgTypes.cmx Ocamlopt src/plugins/value_types/cvalue.cmx Ocamlopt src/plugins/aorai/aorai_utils.cmx Ocamlopt src/plugins/aorai/yaparser.cmx Ocamlopt src/plugins/aorai/promelaparser.cmx Ocamlopt src/plugins/aorai/promelaparser_withexps.cmx Ocamlopt src/plugins/aorai/yalexer.cmx Ocamlopt src/plugins/aorai/promelalexer.cmx Ocamlopt src/plugins/pdg_types/pdgMarks.cmx Ocamlopt src/plugins/aorai/promelalexer_withexps.cmx Ocamlopt src/plugins/value_types/value_types.cmx Ocamlopt src/plugins/slicing_types/slicingInternals.cmx Ocamlopt src/plugins/slicing_types/slicingTypes.cmx Ocamlopt src/plugins/slicing/slicingMarks.cmx Ocamlopt src/plugins/aorai/aorai_dataflow.cmx Ocamlopt src/plugins/aorai/aorai_visitors.cmx Ocamlopt src/kernel_services/plugin_entry_points/db.cmx Ocamlopt src/kernel_services/ast_transformations/filter.cmx Ocamlopt src/plugins/slicing/slicingState.cmx Ocamlopt src/kernel_services/analysis/logic_interp.cmx Ocamlopt src/libraries/utils/command.cmx Ocamlopt src/plugins/gui/gtk_helper.cmx Ocamlopt src/libraries/utils/task.cmx Ocamlopt src/plugins/slicing/slicingMacros.cmx Ocamlopt src/plugins/slicing/slicingCmds.cmx Ocamlopt src/plugins/aorai/aorai_register.cmx Ocamlopt src/plugins/slicing/slicingActions.cmx Ocamlopt src/plugins/slicing/fct_slice.cmx Ocamlopt src/plugins/slicing/printSlice.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Aorai.cmxs Ocamlopt src/plugins/slicing/slicingProject.cmx Ocamlopt src/plugins/slicing/slicingTransform.cmx Ocamlopt src/plugins/loop_analysis/options.cmx Ocamlopt src/plugins/loop_analysis/region_analysis_sig.cmx Ocamlopt src/kernel_services/analysis/dominators.cmx Ocamlopt src/kernel_services/analysis/dataflows.cmx Ocamlopt src/plugins/loop_analysis/region_analysis.cmx Ocamlopt src/plugins/loop_analysis/region_analysis_stmt.cmx Ocamlopt src/kernel_services/analysis/loop.cmx Ocamlopt src/plugins/gui/pretty_source.cmx Ocamlopt src/plugins/gui/filetree.cmx Ocamlopt src/plugins/gui/menu_manager.cmx Ocamlopt src/plugins/gui/launcher.cmx Ocamlopt src/plugins/loop_analysis/loop_analysis.cmx Ocamlopt src/plugins/slicing/register.cmx Ocamlopt src/plugins/loop_analysis/slevel_analysis.cmx Ocamlopt src/plugins/gui/source_manager.cmx Ocamlopt src/plugins/gui/history.cmx Ocamlopt src/plugins/gui/design.cmx Ocamlopt src/plugins/loop_analysis/register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/LoopAnalysis.cmxs Ocamlopt src/kernel_services/analysis/stmts_graph.cmx Ocamlopt src/plugins/nonterm/nonterm_run.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Nonterm.cmxs Ocamlopt src/plugins/obfuscator/options.cmx Ocamlopt src/plugins/obfuscator/obfuscator_kind.cmx Ocamlopt src/plugins/obfuscator/dictionary.cmx Ocamlopt src/plugins/obfuscator/obfuscate.cmx Ocamlopt src/plugins/obfuscator/obfuscator_register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmx Ocamlopt src/plugins/slicing/register_gui.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Obfuscator.cmxs Ocamlopt src/plugins/print_api/grammar.cmx Ocamlopt src/plugins/print_api/lexer.cmx Ocamlopt src/plugins/print_api/print_interface.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Print_api.cmxs Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.cmi Ocamlc src/plugins/security_slicing/register_gui.cmi Ocamlopt src/plugins/security_slicing/security_slicing_parameters.cmx Ocamlopt src/plugins/report/report_parameters.cmx Ocamlc src/plugins/security_slicing/register_gui.cmo Ocamlopt src/plugins/security_slicing/components.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.cmo Ocamlopt src/plugins/report/scan.cmx Ocamlopt src/plugins/report/dump.cmx Ocamlopt src/plugins/report/csv.cmx Ocamlopt src/plugins/report/register.cmx Ocamlopt src/plugins/security_slicing/register_gui.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Report.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Security_slicing.cmxs Ocamlopt src/plugins/variadic/options.cmx Ocamlopt src/plugins/variadic/va_build.cmx Ocamlopt src/plugins/variadic/environment.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Security_slicing.cmxs Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.cmi Ocamlc src/plugins/wp/GuiConfig.cmi Ocamlc src/plugins/wp/GuiSequent.cmi Ocamlc src/plugins/wp/GuiProver.cmi Ocamlc src/plugins/wp/GuiTactic.cmi Ocamlc src/plugins/wp/GuiProof.cmi Ocamlc src/plugins/wp/GuiSource.cmi Ocamlc src/plugins/wp/GuiNavigator.cmi Ocamlopt src/plugins/wp/rformat.cmx Ocamlopt src/plugins/wp/wprop.cmx Ocamlopt src/plugins/wp/wp_parameters.cmx Ocamlopt src/plugins/wp/wp_error.cmx Compiling Qed (opt) gmake[2]: Entering directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501/src/plugins/wp/qed/src' Ocamlopt src/plugins/wp/Separation.cmx Ocamlopt src/libraries/utils/bag.cmx Ocamlopt src/plugins/wp/script.cmx Ocamlopt src/libraries/utils/vector.cmx Ocamlopt src/libraries/utils/json.cmx Ocamlopt src/plugins/wp/why3_xml.cmx Ocamlopt src/plugins/gui/wpane.cmx Ocamlopt src/plugins/gui/wpalette.cmx Ocamlopt src/plugins/gui/wbox.cmx Ocamlopt src/plugins/gui/gtk_form.cmx Ocamlopt src/plugins/variadic/extends.cmx Ocamlc src/plugins/wp/GuiConfig.cmo Ocamlc src/plugins/wp/GuiList.cmi Ocamlc src/plugins/wp/GuiSequent.cmo Ocamlc src/plugins/wp/GuiProver.cmo Ocamlc src/plugins/wp/GuiTactic.cmo Ocamlc src/plugins/wp/GuiProof.cmo Ocamlc src/plugins/wp/GuiComposer.cmi Ocamlc src/plugins/wp/GuiGoal.cmi Ocamlc src/plugins/wp/GuiSource.cmo Ocamlc src/plugins/wp/GuiPanel.cmi Ocamlopt src/plugins/wp/dyncall.cmx Ocamlopt src/plugins/wp/Context.cmx Ocamlopt src/plugins/wp/VCS.cmx Ocamlopt src/plugins/variadic/format_pprint.cmx Ocamlopt src/plugins/variadic/format_typer.cmx Ocamlopt src/plugins/variadic/generic.cmx Ocamlopt src/plugins/variadic/classify.cmx Ocamlc src/plugins/wp/GuiList.cmo Ocamlc src/plugins/wp/GuiComposer.cmo Ocamlc src/plugins/wp/GuiGoal.cmo Ocamlc src/plugins/wp/GuiPanel.cmo Ocamlc src/plugins/wp/GuiNavigator.cmo Ocamlopt src/plugins/wp/Warning.cmx Ocamlopt src/plugins/wp/Model.cmx Ocamlopt src/plugins/variadic/format_parser.cmx Ocamlopt src/plugins/variadic/standard.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.cmo Ocamlopt src/plugins/variadic/translate.cmx Ocamlopt src/plugins/variadic/register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Variadic.cmxs gmake[2]: Leaving directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501/src/plugins/wp/qed/src' Ocamlopt src/plugins/wp/ctypes.cmx Ocamlopt src/plugins/wp/Splitter.cmx Ocamlopt src/plugins/wp/clabels.cmx Ocamlopt src/plugins/wp/RefUsage.cmx Ocamlopt src/plugins/wp/LogicUsage.cmx Ocamlopt src/plugins/wp/cil2cfg.cmx Ocamlopt src/plugins/wp/normAtLabels.cmx Ocamlopt src/plugins/wp/Lang.cmx Ocamlopt src/plugins/wp/wpPropId.cmx Ocamlopt src/plugins/wp/mcfg.cmx Ocamlopt src/plugins/wp/wpStrategy.cmx Ocamlopt src/plugins/wp/proof.cmx Ocamlopt src/plugins/wp/ProverTask.cmx Ocamlopt src/plugins/wp/calculus.cmx Ocamlopt src/plugins/wp/Letify.cmx Ocamlopt src/plugins/wp/Repr.cmx Ocamlopt src/plugins/wp/Matrix.cmx Ocamlopt src/plugins/wp/Cleaning.cmx Ocamlopt src/plugins/wp/Passive.cmx Ocamlopt src/plugins/wp/LogicBuiltins.cmx Ocamlopt src/plugins/wp/Vset.cmx Ocamlopt src/plugins/wp/Footprint.cmx Ocamlopt src/plugins/wp/Cint.cmx Ocamlopt src/plugins/wp/Cfloat.cmx Ocamlopt src/plugins/wp/Definitions.cmx Ocamlopt src/plugins/wp/driver.cmx Ocamlopt src/plugins/wp/Region.cmx Ocamlopt src/plugins/wp/Vlist.cmx Ocamlopt src/plugins/wp/wpRTE.cmx Ocamlopt src/plugins/wp/wpAnnot.cmx Ocamlopt src/plugins/wp/Cstring.cmx Ocamlopt src/plugins/wp/Plang.cmx Ocamlopt src/plugins/wp/Memory.cmx Ocamlopt src/plugins/wp/Cvalues.cmx Ocamlopt src/plugins/wp/Mstate.cmx Ocamlopt src/plugins/wp/Sigma.cmx Ocamlopt src/plugins/wp/LogicAssigns.cmx Ocamlopt src/plugins/wp/Conditions.cmx Ocamlopt src/plugins/wp/LogicCompiler.cmx Ocamlopt src/plugins/wp/CodeSemantics.cmx Ocamlopt src/plugins/wp/MemEmpty.cmx Ocamlopt src/plugins/wp/MemZeroAlias.cmx Ocamlopt src/plugins/wp/MemVar.cmx Ocamlopt src/plugins/wp/MemTyped.cmx Ocamlopt src/plugins/wp/Filtering.cmx Ocamlopt src/plugins/wp/Pcfg.cmx Ocamlopt src/plugins/wp/Tactical.cmx Ocamlopt src/plugins/wp/WpTac.cmx Ocamlopt src/plugins/wp/Pcond.cmx Ocamlopt src/plugins/wp/LogicSemantics.cmx Ocamlopt src/plugins/wp/Strategy.cmx Ocamlopt src/plugins/wp/ProofScript.cmx Ocamlopt src/plugins/wp/Factory.cmx Ocamlopt src/plugins/wp/TacRange.cmx Ocamlopt src/plugins/wp/TacSplit.cmx Ocamlopt src/plugins/wp/TacChoice.cmx Ocamlopt src/plugins/wp/TacArray.cmx Ocamlopt src/plugins/wp/TacCompound.cmx Ocamlopt src/plugins/wp/TacUnfold.cmx Ocamlopt src/plugins/wp/TacHavoc.cmx Ocamlopt src/plugins/wp/TacInstance.cmx Ocamlopt src/plugins/wp/TacFilter.cmx Ocamlopt src/plugins/wp/TacCut.cmx Ocamlopt src/plugins/wp/TacNormalForm.cmx Ocamlopt src/plugins/wp/TacRewrite.cmx Ocamlopt src/plugins/wp/GuiTactic.cmx Ocamlopt src/plugins/wp/wpo.cmx Ocamlopt src/plugins/wp/TacLemma.cmx Ocamlopt src/plugins/wp/Auto.cmx Ocamlopt src/plugins/wp/wpReport.cmx Ocamlopt src/plugins/wp/ProofSession.cmx Ocamlopt src/plugins/wp/ProverErgo.cmx Ocamlopt src/plugins/wp/ProverCoq.cmx Ocamlopt src/plugins/wp/ProverWhy3.cmx Ocamlopt src/plugins/wp/Generator.cmx Ocamlopt src/plugins/wp/GuiSequent.cmx Ocamlopt src/plugins/wp/GuiSource.cmx Ocamlopt src/plugins/wp/ProofEngine.cmx Ocamlopt src/plugins/wp/cfgDump.cmx Ocamlopt src/plugins/wp/cfgWP.cmx Ocamlopt src/plugins/wp/ProverSearch.cmx Ocamlopt src/plugins/wp/GuiProof.cmx Ocamlopt src/plugins/wp/ProverWhy3ide.cmx Ocamlopt src/plugins/wp/prover.cmx Ocamlopt src/plugins/wp/GuiConfig.cmx Ocamlopt src/plugins/wp/GuiComposer.cmx Ocamlopt src/plugins/wp/ProverScript.cmx Ocamlopt src/plugins/wp/GuiProver.cmx Ocamlopt src/plugins/wp/GuiList.cmx Ocamlopt src/plugins/wp/GuiGoal.cmx Ocamlopt src/plugins/wp/register.cmx Ocamlopt src/plugins/wp/VC.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.cmx Ocamlopt src/plugins/wp/GuiPanel.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.cmxs Ocamlopt src/plugins/wp/GuiNavigator.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.cmx Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx Ocamlopt src/libraries/utils/leftistheap.cmx Ocamlopt src/kernel_services/ast_printing/cil_types_debug.cmx Ocamlopt src/libraries/datatype/unmarshal_z.cmx Ocamlopt src/kernel_services/ast_printing/cabs_debug.cmx Ocamlopt src/kernel_services/analysis/dataflow.cmx Ocamlopt src/kernel_services/analysis/service_graph.cmx Ocamlopt src/plugins/value_types/widen_type.cmx Ocamlopt src/kernel_internals/typing/translate_lightweight.cmx Ocamlopt src/kernel_internals/typing/allocates.cmx Ocamlopt src/kernel_internals/typing/unroll_loops.cmx Ocamlopt src/kernel_internals/typing/asm_contracts.cmx Ocamlopt src/kernel_services/analysis/exn_flow.cmx Ocamlopt src/kernel_internals/typing/infer_annotations.cmx Ocamlopt src/kernel_services/ast_transformations/clone.cmx Ocamlopt src/kernel_internals/runtime/special_hooks.cmx Ocamlopt src/kernel_internals/runtime/boot.cmx Ocamlopt src/plugins/metrics/metrics_parameters.cmx Ocamlopt src/plugins/metrics/css_html.cmx Ocamlopt src/plugins/callgraph/journalize.cmx Ocamlopt src/plugins/callgraph/options.cmx Ocamlopt src/plugins/value/slevel/split_strategy.cmx Ocamlopt src/plugins/value/utils/widen_hints_ext.cmx Ocamlopt src/plugins/value/utils/eval_typ.cmx Ocamlopt src/plugins/value/utils/backward_formals.cmx Ocamlopt src/plugins/value/utils/structure.cmx Ocamlopt src/plugins/value/domains/hcexprs.cmx Ocamlopt src/plugins/value/domains/equality/equality.cmx Ocamlopt src/plugins/occurrence/options.cmx Ocamlopt src/plugins/rte/options.cmx Ocamlopt src/plugins/from/from_parameters.cmx Ocamlopt src/plugins/users/users_register.cmx Ocamlopt src/plugins/constant_propagation/propagationParameters.cmx Ocamlopt src/plugins/postdominators/postdominators_parameters.cmx Ocamlopt src/plugins/inout/inout_parameters.cmx Ocamlopt src/plugins/impact/options.cmx Ocamlopt src/plugins/pdg/pdg_parameters.cmx Ocamlopt src/plugins/scope/datascope.cmx Ocamlopt src/plugins/sparecode/sparecode_params.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Wp.cmxa Ocamlopt src/plugins/gui/wfile.cmx Ocamlopt src/plugins/gui/book_manager.cmx Ocamlopt src/plugins/gui/analyses_manager.cmx Ocamlopt src/plugins/gui/file_manager.cmx Ocamlopt src/plugins/gui/project_manager.cmx Ocamlopt src/plugins/gui/debug_manager.cmx Ocamlopt src/plugins/gui/help_manager.cmx Ocamlopt src/plugins/gui/property_navigator.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.cmxs Ocamlopt src/kernel_services/analysis/destructors.cmx Ocamlopt src/plugins/metrics/metrics_base.cmx Ocamlopt src/plugins/callgraph/cg.cmx Ocamlopt src/plugins/value/value_parameters.cmx Ocamlopt src/plugins/occurrence/register.cmx Ocamlopt src/plugins/rte/generator.cmx Ocamlopt src/plugins/rte/rte.cmx Ocamlopt src/plugins/from/from_compute.cmx Ocamlopt src/plugins/from/from_register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Users.cmx Ocamlopt src/plugins/constant_propagation/register.cmx Ocamlopt src/plugins/postdominators/print.cmx Ocamlopt src/plugins/inout/cumulative_analysis.cmx Ocamlopt src/plugins/impact/pdg_aux.cmx Ocamlopt src/plugins/pdg/ctrlDpds.cmx Ocamlopt src/plugins/pdg/pdg_state.cmx Ocamlopt src/plugins/scope/zones.cmx Ocamlopt src/plugins/scope/defs.cmx Ocamlopt src/plugins/sparecode/globs.cmx Ocamlopt src/plugins/sparecode/spare_marks.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Slicing.cmxs Ocamlc src/kernel_internals/runtime/gui_init.cmi Ocamlc src/plugins/metrics/metrics_gui.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.cmi Ocamlc src/plugins/callgraph/cg_viewer.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.cmi Ocamlc src/plugins/value/gui_files/gui_types.cmo Ocamlc src/plugins/value/gui_files/gui_callstacks_filters.cmi Ocamlc src/plugins/value/gui_files/register_gui.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.cmi Ocamlc src/plugins/occurrence/register_gui.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.cmi Ocamlc src/plugins/from/from_register_gui.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/From.cmi Ocamlc src/plugins/impact/register_gui.cmi Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.cmi Ocamlc src/plugins/scope/dpds_gui.cmo Generating /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.cmi Ocamlc src/plugins/slicing/register_gui.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Wp.cma Ocamlopt src/plugins/metrics/metrics_acsl.cmx Ocamlopt src/plugins/metrics/metrics_cabs.cmx Ocamlopt src/plugins/metrics/metrics_cilast.cmx Ocamlopt src/plugins/metrics/metrics_coverage.cmx Ocamlopt src/plugins/callgraph/services.cmx Ocamlopt src/plugins/callgraph/uses.cmx Ocamlopt src/plugins/callgraph/register.cmx Ocamlopt src/plugins/value/slevel/stop_at_nth.cmx Ocamlopt src/plugins/value/utils/value_perf.cmx Ocamlopt src/plugins/value/utils/mark_noresults.cmx Ocamlopt src/plugins/value/slevel/separate.cmx Ocamlopt src/plugins/value/utils/widen.cmx Ocamlopt src/plugins/value/engine/split_return.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.cmx Ocamlopt src/plugins/rte/visit.cmx Ocamlopt src/plugins/from/functionwise.cmx Ocamlopt src/plugins/from/callwise.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Users.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.cmx Ocamlopt src/plugins/postdominators/compute.cmx Ocamlopt src/plugins/inout/operational_inputs.cmx Ocamlopt src/plugins/inout/inputs.cmx Ocamlopt src/plugins/inout/derefs.cmx Ocamlopt src/plugins/impact/reason_graph.cmx Ocamlopt src/plugins/pdg/build.cmx Ocamlopt src/plugins/pdg/sets.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.cmx Ocamlopt src/plugins/sparecode/transform.cmx Ocamlc src/kernel_internals/runtime/gui_init.cmo Ocamlc src/plugins/metrics/metrics_gui.cmo Ocamlc src/plugins/metrics/register_gui.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.cmo Ocamlc src/plugins/value/gui_files/gui_eval.cmi Ocamlc src/plugins/occurrence/register_gui.cmo Ocamlc src/plugins/from/from_register_gui.cmo Ocamlc src/plugins/impact/register_gui.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Slicing.cmo Ocamlopt src/plugins/metrics/register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.cmx Ocamlopt src/plugins/value/utils/value_util.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Occurrence.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/From.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Constant_Propagation.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.cmx Ocamlopt src/plugins/inout/outputs.cmx Ocamlopt src/plugins/impact/compute_impact.cmx Ocamlopt src/plugins/pdg/annot.cmx Ocamlopt src/plugins/pdg/marks.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Scope.cmxs Ocamlopt src/plugins/sparecode/register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.cmo Ocamlc src/plugins/value/gui_files/gui_eval.cmo Ocamlc src/plugins/value/gui_files/gui_callstacks_filters.cmo Ocamlc src/plugins/value/gui_files/register_gui.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/From.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.cmo Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Callgraph.cmxs Ocamlopt src/plugins/value/slevel/per_stmt_slevel.cmx Ocamlopt src/plugins/value/utils/library_functions.cmx Ocamlopt src/plugins/value/alarmset.cmx Ocamlopt src/plugins/value/legacy/warn.cmx Ocamlopt src/plugins/value/domains/cvalue/cvalue_init.cmx Ocamlopt src/plugins/value/engine/recursion.cmx Ocamlopt src/plugins/rte/register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/From.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Postdominators.cmxs Ocamlopt src/plugins/inout/register.cmx Ocamlopt src/plugins/impact/register.cmx Ocamlopt src/plugins/pdg/register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Metrics.cmxs Ocamlopt src/plugins/value/domains/cvalue/locals_scoping.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Sparecode.cmxs Ocamlopt src/plugins/value/eval.cmx Ocamlopt src/plugins/value/values/main_locations.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/RteGen.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Inout.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Pdg.cmxs Ocamlopt src/plugins/value/values/value_product.cmx Ocamlopt src/plugins/value/values/location_lift.cmx Ocamlopt src/plugins/value/values/cvalue_forward.cmx Ocamlopt src/plugins/value/domains/domain_store.cmx Ocamlopt src/plugins/value/domains/domain_product.cmx Ocamlopt src/plugins/value/domains/domain_lift.cmx Ocamlopt src/plugins/value/domains/gauges/gauges_domain.cmx Ocamlopt src/plugins/value/domains/cvalue/builtins.cmx Ocamlopt src/plugins/value/domains/powerset.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.cmx Ocamlopt src/plugins/value/values/cvalue_backward.cmx Ocamlopt src/plugins/value/legacy/eval_op.cmx Ocamlopt src/plugins/value/domains/domain_builder.cmx Ocamlopt src/plugins/value/engine/transfer_logic.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Impact.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.cmo Ocamlopt src/plugins/value/values/main_values.cmx Ocamlopt src/plugins/value/legacy/function_args.cmx Ocamlopt src/plugins/value/domains/unit_domain.cmx Ocamlopt src/plugins/value/domains/symbolic_locs.cmx Ocamlopt src/plugins/value/domains/cvalue/builtins_malloc.cmx Ocamlopt src/plugins/value/domains/cvalue/builtins_string.cmx Ocamlopt src/plugins/value/domains/cvalue/builtins_misc.cmx Ocamlopt src/plugins/value/domains/cvalue/builtins_float.cmx Ocamlopt src/plugins/value/utils/value_results.cmx Ocamlopt src/plugins/value/engine/evaluation.cmx Linking bin/viewer.byte Ocamlopt src/plugins/value/values/offsm_value.cmx Ocamlopt src/plugins/value/domains/apron/apron_domain.cmx Ocamlopt src/plugins/value/domains/equality/equality_domain.cmx Ocamlopt src/plugins/value/domains/offsm_domain.cmx Ocamlopt src/plugins/value/utils/state_import.cmx Ocamlopt src/plugins/value/legacy/eval_terms.cmx Ocamlopt src/plugins/value/domains/cvalue/cvalue_transfer.cmx Ocamlopt src/plugins/value/engine/non_linear_evaluation.cmx Ocamlopt src/plugins/value/legacy/eval_annots.cmx Ocamlopt src/plugins/value/domains/cvalue/cvalue_specification.cmx Ocamlopt src/plugins/value/domains/cvalue/cvalue_domain.cmx Ocamlopt src/plugins/value/engine/initialization.cmx Ocamlopt src/plugins/value/engine/partitioning.cmx Ocamlopt src/plugins/value/engine/abstractions.cmx Ocamlopt src/plugins/value/engine/transfer_stmt.cmx Ocamlopt src/plugins/value/engine/mem_exec.cmx Ocamlopt src/plugins/value/engine/partitioned_dataflow.cmx Ocamlopt src/kernel_internals/runtime/gui_init.cmx Ocamlopt src/plugins/metrics/metrics_gui.cmx Ocamlopt src/plugins/callgraph/cg_viewer.cmx Ocamlopt src/plugins/value/gui_files/gui_types.cmx Ocamlopt src/plugins/occurrence/register_gui.cmx Ocamlopt src/plugins/from/from_register_gui.cmx Ocamlopt src/plugins/impact/register_gui.cmx Ocamlopt src/plugins/scope/dpds_gui.cmx Ocamlopt src/plugins/metrics/register_gui.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.cmx Ocamlopt src/plugins/value/gui_files/gui_eval.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/From.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.cmx Ocamlopt src/plugins/value/engine/compute_functions.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Callgraph.cmxs Ocamlopt src/plugins/value/gui_files/gui_callstacks_filters.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Occurrence.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/From.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Impact.cmxs Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Scope.cmxs Ocamlopt src/plugins/value/gui_files/register_gui.cmx Ocamlopt src/plugins/value/engine/analysis.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Metrics.cmxs Ocamlopt src/plugins/value/register.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Value.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/top/Value.cmxs Linking bin/toplevel.opt Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.cmx Packing /construction/devel/frama-c/frama-c-Phosphorus-20170501/lib/plugins/gui/Value.cmxs Linking bin/viewer.opt gmake[1]: Leaving directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501' -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- ===> frama-c-20170501 depends on file: /usr/local/lib/ocaml/ocamlgraph/graph.a - found ===> frama-c-20170501 depends on file: /usr/local/lib/ocaml/site-lib/zarith/zarith.a - found ===> frama-c-20170501 depends on file: /usr/local/bin/ocamlc - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for frama-c-20170501 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501' Cleaning Installation directory Installing WP shared files Installing Qed Library Installing kernel API Generating destination directories Installing shared files Installing C standard library Installing binaries Installing config files Installing API documentation Installing dynamic plug-ins Installing dynamic gui plug-ins Installing man pages gmake[1]: Leaving directory '/construction/devel/frama-c/frama-c-Phosphorus-20170501' /bin/chmod u+w /construction/devel/frama-c/stage/usr/local/bin/* /usr/bin/strip /construction/devel/frama-c/stage/usr/local/bin/* /bin/chmod u-w /construction/devel/frama-c/stage/usr/local/bin/* /usr/bin/strip /construction/devel/frama-c/stage/usr/local/lib/frama-c/plugins/gui/*.cmxs /usr/bin/strip /construction/devel/frama-c/stage/usr/local/lib/frama-c/plugins/top/*.cmxs ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for frama-c-20170501 file sizes/checksums [1162]: .......... done packing files [1162]: .......... done packing directories [1]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Wednesday, 24 JUL 2019 at 01:45:24 UTC Duration: 00:09:14