=> Building devel/frama-c build started at Sat Oct 8 19:02:27 PDT 2016 port directory: /usr/ports/devel/frama-c building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug 1 22:25:32 PDT 2016 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: mokhi64@gmail.com ident warning: no id keywords in /build/boomdata/data/.m/Release46-default/ref/../09//usr/ports/devel/frama-c/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400700 Jail OSVERSION: 400600 ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/Release46-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=frama-c-20150201_3 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/Release46-default/ref/.p/pool MASTERNAME=Release46-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --with-cpp="cpp -C -I/usr/local/share/frama-c/libc -I." --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/devel/frama-c XDG_CONFIG_HOME=/wrkdirs/devel/frama-c HOME=/wrkdirs/devel/frama-c TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=262144 --End CONFIGURE_ENV-- --MAKE_ENV-- FRAMAC_LIBDIR="/usr/local/lib/frama-c" XDG_DATA_HOME=/wrkdirs/devel/frama-c XDG_CONFIG_HOME=/wrkdirs/devel/frama-c HOME=/wrkdirs/devel/frama-c TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=4.6 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" 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" --End PLIST_SUB-- --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 --End SUB_LIST-- ---Begin make.conf--- NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== ===> License LGPL21 accepted by the user =========================================================================== =================================================== ===> frama-c-20150201_3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_3.txz Installing pkg-1.8.7_3... Extracting pkg-1.8.7_3: .......... done ===> frama-c-20150201_3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of frama-c-20150201_3 =========================================================================== =================================================== =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20150201_3 for building =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20150201_3 for building => SHA256 Checksum OK for framac-01/frama-c-Sodium-20150201.tar.gz. =========================================================================== =================================================== ===> frama-c-20150201_3 depends on executable: gtar - not found ===> Installing existing package /packages/All/gtar-1.29.txz Installing gtar-1.29... `-- Installing indexinfo-0.2.5... `-- Extracting indexinfo-0.2.5: .... done `-- Installing gettext-runtime-0.19.8.1... `-- Extracting gettext-runtime-0.19.8.1: .......... done Extracting gtar-1.29: .......... done ===> frama-c-20150201_3 depends on executable: gtar - found ===> Returning to build of frama-c-20150201_3 ===> frama-c-20150201_3 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.02.3.txz Installing ocaml-4.02.3... `-- Installing libX11-1.6.3,1... | `-- Installing xproto-7.0.28... | `-- Extracting xproto-7.0.28: .......... done | `-- Installing kbproto-1.0.7... | `-- Extracting kbproto-1.0.7: .......... done | `-- Installing libXdmcp-1.1.2... | `-- Extracting libXdmcp-1.1.2: ......... done | `-- Installing libxcb-1.11.1... | | `-- Installing libxml2-2.9.4... | | `-- Extracting libxml2-2.9.4: .......... done | | `-- Installing libpthread-stubs-0.3_6... | | `-- Extracting libpthread-stubs-0.3_6: ..... done | | `-- Installing libXau-1.0.8_3... | | `-- Extracting libXau-1.0.8_3: .......... done | `-- Extracting libxcb-1.11.1: .......... done `-- Extracting libX11-1.6.3,1: .......... done Extracting ocaml-4.02.3: .......... done ===> frama-c-20150201_3 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of frama-c-20150201_3 =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20150201_3 for building ===> Extracting for frama-c-20150201_3 => SHA256 Checksum OK for framac-01/frama-c-Sodium-20150201.tar.gz. =========================================================================== =================================================== ===> frama-c-20150201_3 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===> Patching for frama-c-20150201_3 =========================================================================== =================================================== ===> frama-c-20150201_3 depends on file: /usr/local/lib/ocaml/ocamlgraph/graph.a - not found ===> Installing existing package /packages/All/ocaml-ocamlgraph-1.8.7.txz Installing ocaml-ocamlgraph-1.8.7... `-- Installing ocaml-lablgtk2-2.18.3... | `-- Installing pango-1.38.0_1... | | `-- Installing encodings-1.0.4_3,1... | | `-- Installing font-util-1.3.1... | | `-- Extracting font-util-1.3.1: .......... done | | `-- Extracting encodings-1.0.4_3,1: .......... done | | `-- Installing fontconfig-2.12.1,1... | | `-- Installing expat-2.2.0... | | `-- Extracting expat-2.2.0: .......... done | | `-- Installing freetype2-2.6.3... | | `-- Extracting freetype2-2.6.3: .......... done | | `-- Extracting fontconfig-2.12.1,1: .......... done Running fc-cache to build fontconfig cache... /usr/local/share/fonts: caching, new cache contents: 0 fonts, 2 dirs /usr/local/share/fonts/encodings: caching, new cache contents: 0 fonts, 1 dirs /usr/local/share/fonts/encodings/large: caching, new cache contents: 0 fonts, 0 dirs /usr/local/share/fonts/util: caching, new cache contents: 0 fonts, 0 dirs /usr/local/lib/X11/fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory fc-cache: succeeded | | `-- Installing libXft-2.3.2_1... | | `-- Installing libXrender-0.9.9... | | | `-- Installing renderproto-0.11.1... | | | `-- Extracting renderproto-0.11.1: .... done | | `-- Extracting libXrender-0.9.9: .......... done | | `-- Extracting libXft-2.3.2_1: ......... done | | `-- Installing harfbuzz-1.3.2... | | `-- Installing cairo-1.14.6_1,2... | | | `-- Installing glproto-1.4.17... | | | `-- Extracting glproto-1.4.17: ...... done | | | `-- Installing libEGL-11.2.2... | | | `-- Installing libdevq-0.0.2_1... | | | `-- Extracting libdevq-0.0.2_1: ....... done | | | `-- Installing libXdamage-1.1.4_3... | | | | `-- Installing libXfixes-5.0.1_3... | | | | `-- Installing fixesproto-5.0... | | | | `-- Extracting fixesproto-5.0: .... done | | | | `-- Extracting libXfixes-5.0.1_3: .......... done | | | | `-- Installing damageproto-1.2.1... | | | | `-- Extracting damageproto-1.2.1: .... done | | | `-- Extracting libXdamage-1.1.4_3: ...... done | | | `-- Installing libxshmfence-1.2... | | | `-- Extracting libxshmfence-1.2: ......... done | | | `-- Installing libXext-1.3.3_1,1... | | | | `-- Installing xextproto-7.3.0... | | | | `-- Extracting xextproto-7.3.0: .......... done | | | `-- Extracting libXext-1.3.3_1,1: .......... done | | | `-- Installing gbm-11.2.2... | | | | `-- Installing libglapi-11.2.2... | | | | `-- Installing libXvMC-1.0.9... | | | | | `-- Installing libXv-1.0.10_3,1... | | | | | `-- Installing videoproto-2.3.2... | | | | | `-- Extracting videoproto-2.3.2: ...... done | | | | | `-- Extracting libXv-1.0.10_3,1: .......... done | | | | `-- Extracting libXvMC-1.0.9: .......... done | | | | `-- Installing libdrm-2.4.66,1... | | | | | `-- Installing libpciaccess-0.13.4... | | | | | `-- Installing pciids-20160621... | | | | | `-- Extracting pciids-20160621: ..... done | | | | | `-- Extracting libpciaccess-0.13.4: ...... done | | | | `-- Extracting libdrm-2.4.66,1: .......... done | | | | `-- Installing libelf-0.8.13_1... | | | | `-- Extracting libelf-0.8.13_1: .......... done | | | | `-- Extracting libglapi-11.2.2: ... done | | | `-- Extracting gbm-11.2.2: ..... done | | | `-- Installing llvm37-3.7.1_3... | | | | `-- Installing python27-2.7.12... | | | | `-- Installing readline-6.3.8... | | | | | `-- Installing ncurses-6.0_5... | | | | | `-- Extracting ncurses-6.0_5: .......... done | | | | `-- Extracting readline-6.3.8: .......... done | | | | `-- Installing libffi-3.2.1... | | | | `-- Extracting libffi-3.2.1: .......... done | | | | `-- Extracting python27-2.7.12: .......... done | | | | `-- Installing perl5-5.20.3_15... | | | | `-- Extracting perl5-5.20.3_15: .......... done | | | | `-- Installing libedit-3.1.20150325_2,1... | | | | `-- Extracting libedit-3.1.20150325_2,1: .......... done | | | `-- Extracting llvm37-3.7.1_3: .......... done | | | `-- Extracting libEGL-11.2.2: .......... done | | | `-- Installing libGL-11.2.2... | | | `-- Installing dri2proto-2.8... | | | `-- Extracting dri2proto-2.8: .... done | | | `-- Installing libXxf86vm-1.1.4_1... | | | | `-- Installing xf86vidmodeproto-2.3.1... | | | | `-- Extracting xf86vidmodeproto-2.3.1: .... done | | | `-- Extracting libXxf86vm-1.1.4_1: .......... done | | | `-- Extracting libGL-11.2.2: .......... done | | | `-- Installing xcb-util-renderutil-0.3.9_1... | | | `-- Installing xcb-util-0.4.0_1,1... | | | `-- Extracting xcb-util-0.4.0_1,1: .......... done | | | `-- Extracting xcb-util-renderutil-0.3.9_1: ...... done | | | `-- Installing png-1.6.23... | | | `-- Extracting png-1.6.23: .......... done | | | `-- Installing pixman-0.34.0... | | | `-- Extracting pixman-0.34.0: .......... done | | | `-- Installing glib-2.46.2_3... | | | `-- Installing libiconv-1.14_9... | | | `-- Extracting libiconv-1.14_9: .......... done | | | `-- Installing pcre-8.39... | | | `-- Extracting pcre-8.39: .......... done | | | `-- Extracting glib-2.46.2_3: .......... done No schema files found: doing nothing. | | `-- Extracting cairo-1.14.6_1,2: .......... done | | `-- Installing icu-57.1,1... | | `-- Extracting icu-57.1,1: .......... done | | `-- Installing graphite2-1.3.8... | | `-- Extracting graphite2-1.3.8: .......... done | | `-- Extracting harfbuzz-1.3.2: .......... done | | `-- Installing xorg-fonts-truetype-7.7_1... | | `-- Installing font-misc-meltho-1.0.3_3... | | | `-- Installing mkfontdir-1.0.7... | | | `-- Installing mkfontscale-1.1.2... | | | | `-- Installing libfontenc-1.1.3... | | | | `-- Extracting libfontenc-1.1.3: ...... done | | | `-- Extracting mkfontscale-1.1.2: .. done | | | `-- Extracting mkfontdir-1.0.7: .. done | | `-- Extracting font-misc-meltho-1.0.3_3: .......... done | | `-- Installing font-bh-ttf-1.0.3_3... | | `-- Extracting font-bh-ttf-1.0.3_3: .......... done | | `-- Installing font-misc-ethiopic-1.0.3_3... | | `-- Extracting font-misc-ethiopic-1.0.3_3: ... done | | `-- Installing dejavu-2.35... | | `-- Extracting dejavu-2.35: .......... done | `-- Extracting pango-1.38.0_1: .......... done | `-- Installing gconf2-3.2.6_4... | | `-- Installing gtk2-2.24.29_2... | | `-- Installing hicolor-icon-theme-0.15... | | `-- Extracting hicolor-icon-theme-0.15: . done | | `-- Installing gtk-update-icon-cache-2.24.29... | | | `-- Installing libXcursor-1.1.14_3... | | | `-- Extracting libXcursor-1.1.14_3: .......... done | | | `-- Installing libXinerama-1.1.3_3,1... | | | `-- Installing xineramaproto-1.2.1... | | | `-- Extracting xineramaproto-1.2.1: .. done | | | `-- Extracting libXinerama-1.1.3_3,1: .......... done | | | `-- Installing libXcomposite-0.4.4_3,1... | | | `-- Installing compositeproto-0.4.2... | | | `-- Extracting compositeproto-0.4.2: .... done | | | `-- Extracting libXcomposite-0.4.4_3,1: .......... done | | | `-- Installing libXi-1.7.6,1... | | | `-- Installing inputproto-2.3.1... | | | `-- Extracting inputproto-2.3.1: ..... done | | | `-- Extracting libXi-1.7.6,1: .......... done | | | `-- Installing atk-2.18.0... | | | `-- Extracting atk-2.18.0: .......... done | | | `-- Installing libXrandr-1.5.0... | | | `-- Installing randrproto-1.5.0... | | | `-- Extracting randrproto-1.5.0: .... done | | | `-- Extracting libXrandr-1.5.0: .......... done | | | `-- Installing gdk-pixbuf2-2.32.3_1... | | | `-- Installing jasper-1.900.1_16... | | | | `-- Installing jpeg-turbo-1.4.2... | | | | `-- Extracting jpeg-turbo-1.4.2: .......... done | | | `-- Extracting jasper-1.900.1_16: .......... done | | | `-- Installing libXt-1.1.5,1... | | | | `-- Installing libSM-1.2.2_3,1... | | | | `-- Installing libICE-1.0.9_1,1... | | | | `-- Extracting libICE-1.0.9_1,1: .......... done | | | | `-- Extracting libSM-1.2.2_3,1: .......... done | | | `-- Extracting libXt-1.1.5,1: .......... done | | | `-- Installing tiff-4.0.6_2... | | | | `-- Installing jbigkit-2.1_1... | | | | `-- Extracting jbigkit-2.1_1: .......... done | | | `-- Extracting tiff-4.0.6_2: .......... done | | | `-- Extracting gdk-pixbuf2-2.32.3_1: .......... done | | | `-- Installing shared-mime-info-1.5... | | | `-- Extracting shared-mime-info-1.5: .......... done | | `-- Extracting gtk-update-icon-cache-2.24.29: .... done | | `-- Installing cups-2.1.4... | | | `-- Installing avahi-app-0.6.31_5... | | | `-- Installing gnome_subr-1.0... | | | `-- Extracting gnome_subr-1.0: . done | | | `-- Installing gobject-introspection-1.46.0... | | | | `-- Installing python2-2_3... | | | | `-- Extracting python2-2_3: ...... done | | | `-- Extracting gobject-introspection-1.46.0: .......... done | | | `-- Installing gdbm-1.12... | | | `-- Extracting gdbm-1.12: .......... done | | | `-- Installing libdaemon-0.14_1... | | | `-- Extracting libdaemon-0.14_1: .......... done | | | `-- Installing dbus-glib-0.104... | | | | `-- Installing dbus-1.8.20... ===> Creating groups. Creating group 'messagebus' with gid '556'. ===> Creating users Creating user 'messagebus' with uid '556'. | | | | `-- Extracting dbus-1.8.20: ......... done | | | `-- Extracting dbus-glib-0.104: .......... done ===> Creating groups. Creating group 'avahi' with gid '558'. ===> Creating users Creating user 'avahi' with uid '558'. | | | `-- Extracting avahi-app-0.6.31_5: .......... done | | | `-- Installing gnutls-3.4.15... | | | `-- Installing nettle-3.2... | | | | `-- Installing gmp-5.1.3_3... | | | | `-- Extracting gmp-5.1.3_3: .......... done | | | `-- Extracting nettle-3.2: .......... done | | | `-- Installing ca_root_nss-3.27... | | | `-- Extracting ca_root_nss-3.27: ....... done | | | `-- Installing libtasn1-4.9... | | | `-- Extracting libtasn1-4.9: .......... done | | | `-- Installing trousers-0.3.13_1... | | | | `-- Installing tpm-emulator-0.7.4_1... ===> Creating groups. Creating group '_tss' with gid '601'. ===> Creating users Creating user '_tss' with uid '601'. | | | | `-- Extracting tpm-emulator-0.7.4_1: ......... done ===> Creating groups. Using existing group '_tss'. ===> Creating users Using existing user '_tss'. | | | `-- Extracting trousers-0.3.13_1: .......... done | | | `-- Installing p11-kit-0.23.2... | | | `-- Extracting p11-kit-0.23.2: .......... done | | | `-- Installing libidn-1.33_1... | | | `-- Extracting libidn-1.33_1: .......... done | | | `-- Extracting gnutls-3.4.15: .......... 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.1.4: .......... done | | `-- Installing python-2.7_2,2... | | `-- Extracting python-2.7_2,2: ..... done | | `-- Extracting gtk2-2.24.29_2: .......... done | | `-- Installing ORBit2-2.14.19_1... | | `-- Installing libIDL-0.8.14_2... | | `-- Extracting libIDL-0.8.14_2: ......... done | | `-- Extracting ORBit2-2.14.19_1: .......... done | | `-- Installing polkit-0.113_1... | | `-- Installing spidermonkey170-17.0.0_1... | | | `-- Installing nspr-4.13... | | | `-- Extracting nspr-4.13: .......... done | | `-- Extracting spidermonkey170-17.0.0_1: .......... done ===> Creating groups. Creating group 'polkitd' with gid '565'. ===> Creating users Creating user 'polkitd' with uid '565'. | | `-- Extracting polkit-0.113_1: ........ done | | `-- Installing dconf-0.24.0_1... | | `-- Extracting dconf-0.24.0_1: .......... done | `-- Extracting gconf2-3.2.6_4: .......... done | `-- Installing esound-0.2.41_3... | | `-- Installing pkgconf-1.0.1... | | `-- Extracting pkgconf-1.0.1: .......... done | | `-- Installing libaudiofile-0.3.6_3... | | `-- Installing flac-1.3.1_2... | | | `-- Installing libogg-1.3.2_1,4... | | | `-- Extracting libogg-1.3.2_1,4: .......... done | | `-- Extracting flac-1.3.1_2: .......... done | | `-- Extracting libaudiofile-0.3.6_3: .......... done | `-- Extracting esound-0.2.41_3: .......... done | `-- Installing gtkspell-2.0.16_5... | | `-- Installing enchant-1.6.0_5... | | `-- Installing hunspell-1.3.3... | | `-- Extracting hunspell-1.3.3: .......... done | | `-- Extracting enchant-1.6.0_5: .......... done | `-- Extracting gtkspell-2.0.16_5: .......... done | `-- Installing ocaml-findlib-1.6.2... | | `-- Installing ocaml-labltk-8.06.0... | | `-- Installing tk85-8.5.19... | | | `-- Installing tcl85-8.5.19... | | | `-- Extracting tcl85-8.5.19: .......... done | | | `-- Installing libXScrnSaver-1.2.2_3... | | | `-- Installing scrnsaverproto-1.2.2... | | | `-- Extracting scrnsaverproto-1.2.2: ... done | | | `-- Extracting libXScrnSaver-1.2.2_3: .......... done | | `-- Extracting tk85-8.5.19: .......... done | | `-- Extracting ocaml-labltk-8.06.0: .......... done | `-- Extracting ocaml-findlib-1.6.2: .......... done | `-- Installing gtkglarea-2.0.1_6... | | `-- Installing libGLU-9.0.0_2... | | `-- Extracting libGLU-9.0.0_2: ...... done | `-- Extracting gtkglarea-2.0.1_6: ........ done | `-- Installing gtksourceview2-2.10.5_4... | `-- Extracting gtksourceview2-2.10.5_4: .......... done | `-- Installing libgsf-1.14.36... | `-- Extracting libgsf-1.14.36: .......... done | `-- Installing gnome-mime-data-2.18.0_5... | `-- Extracting gnome-mime-data-2.18.0_5: .......... done | `-- Installing libart_lgpl-2.3.21_2,1... | `-- Extracting libart_lgpl-2.3.21_2,1: .......... done | `-- Installing librsvg2-2.40.16... | | `-- Installing libcroco-0.6.11... | | `-- Extracting libcroco-0.6.11: .......... done | `-- Extracting librsvg2-2.40.16: .......... done | `-- Installing libgnome-2.32.0_3... | | `-- Installing libbonobo-2.32.0_2... | | `-- Installing popt-1.16_1... | | `-- Extracting popt-1.16_1: .......... done | | `-- Extracting libbonobo-2.32.0_2: .......... done | | `-- Installing libXpm-3.5.11_4... | | `-- Extracting libXpm-3.5.11_4: .......... done | | `-- Installing libcanberra-0.30_3... | | `-- Installing libvorbis-1.3.5,3... | | `-- Extracting libvorbis-1.3.5,3: .......... done | | `-- Installing libltdl-2.4.6... | | `-- Extracting libltdl-2.4.6: .......... done | | `-- Extracting libcanberra-0.30_3: .......... done | | `-- Installing gnome-vfs-2.24.4_4... | | `-- Installing gamin-0.1.10_8... | | `-- Extracting gamin-0.1.10_8: .......... done | | `-- Installing samba36-libsmbclient-3.6.25_2... | | | `-- Installing talloc-2.1.6... | | | `-- Extracting talloc-2.1.6: .......... done | | | `-- Installing tdb-1.3.9,1... | | | `-- Extracting tdb-1.3.9,1: .......... done | | | `-- Installing tevent-0.9.28... | | | `-- Extracting tevent-0.9.28: .......... done | | `-- Extracting samba36-libsmbclient-3.6.25_2: .......... done | | `-- Extracting gnome-vfs-2.24.4_4: .......... done | | `-- Installing rarian-0.8.1_4... | | `-- Installing bash-4.3.46_1... | | `-- Extracting bash-4.3.46_1: .......... done | | `-- Installing docbook-xsl-1.76.1_3... | | | `-- Installing docbook-1.5... | | | `-- Installing sdocbook-xml-1.1_2,2... | | | | `-- 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 sdocbook-xml-1.1_2,2: .......... done | | | `-- Installing docbook-sgml-4.5_1... | | | | `-- Installing iso8879-1986_3... | | | | `-- Extracting iso8879-1986_3: .......... done | | | `-- Extracting docbook-sgml-4.5_1: .......... 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 | | `-- Extracting docbook-xsl-1.76.1_3: .......... done | | `-- Installing libxslt-1.1.29... | | | `-- Installing libgcrypt-1.7.3... | | | `-- Installing libgpg-error-1.24... | | | `-- Extracting libgpg-error-1.24: .......... done | | | `-- Extracting libgcrypt-1.7.3: .......... done | | `-- Extracting libxslt-1.1.29: .......... done | | `-- Installing getopt-1.1.6... | | `-- Extracting getopt-1.1.6: .......... done | | `-- Extracting rarian-0.8.1_4: .......... done | `-- Extracting libgnome-2.32.0_3: .......... done | `-- Installing ocaml-lablgl-1.05,1... | | `-- Installing freeglut-3.0.0... | | `-- Extracting freeglut-3.0.0: .......... done | | `-- Installing libXmu-1.1.2_3,1... | | `-- Extracting libXmu-1.1.2_3,1: .......... done | `-- Extracting ocaml-lablgl-1.05,1: .......... done | `-- Installing libgnomeui-2.24.4_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 libgnomecanvas-2.30.3_3... | | `-- Installing libglade2-2.6.4_8... | | `-- Extracting libglade2-2.6.4_8: .......... done | | `-- Extracting libgnomecanvas-2.30.3_3: .......... done | | `-- Installing libbonoboui-2.24.4_3... | | `-- Extracting libbonoboui-2.24.4_3: .......... done | | `-- Installing startup-notification-0.12_4... | | `-- Extracting startup-notification-0.12_4: .......... done | | `-- Installing gvfs-1.26.3_2... | | `-- Installing libsecret-0.18.4... | | `-- Extracting libsecret-0.18.4: .......... done | | `-- Installing gcr-3.18.0... | | | `-- Installing desktop-file-utils-0.22_3... | | | `-- Extracting desktop-file-utils-0.22_3: .......... done | | | `-- Installing gtk3-3.18.8_3... | | | `-- Installing colord-1.2.11_1... | | | | `-- Installing lcms2-2.7_2... | | | | `-- Extracting lcms2-2.7_2: .......... done | | | | `-- Installing argyllcms-1.7.0_1... | | | | `-- Extracting argyllcms-1.7.0_1: .......... done | | | | `-- Installing sqlite3-3.14.1_1... | | | | `-- Extracting sqlite3-3.14.1_1: .......... done ===> Creating groups. Creating group 'colord' with gid '970'. ===> Creating users Creating user 'colord' with uid '970'. | | | `-- Extracting colord-1.2.11_1: .......... done | | | `-- Installing libepoxy-1.3.1... | | | | `-- Installing libglesv2-11.2.2... | | | | `-- Extracting libglesv2-11.2.2: .......... done | | | `-- Extracting libepoxy-1.3.1: .......... done | | | `-- Installing at-spi2-atk-2.18.1... | | | | `-- Installing at-spi2-core-2.18.3... | | | | `-- Installing libXtst-1.2.2_3... | | | | | `-- Installing recordproto-1.14.2... | | | | | `-- Extracting recordproto-1.14.2: .... done | | | | `-- Extracting libXtst-1.2.2_3: .......... done | | | | `-- Extracting at-spi2-core-2.18.3: .......... done | | | `-- Extracting at-spi2-atk-2.18.1: .......... done | | | `-- Installing adwaita-icon-theme-3.18.0... | | | `-- Extracting adwaita-icon-theme-3.18.0: .......... done | | | `-- Extracting gtk3-3.18.8_3: .......... done | | `-- Extracting gcr-3.18.0: .......... done | | `-- Installing libarchive-3.2.1,1... | | | `-- Installing liblz4-131... | | | `-- Extracting liblz4-131: .......... done | | | `-- Installing lzo2-2.09... | | | `-- Extracting lzo2-2.09: .......... done | | `-- Extracting libarchive-3.2.1,1: .......... done | | `-- Installing libsoup-gnome-2.52.2... | | | `-- Installing glib-networking-2.46.1_1... | | | `-- Installing libproxy-0.4.12... | | | `-- Extracting libproxy-0.4.12: ........ done | | | `-- Installing gsettings-desktop-schemas-3.18.1... | | | | `-- Installing cantarell-fonts-0.0.24... | | | | `-- Extracting cantarell-fonts-0.0.24: ...... done | | | `-- Extracting gsettings-desktop-schemas-3.18.1: .......... done | | | `-- Extracting glib-networking-2.46.1_1: .......... done | | | `-- Installing libsoup-2.52.2... | | | `-- Extracting libsoup-2.52.2: .......... done | | `-- Extracting libsoup-gnome-2.52.2: ......... done | | `-- Extracting gvfs-1.26.3_2: .......... done | | `-- Installing libgnome-keyring-3.12.0_2... | | `-- Extracting libgnome-keyring-3.12.0_2: .......... done | `-- Extracting libgnomeui-2.24.4_5: .......... done `-- Extracting ocaml-lablgtk2-2.18.3: .......... done Extracting ocaml-ocamlgraph-1.8.7: .......... done Message from ncurses-6.0_5: ===> NOTICE: The ncurses 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 python27-2.7.12: =========================================================================== 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 perl5-5.20.3_15: 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 dejavu-2.35: 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 ca_root_nss-3.27: ********************************* 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.13_1: 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 esound-0.2.41_3: The ESounD daemon (esd) must be started on a per-user basis. This is typically done by the Session Manager in GNOME. However, if you are not using the GNOME Desktop, you will need to add something like the following to your X Windows initialization script: esd -terminate -nobeeps -as 2 Message from gamin-0.1.10_8: =============================================================================== 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). For a typical desktop, add the following line to /boot/loader.conf, then reboot the system: kern.maxfiles="25000" 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 samba36-libsmbclient-3.6.25_2: ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: not supported by the upstream. It is scheduled to be removed on or after 2016-04-01. 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: 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,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-lablgtk2-2.18.3: ===> NOTICE: The ocaml-lablgtk2 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-20150201_3 depends on file: /usr/local/lib/ocaml/ocamlgraph/graph.a - found ===> Returning to build of frama-c-20150201_3 ===> frama-c-20150201_3 depends on file: /usr/local/bin/ocamlc - found ===> frama-c-20150201_3 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_1.txz Installing gmake-4.2.1_1... Extracting gmake-4.2.1_1: .......... done ===> frama-c-20150201_3 depends on executable: gmake - found ===> Returning to build of frama-c-20150201_3 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for frama-c-20150201_3 configure: loading site script /usr/ports/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.02.3 checking OCaml library path... /usr/local/lib/ocaml checking for ocamlopt... ocamlopt checking ocamlopt version and standard library... ok checking for ocamlc.opt... ocamlc.opt checking ocamlc.opt version and standard library... ok checking for ocamlopt.opt... ocamlopt.opt checking ocamlc.opt version and standard library... ok configure: ******************************************* configure: * CONFIGURE MANDATORY TOOLS AND LIBRARIES * configure: ******************************************* checking for ocamldep... ocamldep checking for ocamldep.opt... ocamldep.opt checking for ocamllex... ocamllex checking for ocamllex.opt... ocamllex.opt checking for ocamlyacc... ocamlyacc configure: ****************************************** configure: * CONFIGURE OPTIONAL TOOLS AND LIBRARIES * configure: ****************************************** checking for ocamldoc... ocamldoc checking for ocamldoc.opt... ocamldoc.opt checking for ocamlmktop... ocamlmktop checking for ocamlcp... ocamlcp checking for otags... no checking for ocamlfind... ocamlfind OCamlfind detected and enabled configure: no package ocamlgraph in ocamlfind configure: switching to OcamlGraph provided by Frama-C checking for ocamlgraph... no checking for ocamlgraph.tar.gz... yes configure: unarchiving ocamlgraph.tar.gz configure: configuring ocamlgraph... configure: WARNING: Zarith not found: will use the default less efficient library instead 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: *************************** configure: * WISHED FRAMA-C PLUG-INS * configure: *************************** checking for src/constant_propagation... yes semantic_constant_folding... yes checking for src/from... yes from_analysis... yes checking for src/gui... yes gui... yes checking for src/impact... yes impact... yes checking for src/inout... yes inout... yes checking for src/metrics... yes metrics... yes checking for src/occurrence... yes occurrence... yes checking for src/pdg... yes pdg... yes checking for src/postdominators... yes postdominators... yes checking for src/rte... yes rtegen... yes checking for src/scope... yes scope... yes checking for src/semantic_callgraph... yes semantic_callgraph... yes checking for src/slicing... yes slicing... yes checking for src/sparecode... yes sparecode... yes checking for src/syntactic_callgraph... yes syntactic_callgraph... yes checking for src/users... yes users... yes checking for src/value... yes value_analysis... yes checking for src/aorai/Makefile.in... yes aorai... yes checking for ltl2ba... no checking for src/obfuscator/Makefile.in... yes obfuscator... yes checking for src/report/Makefile.in... yes report... yes checking for src/security_slicing/Makefile.in... yes security_slicing... yes checking for src/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/lablgtk.cmxa... yes 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 dot... no checking for /usr/local/lib/ocaml/dynlink.cmxa... yes 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.4 configure: WARNING: dot not found: you should install GraphViz configure: WARNING: gui partially enabled because dot missing. configure: WARNING: syntactic_callgraph partially enabled because dot missing. configure: ********************* configure: * CREATING MAKEFILE * configure: ********************* configure: creating ./config.status config.status: creating src/obfuscator/Makefile config.status: creating src/report/Makefile config.status: creating src/aorai/Makefile config.status: creating src/security_slicing/Makefile config.status: creating src/wp/Makefile config.status: creating share/Makefile.config configure: ******************************* configure: * SUMMARY: PLUG-INS AVAILABLE * configure: ******************************* configure: semantic_constant_folding: yes configure: from_analysis: yes configure: gui: partial, dot missing configure: impact: yes configure: inout: yes configure: metrics: yes configure: occurrence: yes configure: pdg: yes configure: postdominators: yes configure: rtegen: yes configure: scope: yes configure: semantic_callgraph: yes configure: slicing: yes configure: sparecode: yes configure: syntactic_callgraph: partial, dot missing configure: users: yes configure: value_analysis: yes configure: aorai: partial, dynamic, ltl2ba missing configure: obfuscator: yes, dynamic configure: report: yes, dynamic configure: security_slicing: yes, dynamic configure: wp: yes, dynamic =========================================================================== =================================================== ===> Building for frama-c-20150201_3 gmake[1]: Entering directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201' Copying to src/lib/integer.ml Generating src/lib/dynlink_common_interface.ml Ocamllex cil/src/frontc/clexer.ml Ocamlyacc cil/src/frontc/cparser.ml Ocamllex cil/src/logic/logic_lexer.ml Ocamlyacc cil/src/logic/logic_parser.ml Ocamllex cil/src/logic/logic_preprocess.ml 116 states, 558 transitions, table size 2928 bytes 2007 additional bytes used for bindings 1 shift/reduce conflict. 145 states, 1840 transitions, table size 8230 bytes 1915 additional bytes used for bindings 376 states, 4398 transitions, table size 19848 bytes 3299 additional bytes used for bindings Generating src/kernel/config.ml Generating share/Makefile.dynamic_config Generating share/frama-c.rc Generating share/Makefile.kernel Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Metrics.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Metrics.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Syntactic_callgraph.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Syntactic_callgraph.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Value.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Value.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Occurrence.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Occurrence.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/RteGen.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/From.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/From.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Users.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Constant_Propagation.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Postdominators.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Inout.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Semantic_callgraph.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Impact.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Impact.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Pdg.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Scope.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Scope.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Sparecode.mli Ocamllex src/aorai/promelalexer_withexps.ml Ocamlyacc src/aorai/promelaparser_withexps.ml Ocamllex src/aorai/promelalexer.ml Ocamlyacc src/aorai/promelaparser.ml 4 shift/reduce conflicts. Ocamllex src/aorai/ltllexer.ml Ocamlyacc src/aorai/ltlparser.ml Ocamllex src/aorai/yalexer.ml 100 states, 4420 transitions, table size 18280 bytes 85 states, 4392 transitions, table size 18078 bytes 82 states, 3369 transitions, table size 13968 bytes 73 states, 2302 transitions, table size 9646 bytes Ocamlyacc src/aorai/yaparser.ml Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Aorai.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Obfuscator.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Report.mli 7 shift/reduce conflicts. Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Security_slicing.mli Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Security_slicing.mli Ocamllex src/wp/script.ml Ocamllex src/wp/rformat.ml Ocamllex src/wp/driver.ml 49 states, 794 transitions, table size 3470 bytes Ocamllex src/wp/why3_xml.ml Ocamllex src/wp/qed/src/numbers.ml Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Wp.mli 30 states, 1109 transitions, table size 4616 bytes 4387 additional bytes used for bindings Generating /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Wp.mli 105 states, 2064 transitions, table size 8886 bytes 2265 additional bytes used for bindings 114 states, 1396 transitions, table size 6268 bytes 3538 additional bytes used for bindings 53 states, 1709 transitions, table size 7154 bytes 4689 additional bytes used for bindings Building ocamlgraph Generating src/kernel/frama_c_config.ml Ocamldep src/metrics/.depend Ocamldep src/syntactic_callgraph/.depend gmake[2]: Entering directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/ocamlgraph' sed -e s/VERSION/1.8.6/ -e s/CMA/graph.cma/ -e s/CMXA/graph.cmxa/ \ META.in > META rm -f src/version.ml echo "let version = \""1.8.6"\"" > src/version.ml echo "let date = \""`date`"\"" >> src/version.ml rm -f .depend ocamldep -slash -I src -I lib -I editor -I view_graph -I dgraph\ lib/*.ml lib/*.mli \ src/*.ml src/*.mli \ editor/*.mli editor/*.ml \ view_graph/*.mli view_graph/*.ml \ dgraph/*.mli dgraph/*.ml > .depend Ocamldep src/value/.depend Ocamldep src/occurrence/.depend Ocamldep src/rte/.depend Ocamldep src/from/.depend Ocamldep src/users/.depend Ocamldep src/constant_propagation/.depend Ocamldep src/postdominators/.depend Ocamldep src/inout/.depend Ocamldep src/semantic_callgraph/.depend Ocamldep src/impact/.depend Ocamldep src/pdg/.depend Ocamldep src/scope/.depend Ocamldep src/sparecode/.depend Ocamldep src/slicing/.depend Ocamldep src/aorai/.depend Ocamldep src/obfuscator/.depend Ocamldep src/report/.depend Ocamldep src/security_slicing/.depend Ocamldep src/wp/.depend ocamlc.opt -c -I src -I lib -g -dtypes src/sig.mli ocamlc.opt -c -I src -I lib -g -dtypes src/sig_pack.mli ocamlc.opt -c -I src -I lib -g -dtypes src/dot_ast.mli ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.mli ocamlc.opt -c -I src -I lib -g -dtypes lib/unionfind.ml ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.mli ocamlc.opt -c -I src -I lib -g -dtypes lib/heap.ml ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.mli ocamlc.opt -c -I src -I lib -g -dtypes lib/bitv.ml File "lib/bitv.ml", line 464, characters 27-39: Warning 3: deprecated: String.set Use Bytes.set instead. ocamlc.opt -c -I src -I lib -g -dtypes src/version.ml ocamlc.opt -c -I src -I lib -g -dtypes src/util.mli ocamlc.opt -c -I src -I lib -g -dtypes src/util.ml ocamlc.opt -c -I src -I lib -g -dtypes src/blocks.ml ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.mli ocamlc.opt -c -I src -I lib -g -dtypes src/persistent.ml ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.mli ocamlc.opt -c -I src -I lib -g -dtypes src/imperative.ml ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.mli ocamlc.opt -c -I src -I lib -g -dtypes src/delaunay.ml ocamlc.opt -c -I src -I lib -g -dtypes src/builder.mli ocamlc.opt -c -I src -I lib -g -dtypes src/builder.ml ocamlc.opt -c -I src -I lib -g -dtypes src/classic.mli ocamlc.opt -c -I src -I lib -g -dtypes src/classic.ml ocamlc.opt -c -I src -I lib -g -dtypes src/rand.mli ocamlc.opt -c -I src -I lib -g -dtypes src/rand.ml ocamlc.opt -c -I src -I lib -g -dtypes src/oper.mli ocamlc.opt -c -I src -I lib -g -dtypes src/oper.ml ocamlc.opt -c -I src -I lib -g -dtypes src/components.mli ocamlc.opt -c -I src -I lib -g -dtypes src/components.ml ocamlc.opt -c -I src -I lib -g -dtypes src/path.mli ocamlc.opt -c -I src -I lib -g -dtypes src/path.ml ocamlc.opt -c -I src -I lib -g -dtypes src/nonnegative.mli ocamlc.opt -c -I src -I lib -g -dtypes src/nonnegative.ml ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.mli ocamlc.opt -c -I src -I lib -g -dtypes src/traverse.ml ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.mli ocamlc.opt -c -I src -I lib -g -dtypes src/coloring.ml ocamlc.opt -c -I src -I lib -g -dtypes src/topological.mli ocamlc.opt -c -I src -I lib -g -dtypes src/topological.ml ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.mli ocamlc.opt -c -I src -I lib -g -dtypes src/kruskal.ml ocamlc.opt -c -I src -I lib -g -dtypes src/flow.mli ocamlc.opt -c -I src -I lib -g -dtypes src/flow.ml ocamlc.opt -c -I src -I lib -g -dtypes src/prim.mli ocamlc.opt -c -I src -I lib -g -dtypes src/prim.ml ocamlc.opt -c -I src -I lib -g -dtypes src/dominator.mli ocamlc.opt -c -I src -I lib -g -dtypes src/dominator.ml ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.mli ocamlc.opt -c -I src -I lib -g -dtypes src/graphviz.ml ocamlc.opt -c -I src -I lib -g -dtypes src/gml.mli ocamlc.opt -c -I src -I lib -g -dtypes src/gml.ml File "src/gml.ml", line 418, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. File "src/gml.ml", line 455, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.mli ocamlc.opt -c -I src -I lib -g -dtypes src/dot_parser.ml ocamlc.opt -c -I src -I lib -g -dtypes src/dot_lexer.ml ocamlc.opt -c -I src -I lib -g -dtypes src/dot.mli ocamlc.opt -c -I src -I lib -g -dtypes src/dot.ml ocamlc.opt -c -I src -I lib -g -dtypes src/pack.mli ocamlc.opt -c -I src -I lib -g -dtypes src/pack.ml ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.mli ocamlc.opt -c -I src -I lib -g -dtypes src/gmap.ml ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.mli ocamlc.opt -c -I src -I lib -g -dtypes src/minsep.ml ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.mli ocamlc.opt -c -I src -I lib -g -dtypes src/cliquetree.ml ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.mli ocamlc.opt -c -I src -I lib -g -dtypes src/mcs_m.ml ocamlc.opt -c -I src -I lib -g -dtypes src/md.mli ocamlc.opt -c -I src -I lib -g -dtypes src/md.ml ocamlc.opt -c -I src -I lib -g -dtypes src/strat.mli ocamlc.opt -c -I src -I lib -g -dtypes src/strat.ml ocamlc.opt -c -I src -I lib -g -dtypes src/fixpoint.mli ocamlc.opt -c -I src -I lib -g -dtypes src/fixpoint.ml ocamlc.opt -c -I src -I lib -g -dtypes src/leaderlist.mli ocamlc.opt -c -I src -I lib -g -dtypes src/leaderlist.ml ocamlc.opt -c -I src -I lib -g -dtypes src/contraction.mli ocamlc.opt -c -I src -I lib -g -dtypes src/contraction.ml ocamlc.opt -c -I src -I lib -g -dtypes src/graphml.mli ocamlc.opt -c -I src -I lib -g -dtypes src/graphml.ml ocamlc.opt -c -I src -I lib -g -dtypes src/merge.mli ocamlc.opt -c -I src -I lib -g -dtypes src/merge.ml ocamlc.opt -c -I src -I lib -g -dtypes src/mincut.mli ocamlc.opt -c -I src -I lib -g -dtypes src/mincut.ml ocamlc.opt -c -I src -I lib -g -dtypes src/clique.mli ocamlc.opt -c -I src -I lib -g -dtypes src/clique.ml ocamlc.opt -I src -I lib -pack -g -o graph.cmo src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmo lib/heap.cmo lib/bitv.cmo src/version.cmo src/util.cmo src/blocks.cmo src/persistent.cmo src/imperative.cmo src/delaunay.cmo src/builder.cmo src/classic.cmo src/rand.cmo src/oper.cmo src/components.cmo src/path.cmo src/nonnegative.cmo src/traverse.cmo src/coloring.cmo src/topological.cmo src/kruskal.cmo src/flow.cmo src/prim.cmo src/dominator.cmo src/graphviz.cmo src/gml.cmo src/dot_parser.cmo src/dot_lexer.cmo src/dot.cmo src/pack.cmo src/gmap.cmo src/minsep.cmo src/cliquetree.cmo src/mcs_m.cmo src/md.cmo src/strat.cmo src/fixpoint.cmo src/leaderlist.cmo src/contraction.cmo src/graphml.cmo src/merge.cmo src/mincut.cmo src/clique.cmo ocamlopt.opt -c -I src -I lib -for-pack Graph lib/unionfind.ml ocamlopt.opt -c -I src -I lib -for-pack Graph lib/heap.ml ocamlopt.opt -c -I src -I lib -for-pack Graph lib/bitv.ml File "lib/bitv.ml", line 464, characters 27-39: Warning 3: deprecated: String.set Use Bytes.set instead. ocamlopt.opt -c -I src -I lib -for-pack Graph src/version.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/util.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/blocks.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/persistent.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/imperative.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/delaunay.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/builder.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/classic.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/rand.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/oper.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/components.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/path.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/nonnegative.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/traverse.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/coloring.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/topological.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/kruskal.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/flow.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/prim.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/dominator.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphviz.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/gml.ml File "src/gml.ml", line 418, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. File "src/gml.ml", line 455, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_parser.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot_lexer.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/dot.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/pack.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/gmap.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/minsep.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/cliquetree.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/mcs_m.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/md.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/strat.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/fixpoint.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/leaderlist.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/contraction.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/graphml.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/merge.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/mincut.ml ocamlopt.opt -c -I src -I lib -for-pack Graph src/clique.ml ocamlc.opt -I src -I lib -a -g -o graph.cma graph.cmo ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/xDotDraw.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/xDotDraw.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/xDot.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/xDot.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphTreeLayout.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphTreeLayout.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphSubTree.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphSubTree.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphTreeModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphTreeModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphViewItem.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphViewItem.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphView.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphView.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphRandModel.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphRandModel.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphContainer.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphContainer.ml ocamlc.opt -o dgraph/dgraph.cmo -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -pack dgraph/xDotDraw.cmo dgraph/xDot.cmo dgraph/dGraphModel.cmo dgraph/dGraphTreeLayout.cmo dgraph/dGraphSubTree.cmo dgraph/dGraphTreeModel.cmo dgraph/dGraphViewItem.cmo dgraph/dGraphView.cmo dgraph/dGraphRandModel.cmo dgraph/dGraphContainer.cmo ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . dgraph/dGraphViewer.ml ocamlc.opt -g -o dgraph/dgraph.byte -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . \ lablgtk.cma gtkInit.cmo lablgnomecanvas.cma graph.cma dgraph/dgraph.cmo dgraph/dGraphViewer.cmo ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . view_graph/viewGraph_core.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . view_graph/viewGraph_core.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . view_graph/viewGraph_select.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . view_graph/viewGraph_select.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . view_graph/viewGraph_utils.mli ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . view_graph/viewGraph_utils.ml ocamlc.opt -o view_graph/viewgraph.cmo -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . -pack view_graph/viewGraph_core.cmo view_graph/viewGraph_select.cmo view_graph/viewGraph_utils.cmo ocamlc.opt -g -o view_graph/viewgraph.byte -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I view_graph -I . \ lablgtk.cma gtkInit.cmo lablgnomecanvas.cma unix.cma graph.cma view_graph/viewgraph.cmo ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I . editor/ed_hyper.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I . editor/ed_graph.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I . editor/ed_draw.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I . editor/ed_display.ml ocamlc.opt -c -I src -I lib -g -dtypes -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I . editor/ed_main.ml ocamlc.opt -g -o editor/editor.byte -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I +threads -I editor -I . \ lablgtk.cma lablgnomecanvas.cma unix.cma graph.cma editor/ed_hyper.cmo editor/ed_graph.cmo editor/ed_draw.cmo editor/ed_display.cmo editor/ed_main.cmo ocamlopt.opt -I src -I lib -pack -o graph.cmx src/sig.cmi src/sig_pack.cmi src/dot_ast.cmi lib/unionfind.cmx lib/heap.cmx lib/bitv.cmx src/version.cmx src/util.cmx src/blocks.cmx src/persistent.cmx src/imperative.cmx src/delaunay.cmx src/builder.cmx src/classic.cmx src/rand.cmx src/oper.cmx src/components.cmx src/path.cmx src/nonnegative.cmx src/traverse.cmx src/coloring.cmx src/topological.cmx src/kruskal.cmx src/flow.cmx src/prim.cmx src/dominator.cmx src/graphviz.cmx src/gml.cmx src/dot_parser.cmx src/dot_lexer.cmx src/dot.cmx src/pack.cmx src/gmap.cmx src/minsep.cmx src/cliquetree.cmx src/mcs_m.cmx src/md.cmx src/strat.cmx src/fixpoint.cmx src/leaderlist.cmx src/contraction.cmx src/graphml.cmx src/merge.cmx src/mincut.cmx src/clique.cmx gmake[2]: Leaving directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/ocamlgraph' Copying to lib/graph.cmi Copying to lib/graph.cmo Copying to lib/graph.cmx Copying to lib/graph.o Building ocamlgraph GUI gmake[2]: Entering directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/ocamlgraph' gmake[2]: 'dgraph/dgraph.cmo' is up to date. ocamlopt.opt -I src -I lib -a -o graph.cmxa graph.cmx ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/xDotDraw.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/xDot.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphModel.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphTreeLayout.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphSubTree.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphTreeModel.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphViewItem.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphView.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphRandModel.ml ocamlopt.opt -c -I src -I lib -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -for-pack Dgraph dgraph/dGraphContainer.ml ocamlopt.opt -o dgraph/dgraph.cmx -I /usr/local/lib/ocaml/site-lib/lablgtk2 -I dgraph -I . -pack dgraph/xDotDraw.cmx dgraph/xDot.cmx dgraph/dGraphModel.cmx dgraph/dGraphTreeLayout.cmx dgraph/dGraphSubTree.cmx dgraph/dGraphTreeModel.cmx dgraph/dGraphViewItem.cmx dgraph/dGraphView.cmx dgraph/dGraphRandModel.cmx dgraph/dGraphContainer.cmx gmake[2]: Leaving directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/ocamlgraph' Copying to lib/dgraph.cmi Copying to lib/dgraph.cmo Copying to lib/dgraph.cmx Copying to lib/dgraph.o Generating .depend Ocamlc src/aorai/bool3.cmi Ocamlc external/unmarshal.cmi Ocamlc src/lib/FCSet.cmi Ocamlc src/lib/pretty_utils.cmi Ocamlc src/lib/FCMap.cmi File "src/lib/pretty_utils.mli", line 50, characters 0-344: Warning 50: unattached documentation comment (ignored) Ocamlc src/lib/FCHashtbl.cmi File "external/unmarshal.mli", line 74, characters 0-1970: Warning 50: unattached documentation comment (ignored) File "external/unmarshal.mli", line 122, characters 0-118: Warning 50: unattached documentation comment (ignored) File "external/unmarshal.mli", line 128, characters 0-307: Warning 50: unattached documentation comment (ignored) File "external/unmarshal.mli", line 136, characters 0-174: Warning 50: unattached documentation comment (ignored) Ocamlc src/lib/extlib.cmi Ocamlc cil/src/logic/utf8_logic.cmi Ocamlc src/aorai/ltlast.cmi Ocamlc src/aorai/aorai_dataflow.cmi Ocamlc src/lib/filepath.cmi Ocamlc cil/src/escape.cmi Ocamlc src/lib/hook.cmi Ocamlopt src/aorai/bool3.cmx Ocamlopt external/unmarshal.cmx Ocamlc src/lib/dynlink_common_interface.cmi Ocamlopt src/lib/pretty_utils.cmx Ocamlc external/sysutil.cmi Ocamlopt src/lib/FCSet.cmx Ocamlopt src/lib/hook.cmx Ocamlc src/kernel/config.cmi File "src/lib/hook.ml", line 44, characters 12-41: Warning 50: ambiguous documentation comment Ocamlopt src/lib/FCMap.cmx Ocamlc src/lib/qstack.cmi Ocamlc src/lib/binary_cache.cmi Ocamlopt cil/src/logic/utf8_logic.cmx Ocamlopt cil/src/escape.cmx Ocamlc cil/ocamlutil/alpha.cmi Ocamlc cil/src/frontc/errorloc.cmi Ocamlc src/lib/bitvector.cmi Ocamlc cil/src/logic/logic_preprocess.cmi File "src/lib/bitvector.mli", line 31, characters 22-78: Warning 50: ambiguous documentation comment File "src/lib/bitvector.mli", line 44, characters 28-76: Warning 50: ambiguous documentation comment Ocamlc src/kernel/unicode.cmi Generating ptests/ptests_config.ml Ocamlc cil/src/cilmsg.cmi Generating tests/ptests_config Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Security_slicing.cmi Ocamlc src/kernel/command.cmi Ocamlc cil/ocamlutil/cilconfig.cmi File "src/kernel/command.mli", line 51, characters 2-59: Warning 50: ambiguous documentation comment File "src/kernel/command.mli", line 53, characters 2-45: Warning 50: ambiguous documentation comment File "src/kernel/command.mli", line 55, characters 2-59: Warning 50: ambiguous documentation comment Ocamlc src/lib/indexer.cmi Ocamlc src/kernel/task.cmi File "src/lib/indexer.mli", line 39, characters 29-51: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 40, characters 28-68: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 44, characters 26-48: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 45, characters 29-51: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 46, characters 39-53: Warning 50: ambiguous documentation comment File "src/lib/indexer.mli", line 52, characters 40-54: Warning 50: ambiguous documentation comment Ocamlc src/gui/source_viewer.cmi File "src/kernel/task.mli", line 46, characters 34-66: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 105, characters 57-77: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 106, characters 51-75: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 107, characters 54-77: Warning 50: ambiguous documentation comment File "src/kernel/task.mli", line 204, characters 31-65: Warning 50: ambiguous documentation comment Ocamlc src/gui/source_manager.cmi Ocamlc src/security_slicing/register_gui.cmi Generating src/report/tests/ptests_config File "src/gui/source_manager.mli", line 36, characters 37-70: Warning 50: ambiguous documentation comment Generating src/wp/tests/ptests_config Ocamlc src/aorai/bool3.cmo Ocamlc src/type/structural_descr.cmi Ocamlc src/kernel/log.cmi Ocamlc src/lib/integer.cmi Ocamlc src/aorai/ltl_output.cmi File "src/kernel/log.mli", line 76, characters 2-94: Warning 50: unattached documentation comment (ignored) File "src/kernel/log.mli", line 80, characters 2-98: Warning 50: unattached documentation comment (ignored) File "src/lib/integer.mli", line 40, characters 26-99: Warning 50: ambiguous documentation comment File "src/lib/integer.mli", line 43, characters 31-88: Warning 50: ambiguous documentation comment File "src/lib/integer.mli", line 57, characters 25-41: Warning 50: ambiguous documentation comment Ocamlopt src/type/structural_descr.cmx Ocamlopt src/lib/dynlink_common_interface.cmx Ocamlopt external/sysutil.cmx Ocamlopt src/lib/integer.cmx Ocamlopt src/lib/FCHashtbl.cmx Ocamlopt src/lib/qstack.cmx Ocamlopt src/aorai/ltl_output.cmx Ocamlopt src/lib/bitvector.cmx Linking bin/ptests.opt Ocamlopt src/lib/indexer.cmx Ocamlc src/gui/warning_manager.cmi Ocamlc src/type/type.cmi Ocamlc src/project/project_skeleton.cmi File "src/type/type.mli", line 234, characters 4-236: Warning 50: ambiguous documentation comment File "src/type/type.mli", line 392, characters 0-7: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/cil_types.cmi Ocamlc src/aorai/ltl_output.cmo Ocamlc src/kernel/cmdline.cmi File "cil/src/cil_types.mli", line 1460, characters 2-386: Warning 50: unattached documentation comment (ignored) File "src/kernel/cmdline.mli", line 127, characters 9-41: Warning 50: ambiguous documentation comment File "src/kernel/cmdline.mli", line 128, characters 17-49: Warning 50: ambiguous documentation comment File "src/kernel/cmdline.mli", line 142, characters 2-9: Warning 50: unattached documentation comment (ignored) Ocamlopt src/type/type.cmx Ocamlopt src/lib/extlib.cmx Ocamlc src/kernel/journal.cmi File "src/kernel/journal.mli", line 60, characters 4-231: Warning 50: ambiguous documentation comment Ocamlc src/type/descr.cmi Ocamlc cil/src/logic/logic_ptree.cmi File "cil/src/logic/logic_ptree.mli", line 75, characters 4-48: Warning 50: unattached documentation comment (ignored) Ocamlc src/printer/printer_api.cmi File "src/printer/printer_api.mli", line 202, characters 2-46: Warning 50: ambiguous documentation comment File "src/printer/printer_api.mli", line 305, characters 6-41: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/ext/dataflow2.cmi File "cil/src/ext/dataflow2.mli", line 68, characters 19-74: Warning 50: ambiguous documentation comment File "cil/src/ext/dataflow2.mli", line 147, characters 19-74: Warning 50: ambiguous documentation comment Ocamlc cil/src/ext/cfg.cmi Ocamlopt cil/src/frontc/cabs.cmx File "cil/src/frontc/cabs.ml", line 259, characters 3-16: Warning 50: unattached documentation comment (ignored) Ocamlc src/printer/printer_builder.cmi Ocamlc src/lib/floating_point.cmi Ocamlc cil/src/machdeps.cmi Ocamlc src/printer/cil_printer.cmi Ocamlc src/kernel/ast_info.cmi Ocamlc cil/src/logic/logic_print.cmi Ocamlc src/printer/cil_descriptive_printer.cmi Ocamlc cil/src/ext/ordered_stmt.cmi Ocamlc cil/src/rmtmps.cmi Ocamlc cil/src/ext/oneret.cmi Ocamlc cil/src/mergecil.cmi Ocamlc cil/src/logic/logic_builtin.cmi Ocamlc src/gui/filetree.cmi Ocamlc src/type/datatype.cmi Ocamlc cil/src/frontc/cabs.cmo File "cil/src/frontc/cabs.ml", line 259, characters 3-16: Warning 50: unattached documentation comment (ignored) File "src/type/datatype.mli", line 211, characters 20-44: Warning 50: ambiguous documentation comment Ocamlc src/aorai/promelaast.cmi Ocamlc src/printer/printer.cmi Ocamlc src/aorai/promelaoutput.cmi Ocamlc cil/src/logic/logic_utils.cmi Ocamlc src/aorai/logic_simplification.cmi File "cil/src/logic/logic_utils.mli", line 133, characters 0-37: Warning 50: unattached documentation comment (ignored) File "cil/src/logic/logic_utils.mli", line 265, characters 0-29: Warning 50: ambiguous documentation comment Ocamlc cil/src/logic/logic_parser.cmi Ocamlc cil/src/frontc/cparser.cmi Ocamlc src/aorai/ltlparser.cmi Ocamlc src/aorai/yaparser.cmi Ocamlc src/aorai/promelaparser.cmi Ocamlc src/aorai/promelaparser_withexps.cmi Ocamlopt src/lib/filepath.cmx File "src/lib/filepath.ml", line 42, characters 2-52: Warning 50: unattached documentation comment (ignored) Ocamlopt src/printer/printer_builder.cmx Ocamlopt cil/src/machdeps.cmx Ocamlc cil/src/frontc/cprint.cmi Ocamlopt src/aorai/ltlparser.cmx Ocamlc cil/src/frontc/frontc.cmi Ocamlc cil/src/frontc/clexer.cmi Ocamlc src/aorai/ltlparser.cmo Ocamlc src/aorai/ltllexer.cmo Ocamlc src/aorai/yalexer.cmo Ocamlopt src/kernel/log.cmx Ocamlopt src/kernel/config.cmx File "src/kernel/log.ml", line 654, characters 49-76: Warning 50: ambiguous documentation comment Ocamlopt src/aorai/ltllexer.cmx Ocamlopt src/type/descr.cmx Ocamlc src/project/state.cmi Ocamlc src/kernel/typed_parameter.cmi Ocamlc cil/src/logic/logic_typing.cmi File "cil/src/logic/logic_typing.mli", line 139, characters 6-75: Warning 50: ambiguous documentation comment File "src/kernel/typed_parameter.mli", line 59, characters 0-7: Warning 50: unattached documentation comment (ignored) Ocamlc src/ai/lattice_type.cmi File "src/ai/lattice_type.mli", line 29, characters 24-58: Warning 50: ambiguous documentation comment File "src/ai/lattice_type.mli", line 30, characters 34-80: Warning 50: ambiguous documentation comment File "src/ai/lattice_type.mli", line 64, characters 24-59: Warning 50: ambiguous documentation comment Ocamlc src/ai/int_Base.cmi Ocamlc src/logic/property.cmi Ocamlc src/project/state_dependency_graph.cmi Ocamlc src/project/state_topological.cmi Ocamlc src/lib/rangemap.cmi Ocamlc cil/src/frontc/cabshelper.cmi Ocamlc src/kernel/messages.cmi File "src/lib/rangemap.mli", line 55, characters 11-43: Warning 50: ambiguous documentation comment Ocamlc src/project/state_selection.cmi Ocamlc src/kernel/parameter_category.cmi Ocamlc external/hptmap.cmi Ocamlc src/kernel/globals.cmi Ocamlc src/kernel/ast.cmi File "external/hptmap.mli", line 74, characters 18-49: Warning 50: ambiguous documentation comment File "external/hptmap.mli", line 75, characters 35-58: Warning 50: ambiguous documentation comment File "external/hptmap.mli", line 77, characters 7-55: Warning 50: ambiguous documentation comment Ocamlc src/kernel/dynamic.cmi File "src/kernel/dynamic.mli", line 106, characters 2-9: Warning 50: unattached documentation comment (ignored) File "src/kernel/dynamic.mli", line 113, characters 6-41: Warning 50: ambiguous documentation comment File "src/kernel/dynamic.mli", line 141, characters 6-33: Warning 50: ambiguous documentation comment File "src/kernel/dynamic.mli", line 143, characters 6-33: Warning 50: ambiguous documentation comment File "src/kernel/dynamic.mli", line 189, characters 0-7: Warning 50: unattached documentation comment (ignored) Ocamlc src/ai/origin.cmi Ocamlc src/logic/description.cmi Ocamlc src/project/project.cmi Ocamlc src/lib/hptset.cmi Ocamlc src/project/state_builder.cmi File "src/project/state_builder.mli", line 37, characters 19-53: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 106, characters 4-40: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 108, characters 4-39: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 110, characters 4-36: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 131, characters 4-167: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 149, characters 32-63: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 267, characters 7-37: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 269, characters 7-74: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 271, characters 7-76: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 296, characters 4-58: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 298, characters 4-62: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 300, characters 4-27: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 302, characters 4-31: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 310, characters 4-197: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 315, characters 4-112: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 318, characters 4-69: Warning 50: ambiguous documentation comment File "src/project/state_builder.mli", line 325, characters 23-54: Warning 50: unattached documentation comment (ignored) File "src/project/state_builder.mli", line 326, characters 20-66: Warning 50: unattached documentation comment (ignored) File "src/project/state_builder.mli", line 343, characters 26-53: Warning 50: ambiguous documentation comment Ocamlc src/memory_state/offsetmap_lattice_with_isotropy.cmi Ocamlc src/kernel/emitter.cmi Ocamlc cil/src/logic/logic_env.cmi Ocamlc cil/src/cil_const.cmi File "src/kernel/emitter.mli", line 137, characters 0-111: Warning 50: ambiguous documentation comment File "cil/src/logic/logic_env.mli", line 79, characters 4-57: Warning 50: ambiguous documentation comment Ocamlc cil/src/cil_state_builder.cmi Ocamlc cil/src/cil_datatype.cmi Ocamlc src/ai/abstract_interp.cmi File "cil/src/cil_datatype.mli", line 42, characters 4-175: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 64, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 82, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 91, characters 17-48: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 92, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 129, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 142, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 159, characters 4-81: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 161, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 167, characters 0-7: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 211, characters 2-77: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 213, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 239, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 264, characters 0-7: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 265, characters 0-95: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 275, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 282, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 288, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 295, characters 2-9: Warning 50: ambiguous documentation comment File "cil/src/cil_datatype.mli", line 300, characters 2-9: Warning 50: ambiguous documentation comment Ocamlopt src/kernel/cmdline.cmx Ocamlc src/logic/annotations.cmi Ocamlc src/logic/property_status.cmi Ocamlc src/kernel/cilE.cmi File "src/logic/property_status.mli", line 113, characters 21-56: Warning 50: unattached documentation comment (ignored) Ocamlc src/misc/bit_utils.cmi Ocamlc src/ai/ival.cmi Ocamlc src/kernel/alarms.cmi Ocamlc src/gui/gtk_helper.cmi File "src/ai/ival.mli", line 177, characters 0-55: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 179, characters 0-47: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 184, characters 0-52: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 189, characters 0-55: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 191, characters 0-55: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 291, characters 0-63: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 293, characters 0-62: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 295, characters 0-72: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 304, characters 0-138: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 307, characters 0-134: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 310, characters 0-132: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 372, characters 0-218: Warning 50: ambiguous documentation comment File "src/ai/ival.mli", line 387, characters 36-53: Warning 50: unattached documentation comment (ignored) File "src/ai/ival.mli", line 387, characters 61-95: Warning 50: unattached documentation comment (ignored) File "src/gui/gtk_helper.mli", line 286, characters 14-51: Warning 50: unattached documentation comment (ignored) File "src/gui/gtk_helper.mli", line 387, characters 29-44: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.mli", line 388, characters 41-79: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.mli", line 389, characters 32-59: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.mli", line 390, characters 48-71: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.mli", line 391, characters 25-53: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.mli", line 392, characters 29-70: Warning 50: ambiguous documentation comment File "src/kernel/alarms.mli", line 43, characters 10-22: Warning 50: unattached documentation comment (ignored) File "src/kernel/alarms.mli", line 47, characters 17-71: Warning 50: unattached documentation comment (ignored) File "src/kernel/alarms.mli", line 54, characters 16-32: Warning 50: unattached documentation comment (ignored) File "src/kernel/alarms.mli", line 58, characters 16-130: Warning 50: unattached documentation comment (ignored) Ocamlc src/gui/pretty_source.cmi File "src/gui/pretty_source.mli", line 45, characters 2-64: Warning 50: ambiguous documentation comment Ocamlc src/gui/menu_manager.cmi File "src/gui/menu_manager.mli", line 31, characters 25-55: Warning 50: unattached documentation comment (ignored) Ocamlc src/gui/launcher.cmi Ocamlc src/ai/int_Intervals_sig.cmi File "src/ai/int_Intervals_sig.mli", line 57, characters 0-28: Warning 50: ambiguous documentation comment Ocamlc src/ai/base.cmi Ocamlc src/gui/history.cmi Ocamlc src/gui/design.cmi File "src/ai/base.mli", line 41, characters 18-80: Warning 50: unattached documentation comment (ignored) File "src/ai/base.mli", line 145, characters 0-134: Warning 50: ambiguous documentation comment File "src/gui/design.mli", line 111, characters 4-249: Warning 50: ambiguous documentation comment Ocamlc src/memory_state/offsetmap_sig.cmi Ocamlc src/memory_state/offsetmap_bitwise_sig.cmi File "src/memory_state/offsetmap_bitwise_sig.mli", line 33, characters 7-56: Warning 50: ambiguous documentation comment File "src/memory_state/offsetmap_sig.mli", line 30, characters 7-56: Warning 50: ambiguous documentation comment File "src/memory_state/offsetmap_sig.mli", line 32, characters 18-73: Warning 50: ambiguous documentation comment File "src/memory_state/offsetmap_sig.mli", line 33, characters 19-53: Warning 50: ambiguous documentation comment Ocamlc src/memory_state/tr_offset.cmi Ocamlopt src/project/project_skeleton.cmx File "src/memory_state/tr_offset.mli", line 29, characters 16-26: Warning 50: unattached documentation comment (ignored) File "src/memory_state/tr_offset.mli", line 30, characters 16-26: Warning 50: unattached documentation comment (ignored) File "src/memory_state/tr_offset.mli", line 31, characters 16-27: Warning 50: unattached documentation comment (ignored) File "src/memory_state/tr_offset.mli", line 32, characters 15-25: Warning 50: unattached documentation comment (ignored) File "src/memory_state/tr_offset.mli", line 33, characters 15-25: Warning 50: unattached documentation comment (ignored) File "src/memory_state/tr_offset.mli", line 48, characters 7-19: Warning 50: unattached documentation comment (ignored) Ocamlopt src/lib/binary_cache.cmx Ocamlc src/memory_state/offsetmap.cmi Ocamlopt src/type/datatype.cmx Ocamlc src/ai/int_Intervals.cmi Ocamlc src/memory_state/locations.cmi File "src/memory_state/locations.mli", line 37, characters 11-63: Warning 50: ambiguous documentation comment File "src/memory_state/locations.mli", line 59, characters 4-72: Warning 50: ambiguous documentation comment File "src/memory_state/locations.mli", line 61, characters 4-48: Warning 50: ambiguous documentation comment File "src/memory_state/locations.mli", line 100, characters 4-117: Warning 50: ambiguous documentation comment File "src/memory_state/locations.mli", line 109, characters 4-120: Warning 50: ambiguous documentation comment File "src/memory_state/locations.mli", line 112, characters 4-92: Warning 50: ambiguous documentation comment File "src/memory_state/locations.mli", line 139, characters 2-124: Warning 50: ambiguous documentation comment Ocamlc src/memory_state/lmap_sig.cmi Ocamlc src/pdg_types/pdgIndex.cmi Ocamlc src/memory_state/lmap_bitwise.cmi File "src/memory_state/lmap_sig.mli", line 28, characters 7-57: Warning 50: ambiguous documentation comment File "src/memory_state/lmap_sig.mli", line 29, characters 15-59: Warning 50: ambiguous documentation comment File "src/memory_state/lmap_sig.mli", line 33, characters 9-51: Warning 50: ambiguous documentation comment File "src/memory_state/lmap_sig.mli", line 40, characters 0-104: Warning 50: ambiguous documentation comment File "src/memory_state/lmap_sig.mli", line 55, characters 0-133: Warning 50: ambiguous documentation comment File "src/pdg_types/pdgIndex.mli", line 210, characters 2-99: Warning 50: ambiguous documentation comment Ocamlc src/memory_state/precise_locs.cmi Ocamlc src/memory_state/inout_type.cmi Ocamlc src/memory_state/function_Froms.cmi File "src/memory_state/function_Froms.mli", line 160, characters 0-91: Warning 50: ambiguous documentation comment File "src/memory_state/function_Froms.mli", line 163, characters 0-136: Warning 50: ambiguous documentation comment Ocamlc src/memory_state/cvalue.cmi Ocamlc src/memory_state/lmap.cmi File "src/memory_state/cvalue.mli", line 99, characters 9-25: Warning 50: unattached documentation comment (ignored) File "src/memory_state/cvalue.mli", line 100, characters 9-26: Warning 50: unattached documentation comment (ignored) File "src/memory_state/cvalue.mli", line 101, characters 18-53: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/parameter_sig.cmi Ocamlc src/kernel/parameter_customize.cmi Ocamlc src/kernel/kernel_function.cmi Ocamlc cil/src/cil.cmi File "src/kernel/parameter_sig.mli", line 37, characters 4-33: Warning 50: ambiguous documentation comment File "src/kernel/parameter_sig.mli", line 196, characters 0-7: Warning 50: unattached documentation comment (ignored) File "src/kernel/parameter_sig.mli", line 333, characters 11-41: Warning 50: ambiguous documentation comment File "src/kernel/parameter_sig.mli", line 449, characters 11-42: Warning 50: ambiguous documentation comment File "cil/src/cil.mli", line 155, characters 6-41: Warning 50: unattached documentation comment (ignored) File "cil/src/cil.mli", line 665, characters 0-129: Warning 50: ambiguous documentation comment File "cil/src/cil.mli", line 1409, characters 2-216: Warning 50: ambiguous documentation comment File "cil/src/cil.mli", line 1429, characters 2-111: Warning 50: ambiguous documentation comment File "cil/src/cil.mli", line 1448, characters 2-112: Warning 50: ambiguous documentation comment File "cil/src/cil.mli", line 1674, characters 4-122: Warning 50: ambiguous documentation comment File "cil/src/cil.mli", line 1789, characters 0-34: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/logic/logic_const.cmi File "cil/src/logic/logic_const.mli", line 119, characters 0-8: Warning 50: ambiguous documentation comment Ocamlc cil/src/frontc/cabs2cil.cmi Ocamlc src/aorai/data_for_aorai.cmi Ocamlc src/memory_state/value_types.cmi File "src/memory_state/value_types.mli", line 52, characters 12-47: Warning 50: unattached documentation comment (ignored) File "src/memory_state/value_types.mli", line 54, characters 7-76: Warning 50: unattached documentation comment (ignored) File "src/memory_state/value_types.mli", line 56, characters 7-67: Warning 50: unattached documentation comment (ignored) File "src/aorai/data_for_aorai.mli", line 86, characters 0-43: Warning 50: unattached documentation comment (ignored) Ocamlc src/pdg_types/pdgTypes.cmi Ocamlc src/kernel/parameter_builder.cmi Ocamlc src/security_slicing/components.cmi Ocamlc src/kernel/plugin.cmi File "src/kernel/plugin.mli", line 100, characters 22-76: Warning 50: ambiguous documentation comment File "src/kernel/plugin.mli", line 101, characters 27-78: Warning 50: ambiguous documentation comment Ocamlc src/kernel/visitor.cmi Ocamlc src/aorai/aorai_utils.cmi Ocamlc src/kernel/parameter_state.cmi Ocamlc src/pdg_types/pdgMarks.cmi Ocamlc cil/src/frontc/cabsvisit.cmi Ocamlc src/kernel/file.cmi Ocamlc src/slicing_types/slicingInternals.cmo File "src/slicing_types/slicingInternals.ml", line 95, characters 2-49: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 99, characters 0-139: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 111, characters 0-76: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 123, characters 2-77: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 127, characters 0-112: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 142, characters 0-109: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 155, characters 0-259: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 164, characters 2-147: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 172, characters 2-120: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 177, characters 0-66: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 184, characters 0-55: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 208, characters 0-41: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 221, characters 0-98: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/kernel.cmi Ocamlc src/aorai/aorai_option.cmi Ocamlc src/security_slicing/security_slicing_parameters.cmi Ocamlc src/gui/gui_parameters.cmi Ocamlc src/aorai/path_analysis.cmo Ocamlc src/aorai/promelaoutput.cmo Ocamlc src/aorai/logic_simplification.cmo Ocamlc src/aorai/utils_parser.cmo Ocamlc src/aorai/yaparser.cmo Ocamlc src/aorai/promelaparser.cmo Ocamlc src/aorai/promelalexer.cmo Ocamlc src/aorai/promelaparser_withexps.cmo Ocamlc src/aorai/promelalexer_withexps.cmo Ocamlc src/aorai/aorai_dataflow.cmo Ocamlc src/aorai/aorai_visitors.cmo Ocamlc src/slicing_types/slicingTypes.cmo Ocamlc src/aorai/aorai_option.cmo Ocamlc cil/src/logic/logic_lexer.cmo Ocamlc src/aorai/aorai_utils.cmo Ocamlc src/kernel/db.cmi File "src/kernel/db.mli", line 102, characters 2-9: Warning 50: unattached documentation comment (ignored) File "src/kernel/db.mli", line 135, characters 5-241: Warning 50: unattached documentation comment (ignored) File "src/kernel/db.mli", line 207, characters 6-58: Warning 50: unattached documentation comment (ignored) File "src/kernel/db.mli", line 209, characters 6-257: Warning 50: unattached documentation comment (ignored) File "src/kernel/db.mli", line 530, characters 2-108: Warning 50: unattached documentation comment (ignored) File "src/kernel/db.mli", line 864, characters 4-222: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 869, characters 4-102: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 873, characters 4-147: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1283, characters 5-278: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1302, characters 4-169: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1306, characters 4-57: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1308, characters 4-66: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1330, characters 8-54: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1415, characters 8-48: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1466, characters 8-34: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1471, characters 8-41: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1705, characters 8-52: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1892, characters 0-120: Warning 50: ambiguous documentation comment File "src/kernel/db.mli", line 1949, characters 0-7: Warning 50: unattached documentation comment (ignored) Ocamlc src/aorai/data_for_aorai.cmo Ocamlc src/aorai/aorai_register.cmo Ocamlopt src/project/state.cmx Ocamlopt src/kernel/journal.cmx Ocamlopt src/kernel/typed_parameter.cmx Ocamlopt src/lib/rangemap.cmx File "src/kernel/journal.ml", line 232, characters 4-231: Warning 50: ambiguous documentation comment File "src/kernel/journal.ml", line 237, characters 4-121: Warning 50: ambiguous documentation comment Ocamlopt src/project/state_dependency_graph.cmx Ocamlopt src/project/state_topological.cmx Ocamlopt src/project/state_selection.cmx Ocamlopt src/kernel/parameter_category.cmx Ocamlopt src/kernel/dynamic.cmx Ocamlopt src/project/project.cmx Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Aorai.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Aorai.cmo Ocamlc src/obfuscator/options.cmi Ocamlc src/obfuscator/obfuscator_kind.cmi Ocamlc src/obfuscator/obfuscate.cmi Ocamlc src/obfuscator/obfuscator_kind.cmo Ocamlc src/obfuscator/dictionary.cmi Ocamlc src/obfuscator/dictionary.cmo Ocamlc src/obfuscator/options.cmo Ocamlc src/obfuscator/obfuscate.cmo Ocamlc src/obfuscator/obfuscator_register.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Obfuscator.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Obfuscator.cmo Ocamlc src/report/report_parameters.cmi Ocamlc src/report/scan.cmi Ocamlc src/report/register.cmi Ocamlc src/report/dump.cmi Ocamlc src/report/report_parameters.cmo Ocamlc src/report/scan.cmo Ocamlc src/report/dump.cmo Ocamlc src/report/register.cmo Ocamlopt src/project/state_builder.cmx Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Report.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Report.cmo Ocamlc src/security_slicing/security_slicing_parameters.cmo Ocamlc src/security_slicing/components.cmo Ocamlopt external/hptmap.cmx File "external/hptmap.ml", line 73, characters 20-33: Warning 50: unattached documentation comment (ignored) File "external/hptmap.ml", line 1384, characters 4-255: Warning 50: unattached documentation comment (ignored) Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Security_slicing.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Security_slicing.cmo Ocamlc src/lib/vector.cmi Ocamlc src/wp/CfgTypes.cmi Ocamlc src/wp/WTO.cmi Ocamlc src/wp/Fixpoint.cmi File "src/lib/vector.mli", line 34, characters 28-70: Warning 50: ambiguous documentation comment File "src/lib/vector.mli", line 35, characters 36-78: Warning 50: ambiguous documentation comment File "src/lib/vector.mli", line 36, characters 29-115: Warning 50: ambiguous documentation comment File "src/lib/vector.mli", line 37, characters 29-73: Warning 50: ambiguous documentation comment File "src/lib/vector.mli", line 38, characters 25-62: Warning 50: ambiguous documentation comment File "src/lib/vector.mli", line 41, characters 37-63: Warning 50: ambiguous documentation comment File "src/lib/vector.mli", line 52, characters 32-52: Warning 50: ambiguous documentation comment File "src/wp/Fixpoint.mli", line 52, characters 2-34: Warning 50: ambiguous documentation comment File "src/wp/Fixpoint.mli", line 54, characters 2-35: Warning 50: ambiguous documentation comment File "src/wp/Fixpoint.mli", line 56, characters 2-39: Warning 50: ambiguous documentation comment File "src/wp/Fixpoint.mli", line 58, characters 2-43: Warning 50: ambiguous documentation comment File "src/wp/CfgTypes.mli", line 54, characters 38-70: Warning 50: ambiguous documentation comment File "src/wp/CfgTypes.mli", line 55, characters 38-70: Warning 50: ambiguous documentation comment File "src/wp/CfgTypes.mli", line 56, characters 56-82: Warning 50: ambiguous documentation comment File "src/wp/CfgTypes.mli", line 57, characters 56-82: Warning 50: ambiguous documentation comment Ocamlc src/wp/rformat.cmi Ocamlc src/wp/wprop.cmi Ocamlc src/wp/wp_parameters.cmi Ocamlc src/wp/wp_error.cmi Ocamlc src/wp/dyncall.cmi Compiling Qed (byte.opt) Ocamlc src/wp/clabels.cmi Ocamlc src/wp/VarUsage.cmi gmake[2]: Entering directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/src/wp/qed/src' File "src/wp/VarUsage.mli", line 29, characters 32-79: Warning 50: ambiguous documentation comment File "src/wp/VarUsage.mli", line 30, characters 37-95: Warning 50: ambiguous documentation comment File "src/wp/VarUsage.mli", line 31, characters 38-104: Warning 50: ambiguous documentation comment Ocamlc src/wp/variables_analysis.cmi Ocamlc src/logic/statuses_by_call.cmi Ocamlc src/kernel/dominators.cmi Ocamlc src/wp/cil2cfg.cmi Ocamlc src/wp/normAtLabels.cmi Ocamlc src/lib/bag.cmi Ocamlc src/wp/Context.cmi Ocamlc src/wp/Warning.cmi Ocamlc src/wp/Model.cmi File "src/wp/Model.mli", line 45, characters 30-50: Warning 50: ambiguous documentation comment File "src/wp/Model.mli", line 70, characters 2-48: Warning 50: ambiguous documentation comment File "src/wp/Model.mli", line 72, characters 2-46: Warning 50: ambiguous documentation comment File "src/wp/Model.mli", line 74, characters 2-36: Warning 50: ambiguous documentation comment Ocamlc src/wp/VCS.cmi Ocamlc src/wp/script.cmi Ocamlc src/wp/wpReport.cmi Ocamlc src/wp/ProverTask.cmi Ocamlc src/wp/why3_xml.cmi Ocamlc src/wp/why3_session.cmi gmake[2]: Leaving directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/src/wp/qed/src' File "src/wp/ProverTask.mli", line 42, characters 4-126: Warning 50: ambiguous documentation comment File "src/wp/ProverTask.mli", line 49, characters 31-66: Warning 50: ambiguous documentation comment File "src/wp/ProverTask.mli", line 50, characters 19-56: Warning 50: ambiguous documentation comment File "src/wp/ProverTask.mli", line 51, characters 21-61: Warning 50: ambiguous documentation comment File "src/wp/ProverTask.mli", line 52, characters 22-61: Warning 50: ambiguous documentation comment Ocamlc src/wp/CfgLib.cmi gmake[2]: Entering directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/src/wp/qed/src' File "src/wp/CfgLib.mli", line 41, characters 2-63: Warning 50: ambiguous documentation comment File "src/wp/CfgLib.mli", line 43, characters 2-56: Warning 50: ambiguous documentation comment File "src/wp/CfgLib.mli", line 53, characters 33-69: Warning 50: ambiguous documentation comment File "src/wp/CfgLib.mli", line 54, characters 41-66: Warning 50: ambiguous documentation comment File "src/wp/CfgLib.mli", line 55, characters 51-80: Warning 50: ambiguous documentation comment File "src/wp/CfgLib.mli", line 56, characters 50-94: Warning 50: ambiguous documentation comment File "src/wp/CfgLib.mli", line 57, characters 66-115: Warning 50: ambiguous documentation comment File "src/wp/CfgLib.mli", line 58, characters 65-115: Warning 50: ambiguous documentation comment Ocamlc src/wp/WTO.cmo Ocamlc src/wp/Fixpoint.cmo Ocamlc src/wp/rformat.cmo Ocamlc src/wp/wprop.cmo Ocamlc src/wp/wp_parameters.cmo Ocamlc src/wp/wp_error.cmo Ocamlc src/wp/dyncall.cmo Ocamlc src/wp/LogicUsage.cmi Ocamlc src/wp/variables_analysis.cmo Ocamlc src/wp/cil2cfg.cmo Ocamlc src/wp/normAtLabels.cmo Ocamlc src/wp/wpPropId.cmi File "src/wp/wpPropId.mli", line 68, characters 35-72: Warning 50: ambiguous documentation comment Ocamlc src/wp/Context.cmo Ocamlc src/wp/Warning.cmo Ocamlc src/wp/Model.cmo File "src/wp/Model.ml", line 46, characters 35-72: Warning 50: ambiguous documentation comment Ocamlc src/wp/mcfg.cmi File "src/wp/mcfg.mli", line 88, characters 2-91: Warning 50: ambiguous documentation comment Ocamlc src/wp/VCS.cmo Ocamlc src/wp/script.cmo Ocamlc src/wp/proof.cmi Ocamlc src/wp/why3_xml.cmo Ocamlc src/wp/why3_session.cmo File "src/wp/why3_session.ml", line 225, characters 2-73: Warning 50: unattached documentation comment (ignored) Ocamlc src/wp/CfgLib.cmo Ocamlc src/wp/LogicUsage.cmo Ocamlc src/wp/wpStrategy.cmi Ocamlc src/wp/proof.cmo Ocamlc src/wp/ProverTask.cmo Ocamlc src/wp/calculus.cmi Ocamlopt src/lib/hptset.cmx Ocamlc src/wp/wpStrategy.cmo Ocamlc src/wp/wpAnnot.cmi Ocamlc src/wp/calculus.cmo Ocamlopt cil/src/cil_datatype.cmx Ocamlc src/wp/wpAnnot.cmo gmake[2]: Leaving directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/src/wp/qed/src' Ocamlc src/wp/ctypes.cmi Ocamlc src/wp/Splitter.cmi File "src/wp/ctypes.mli", line 79, characters 31-64: Warning 50: ambiguous documentation comment File "src/wp/ctypes.mli", line 80, characters 31-63: Warning 50: ambiguous documentation comment File "src/wp/ctypes.mli", line 83, characters 32-67: Warning 50: ambiguous documentation comment File "src/wp/ctypes.mli", line 84, characters 32-67: Warning 50: ambiguous documentation comment File "src/wp/ctypes.mli", line 94, characters 26-45: Warning 50: ambiguous documentation comment File "src/wp/ctypes.mli", line 95, characters 27-47: Warning 50: ambiguous documentation comment File "src/wp/ctypes.mli", line 96, characters 28-51: Warning 50: ambiguous documentation comment File "src/wp/ctypes.mli", line 113, characters 0-100: Warning 50: ambiguous documentation comment Ocamlc src/wp/ctypes.cmo Ocamlc src/wp/clabels.cmo Ocamlc src/wp/VarUsage.cmo Ocamlc src/wp/Splitter.cmo Ocamlc src/wp/RefUsage.cmi Ocamlc src/wp/wpPropId.cmo Ocamlc src/wp/Lang.cmi File "src/wp/Lang.mli", line 44, characters 0-37: Warning 50: unattached documentation comment (ignored) File "src/wp/Lang.mli", line 54, characters 19-70: Warning 50: unattached documentation comment (ignored) File "src/wp/Lang.mli", line 59, characters 24-59: Warning 50: ambiguous documentation comment File "src/wp/Lang.mli", line 155, characters 41-64: Warning 50: ambiguous documentation comment File "src/wp/Lang.mli", line 156, characters 37-56: Warning 50: ambiguous documentation comment File "src/wp/Lang.mli", line 168, characters 4-119: Warning 50: ambiguous documentation comment File "src/wp/Lang.mli", line 210, characters 37-63: Warning 50: ambiguous documentation comment Ocamlc src/wp/RefUsage.cmo Ocamlc src/wp/Lang.cmo File "src/wp/Lang.ml", line 124, characters 24-59: Warning 50: ambiguous documentation comment File "src/wp/Lang.ml", line 382, characters 20-53: Warning 50: unattached documentation comment (ignored) Ocamlc src/wp/Matrix.cmi File "src/wp/Matrix.mli", line 37, characters 28-55: Warning 50: ambiguous documentation comment Ocamlc src/wp/Passive.cmi Ocamlc src/wp/Letify.cmi Ocamlc src/wp/Cleaning.cmi Ocamlc src/wp/Conditions.cmi Ocamlc src/wp/LogicBuiltins.cmi File "src/wp/LogicBuiltins.mli", line 76, characters 0-45: Warning 50: ambiguous documentation comment Ocamlc src/wp/Definitions.cmi File "src/wp/Definitions.mli", line 37, characters 35-48: Warning 50: ambiguous documentation comment File "src/wp/Definitions.mli", line 82, characters 39-62: Warning 50: ambiguous documentation comment File "src/wp/Definitions.mli", line 119, characters 44-58: Warning 50: ambiguous documentation comment File "src/wp/Definitions.mli", line 120, characters 47-80: Warning 50: ambiguous documentation comment File "src/wp/Definitions.mli", line 121, characters 48-78: Warning 50: ambiguous documentation comment File "src/wp/Definitions.mli", line 122, characters 64-102: Warning 50: ambiguous documentation comment File "src/wp/Definitions.mli", line 123, characters 68-110: Warning 50: ambiguous documentation comment File "src/wp/Definitions.mli", line 124, characters 46-85: Warning 50: ambiguous documentation comment Ocamlc src/wp/Cint.cmi File "src/wp/Cint.mli", line 35, characters 28-61: Warning 50: ambiguous documentation comment Ocamlc src/wp/Cfloat.cmi Ocamlc src/wp/Vset.cmi Ocamlc src/wp/Cstring.cmi File "src/wp/Cstring.mli", line 37, characters 26-80: Warning 50: ambiguous documentation comment File "src/wp/Cstring.mli", line 38, characters 24-89: Warning 50: ambiguous documentation comment Ocamlc src/wp/wpo.cmi Ocamlc src/wp/driver.cmi File "src/wp/wpo.mli", line 144, characters 44-82: Warning 50: ambiguous documentation comment Ocamlc src/wp/Matrix.cmo Ocamlc src/wp/Passive.cmo Ocamlc src/wp/Letify.cmo Ocamlc src/wp/Cleaning.cmo Ocamlc src/wp/Conditions.cmo Ocamlc src/wp/LogicBuiltins.cmo Ocamlc src/wp/Definitions.cmo File "src/wp/Definitions.ml", line 464, characters 10-29: Warning 50: unattached documentation comment (ignored) File "src/wp/Definitions.ml", line 471, characters 10-56: Warning 50: unattached documentation comment (ignored) File "src/wp/Definitions.ml", line 479, characters 19-41: Warning 50: unattached documentation comment (ignored) Ocamlc src/wp/Cint.cmo Ocamlc src/wp/Cfloat.cmo Ocamlc src/wp/Vset.cmo Ocamlc src/wp/Region.cmi File "src/wp/Region.mli", line 52, characters 26-61: Warning 50: ambiguous documentation comment File "src/wp/Region.mli", line 53, characters 28-66: Warning 50: ambiguous documentation comment Ocamlc src/wp/Cstring.cmo Ocamlc src/wp/Memory.cmi File "src/wp/Cstring.ml", line 89, characters 8-80: Warning 50: unattached documentation comment (ignored) File "src/wp/Memory.mli", line 98, characters 33-54: Warning 50: ambiguous documentation comment Ocamlc src/wp/wpo.cmo Ocamlc src/wp/wpReport.cmo Ocamlc src/wp/ProverErgo.cmi Ocamlc src/wp/ProverCoq.cmi Ocamlc src/wp/ProverWhy3.cmi Ocamlc src/wp/driver.cmo Ocamlc src/wp/prover.cmi Ocamlc src/wp/Generator.cmi Ocamlc src/wp/Region.cmo Ocamlc src/wp/Sigma.cmi Ocamlc src/wp/LogicCompiler.cmi Ocamlc src/wp/LogicSemantics.cmi Ocamlc src/wp/LogicAssigns.cmi Ocamlc src/wp/Sigma.cmo Ocamlc src/wp/MemEmpty.cmi Ocamlc src/wp/MemVar.cmi Ocamlc src/wp/MemTyped.cmi Ocamlc src/wp/ProverErgo.cmo Ocamlc src/wp/ProverCoq.cmo Ocamlc src/wp/ProverWhy3.cmo File "src/wp/ProverWhy3.ml", line 239, characters 6-43: Warning 50: unattached documentation comment (ignored) File "src/wp/ProverWhy3.ml", line 295, characters 2-34: Warning 50: unattached documentation comment (ignored) File "src/wp/ProverWhy3.ml", line 366, characters 14-119: Warning 50: unattached documentation comment (ignored) File "src/wp/ProverWhy3.ml", line 419, characters 6-31: Warning 50: unattached documentation comment (ignored) Ocamlc src/wp/prover.cmo Ocamlc src/wp/cfgDump.cmi Ocamlc src/wp/cfgWP.cmi Ocamlc src/wp/Generator.cmo Ocamlc src/wp/Factory.cmi Ocamlc src/wp/Cvalues.cmi File "src/wp/Cvalues.mli", line 41, characters 28-46: Warning 50: ambiguous documentation comment Ocamlc src/wp/CodeSemantics.cmi Ocamlc src/wp/LogicCompiler.cmo Ocamlc src/wp/LogicSemantics.cmo Ocamlc src/wp/LogicAssigns.cmo Ocamlc src/wp/MemEmpty.cmo Ocamlc src/wp/MemVar.cmo Ocamlc src/wp/MemTyped.cmo Ocamlc src/wp/cfgDump.cmo Ocamlc src/wp/cfgWP.cmo Ocamlc src/wp/Factory.cmo Ocamlc src/wp/register.cmo File "src/wp/register.ml", line 140, characters 2-44: Warning 50: unattached documentation comment (ignored) Ocamlc src/wp/Cvalues.cmo Ocamlc src/wp/CodeSemantics.cmo Ocamlopt src/kernel/parameter_customize.cmx Ocamlopt cil/src/cil_state_builder.cmx Ocamlopt src/kernel/parameter_state.cmx Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Wp.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Wp.cmo Ocamlopt src/kernel/parameter_builder.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Wp.cma File "src/wp/share/install.ml", line 44, characters 17-30: Warning 3: deprecated: String.create Use Bytes.create instead. Generation of the extra-config for why3 Ocamlc src/kernel/frama_c_init.cmi Ocamlc external/unmarshal.cmo Ocamlc external/unmarshal_nums.cmi Ocamlc external/sysutil.cmo Ocamlc src/lib/dynlink_common_interface.cmo Ocamlc src/type/structural_descr.cmo Ocamlc src/type/type.cmo Ocamlc src/type/descr.cmo Ocamlc src/lib/FCSet.cmo Ocamlc src/lib/FCMap.cmo Ocamlc src/lib/FCHashtbl.cmo Ocamlc src/lib/extlib.cmo Ocamlc src/lib/pretty_utils.cmo Ocamlc src/lib/hook.cmo File "src/lib/hook.ml", line 44, characters 12-41: Warning 50: ambiguous documentation comment Ocamlc src/lib/indexer.cmo Ocamlc src/lib/bag.cmo Ocamlc src/lib/vector.cmo Ocamlc src/lib/bitvector.cmo Ocamlc src/lib/qstack.cmo Ocamlc src/lib/integer.cmo Ocamlc src/lib/filepath.cmo File "src/lib/filepath.ml", line 42, characters 2-52: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/config.cmo Ocamlc src/kernel/log.cmo Ocamlc src/kernel/cmdline.cmo Ocamlc src/project/project_skeleton.cmo Ocamlc src/type/datatype.cmo File "src/kernel/log.ml", line 654, characters 49-76: Warning 50: ambiguous documentation comment Ocamlc src/kernel/journal.cmo File "src/kernel/journal.ml", line 232, characters 4-231: Warning 50: ambiguous documentation comment File "src/kernel/journal.ml", line 237, characters 4-121: Warning 50: ambiguous documentation comment Ocamlc src/project/state.cmo Ocamlc src/project/state_dependency_graph.cmo Ocamlc src/project/state_topological.cmo Ocamlc src/project/state_selection.cmo Ocamlc src/project/project.cmo Ocamlc src/project/state_builder.cmo Ocamlc src/lib/binary_cache.cmo Ocamlc external/hptmap.cmo Ocamlc src/lib/hptset.cmo Ocamlc cil/src/cil_datatype.cmo File "external/hptmap.ml", line 73, characters 20-33: Warning 50: unattached documentation comment (ignored) File "external/hptmap.ml", line 1384, characters 4-255: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/typed_parameter.cmo Ocamlc src/kernel/dynamic.cmo Ocamlc src/kernel/parameter_category.cmo Ocamlc src/kernel/parameter_customize.cmo Ocamlc src/kernel/parameter_state.cmo Ocamlc src/kernel/parameter_builder.cmo Ocamlc src/kernel/plugin.cmo Ocamlc src/kernel/kernel.cmo Ocamlc src/kernel/emitter.cmo Ocamlc src/lib/floating_point.cmo Ocamlc src/lib/rangemap.cmo Ocamlc src/printer/printer_builder.cmo Ocamlc cil/src/cilmsg.cmo Ocamlc cil/ocamlutil/alpha.cmo Ocamlc cil/ocamlutil/cilconfig.cmo File "cil/ocamlutil/cilconfig.ml", line 138, characters 2-70: Warning 50: unattached documentation comment (ignored) File "cil/ocamlutil/cilconfig.ml", line 195, characters 23-47: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/cil_state_builder.cmo Ocamlc cil/src/logic/utf8_logic.cmo Ocamlc cil/src/machdeps.cmo Ocamlc cil/src/cil_const.cmo Ocamlc cil/src/logic/logic_env.cmo File "cil/src/logic/logic_env.ml", line 280, characters 0-17: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/escape.cmo Ocamlc cil/src/logic/logic_const.cmo Ocamlc cil/src/cil.cmo Ocamlc src/printer/cil_printer.cmo Ocamlc src/printer/cil_descriptive_printer.cmo File "src/printer/cil_printer.ml", line 422, characters 4-144: Warning 50: unattached documentation comment (ignored) File "cil/src/cil.ml", line 1759, characters 48-132: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1761, characters 48-146: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1763, characters 50-138: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1766, characters 48-232: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1786, characters 4-62: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 5699, characters 2-46: Warning 50: unattached documentation comment (ignored) File "cil/src/cil.ml", line 7143, characters 10-133: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/frontc/errorloc.cmo Ocamlc cil/src/frontc/cabs_debug.cmi Ocamlc cil/src/frontc/cabshelper.cmo Ocamlc cil/src/logic/logic_utils.cmo Ocamlc cil/src/logic/logic_builtin.cmo Ocamlc cil/src/logic/logic_print.cmo Ocamlc cil/src/logic/logic_parser.cmo Ocamlc cil/src/frontc/lexerhack.cmo Ocamlc cil/src/mergecil.cmo File "cil/src/mergecil.ml", line 2382, characters 10-58: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/rmtmps.cmo File "cil/src/rmtmps.ml", line 237, characters 6-39: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/logic/logic_typing.cmo Ocamlc cil/src/frontc/cprint.cmo Ocamlc cil/src/frontc/cabsvisit.cmo Ocamlc cil/src/frontc/cabs2cil.cmo File "cil/src/frontc/cabs2cil.ml", line 1073, characters 10-342: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 1959, characters 12-39: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 2328, characters 21-37: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 2907, characters 2-224: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 4017, characters 10-46: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 5739, characters 8-79: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 6554, characters 4-110: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/frontc/clexer.cmo Ocamlc cil/src/frontc/cparser.cmo Ocamlc cil/src/logic/logic_preprocess.cmo Ocamlc cil/src/frontc/frontc.cmo Ocamlc cil/src/ext/callgraph.cmi File "cil/src/ext/callgraph.mli", line 57, characters 2-14: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/callgraph.mli", line 60, characters 2-41: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/callgraph.mli", line 63, characters 2-64: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/callgraph.mli", line 66, characters 2-69: Warning 50: unattached documentation comment (ignored) Ocamlc cil/src/ext/dataflow.cmi File "cil/src/ext/dataflow.mli", line 89, characters 19-74: Warning 50: ambiguous documentation comment File "cil/src/ext/dataflow.mli", line 182, characters 19-74: Warning 50: ambiguous documentation comment Ocamlc cil/src/ext/oneret.cmo Ocamlc cil/src/ext/cfg.cmo Ocamlc src/kernel/ast_info.cmo Ocamlc src/kernel/ast.cmo Ocamlc src/kernel/globals.cmo File "src/kernel/globals.ml", line 102, characters 8-72: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/kernel_function.cmo Ocamlc src/logic/property.cmo Ocamlc src/logic/property_status.cmo Ocamlc src/logic/annotations.cmo Ocamlc src/printer/printer.cmo Ocamlc src/kernel/stmts_graph.cmi Ocamlc cil/src/ext/ordered_stmt.cmo Ocamlc cil/src/ext/dataflows.cmi Ocamlc cil/src/ext/dataflow2.cmo File "cil/src/ext/dataflow2.ml", line 127, characters 6-99: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 131, characters 6-55: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 136, characters 6-40: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 139, characters 6-62: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 142, characters 6-106: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 282, characters 6-44: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 327, characters 6-37: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 451, characters 6-56: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/dominators.cmo Ocamlc src/logic/description.cmo Ocamlc src/logic/statuses_by_call.cmo Ocamlc src/kernel/alarms.cmo Ocamlc src/kernel/messages.cmo Ocamlc src/ai/abstract_interp.cmo Ocamlc src/ai/int_Base.cmo Ocamlc src/kernel/unicode.cmo Ocamlc src/misc/service_graph.cmi File "src/misc/service_graph.mli", line 39, characters 9-72: Warning 50: ambiguous documentation comment Ocamlc src/ai/ival.cmo Ocamlc src/misc/bit_utils.cmo File "src/misc/bit_utils.ml", line 216, characters 13-46: Warning 50: unattached documentation comment (ignored) File "src/misc/bit_utils.ml", line 272, characters 10-54: Warning 50: unattached documentation comment (ignored) File "src/misc/bit_utils.ml", line 341, characters 49-75: Warning 50: unattached documentation comment (ignored) Ocamlc src/ai/base.cmo Ocamlc src/ai/origin.cmo Ocamlc src/ai/map_Lattice.cmo Ocamlc src/ai/trace.cmi Ocamlc src/memory_state/value_messages.cmo Ocamlc src/kernel/cilE.cmo Ocamlc src/memory_state/tr_offset.cmo Ocamlc src/memory_state/offsetmap.cmo File "src/memory_state/offsetmap.ml", line 58, characters 6-180: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 62, characters 6-260: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 67, characters 6-355: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 73, characters 6-587: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 369, characters 2-71: Warning 50: unattached documentation comment (ignored) Ocamlc src/ai/int_Intervals.cmo Ocamlc src/memory_state/locations.cmo Ocamlc src/memory_state/precise_locs.cmo Ocamlc src/memory_state/lmap.cmo Ocamlc src/memory_state/lmap_bitwise.cmo Ocamlc src/memory_state/function_Froms.cmo Ocamlc src/memory_state/cvalue.cmo File "src/memory_state/cvalue.ml", line 882, characters 47-73: Warning 50: unattached documentation comment (ignored) Ocamlc src/memory_state/widen_type.cmi Ocamlc src/kernel/visitor.cmo Ocamlc src/kernel/clone.cmi Ocamlc src/kernel/loop.cmi Ocamlc src/memory_state/inout_type.cmo Ocamlc src/pdg_types/pdgIndex.cmo File "src/pdg_types/pdgIndex.ml", line 447, characters 4-44: Warning 50: unattached documentation comment (ignored) Ocamlc src/pdg_types/pdgTypes.cmo File "src/pdg_types/pdgTypes.ml", line 601, characters 28-74: Warning 50: ambiguous documentation comment Ocamlc src/pdg_types/pdgMarks.cmo Ocamlc src/memory_state/value_types.cmo Ocamlc src/kernel/db.cmo Ocamlc src/kernel/command.cmo Ocamlc src/kernel/task.cmo Ocamlc src/kernel/file.cmo File "src/kernel/file.ml", line 2073, characters 7-53: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/exn_flow.cmi File "src/kernel/exn_flow.mli", line 32, characters 0-7: Warning 50: unattached documentation comment (ignored) Ocamlc src/logic/translate_lightweight.cmi Ocamlc src/kernel/unroll_loops.cmi Ocamlc src/misc/filter.cmi File "src/misc/filter.mli", line 90, characters 4-316: Warning 50: ambiguous documentation comment Ocamlc src/kernel/special_hooks.cmi Ocamlc src/logic/logic_interp.cmi Ocamlc src/logic/infer_annotations.cmi Ocamlc src/logic/allocates.cmi Ocamlc src/metrics/metrics_parameters.cmi Ocamlc src/metrics/css_html.cmo Ocamlc src/metrics/metrics_base.cmi Ocamlc src/metrics/metrics_acsl.cmi Ocamlc src/metrics/metrics_cabs.cmi Ocamlc src/metrics/metrics_cilast.cmi Ocamlc src/metrics/metrics_coverage.cmi Ocamlc src/syntactic_callgraph/options.cmi Ocamlc src/value/split_strategy.cmi Ocamlc src/value/stop_at_nth.cmi Ocamlc src/value/value_perf.cmi Ocamlc src/value/library_functions.cmi Ocamlc src/value/separate.cmi Ocamlc src/value/state_set.cmi File "src/value/state_set.mli", line 45, characters 34-144: Warning 50: ambiguous documentation comment Ocamlc src/value/value_results.cmi Ocamlc src/value/widen.cmi File "src/value/value_results.mli", line 33, characters 0-156: Warning 50: ambiguous documentation comment Ocamlc src/value/valarms.cmi File "src/value/valarms.mli", line 58, characters 0-391: Warning 50: ambiguous documentation comment File "src/value/valarms.mli", line 72, characters 0-157: Warning 50: ambiguous documentation comment Ocamlc src/value/warn.cmi Ocamlc src/value/eval_op.cmi File "src/value/eval_op.mli", line 92, characters 6-50: Warning 50: unattached documentation comment (ignored) Ocamlc src/value/eval_exprs.cmi Ocamlc src/value/non_linear.cmi Ocamlc src/value/initial_state.cmi Ocamlc src/value/locals_scoping.cmi Ocamlc src/value/builtins.cmi Ocamlc src/value/eval_terms.cmi Ocamlc src/value/mem_exec.cmi File "src/value/mem_exec.mli", line 32, characters 54-67: Warning 50: unattached documentation comment (ignored) Ocamlc src/value/split_return.cmi Ocamlc src/value/eval_stmt.cmi Ocamlc src/value/per_stmt_slevel.cmi Ocamlc src/value/eval_funs.cmi Ocamlc src/occurrence/options.cmi Ocamlc src/rte/options.cmi Ocamlc src/rte/generator.cmi Ocamlc src/rte/rte.cmi Ocamlc src/rte/visit.cmi Ocamlc src/from/from_parameters.cmi Ocamlc src/from/from_compute.cmi File "src/from/from_compute.mli", line 67, characters 2-55: Warning 50: ambiguous documentation comment Ocamlc src/from/functionwise.cmi Ocamlc src/from/callwise.cmi Ocamlc src/from/from_register.cmi Ocamlc src/users/users_register.cmo Ocamlc src/constant_propagation/propagationParameters.cmi Ocamlc src/constant_propagation/register.cmi Ocamlc src/postdominators/postdominators_parameters.cmi Ocamlc src/inout/inout_parameters.cmi Ocamlc src/inout/cumulative_analysis.cmi Ocamlc src/inout/outputs.cmi File "src/inout/cumulative_analysis.mli", line 71, characters 4-53: Warning 50: ambiguous documentation comment Ocamlc src/inout/inputs.cmi Ocamlc src/inout/derefs.cmi Ocamlc src/semantic_callgraph/options.cmi Ocamlc src/impact/options.cmi Ocamlc src/impact/pdg_aux.cmi Ocamlc src/pdg/pdg_parameters.cmi Ocamlc src/pdg/ctrlDpds.cmi Ocamlc src/pdg/pdg_state.cmi Ocamlc src/pdg/build.cmi Ocamlc src/pdg/sets.cmi Ocamlc src/pdg/annot.cmi Ocamlc src/scope/datascope.cmo Ocamlc src/scope/zones.cmi Ocamlc src/scope/defs.cmi Ocamlc src/pdg/marks.cmi Ocamlc src/sparecode/sparecode_params.cmi Ocamlc src/sparecode/spare_marks.cmi Ocamlc src/slicing/slicingParameters.cmi Ocamlc src/slicing/slicingMacros.cmi Ocamlc src/slicing/slicingMarks.cmi Ocamlc src/slicing/slicingActions.cmi Ocamlc src/slicing/fct_slice.cmi Ocamlc src/slicing/printSlice.cmi Ocamlc src/slicing/slicingProject.cmi Ocamlc src/slicing/slicingTransform.cmi Ocamlc src/slicing/slicingCmds.cmi Ocamlc src/slicing/register.cmi Ocamlc src/kernel/boot.cmo CC src/buckx/buckx_c.o src/buckx/buckx_c.c: In function 'terminate_process': src/buckx/buckx_c.c:162:4: warning: #warning Does your system have kill()? [-Wcpp] #warning Does your system have kill()? ^ src/buckx/buckx_c.c:155:8: warning: unused variable 'pid' [-Wunused-variable] long pid = Long_val(v); ^ Ocamlc src/gui/gtk_form.cmi Ocamlc src/gui/toolbox.cmi File "src/gui/toolbox.mli", line 158, characters 28-53: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 160, characters 4-46: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 170, characters 4-27: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 172, characters 4-24: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 174, characters 4-86: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 184, characters 15-50: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 185, characters 15-61: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 186, characters 15-71: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 258, characters 31-56: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 259, characters 31-44: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 284, characters 14-80: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 285, characters 13-60: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 286, characters 21-73: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 287, characters 20-65: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 288, characters 17-63: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 289, characters 32-66: Warning 50: unattached documentation comment (ignored) File "src/gui/toolbox.mli", line 311, characters 17-42: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 312, characters 29-54: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 313, characters 28-70: Warning 50: ambiguous documentation comment File "src/gui/toolbox.mli", line 323, characters 32-77: Warning 50: ambiguous documentation comment Ocamlc src/gui/book_manager.cmi Ocamlc src/gui/analyses_manager.cmi Ocamlc src/gui/file_manager.cmi Ocamlc src/gui/project_manager.cmi Ocamlc src/gui/debug_manager.cmi Ocamlc src/gui/help_manager.cmi Ocamlc src/gui/property_navigator.cmi Ocamlc src/gui/gui_parameters.cmo Ocamlc src/gui/gtk_helper.cmo Ocamlc src/gui/gtk_form.cmo Ocamlc src/gui/source_viewer.cmo Ocamlc src/gui/pretty_source.cmo Ocamlc src/gui/source_manager.cmo File "src/gui/gtk_helper.ml", line 972, characters 29-44: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 973, characters 41-79: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 974, characters 32-59: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 975, characters 48-71: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 976, characters 25-53: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 977, characters 29-70: Warning 50: ambiguous documentation comment Ocamlc src/gui/book_manager.cmo Ocamlc src/gui/warning_manager.cmo Ocamlc src/gui/filetree.cmo File "src/gui/filetree.ml", line 428, characters 11-74: Warning 50: ambiguous documentation comment Ocamlc src/gui/launcher.cmo Ocamlc src/gui/menu_manager.cmo Ocamlc src/gui/history.cmo File "src/gui/history.ml", line 190, characters 6-70: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 229, characters 11-36: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 230, characters 13-42: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 249, characters 6-62: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 252, characters 6-59: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 263, characters 16-42: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 267, characters 20-74: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 270, characters 12-80: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 273, characters 12-45: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 278, characters 37-60: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 279, characters 28-53: Warning 50: unattached documentation comment (ignored) Ocamlc src/gui/design.cmo Ocamlc src/gui/analyses_manager.cmo File "src/gui/design.ml", line 95, characters 0-26: Warning 50: ambiguous documentation comment File "src/gui/design.ml", line 98, characters 0-27: Warning 50: ambiguous documentation comment Ocamlc src/gui/file_manager.cmo File "src/gui/file_manager.ml", line 56, characters 17-61: Warning 50: unattached documentation comment (ignored) File "src/gui/file_manager.ml", line 58, characters 17-61: Warning 50: unattached documentation comment (ignored) File "src/gui/file_manager.ml", line 64, characters 6-99: Warning 50: unattached documentation comment (ignored) Ocamlc src/gui/project_manager.cmo Ocamlc src/gui/debug_manager.cmo Ocamlc src/gui/help_manager.cmo Ocamlopt src/kernel/plugin.cmx Ocamlc src/kernel/frama_c_init.cmo Ocamlc external/unmarshal_nums.cmo Ocamlc cil/src/frontc/cabs_debug.cmo Ocamlc cil/src/ext/callgraph.cmo Ocamlc cil/src/ext/dataflow.cmo File "cil/src/ext/dataflow.ml", line 112, characters 19-74: Warning 50: ambiguous documentation comment File "cil/src/ext/dataflow.ml", line 191, characters 6-44: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow.ml", line 278, characters 6-37: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow.ml", line 433, characters 6-56: Warning 50: unattached documentation comment (ignored) Ocamlc src/kernel/stmts_graph.cmo Ocamlc cil/src/ext/dataflows.cmo Ocamlc src/misc/service_graph.cmo Ocamlc src/ai/trace.cmo Ocamlc src/memory_state/widen_type.cmo Ocamlc src/kernel/clone.cmo Ocamlc src/kernel/loop.cmo Ocamlc src/kernel/exn_flow.cmo Ocamlc src/logic/translate_lightweight.cmo Ocamlc src/kernel/unroll_loops.cmo File "src/kernel/unroll_loops.ml", line 124, characters 4-73: Warning 50: unattached documentation comment (ignored) Ocamlc src/misc/filter.cmo Ocamlc src/kernel/special_hooks.cmo Ocamlc src/logic/logic_interp.cmo Ocamlc src/logic/infer_annotations.cmo Ocamlc src/logic/allocates.cmo Ocamlc src/metrics/metrics_parameters.cmo Ocamlc src/metrics/metrics_base.cmo Ocamlc src/metrics/metrics_acsl.cmo Ocamlc src/metrics/metrics_cabs.cmo Ocamlc src/metrics/metrics_cilast.cmo Ocamlc src/metrics/metrics_coverage.cmo Ocamlc src/metrics/register.cmo Ocamlc src/syntactic_callgraph/options.cmo Ocamlc src/syntactic_callgraph/register.cmo Ocamlc src/value/split_strategy.cmo Ocamlc src/value/value_parameters.cmi Ocamlc src/value/state_set.cmo Ocamlc src/value/state_imp.cmi File "src/value/state_imp.mli", line 39, characters 20-132: Warning 50: ambiguous documentation comment Ocamlc src/value/value_results.cmo Ocamlc src/value/widen.cmo Ocamlc src/value/valarms.cmo Ocamlc src/value/non_linear.cmo Ocamlc src/value/locals_scoping.cmo Ocamlc src/value/mem_exec.cmo Ocamlc src/value/function_args.cmo Ocamlc src/value/split_return.cmo Ocamlc src/occurrence/options.cmo Ocamlc src/occurrence/register.cmo Ocamlc src/rte/options.cmo Ocamlc src/rte/generator.cmo Ocamlc src/rte/rte.cmo Ocamlc src/rte/visit.cmo Ocamlc src/rte/register.cmo Ocamlc src/from/from_parameters.cmo Ocamlc src/from/from_compute.cmo Ocamlc src/from/functionwise.cmo Ocamlc src/from/callwise.cmo Ocamlc src/from/path_dependencies.cmo Ocamlc src/from/mem_dependencies.cmo Ocamlc src/from/from_register.cmo Ocamlc src/constant_propagation/propagationParameters.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Users.cmi Ocamlc src/constant_propagation/register.cmo Ocamlc src/postdominators/postdominators_parameters.cmo Ocamlc src/postdominators/print.cmo Ocamlc src/inout/inout_parameters.cmo Ocamlc src/inout/cumulative_analysis.cmo Ocamlc src/inout/operational_inputs.cmo Ocamlc src/inout/inputs.cmo Ocamlc src/inout/derefs.cmo Ocamlc src/semantic_callgraph/options.cmo Ocamlc src/semantic_callgraph/register.cmo File "src/semantic_callgraph/register.ml", line 131, characters 4-38: Warning 50: unattached documentation comment (ignored) Ocamlc src/impact/options.cmo Ocamlc src/impact/pdg_aux.cmo Ocamlc src/impact/reason_graph.cmo Ocamlc src/pdg/pdg_parameters.cmo Ocamlc src/pdg/ctrlDpds.cmo File "src/pdg/ctrlDpds.ml", line 29, characters 0-25: Warning 50: unattached documentation comment (ignored) File "src/pdg/ctrlDpds.ml", line 155, characters 0-50: Warning 50: unattached documentation comment (ignored) Ocamlc src/pdg/pdg_state.cmo Ocamlc src/pdg/build.cmo File "src/pdg/build.ml", line 237, characters 4-530: Warning 50: unattached documentation comment (ignored) File "src/pdg/build.ml", line 705, characters 2-137: Warning 50: unattached documentation comment (ignored) Ocamlc src/pdg/sets.cmo Ocamlc src/pdg/annot.cmo Ocamlc src/pdg/marks.cmo Ocamlc src/pdg/register.cmo Ocamlc src/scope/zones.cmo Ocamlc src/scope/defs.cmo Ocamlc src/sparecode/sparecode_params.cmo Ocamlc src/sparecode/globs.cmo Ocamlc src/sparecode/transform.cmo Ocamlc src/slicing/slicingParameters.cmo Ocamlc src/slicing/slicingMacros.cmo Ocamlc src/slicing/slicingMarks.cmo Ocamlc src/slicing/slicingActions.cmo Ocamlc src/slicing/printSlice.cmo Ocamlc src/slicing/slicingProject.cmo Ocamlc src/slicing/slicingTransform.cmo Ocamlc src/slicing/slicingCmds.cmo Ocamlc src/slicing/register.cmo Ocamlc src/gui/toolbox.cmo Ocamlopt src/kernel/kernel.cmx Ocamlopt src/security_slicing/security_slicing_parameters.cmx Ocamlopt src/gui/gui_parameters.cmx Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Metrics.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Syntactic_callgraph.cmi Ocamlc src/value/value_parameters.cmo Ocamlc src/value/stop_at_nth.cmo Ocamlc src/value/value_perf.cmo Ocamlc src/value/value_util.cmi Ocamlc src/value/mark_noresults.cmo Ocamlc src/value/separate.cmo Ocamlc src/value/state_imp.cmo Ocamlc src/value/warn.cmo Ocamlc src/value/eval_op.cmo Ocamlc src/value/eval_exprs.cmo Ocamlc src/value/initial_state.cmo File "src/value/initial_state.ml", line 628, characters 6-56: Warning 50: unattached documentation comment (ignored) Ocamlc src/value/builtins.cmo Ocamlc src/value/eval_terms.cmo Ocamlc src/value/eval_annots.cmo File "src/value/eval_terms.ml", line 1175, characters 2-195: Warning 50: unattached documentation comment (ignored) Ocamlc src/value/eval_stmt.cmo Ocamlc src/value/per_stmt_slevel.cmo Ocamlc src/value/eval_slevel.cmi Ocamlc src/value/register.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Occurrence.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/RteGen.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/From.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Users.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Constant_Propagation.cmi Ocamlc src/postdominators/compute.cmo Ocamlc src/inout/outputs.cmo Ocamlc src/inout/register.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Semantic_callgraph.cmi Ocamlc src/impact/compute_impact.cmi File "src/impact/compute_impact.mli", line 34, characters 11-25: Warning 50: unattached documentation comment (ignored) File "src/impact/compute_impact.mli", line 39, characters 11-25: Warning 50: unattached documentation comment (ignored) Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Pdg.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Scope.cmi Ocamlc src/sparecode/register.cmo Ocamlc src/slicing/fct_slice.cmo Ocamlc src/gui/property_navigator.cmo Ocamlopt src/kernel/emitter.cmx Ocamlopt cil/src/cil_const.cmx Ocamlopt src/lib/floating_point.cmx Ocamlopt cil/ocamlutil/alpha.cmx Ocamlopt cil/src/frontc/errorloc.cmx Ocamlopt cil/src/cilmsg.cmx Ocamlopt cil/src/frontc/lexerhack.cmx Ocamlopt src/ai/abstract_interp.cmx Ocamlopt src/kernel/unicode.cmx Ocamlopt cil/ocamlutil/cilconfig.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Metrics.cmo File "cil/ocamlutil/cilconfig.ml", line 138, characters 2-70: Warning 50: unattached documentation comment (ignored) File "cil/ocamlutil/cilconfig.ml", line 195, characters 23-47: Warning 50: unattached documentation comment (ignored) Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Syntactic_callgraph.cmo Ocamlopt src/gui/source_viewer.cmx Ocamlc src/value/value_util.cmo Ocamlc src/value/library_functions.cmo Ocamlc src/value/eval_slevel.cmo File "src/value/eval_slevel.ml", line 94, characters 5-73: Warning 50: unattached documentation comment (ignored) Ocamlc src/value/eval_funs.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Occurrence.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/RteGen.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/From.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Constant_Propagation.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Postdominators.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Inout.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Semantic_callgraph.cmo Ocamlc src/impact/compute_impact.cmo Ocamlc src/impact/register.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Pdg.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Scope.cmo Ocamlc src/sparecode/spare_marks.cmo File "src/sparecode/spare_marks.ml", line 159, characters 2-59: Warning 50: unattached documentation comment (ignored) Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Slicing.cmo Ocamlopt src/aorai/aorai_option.cmx Ocamlopt cil/src/logic/logic_env.cmx File "cil/src/logic/logic_env.ml", line 280, characters 0-17: Warning 50: unattached documentation comment (ignored) Ocamlopt src/ai/int_Base.cmx Ocamlopt src/kernel/cilE.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Postdominators.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Inout.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Impact.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Sparecode.cmi Ocamlopt src/aorai/path_analysis.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Impact.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Sparecode.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Value.cmi Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Value.cmo Ocamlopt cil/src/logic/logic_const.cmx Linking bin/toplevel.byte Ocamlopt cil/src/cil.cmx File "cil/src/cil.ml", line 1759, characters 48-132: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1761, characters 48-146: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1763, characters 50-138: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1766, characters 48-232: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 1786, characters 4-62: Warning 50: ambiguous documentation comment File "cil/src/cil.ml", line 5699, characters 2-46: Warning 50: unattached documentation comment (ignored) File "cil/src/cil.ml", line 7143, characters 10-133: Warning 50: unattached documentation comment (ignored) Ocamlopt src/printer/cil_printer.cmx Ocamlopt cil/src/frontc/cabshelper.cmx Ocamlopt src/kernel/ast_info.cmx Ocamlopt src/kernel/ast.cmx Ocamlopt src/aorai/utils_parser.cmx File "src/printer/cil_printer.ml", line 422, characters 4-144: Warning 50: unattached documentation comment (ignored) Ocamlopt src/ai/origin.cmx Ocamlopt src/ai/ival.cmx Ocamlopt cil/src/frontc/cabsvisit.cmx Ocamlopt src/kernel/messages.cmx Ocamlopt src/ai/map_Lattice.cmx Ocamlopt cil/src/logic/logic_utils.cmx Ocamlopt cil/src/logic/logic_print.cmx Ocamlopt src/printer/cil_descriptive_printer.cmx Ocamlopt cil/src/rmtmps.cmx File "cil/src/rmtmps.ml", line 237, characters 6-39: Warning 50: unattached documentation comment (ignored) Ocamlopt cil/src/frontc/cprint.cmx Ocamlopt cil/src/logic/logic_parser.cmx Ocamlopt cil/src/ext/cfg.cmx Ocamlopt cil/src/ext/oneret.cmx Ocamlopt cil/src/mergecil.cmx Ocamlopt cil/src/logic/logic_builtin.cmx File "cil/src/mergecil.ml", line 2382, characters 10-58: Warning 50: unattached documentation comment (ignored) Ocamlopt cil/src/logic/logic_lexer.cmx Ocamlopt cil/src/logic/logic_typing.cmx Ocamlopt cil/src/frontc/cparser.cmx Ocamlopt cil/src/frontc/clexer.cmx Ocamlopt cil/src/logic/logic_preprocess.cmx Ocamlopt src/kernel/globals.cmx Ocamlopt cil/src/frontc/cabs2cil.cmx File "src/kernel/globals.ml", line 102, characters 8-72: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 1073, characters 10-342: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 1959, characters 12-39: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 2328, characters 21-37: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 2907, characters 2-224: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 4017, characters 10-46: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 5739, characters 8-79: Warning 50: unattached documentation comment (ignored) File "cil/src/frontc/cabs2cil.ml", line 6554, characters 4-110: Warning 50: unattached documentation comment (ignored) Ocamlopt src/kernel/kernel_function.cmx Ocamlopt src/logic/property.cmx Ocamlopt cil/src/ext/ordered_stmt.cmx Ocamlopt cil/src/ext/dataflow2.cmx File "cil/src/ext/dataflow2.ml", line 127, characters 6-99: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 131, characters 6-55: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 136, characters 6-40: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 139, characters 6-62: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 142, characters 6-106: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 282, characters 6-44: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 327, characters 6-37: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow2.ml", line 451, characters 6-56: Warning 50: unattached documentation comment (ignored) Ocamlopt src/logic/property_status.cmx Ocamlopt src/logic/annotations.cmx Ocamlopt src/printer/printer.cmx Ocamlopt src/aorai/promelaoutput.cmx Ocamlopt src/kernel/visitor.cmx Ocamlopt src/misc/bit_utils.cmx Ocamlopt src/kernel/alarms.cmx File "src/misc/bit_utils.ml", line 216, characters 13-46: Warning 50: unattached documentation comment (ignored) File "src/misc/bit_utils.ml", line 272, characters 10-54: Warning 50: unattached documentation comment (ignored) File "src/misc/bit_utils.ml", line 341, characters 49-75: Warning 50: unattached documentation comment (ignored) Ocamlopt src/logic/description.cmx Ocamlopt src/aorai/logic_simplification.cmx Ocamlopt src/ai/base.cmx Ocamlopt src/memory_state/tr_offset.cmx Ocamlopt src/memory_state/offsetmap.cmx File "src/memory_state/offsetmap.ml", line 58, characters 6-180: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 62, characters 6-260: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 67, characters 6-355: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 73, characters 6-587: Warning 50: unattached documentation comment (ignored) File "src/memory_state/offsetmap.ml", line 369, characters 2-71: Warning 50: unattached documentation comment (ignored) Ocamlopt cil/src/frontc/frontc.cmx Ocamlopt src/aorai/data_for_aorai.cmx Ocamlopt src/kernel/file.cmx File "src/kernel/file.ml", line 2073, characters 7-53: Warning 50: unattached documentation comment (ignored) Ocamlopt src/aorai/aorai_utils.cmx Ocamlopt src/aorai/yaparser.cmx Ocamlopt src/aorai/promelaparser.cmx Ocamlopt src/aorai/promelaparser_withexps.cmx Ocamlopt src/ai/int_Intervals.cmx Ocamlopt src/aorai/promelalexer.cmx Ocamlopt src/aorai/promelalexer_withexps.cmx Ocamlopt src/memory_state/locations.cmx Ocamlopt src/aorai/yalexer.cmx Ocamlopt src/memory_state/lmap.cmx Ocamlopt src/memory_state/lmap_bitwise.cmx Ocamlopt src/pdg_types/pdgIndex.cmx File "src/pdg_types/pdgIndex.ml", line 447, characters 4-44: Warning 50: unattached documentation comment (ignored) Ocamlopt src/memory_state/inout_type.cmx Ocamlopt src/memory_state/precise_locs.cmx Ocamlopt src/memory_state/function_Froms.cmx Ocamlopt src/memory_state/cvalue.cmx File "src/memory_state/cvalue.ml", line 882, characters 47-73: Warning 50: unattached documentation comment (ignored) Ocamlopt src/aorai/aorai_dataflow.cmx Ocamlopt src/aorai/aorai_visitors.cmx Ocamlopt src/pdg_types/pdgTypes.cmx File "src/pdg_types/pdgTypes.ml", line 601, characters 28-74: Warning 50: ambiguous documentation comment Ocamlopt src/pdg_types/pdgMarks.cmx Ocamlopt src/slicing_types/slicingInternals.cmx File "src/slicing_types/slicingInternals.ml", line 95, characters 2-49: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 99, characters 0-139: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 111, characters 0-76: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 123, characters 2-77: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 127, characters 0-112: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 142, characters 0-109: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 155, characters 0-259: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 164, characters 2-147: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 172, characters 2-120: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 177, characters 0-66: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 184, characters 0-55: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 208, characters 0-41: Warning 50: unattached documentation comment (ignored) File "src/slicing_types/slicingInternals.ml", line 221, characters 0-98: Warning 50: unattached documentation comment (ignored) Ocamlopt src/slicing_types/slicingTypes.cmx Ocamlopt src/memory_state/value_types.cmx Ocamlopt src/kernel/db.cmx Ocamlopt src/aorai/aorai_register.cmx Ocamlopt src/security_slicing/components.cmx Ocamlopt src/kernel/command.cmx Ocamlopt src/gui/gtk_helper.cmx Ocamlopt src/kernel/task.cmx File "src/gui/gtk_helper.ml", line 972, characters 29-44: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 973, characters 41-79: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 974, characters 32-59: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 975, characters 48-71: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 976, characters 25-53: Warning 50: ambiguous documentation comment File "src/gui/gtk_helper.ml", line 977, characters 29-70: Warning 50: ambiguous documentation comment Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Aorai.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Aorai.cmxs Ocamlopt src/obfuscator/options.cmx Ocamlopt src/obfuscator/obfuscator_kind.cmx Ocamlopt src/obfuscator/dictionary.cmx Ocamlopt src/obfuscator/obfuscate.cmx Ocamlopt src/obfuscator/obfuscator_register.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Obfuscator.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Obfuscator.cmxs Ocamlopt src/report/report_parameters.cmx Ocamlopt src/report/scan.cmx Ocamlopt src/gui/pretty_source.cmx Ocamlopt src/gui/warning_manager.cmx Ocamlopt src/gui/source_manager.cmx Ocamlopt src/gui/menu_manager.cmx Ocamlopt src/gui/launcher.cmx Ocamlopt src/gui/filetree.cmx File "src/gui/filetree.ml", line 428, characters 11-74: Warning 50: ambiguous documentation comment Ocamlopt src/report/dump.cmx Ocamlopt src/report/register.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Report.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Report.cmxs Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Security_slicing.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Security_slicing.cmxs Ocamlopt src/lib/vector.cmx Ocamlopt src/wp/WTO.cmx Ocamlopt src/wp/rformat.cmx Ocamlopt src/wp/wprop.cmx Ocamlopt src/wp/wp_parameters.cmx Ocamlopt src/wp/wp_error.cmx Compiling Qed (opt.opt) gmake[2]: Entering directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/src/wp/qed/src' Ocamlopt src/logic/statuses_by_call.cmx Ocamlopt src/kernel/dominators.cmx Ocamlopt src/lib/bag.cmx Ocamlopt src/wp/script.cmx Ocamlopt src/wp/why3_xml.cmx Ocamlopt src/wp/CfgLib.cmx Ocamlopt src/wp/Fixpoint.cmx Ocamlopt src/wp/dyncall.cmx Ocamlopt src/wp/variables_analysis.cmx Ocamlopt src/wp/Context.cmx Ocamlopt src/wp/VCS.cmx Ocamlopt src/wp/why3_session.cmx File "src/wp/why3_session.ml", line 225, characters 2-73: Warning 50: unattached documentation comment (ignored) Ocamlopt src/gui/history.cmx File "src/gui/history.ml", line 190, characters 6-70: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 229, characters 11-36: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 230, characters 13-42: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 249, characters 6-62: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 252, characters 6-59: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 263, characters 16-42: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 267, characters 20-74: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 270, characters 12-80: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 273, characters 12-45: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 278, characters 37-60: Warning 50: unattached documentation comment (ignored) File "src/gui/history.ml", line 279, characters 28-53: Warning 50: unattached documentation comment (ignored) Ocamlopt src/wp/Warning.cmx Ocamlopt src/wp/Model.cmx File "src/wp/Model.ml", line 46, characters 35-72: Warning 50: ambiguous documentation comment Ocamlopt src/gui/design.cmx File "src/gui/design.ml", line 95, characters 0-26: Warning 50: ambiguous documentation comment File "src/gui/design.ml", line 98, characters 0-27: Warning 50: ambiguous documentation comment Ocamlopt src/security_slicing/register_gui.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Security_slicing.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Security_slicing.cmxs Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Wp.cmi Ocamlopt src/gui/toolbox.cmx Ocamlc src/wp/GuiConfig.cmi Ocamlc src/wp/GuiGoal.cmi Ocamlc src/wp/GuiSource.cmi Ocamlopt src/gui/gtk_form.cmx Ocamlc src/wp/GuiNavigator.cmi Ocamlc src/wp/GuiList.cmi Ocamlc src/wp/GuiPanel.cmi gmake[2]: Leaving directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201/src/wp/qed/src' Ocamlopt src/wp/ctypes.cmx Ocamlopt src/wp/Splitter.cmx Ocamlopt src/wp/clabels.cmx Ocamlopt src/wp/VarUsage.cmx Ocamlopt src/wp/RefUsage.cmx Ocamlopt src/wp/LogicUsage.cmx Ocamlopt src/wp/cil2cfg.cmx Ocamlopt src/wp/normAtLabels.cmx Ocamlopt src/wp/Lang.cmx File "src/wp/Lang.ml", line 124, characters 24-59: Warning 50: ambiguous documentation comment File "src/wp/Lang.ml", line 382, characters 20-53: Warning 50: unattached documentation comment (ignored) Ocamlopt src/wp/wpPropId.cmx Ocamlopt src/wp/wpStrategy.cmx Ocamlopt src/wp/proof.cmx Ocamlopt src/wp/wpAnnot.cmx Ocamlopt src/wp/calculus.cmx Ocamlopt src/wp/ProverTask.cmx Ocamlopt src/wp/Matrix.cmx Ocamlopt src/wp/Passive.cmx Ocamlopt src/wp/Letify.cmx Ocamlopt src/wp/Cleaning.cmx Ocamlopt src/wp/LogicBuiltins.cmx Ocamlopt src/wp/Vset.cmx Ocamlopt src/wp/Sigma.cmx Ocamlopt src/wp/LogicAssigns.cmx Ocamlopt src/wp/Conditions.cmx Ocamlopt src/wp/Definitions.cmx Ocamlopt src/wp/Cint.cmx Ocamlopt src/wp/Cfloat.cmx File "src/wp/Definitions.ml", line 464, characters 10-29: Warning 50: unattached documentation comment (ignored) File "src/wp/Definitions.ml", line 471, characters 10-56: Warning 50: unattached documentation comment (ignored) File "src/wp/Definitions.ml", line 479, characters 19-41: Warning 50: unattached documentation comment (ignored) Ocamlopt src/wp/driver.cmx Ocamlopt src/wp/Region.cmx Ocamlopt src/wp/Cstring.cmx Ocamlopt src/wp/Cvalues.cmx Ocamlopt src/wp/wpo.cmx File "src/wp/Cstring.ml", line 89, characters 8-80: Warning 50: unattached documentation comment (ignored) Ocamlopt src/wp/wpReport.cmx Ocamlopt src/wp/ProverErgo.cmx Ocamlopt src/wp/ProverCoq.cmx Ocamlopt src/wp/ProverWhy3.cmx File "src/wp/ProverWhy3.ml", line 239, characters 6-43: Warning 50: unattached documentation comment (ignored) File "src/wp/ProverWhy3.ml", line 295, characters 2-34: Warning 50: unattached documentation comment (ignored) File "src/wp/ProverWhy3.ml", line 366, characters 14-119: Warning 50: unattached documentation comment (ignored) File "src/wp/ProverWhy3.ml", line 419, characters 6-31: Warning 50: unattached documentation comment (ignored) Ocamlopt src/wp/Generator.cmx Ocamlopt src/wp/GuiGoal.cmx Ocamlopt src/wp/GuiSource.cmx Ocamlopt src/wp/CodeSemantics.cmx Ocamlopt src/wp/LogicCompiler.cmx Ocamlopt src/wp/MemEmpty.cmx Ocamlopt src/wp/MemVar.cmx Ocamlopt src/wp/MemTyped.cmx Ocamlopt src/wp/cfgDump.cmx Ocamlopt src/wp/LogicSemantics.cmx Ocamlopt src/wp/prover.cmx Ocamlopt src/wp/GuiConfig.cmx Ocamlopt src/wp/GuiList.cmx Ocamlopt src/wp/cfgWP.cmx Ocamlopt src/wp/Factory.cmx Ocamlopt src/wp/register.cmx File "src/wp/register.ml", line 140, characters 2-44: Warning 50: unattached documentation comment (ignored) Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Wp.cmx Ocamlopt src/wp/GuiPanel.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Wp.cmxs Ocamlopt src/wp/GuiNavigator.cmx Ocamlopt src/kernel/frama_c_init.cmx Ocamlopt external/unmarshal_nums.cmx Ocamlopt cil/src/frontc/cabs_debug.cmx Ocamlopt cil/src/ext/callgraph.cmx Ocamlopt cil/src/ext/dataflow.cmx Ocamlopt src/kernel/stmts_graph.cmx File "cil/src/ext/dataflow.ml", line 112, characters 19-74: Warning 50: ambiguous documentation comment File "cil/src/ext/dataflow.ml", line 191, characters 6-44: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow.ml", line 278, characters 6-37: Warning 50: unattached documentation comment (ignored) File "cil/src/ext/dataflow.ml", line 433, characters 6-56: Warning 50: unattached documentation comment (ignored) Ocamlopt cil/src/ext/dataflows.cmx Ocamlopt src/misc/service_graph.cmx Ocamlopt src/ai/trace.cmx Ocamlopt src/memory_state/value_messages.cmx Ocamlopt src/memory_state/widen_type.cmx Ocamlopt src/kernel/clone.cmx Ocamlopt src/kernel/loop.cmx Ocamlopt src/kernel/exn_flow.cmx Ocamlopt src/logic/translate_lightweight.cmx Ocamlopt src/kernel/unroll_loops.cmx File "src/kernel/unroll_loops.ml", line 124, characters 4-73: Warning 50: unattached documentation comment (ignored) Ocamlopt src/misc/filter.cmx Ocamlopt src/kernel/special_hooks.cmx Ocamlopt src/logic/logic_interp.cmx Ocamlopt src/logic/infer_annotations.cmx Ocamlopt src/logic/allocates.cmx Ocamlopt src/metrics/metrics_parameters.cmx Ocamlopt src/metrics/css_html.cmx Ocamlopt src/syntactic_callgraph/options.cmx Ocamlopt src/value/split_strategy.cmx Ocamlopt src/value/state_set.cmx Ocamlopt src/value/value_results.cmx Ocamlopt src/value/widen.cmx Ocamlopt src/value/valarms.cmx Ocamlopt src/value/non_linear.cmx Ocamlopt src/occurrence/options.cmx Ocamlopt src/rte/options.cmx Ocamlopt src/from/from_parameters.cmx Ocamlopt src/users/users_register.cmx Ocamlopt src/constant_propagation/propagationParameters.cmx Ocamlopt src/postdominators/postdominators_parameters.cmx Ocamlopt src/inout/inout_parameters.cmx Ocamlopt src/semantic_callgraph/options.cmx Ocamlopt src/impact/options.cmx Ocamlopt src/pdg/pdg_parameters.cmx Ocamlopt src/scope/datascope.cmx Ocamlopt src/kernel/boot.cmx Ocamlopt src/gui/book_manager.cmx Ocamlopt src/gui/analyses_manager.cmx Ocamlopt src/gui/file_manager.cmx Ocamlopt src/gui/project_manager.cmx File "src/gui/file_manager.ml", line 56, characters 17-61: Warning 50: unattached documentation comment (ignored) File "src/gui/file_manager.ml", line 58, characters 17-61: Warning 50: unattached documentation comment (ignored) File "src/gui/file_manager.ml", line 64, characters 6-99: Warning 50: unattached documentation comment (ignored) Ocamlopt src/gui/debug_manager.cmx Ocamlopt src/gui/help_manager.cmx Ocamlopt src/gui/property_navigator.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Wp.cmx Ocamlopt src/metrics/metrics_base.cmx Ocamlopt src/syntactic_callgraph/register.cmx Ocamlopt src/value/value_parameters.cmx Ocamlopt src/value/state_imp.cmx Ocamlopt src/occurrence/register.cmx Ocamlopt src/rte/generator.cmx Ocamlopt src/from/from_compute.cmx Ocamlopt src/from/path_dependencies.cmx Ocamlopt src/from/mem_dependencies.cmx Ocamlopt src/from/from_register.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Users.cmx Ocamlopt src/constant_propagation/register.cmx Ocamlopt src/postdominators/print.cmx Ocamlopt src/inout/cumulative_analysis.cmx Ocamlopt src/semantic_callgraph/register.cmx File "src/semantic_callgraph/register.ml", line 131, characters 4-38: Warning 50: unattached documentation comment (ignored) Ocamlopt src/impact/pdg_aux.cmx Ocamlopt src/pdg/ctrlDpds.cmx File "src/pdg/ctrlDpds.ml", line 29, characters 0-25: Warning 50: unattached documentation comment (ignored) File "src/pdg/ctrlDpds.ml", line 155, characters 0-50: Warning 50: unattached documentation comment (ignored) Ocamlopt src/pdg/pdg_state.cmx Ocamlopt src/scope/zones.cmx Ocamlopt src/scope/defs.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Wp.cmxs Ocamlopt src/metrics/metrics_acsl.cmx Ocamlopt src/metrics/metrics_cabs.cmx Ocamlopt src/metrics/metrics_cilast.cmx Ocamlopt src/metrics/metrics_coverage.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Syntactic_callgraph.cmx Ocamlopt src/value/stop_at_nth.cmx Ocamlopt src/value/value_perf.cmx Ocamlopt src/value/mark_noresults.cmx Ocamlopt src/value/separate.cmx Ocamlopt src/value/mem_exec.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Occurrence.cmx Ocamlopt src/rte/rte.cmx Ocamlopt src/from/functionwise.cmx Ocamlopt src/from/callwise.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Constant_Propagation.cmx Ocamlopt src/postdominators/compute.cmx Ocamlopt src/inout/operational_inputs.cmx Ocamlopt src/inout/inputs.cmx Ocamlopt src/inout/derefs.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Semantic_callgraph.cmx Ocamlopt src/impact/reason_graph.cmx Ocamlopt src/pdg/build.cmx File "src/pdg/build.ml", line 237, characters 4-530: Warning 50: unattached documentation comment (ignored) File "src/pdg/build.ml", line 705, characters 2-137: Warning 50: unattached documentation comment (ignored) Ocamlopt src/pdg/sets.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Scope.cmx Ocamlc src/kernel/gui_init.cmi Ocamlc src/metrics/metrics_gui.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Metrics.cmi Ocamlc src/syntactic_callgraph/cg_viewer.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Syntactic_callgraph.cmi Ocamlc src/value/register_gui.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Value.cmi Ocamlc src/occurrence/register_gui.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Occurrence.cmi Ocamlc src/from/from_register_gui.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/From.cmi Ocamlc src/impact/register_gui.cmi Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Impact.cmi Ocamlc src/scope/dpds_gui.cmo Ocamlc /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Scope.cmi Ocamlc src/slicing/register_gui.cmi Ocamlc src/security_slicing/register_gui.cmo Ocamlc src/wp/GuiConfig.cmo Ocamlc src/wp/GuiList.cmo Ocamlc src/wp/GuiGoal.cmo Ocamlc src/wp/GuiSource.cmo Ocamlc src/wp/GuiPanel.cmo Ocamlc src/wp/GuiNavigator.cmo Ocamlopt src/metrics/register.cmx Ocamlopt src/value/value_util.cmx Ocamlopt src/rte/visit.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/From.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Postdominators.cmx Ocamlopt src/inout/outputs.cmx Ocamlopt src/impact/compute_impact.cmx Ocamlopt src/pdg/annot.cmx Ocamlopt src/pdg/marks.cmx Ocamlc src/kernel/gui_init.cmo Ocamlc src/metrics/metrics_gui.cmo Ocamlc src/metrics/register_gui.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Syntactic_callgraph.cmo Ocamlc src/value/register_gui.cmo Ocamlc src/occurrence/register_gui.cmo Ocamlc src/from/from_register_gui.cmo Ocamlc src/impact/register_gui.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Scope.cmo Ocamlc src/slicing/register_gui.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Security_slicing.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Wp.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Metrics.cmx Ocamlopt src/value/library_functions.cmx Ocamlopt src/value/warn.cmx Ocamlopt src/value/per_stmt_slevel.cmx Ocamlopt src/rte/register.cmx Ocamlopt src/inout/register.cmx Ocamlopt src/impact/register.cmx Ocamlopt src/pdg/register.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Metrics.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Occurrence.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/From.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Impact.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Wp.cma Ocamlopt src/value/eval_op.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/RteGen.cmx Ocamlopt src/value/locals_scoping.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Inout.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Pdg.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Value.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Slicing.cmo Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Impact.cmx Ocamlopt src/sparecode/sparecode_params.cmx Ocamlopt src/slicing/slicingParameters.cmx Ocamlopt src/slicing/slicingMarks.cmx Ocamlopt src/value/eval_exprs.cmx Ocamlopt src/sparecode/globs.cmx Ocamlopt src/sparecode/spare_marks.cmx File "src/sparecode/spare_marks.ml", line 159, characters 2-59: Warning 50: unattached documentation comment (ignored) Ocamlopt src/slicing/slicingMacros.cmx Ocamlopt src/slicing/slicingCmds.cmx Linking bin/viewer.byte Ocamlopt src/sparecode/transform.cmx Ocamlopt src/slicing/slicingActions.cmx Ocamlopt src/slicing/fct_slice.cmx Ocamlopt src/sparecode/register.cmx Ocamlopt src/value/initial_state.cmx Ocamlopt src/value/builtins.cmx Ocamlopt src/value/eval_terms.cmx File "src/value/initial_state.ml", line 628, characters 6-56: Warning 50: unattached documentation comment (ignored) File "src/value/eval_terms.ml", line 1175, characters 2-195: Warning 50: unattached documentation comment (ignored) Ocamlopt src/value/split_return.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Sparecode.cmx Ocamlopt src/slicing/printSlice.cmx Ocamlopt src/slicing/slicingTransform.cmx Ocamlopt src/value/function_args.cmx Ocamlopt src/slicing/slicingProject.cmx Ocamlopt src/value/eval_stmt.cmx Ocamlopt src/value/eval_annots.cmx Ocamlopt src/value/register.cmx Ocamlopt src/slicing/register.cmx Ocamlopt src/value/eval_slevel.cmx File "src/value/eval_slevel.ml", line 94, characters 5-73: Warning 50: unattached documentation comment (ignored) Ocamlopt src/value/eval_funs.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Slicing.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/Value.cmx Linking bin/toplevel.opt Ocamlopt src/kernel/gui_init.cmx Ocamlopt src/metrics/metrics_gui.cmx Ocamlopt src/syntactic_callgraph/cg_viewer.cmx Ocamlopt src/value/register_gui.cmx Ocamlopt src/occurrence/register_gui.cmx Ocamlopt src/from/from_register_gui.cmx Ocamlopt src/impact/register_gui.cmx Ocamlopt src/scope/dpds_gui.cmx Ocamlopt src/slicing/register_gui.cmx Ocamlopt src/metrics/register_gui.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Syntactic_callgraph.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Occurrence.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/From.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Impact.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Scope.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Value.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Metrics.cmx Packing /wrkdirs/devel/frama-c/frama-c-Sodium-20150201/lib/plugins/gui/Slicing.cmx Linking bin/viewer.opt gmake[1]: Leaving directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201' =========================================================================== =================================================== ===> frama-c-20150201_3 depends on file: /usr/local/lib/ocaml/ocamlgraph/graph.a - found ===> frama-c-20150201_3 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===> Staging for frama-c-20150201_3 ===> Generating temporary packing list gmake[1]: Entering directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201' Installing WP shared files Copying to kernel API Generating destination directories Copying to shared files Copying to C standard library Copying to binaries Copying to config files Copying to API documentation Copying to dynamic plug-ins Copying to dynamic gui plug-ins Copying to man pages gmake[1]: Leaving directory '/wrkdirs/devel/frama-c/frama-c-Sodium-20150201' /bin/chmod u+w /wrkdirs/devel/frama-c/stage/usr/local/bin/* /usr/bin/strip /wrkdirs/devel/frama-c/stage/usr/local/bin/* /bin/chmod u-w /wrkdirs/devel/frama-c/stage/usr/local/bin/* /usr/bin/strip /wrkdirs/devel/frama-c/stage/usr/local/lib/frama-c/plugins/*.cmxs /usr/bin/strip /wrkdirs/devel/frama-c/stage/usr/local/lib/frama-c/plugins/gui/*.cmxs ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for frama-c-20150201_3 file sizes/checksums [1011]: .......... done packing files [1011]: .......... done packing directories [1]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for frama-c-20150201_3 build of devel/frama-c ended at Sat Oct 8 19:08:16 PDT 2016 build time: 00:05:49