Date: Thu, 29 Jan 2015 15:44:28 GMT From: pkg-fallout@FreeBSD.org To: bf@FreeBSD.org Cc: pkg-fallout@FreeBSD.org Subject: [package - 93amd64-default][devel/frama-c] Failed for frama-c-20140301_2 in build Message-ID: <201501291544.t0TFiSZY082699@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: 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/93amd64-default/2015-01-28_22h41m53s/logs/frama-c-20140301_2.log Build URL: http://beefy2.isc.freebsd.org/build.html?mastername=93amd64-default&build=2015-01-28_22h41m53s Log: ====>> Building devel/frama-c build started at Thu Jan 29 15:43:03 UTC 2015 port directory: /usr/ports/devel/frama-c building for: FreeBSD 93amd64-default-job-21 9.3-RELEASE-p7 FreeBSD 9.3-RELEASE-p7 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: 903000 ---Begin Environment--- OSVERSION=903000 UNAME_v=FreeBSD 9.3-RELEASE-p7 UNAME_r=9.3-RELEASE-p7 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/.m/93amd64-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/93amd64-default/ref/.p/pool MASTERNAME=93amd64-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=9.3 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 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--- =======================<phase: check-sanity >============================ ===> License LGPL21 accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> 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 [93amd64-default-job-21] Installing pkg-1.4.7... [93amd64-default-job-21] 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 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License LGPL21 accepted by the user ===> Fetching all distfiles required by frama-c-20140301_2 for building =========================================================================== =======================<phase: checksum >============================ ===> 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. =========================================================================== =======================<phase: extract-depends>============================ ===> 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 [93amd64-default-job-21] Installing ocaml-4.01.0_4... [93amd64-default-job-21] `-- Installing libX11-1.6.2_2,1... [93amd64-default-job-21] | `-- Installing kbproto-1.0.6... [93amd64-default-job-21] | `-- Extracting kbproto-1.0.6... done [93amd64-default-job-21] | `-- Installing libXau-1.0.8_2... [93amd64-default-job-21] | | `-- Installing xproto-7.0.26... [93amd64-default-job-21] | | `-- Extracting xproto-7.0.26... done [93amd64-default-job-21] | `-- Extracting libXau-1.0.8_2... done [93amd64-default-job-21] | `-- Installing libXdmcp-1.1.1_2... [93amd64-default-job-21] | `-- Extracting libXdmcp-1.1.1_2... done [93amd64-default-job-21] | `-- Installing libxcb-1.11... [93amd64-default-job-21] | | `-- Installing libpthread-stubs-0.3_6... [93amd64-default-job-21] | | `-- Extracting libpthread-stubs-0.3_6... done [93amd64-default-job-21] | | `-- Installing libxml2-2.9.2_2... [93amd64-default-job-21] | | `-- Installing libiconv-1.14_6... [93amd64-default-job-21] | | `-- Extracting libiconv-1.14_6... done [93amd64-default-job-21] | | `-- Extracting libxml2-2.9.2_2... done [93amd64-default-job-21] | `-- Extracting libxcb-1.11... done [93amd64-default-job-21] `-- Extracting libX11-1.6.2_2,1... done [93amd64-default-job-21] `-- Installing tk86-8.6.3... [93amd64-default-job-21] | `-- Installing libXScrnSaver-1.2.2_2... [93amd64-default-job-21] | | `-- Installing libXext-1.3.3,1... [93amd64-default-job-21] | | `-- Installing xextproto-7.3.0... [93amd64-default-job-21] | | `-- Extracting xextproto-7.3.0... done [93amd64-default-job-21] | | `-- Extracting libXext-1.3.3,1... done [93amd64-default-job-21] | | `-- Installing scrnsaverproto-1.2.2... [93amd64-default-job-21] | | `-- Extracting scrnsaverproto-1.2.2... done [93amd64-default-job-21] | `-- Extracting libXScrnSaver-1.2.2_2... done [93amd64-default-job-21] | `-- Installing libXft-2.3.2... [93amd64-default-job-21] | | `-- Installing fontconfig-2.11.1,1... [93amd64-default-job-21] | | `-- Installing expat-2.1.0_2... [93amd64-default-job-21] | | `-- Extracting expat-2.1.0_2... done [93amd64-default-job-21] | | `-- Installing freetype2-2.5.5... [93amd64-default-job-21] | | `-- Extracting freetype2-2.5.5... done [93amd64-default-job-21] | | `-- 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 [93amd64-default-job-21] | | `-- Installing libXrender-0.9.8_2... [93amd64-default-job-21] | | `-- Installing renderproto-0.11.1... [93amd64-default-job-21] | | `-- Extracting renderproto-0.11.1... done [93amd64-default-job-21] | | `-- Extracting libXrender-0.9.8_2... done [93amd64-default-job-21] | `-- Extracting libXft-2.3.2... done [93amd64-default-job-21] | `-- Installing tcl86-8.6.3... [93amd64-default-job-21] | `-- Extracting tcl86-8.6.3... done [93amd64-default-job-21] `-- Extracting tk86-8.6.3... done <snip> 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 *** [do-build] Error code 1 Stop in /usr/ports/devel/frama-c.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201501291544.t0TFiSZY082699>