Date: Thu, 1 May 2014 01:38:51 GMT From: pkg-fallout-builder@FreeBSD.org To: bf@FreeBSD.org Cc: pkg-fallout@FreeBSD.org Subject: [REL - 83amd64-default][devel/frama-c] Failed for frama-c-20120901 in build Message-ID: <201405010138.s411cpPY014605@beefy2.isc.freebsd.org>
next in thread | raw e-mail | index | archive | help
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://beefy2.isc.freebsd.org/bulk/83amd64-default/2014-04-30_16h45m11s/logs/frama-c-20120901.log Build URL: http://beefy2.isc.freebsd.org/bulk/83amd64-default/2014-04-30_16h45m11s Log: ====>> Building devel/frama-c build started at Thu May 1 01:37:35 UTC 2014 port directory: /usr/ports/devel/frama-c building for: FreeBSD 83amd64-default-job-11 8.3-RELEASE-p15 FreeBSD 8.3-RELEASE-p15 amd64 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: 803000 ---Begin Environment--- OSVERSION=803000 UNAME_v=FreeBSD 8.3-RELEASE-p15 UNAME_r=8.3-RELEASE-p15 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/83amd64-default/ref PKG_EXT=txz tpid=41086 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/83amd64-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/83amd64-default/ref/poudriere/pool MASTERNAME=83amd64-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=8.3 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--- 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 =======================<phase: check-sanity >============================ ===> License LGPL21 accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> 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 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20120901 for building =========================================================================== =======================<phase: checksum >============================ ===> 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. =========================================================================== =======================<phase: extract-depends>============================ ===> 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...Installing libiconv-1.14_3... done 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 =========================================================================== =======================<phase: extract >============================ ===> 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. =========================================================================== =======================<phase: patch-depends >============================ ===> frama-c-20120901 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =======================<phase: patch >============================ ===> Patching for frama-c-20120901 =========================================================================== =======================<phase: build-depends >============================ ===> 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.3.txz Installing ocaml-ocamlgraph-1.8.3...Installing libXrandr-1.4.2_2...Installing randrproto-1.4.0... done done Installing libXinerama-1.1.3_2,1...Installing xineramaproto-1.2.1... done done Installing libXi-1.7.2_2,1...Installing inputproto-2.3... done Installing libXfixes-5.0.1_2...Installing fixesproto-5.0... done done done Installing libXdamage-1.1.4_2...Installing damageproto-1.2.1... done done Installing libXcursor-1.1.14_2... done Installing libXcomposite-0.4.4_2,1...Installing compositeproto-0.4.2... done done Installing pango-1.34.1_4...Installing cairo-1.10.2_10,2...Installing glib-2.36.3_2...Installing gettext-0.18.3.1... done Installing libffi-3.0.13_1... done <snip> The first one was selected. Please disambiguate if this is wrong. Ocamlc src/type/descr.cmi 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: *** [cil/ocamlutil/setWithNearest.cmo] Error 2 *** Error code 1 Stop in /usr/ports/devel/frama-c. ===> Cleaning for frama-c-20120901
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201405010138.s411cpPY014605>