From owner-freebsd-pkg-fallout@FreeBSD.ORG Sat Jan 31 13:44:43 2015 Return-Path: Delivered-To: pkg-fallout@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id AB70C23C; Sat, 31 Jan 2015 13:44:43 +0000 (UTC) Received: from beefy2.isc.freebsd.org (beefy2.isc.freebsd.org [IPv6:2001:4f8:3:ffe0:4072:0:16:39]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 96891D4C; Sat, 31 Jan 2015 13:44:43 +0000 (UTC) Received: from beefy2.isc.freebsd.org (localhost [127.0.0.1]) by beefy2.isc.freebsd.org (8.14.9/8.14.9) with ESMTP id t0VDih3M096636; Sat, 31 Jan 2015 13:44:43 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy2.isc.freebsd.org (8.14.9/8.14.9/Submit) id t0VDihLS096613; Sat, 31 Jan 2015 13:44:43 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Sat, 31 Jan 2015 13:44:43 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201501311344.t0VDihLS096613@beefy2.isc.freebsd.org> To: bf@FreeBSD.org Subject: [package - 84amd64-default][devel/frama-c] Failed for frama-c-20140301_2 in build Cc: pkg-fallout@FreeBSD.org X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 31 Jan 2015 13:44:43 -0000 You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: bf@FreeBSD.org Last committer: gerald@FreeBSD.org Ident: $FreeBSD: head/devel/frama-c/Makefile 367888 2014-09-10 20:50:31Z gerald $ Log URL: http://beefy2.isc.freebsd.org/data/84amd64-default/2015-01-30_21h51m44s/logs/frama-c-20140301_2.log Build URL: http://beefy2.isc.freebsd.org/build.html?mastername=84amd64-default&build=2015-01-30_21h51m44s Log: ====>> Building devel/frama-c build started at Sat Jan 31 13:43:18 UTC 2015 port directory: /usr/ports/devel/frama-c building for: FreeBSD 84amd64-default-job-19 8.4-RELEASE-p16 FreeBSD 8.4-RELEASE-p16 amd64 maintained by: bf@FreeBSD.org Makefile ident: $FreeBSD: head/devel/frama-c/Makefile 367888 2014-09-10 20:50:31Z gerald $ Poudriere version: 3.1.1 Host OSVERSION: 1100056 Jail OSVERSION: 804000 ---Begin Environment--- OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p16 UNAME_r=8.4-RELEASE-p16 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/.m/84amd64-default/ref PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNAME=frama-c-20140301_2 OLDPWD=/ PWD=/usr/local/poudriere/data/.m/84amd64-default/ref/.p/pool MASTERNAME=84amd64-default USER=root HOME=/root POUDRIERE_VERSION=3.1.1 LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ===> The following configuration options are available for frama-c-20140301_2: ALTERGO=on: Alt-Ergo plugin (requires PLUGINS) COQ=off: Coq plugin (requires PLUGINS) GUI=on: Graphical User Interface (requires PLUGINS) PLUGINS=on: Build and/or install plugins ===> Use 'make config' to modify these settings ---End OPTIONS List--- --CONFIGURE_ARGS-- --with-cpp="cpp -C -I/usr/local/share/frama-c/libc -I." --enable-gui --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/frama-c/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/frama-c/work HOME=/wrkdirs/usr/ports/devel/frama-c/work TMPDIR="/tmp" HAS_COQ=no XDG_DATA_HOME=/wrkdirs/usr/ports/devel/frama-c/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/frama-c/work HOME=/wrkdirs/usr/ports/devel/frama-c/work TMPDIR="/tmp" MAKE=gmake SHELL=/bin/sh CONFIG_SHELL=/bin/sh 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/usr/ports/devel/frama-c/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/frama-c/work HOME=/wrkdirs/usr/ports/devel/frama-c/work TMPDIR="/tmp" XDG_DATA_HOME=/wrkdirs/usr/ports/devel/frama-c/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/frama-c/work HOME=/wrkdirs/usr/ports/devel/frama-c/work TMPDIR="/tmp" NO_PIE=yes SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector" LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -o root -g wheel -m 555" BSD_INSTALL_LIB="install -s -o root -g wheel -m 444" BSD_INSTALL_SCRIPT="install -o root -g wheel -m 555" BSD_INSTALL_DATA="install -o root -g wheel -m 0644" BSD_INSTALL_MAN="install -o root -g wheel -m 444" --End MAKE_ENV-- --PLIST_SUB-- ALTERGO="" NO_ALTERGO="@comment " COQ="@comment " NO_COQ="" GUI="" NO_GUI="@comment " PLUGINS="" NO_PLUGINS="@comment " OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib 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-- ALTERGO="" NO_ALTERGO="@comment " COQ="@comment " NO_COQ="" GUI="" NO_GUI="@comment " PLUGINS="" NO_PLUGINS="@comment " 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--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles #### /usr/local/etc/poudriere.d/make.conf #### WITH_PKGNG=yes #WITH_PKGNG=devel # clean-restricted ran via poudriere.conf NO_RESTRICTED #NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- =================================================== ===> License LGPL21 accepted by the user =========================================================================== =================================================== ===> frama-c-20140301_2 depends on file: /usr/local/sbin/pkg - not found ===> Verifying install for /usr/local/sbin/pkg in /usr/ports/ports-mgmt/pkg ===> Installing existing package /packages/All/pkg-1.4.7.txz [84amd64-default-job-19] Installing pkg-1.4.7... [84amd64-default-job-19] Extracting pkg-1.4.7... done Message for pkg-1.4.7: If you are upgrading from the old package format, first run: # pkg2ng ===> Returning to build of frama-c-20140301_2 =========================================================================== =================================================== =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20140301_2 for building =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20140301_2 for building => SHA256 Checksum OK for frama-c-Neon-20140301.tar.gz. =========================================================================== =================================================== ===> frama-c-20140301_2 depends on file: /usr/local/bin/ocamlc - not found ===> Verifying install for /usr/local/bin/ocamlc in /usr/ports/lang/ocaml ===> Installing existing package /packages/All/ocaml-4.01.0_4.txz [84amd64-default-job-19] Installing ocaml-4.01.0_4... [84amd64-default-job-19] `-- Installing libX11-1.6.2_2,1... [84amd64-default-job-19] | `-- Installing kbproto-1.0.6... [84amd64-default-job-19] | `-- Extracting kbproto-1.0.6... done [84amd64-default-job-19] | `-- Installing libXau-1.0.8_2... [84amd64-default-job-19] | | `-- Installing xproto-7.0.26... [84amd64-default-job-19] | | `-- Extracting xproto-7.0.26... done [84amd64-default-job-19] | `-- Extracting libXau-1.0.8_2... done [84amd64-default-job-19] | `-- Installing libXdmcp-1.1.1_2... [84amd64-default-job-19] | `-- Extracting libXdmcp-1.1.1_2... done [84amd64-default-job-19] | `-- Installing libxcb-1.11... [84amd64-default-job-19] | | `-- Installing libpthread-stubs-0.3_6... [84amd64-default-job-19] | | `-- Extracting libpthread-stubs-0.3_6... done [84amd64-default-job-19] | | `-- Installing libxml2-2.9.2_2... [84amd64-default-job-19] | | `-- Installing libiconv-1.14_6... [84amd64-default-job-19] | | `-- Extracting libiconv-1.14_6... done [84amd64-default-job-19] | | `-- Extracting libxml2-2.9.2_2... done [84amd64-default-job-19] | `-- Extracting libxcb-1.11... done [84amd64-default-job-19] `-- Extracting libX11-1.6.2_2,1... done [84amd64-default-job-19] `-- Installing tk86-8.6.3... [84amd64-default-job-19] | `-- Installing libXScrnSaver-1.2.2_2... [84amd64-default-job-19] | | `-- Installing libXext-1.3.3,1... [84amd64-default-job-19] | | `-- Installing xextproto-7.3.0... [84amd64-default-job-19] | | `-- Extracting xextproto-7.3.0... done [84amd64-default-job-19] | | `-- Extracting libXext-1.3.3,1... done [84amd64-default-job-19] | | `-- Installing scrnsaverproto-1.2.2... [84amd64-default-job-19] | | `-- Extracting scrnsaverproto-1.2.2... done [84amd64-default-job-19] | `-- Extracting libXScrnSaver-1.2.2_2... done [84amd64-default-job-19] | `-- Installing libXft-2.3.2... [84amd64-default-job-19] | | `-- Installing fontconfig-2.11.1,1... [84amd64-default-job-19] | | `-- Installing expat-2.1.0_2... [84amd64-default-job-19] | | `-- Extracting expat-2.1.0_2... done [84amd64-default-job-19] | | `-- Installing freetype2-2.5.5... [84amd64-default-job-19] | | `-- Extracting freetype2-2.5.5... done [84amd64-default-job-19] | | `-- Extracting fontconfig-2.11.1,1... done Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: skipping, no such directory /root/.local/share/fonts: skipping, no such directory /root/.fonts: skipping, no such directory /var/db/fontconfig: cleaning cache directory /root/.cache/fontconfig: not cleaning non-existent cache directory /root/.fontconfig: not cleaning non-existent cache directory fc-cache: succeeded [84amd64-default-job-19] | | `-- Installing libXrender-0.9.8_2... [84amd64-default-job-19] | | `-- Installing renderproto-0.11.1... [84amd64-default-job-19] | | `-- Extracting renderproto-0.11.1... done [84amd64-default-job-19] | | `-- Extracting libXrender-0.9.8_2... done Ocamlc src/type/descr.cmo Ocamlc src/lib/FCSet.cmi Ocamlc src/lib/FCSet.cmo Ocamlc src/lib/FCMap.cmi Ocamlc src/lib/FCMap.cmo Ocamlc src/lib/FCHashtbl.cmi Ocamlc src/lib/FCHashtbl.cmo Ocamlc src/lib/extlib.cmi Ocamlc src/lib/extlib.cmo Ocamlc src/lib/pretty_utils.cmi Ocamlc src/lib/pretty_utils.cmo Ocamlc src/lib/hook.cmi Ocamlc src/lib/hook.cmo Ocamlc src/lib/bag.cmi Ocamlc src/lib/bag.cmo Ocamlc src/lib/indexer.cmi Ocamlc src/lib/indexer.cmo Ocamlc src/lib/vector.cmi Ocamlc src/lib/vector.cmo Ocamlc src/lib/bitvector.cmi Ocamlc src/lib/bitvector.cmo Ocamlc src/lib/qstack.cmi Ocamlc src/lib/qstack.cmo Ocamlc src/lib/integer.cmi Ocamlc src/lib/integer.cmo Ocamlc src/lib/filepath.cmi Ocamlc src/lib/filepath.cmo Ocamlc src/kernel/config.cmi Ocamlc src/kernel/config.cmo Ocamlc src/kernel/log.cmi Ocamlc src/kernel/log.cmo Ocamlc src/kernel/cmdline.cmi Ocamlc src/kernel/cmdline.cmo Ocamlc src/project/project_skeleton.cmi Ocamlc src/project/project_skeleton.cmo Ocamlc src/type/datatype.cmi Ocamlc src/type/datatype.cmo Ocamlc src/kernel/journal.cmi Ocamlc src/kernel/journal.cmo Ocamlc src/project/state.cmi Ocamlc src/project/state.cmo Ocamlc src/project/state_dependency_graph.cmi Ocamlc src/project/state_dependency_graph.cmo Ocamlc src/project/state_topological.cmi Ocamlc src/project/state_topological.cmo Ocamlc src/project/state_selection.cmi Ocamlc src/project/state_selection.cmo Ocamlc src/project/project.cmi Ocamlc src/project/project.cmo Ocamlc src/project/state_builder.cmi Ocamlc src/project/state_builder.cmo Ocamlc src/kernel/typed_parameter.cmi Ocamlc src/kernel/typed_parameter.cmo Ocamlc src/kernel/dynamic.cmi Ocamlc src/kernel/dynamic.cmo Ocamlc cil/src/cil_types.cmi Ocamlc src/kernel/parameter_customize.cmi Ocamlc src/kernel/parameter_customize.cmo Ocamlc src/kernel/parameter_sig.cmi Ocamlc src/kernel/parameter_state.cmi Ocamlc src/kernel/parameter_state.cmo Ocamlc src/kernel/parameter_builder.cmi Ocamlc src/kernel/parameter_builder.cmo Ocamlc src/kernel/plugin.cmi Ocamlc src/kernel/plugin.cmo Ocamlc src/kernel/kernel.cmi Ocamlc src/kernel/kernel.cmo Ocamlc src/kernel/emitter.cmi Ocamlc src/kernel/emitter.cmo Ocamlc src/lib/floating_point.cmi Ocamlc src/lib/floating_point.cmo Ocamlc src/lib/rangemap.cmi Ocamlc src/lib/rangemap.cmo Ocamlc src/lib/binary_cache.cmi Ocamlc src/lib/binary_cache.cmo Ocamlc external/hptmap.cmi Ocamlc external/hptmap.cmo Ocamlc src/lib/hptset.cmi Ocamlc src/lib/hptset.cmo Ocamlc src/printer/printer_api.cmi Ocamlc src/printer/printer_builder.cmi Ocamlc src/printer/printer_builder.cmo Ocamlc cil/src/cilmsg.cmi Ocamlc cil/src/cilmsg.cmo Ocamlc cil/ocamlutil/alpha.cmi Ocamlc cil/ocamlutil/alpha.cmo Ocamlc cil/ocamlutil/cilconfig.cmi Ocamlc cil/ocamlutil/cilconfig.cmo Ocamlc cil/src/logic/logic_ptree.cmi Ocamlc cil/src/frontc/cabs.cmo Ocamlc cil/src/cil_datatype.cmi Ocamlc cil/src/cil_datatype.cmo Ocamlc cil/src/cil_state_builder.cmi Ocamlc cil/src/cil_state_builder.cmo Ocamlc cil/src/logic/utf8_logic.cmi Ocamlc cil/src/logic/utf8_logic.cmo Ocamlc cil/src/machdep_x86_16.cmi Ocamlc cil/src/machdep_x86_16.cmo Ocamlc cil/src/machdep_x86_32.cmi Ocamlc cil/src/machdep_x86_32.cmo Ocamlc cil/src/machdep_x86_64.cmi Ocamlc cil/src/machdep_x86_64.cmo Ocamlc cil/src/machdep_ppc_32.cmo Ocamlc cil/src/cil_const.cmi Ocamlc cil/src/cil_const.cmo Ocamlc cil/src/logic/logic_env.cmi Ocamlc cil/src/logic/logic_env.cmo Ocamlc cil/src/escape.cmi Ocamlc cil/src/escape.cmo Ocamlc cil/src/logic/logic_const.cmi Ocamlc cil/src/logic/logic_const.cmo Ocamlc cil/src/cil.cmi Ocamlc cil/src/cil.cmo Ocamlc src/printer/cil_printer.cmi Ocamlc src/printer/cil_printer.cmo Ocamlc src/printer/cil_descriptive_printer.cmi Ocamlc src/printer/cil_descriptive_printer.cmo Ocamlc cil/src/frontc/errorloc.cmi Ocamlc cil/src/frontc/errorloc.cmo Ocamlc cil/src/ext/expcompare.cmo Ocamlc cil/src/frontc/cabs_debug.cmi Ocamlc cil/src/frontc/cabs_debug.cmo Ocamlc cil/src/frontc/cabshelper.cmi Ocamlc cil/src/frontc/cabshelper.cmo Ocamlc cil/src/logic/logic_utils.cmi Ocamlc cil/src/logic/logic_utils.cmo Ocamlc cil/src/logic/logic_builtin.cmi Ocamlc cil/src/logic/logic_builtin.cmo Ocamlc cil/src/logic/logic_print.cmi Ocamlc cil/src/logic/logic_print.cmo Ocamlc cil/src/logic/logic_parser.cmi Ocamlc cil/src/logic/logic_parser.cmo Ocamlc cil/src/logic/logic_lexer.cmo Ocamlc cil/src/frontc/lexerhack.cmo Ocamlc cil/src/mergecil.cmi Ocamlc cil/src/mergecil.cmo Ocamlc cil/src/rmtmps.cmi Ocamlc cil/src/rmtmps.cmo Ocamlc cil/src/logic/logic_typing.cmi Ocamlc cil/src/logic/logic_typing.cmo Ocamlc cil/src/frontc/cprint.cmi Ocamlc cil/src/frontc/cprint.cmo Ocamlc cil/src/frontc/cabscond.cmi Ocamlc cil/src/frontc/cabscond.cmo Ocamlc cil/src/frontc/cabsvisit.cmi Ocamlc cil/src/frontc/cabsvisit.cmo Ocamlc cil/src/frontc/cabs2cil.cmi Ocamlc cil/src/frontc/cabs2cil.cmo Ocamlc cil/src/frontc/cparser.cmi Ocamlc cil/src/frontc/clexer.cmi Ocamlc cil/src/frontc/clexer.cmo Ocamlc cil/src/frontc/cparser.cmo Ocamlc cil/src/logic/logic_preprocess.cmi Ocamlc cil/src/logic/logic_preprocess.cmo Ocamlc cil/src/frontc/frontc.cmi Ocamlc cil/src/frontc/frontc.cmo Ocamlc cil/src/ext/callgraph.cmi Ocamlc cil/src/ext/callgraph.cmo Ocamlc cil/src/ext/dataflow.cmi Ocamlc cil/src/ext/dataflow.cmo Ocamlc cil/src/ext/oneret.cmi Ocamlc cil/src/ext/oneret.cmo Ocamlc cil/src/ext/cfg.cmi Ocamlc cil/src/ext/cfg.cmo Ocamlc src/buckx/buckx.cmi Ocamlc src/buckx/buckx.cmo Ocamlc src/kernel/ast_info.cmi Ocamlc src/kernel/ast_info.cmo Ocamlc src/kernel/ast.cmi Ocamlc src/kernel/ast.cmo Ocamlc src/kernel/globals.cmi Ocamlc src/kernel/globals.cmo Ocamlc src/kernel/kernel_function.cmi Ocamlc src/kernel/kernel_function.cmo Ocamlc src/logic/property.cmi Ocamlc src/logic/property.cmo Ocamlc src/logic/property_status.cmi Ocamlc src/logic/property_status.cmo File "src/logic/property_status.ml", line 1444, characters 4-2019: Error: Signature mismatch: ... Values do not match: val vertex_attributes : v -> [> `Color of int | `Label of string | `Shape of [> `Box | `Diamond ] | `Style of [> `Bold | `Filled ] | `Width of float ] list is not included in val vertex_attributes : V.t -> Graph.Graphviz.DotAttributes.vertex list File "src/logic/property_status.ml", line 1479, characters 16-33: Actual declaration share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo' failed gmake: *** [src/logic/property_status.cmo] Error 2 *** Error code 1 Stop in /usr/ports/devel/frama-c.