From owner-freebsd-pkg-fallout@FreeBSD.ORG Fri May 9 02:31:18 2014 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 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id E4391E54; Fri, 9 May 2014 02:31:18 +0000 (UTC) Received: from beefy1.isc.freebsd.org (beefy1.isc.freebsd.org [IPv6:2001:4f8:3:ffe0:4072:0:16:38]) (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 C078D289; Fri, 9 May 2014 02:31:18 +0000 (UTC) Received: from beefy1.isc.freebsd.org (localhost [127.0.0.1]) by beefy1.isc.freebsd.org (8.14.8/8.14.8) with ESMTP id s492VIaR096611; Fri, 9 May 2014 02:31:18 GMT (envelope-from pkg-fallout-builder@FreeBSD.org) Received: (from root@localhost) by beefy1.isc.freebsd.org (8.14.8/8.14.8/Submit) id s492VI8S096609; Fri, 9 May 2014 02:31:18 GMT (envelope-from pkg-fallout-builder@FreeBSD.org) Date: Fri, 9 May 2014 02:31:18 GMT From: pkg-fallout-builder@FreeBSD.org Message-Id: <201405090231.s492VI8S096609@beefy1.isc.freebsd.org> To: bf@FreeBSD.org Subject: [REL - head-i386-default][devel/frama-c] Failed for frama-c-20120901 in build Cc: pkg-fallout@FreeBSD.org X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 09 May 2014 02:31:19 -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: bapt@FreeBSD.org Ident: $FreeBSD: head/devel/frama-c/Makefile 327723 2013-09-20 17:04:43Z bapt $ Log URL: http://beefy1.isc.freebsd.org/bulk/head-i386-default/2014-05-08_19h11m27s/logs/frama-c-20120901.log Build URL: http://beefy1.isc.freebsd.org/bulk/head-i386-default/2014-05-08_19h11m27s Log: ====>> Building devel/frama-c build started at Fri May 9 02:29:56 UTC 2014 port directory: /usr/ports/devel/frama-c building for: FreeBSD head-i386-default-job-04 11.0-CURRENT FreeBSD 11.0-CURRENT r264257 i386 maintained by: bf@FreeBSD.org Makefile ident: $FreeBSD: head/devel/frama-c/Makefile 327723 2013-09-20 17:04:43Z bapt $ Poudriere version: 3.1-pre Host OSVERSION: 1100013 Jail OSVERSION: 1100018 !!! Jail is newer than host. (Jail: 1100018, Host: 1100013) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=1100018 UNAME_v=FreeBSD 11.0-CURRENT r264257 UNAME_r=11.0-CURRENT BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/head-i386-default/ref PKG_EXT=txz tpid=62001 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=frama-c-20120901 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/head-i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/head-i386-default/ref/poudriere/pool MASTERNAME=head-i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---End Environment--- ---Begin OPTIONS List--- ===> The following configuration options are available for frama-c-20120901: 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-- TMPDIR="/tmp" HAS_COQ=no 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" TMPDIR="/tmp" TMPDIR="/tmp" SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" CXX="c++" CXXFLAGS="-O2 -pipe -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 444" BSD_INSTALL_MAN="install -o root -g wheel -m 444" --End MAKE_ENV-- --PLIST_SUB-- GUI="" PLUGINS="" OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=11.0 PREFIX=%D LOCALBASE=/usr/local PORTDOCS="" PORTEXAMPLES="" PORTDATA="" 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-- 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--- ARCH=i386 MACHINE=i386 MACHINE_ARCH=i386 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 NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- ===> Cleaning for frama-c-20120901 =================================================== ===> License LGPL21 accepted by the user =========================================================================== =================================================== ===> frama-c-20120901 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.2.7_2.txz Installing pkg-1.2.7_2... done If you are upgrading from the old package format, first run: # pkg2ng ===> Returning to build of frama-c-20120901 =========================================================================== =================================================== =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20120901 for building =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20120901 for building => SHA256 Checksum OK for frama-c-Oxygen-20120901.tar.gz. =========================================================================== =================================================== ===> frama-c-20120901 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_1.txz Installing ocaml-4.01.0_1...Installing libX11-1.6.2_2,1...Installing kbproto-1.0.6... done Installing libXau-1.0.8_2...Installing xproto-7.0.25... done done Installing libXdmcp-1.1.1_2... done Installing libxcb-1.10_2...Installing libpthread-stubs-0.3_4... done Installing libxml2-2.8.0_5... done done done Installing tk86-8.6.1...Installing libXScrnSaver-1.2.2_2...Installing libXext-1.3.2_2,1...Installing xextproto-7.3.0... done done Installing scrnsaverproto-1.2.2... done done Installing libXft-2.3.1_2...Installing fontconfig-2.11.0_2,1...Installing expat-2.1.0... done Installing freetype2-2.5.3_2... done Running fc-cache to build fontconfig cache... /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: caching, new cache contents: 0 fonts, 1 dirs /usr/local/lib/X11/fonts/local: caching, new cache contents: 0 fonts, 0 dirs /root/.local/share/fonts: skipping, no such directory /root/.fonts: skipping, no such directory /usr/local/share/fonts: skipping, no such directory /usr/local/lib/X11/fonts: caching, new cache contents: 0 fonts, 1 dirs /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 done Installing libXrender-0.9.8_2...Installing renderproto-0.11.1... done done done Installing tcl86-8.6.1... done done done ===> Returning to build of frama-c-20120901 =========================================================================== =================================================== ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20120901 for building ===> Extracting for frama-c-20120901 => SHA256 Checksum OK for frama-c-Oxygen-20120901.tar.gz. =========================================================================== =================================================== ===> frama-c-20120901 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===> Patching for frama-c-20120901 =========================================================================== =================================================== ===> frama-c-20120901 depends on file: /usr/local/lib/ocaml/ocamlgraph/graph.a - not found ===> Verifying install for /usr/local/lib/ocaml/ocamlgraph/graph.a in /usr/ports/math/ocaml-ocamlgraph ===> Installing existing package /packages/All/ocaml-ocamlgraph-1.8.5.txz Installing ocaml-ocamlgraph-1.8.5...Installing ocaml-findlib-1.4.1_1... done Installing ocaml-lablgtk2-2.16.0...Installing libgnome-2.32.0_3...Installing ORBit2-2.14.19_1...Installing gettext-0.18.3.1... done Ocamlc src/type/descr.cmo Ocamlc src/lib/hashtbl_common_interface.cmi Ocamlc src/lib/hashtbl_common_interface.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/bitvector.cmi Ocamlc src/lib/bitvector.cmo Ocamlc src/lib/qstack.cmi Ocamlc src/lib/qstack.cmo Ocamlc src/lib/my_bigint.cmi Ocamlc src/lib/my_bigint.cmo Ocamlc src/kernel/config.cmi Ocamlc src/kernel/config.cmo Ocamlc src/kernel/log.cmi Ocamlc src/kernel/log.cmo File "src/kernel/log.ml", line 566, characters 27-33: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 566, characters 11-19: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 577, characters 11-17: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 706, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 706, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 718, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 718, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 730, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 730, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 755, characters 31-37: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 755, characters 15-23: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 766, characters 29-35: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 766, characters 13-21: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 775, characters 29-35: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 775, characters 13-21: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 784, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 794, characters 29-35: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 794, characters 13-21: Warning 43: the label emitwith is not optional. File "src/kernel/log.ml", line 803, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 816, characters 15-21: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 825, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 833, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 841, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 849, characters 13-19: Warning 43: the label append is not optional. File "src/kernel/log.ml", line 858, characters 13-19: Warning 43: the label append is not optional. 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/kernel/parameter.cmi Ocamlc src/kernel/parameter.cmo Ocamlc src/project/state.cmi Ocamlc src/project/state.cmo File "src/project/state.ml", line 104, characters 47-58: Warning 41: unique_name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 106, characters 34-45: Warning 41: unique_name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 111, characters 57-68: Warning 41: unique_name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 114, characters 57-68: Warning 41: unique_name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 127, characters 19-23: Warning 41: name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 128, characters 26-37: Warning 41: unique_name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 132, characters 21-25: Warning 41: name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 157, characters 16-27: Warning 41: unique_name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. File "src/project/state.ml", line 162, characters 16-27: Warning 41: unique_name belongs to several types: state Project_skeleton.t The first one was selected. Please disambiguate if this is wrong. Ocamlc src/kernel/dynamic.cmi Ocamlc src/kernel/dynamic.cmo Ocamlc src/lib/rangemap.cmi Ocamlc src/lib/rangemap.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 File "src/project/project.ml", line 376, characters 0-21: Warning 44: this open statement shadows the value identifier set_current (which is later used) Ocamlc src/project/state_builder.cmi Ocamlc src/project/state_builder.cmo Ocamlc cil/src/cil_types.cmi Ocamlc src/kernel/plugin.cmi Ocamlc src/kernel/plugin.cmo Ocamlc src/kernel/kernel.cmi Ocamlc src/kernel/kernel.cmo Ocamlc src/kernel/floating_point.cmi Ocamlc src/kernel/floating_point.cmo Ocamlc src/kernel/emitter.cmi Ocamlc src/kernel/emitter.cmo Ocamlc src/lib/binary_cache.cmi Ocamlc src/lib/binary_cache.cmo Ocamlc external/hptmap.cmi Ocamlc external/hptmap.cmo File "external/hptmap.ml", line 1048, characters 35-36: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 1034, characters 35-36: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 1028, characters 13-14: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 953, characters 40-41: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 938, characters 40-41: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 929, characters 18-19: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 884, characters 40-41: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 869, characters 40-41: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 861, characters 18-19: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 684, characters 38-39: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 678, characters 38-39: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 672, characters 16-17: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 496, characters 38-39: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 492, characters 38-39: Warning 3: deprecated feature: operator (&); you should use (&&) instead File "external/hptmap.ml", line 472, characters 16-17: Warning 3: deprecated feature: operator (&); you should use (&&) instead Ocamlc src/lib/hptset.cmi Ocamlc src/lib/hptset.cmo Ocamlc cil/src/cilmsg.cmi Ocamlc cil/src/cilmsg.cmo Ocamlc cil/ocamlutil/alpha.cmi Ocamlc cil/ocamlutil/alpha.cmo Ocamlc cil/ocamlutil/clist.cmi Ocamlc cil/ocamlutil/clist.cmo Ocamlc cil/ocamlutil/growArray.cmi Ocamlc cil/ocamlutil/growArray.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/ocamlutil/cilutil.cmi Ocamlc cil/ocamlutil/cilutil.cmo Ocamlc cil/ocamlutil/setWithNearest.cmi Ocamlc cil/ocamlutil/setWithNearest.cmo File "cil/ocamlutil/setWithNearest.ml", line 369, characters 5-39: Error: Signature mismatch: ... The field `find' is required but not provided gmake[1]: *** [cil/ocamlutil/setWithNearest.cmo] Error 2 gmake[1]: Leaving directory `/wrkdirs/usr/ports/devel/frama-c/work/frama-c-Oxygen-20120901' *** Error code 1 Stop. make: stopped in /usr/ports/devel/frama-c ===> Cleaning for frama-c-20120901