[package - 10amd64-default][devel/frama-c] Failed for frama-c-20140301_2 in build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Wed Jan 28 20:37:39 UTC 2015
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 at FreeBSD.org
Last committer: gerald at 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/10amd64-default/2015-01-28_05h16m48s/logs/frama-c-20140301_2.log
Build URL: http://beefy2.isc.freebsd.org/build.html?mastername=10amd64-default&build=2015-01-28_05h16m48s
Log:
====>> Building devel/frama-c
build started at Wed Jan 28 20:36:14 UTC 2015
port directory: /usr/ports/devel/frama-c
building for: FreeBSD 10amd64-default-job-15 10.0-RELEASE-p9 FreeBSD 10.0-RELEASE-p9 amd64
maintained by: bf at 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: 1000510
---Begin Environment---
OSVERSION=1000510
UNAME_v=FreeBSD 10.0-RELEASE-p9
UNAME_r=10.0-RELEASE-p9
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/.m/10amd64-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/10amd64-default/ref/.p/pool
MASTERNAME=10amd64-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=10.0
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---
=======================<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
[10amd64-default-job-15] Installing pkg-1.4.7...
[10amd64-default-job-15] 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
[10amd64-default-job-15] Installing ocaml-4.01.0_4...
[10amd64-default-job-15] `-- Installing libX11-1.6.2_2,1...
[10amd64-default-job-15] | `-- Installing kbproto-1.0.6...
[10amd64-default-job-15] | `-- Extracting kbproto-1.0.6... done
[10amd64-default-job-15] | `-- Installing libXau-1.0.8_2...
[10amd64-default-job-15] | | `-- Installing xproto-7.0.26...
[10amd64-default-job-15] | | `-- Extracting xproto-7.0.26... done
[10amd64-default-job-15] | `-- Extracting libXau-1.0.8_2... done
[10amd64-default-job-15] | `-- Installing libXdmcp-1.1.1_2...
[10amd64-default-job-15] | `-- Extracting libXdmcp-1.1.1_2... done
[10amd64-default-job-15] | `-- Installing libxcb-1.11...
[10amd64-default-job-15] | | `-- Installing libpthread-stubs-0.3_6...
[10amd64-default-job-15] | | `-- Extracting libpthread-stubs-0.3_6... done
[10amd64-default-job-15] | | `-- Installing libxml2-2.9.2_2...
[10amd64-default-job-15] | | `-- Extracting libxml2-2.9.2_2... done
[10amd64-default-job-15] | `-- Extracting libxcb-1.11... done
[10amd64-default-job-15] `-- Extracting libX11-1.6.2_2,1... done
[10amd64-default-job-15] `-- Installing tk86-8.6.3...
[10amd64-default-job-15] | `-- Installing libXScrnSaver-1.2.2_2...
[10amd64-default-job-15] | | `-- Installing libXext-1.3.3,1...
[10amd64-default-job-15] | | `-- Installing xextproto-7.3.0...
[10amd64-default-job-15] | | `-- Extracting xextproto-7.3.0... done
[10amd64-default-job-15] | | `-- Extracting libXext-1.3.3,1... done
[10amd64-default-job-15] | | `-- Installing scrnsaverproto-1.2.2...
[10amd64-default-job-15] | | `-- Extracting scrnsaverproto-1.2.2... done
[10amd64-default-job-15] | `-- Extracting libXScrnSaver-1.2.2_2... done
[10amd64-default-job-15] | `-- Installing libXft-2.3.2...
[10amd64-default-job-15] | | `-- Installing fontconfig-2.11.1,1...
[10amd64-default-job-15] | | `-- Installing expat-2.1.0_2...
[10amd64-default-job-15] | | `-- Extracting expat-2.1.0_2... done
[10amd64-default-job-15] | | `-- Installing freetype2-2.5.5...
[10amd64-default-job-15] | | `-- Extracting freetype2-2.5.5... done
[10amd64-default-job-15] | | `-- 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
[10amd64-default-job-15] | | `-- Installing libXrender-0.9.8_2...
[10amd64-default-job-15] | | `-- Installing renderproto-0.11.1...
[10amd64-default-job-15] | | `-- Extracting renderproto-0.11.1... done
[10amd64-default-job-15] | | `-- Extracting libXrender-0.9.8_2... done
[10amd64-default-job-15] | `-- Extracting libXft-2.3.2... done
[10amd64-default-job-15] | `-- Installing tcl86-8.6.3...
[10amd64-default-job-15] | `-- Extracting tcl86-8.6.3... done
<snip>
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[1]: *** [src/logic/property_status.cmo] Error 2
gmake[1]: Leaving directory '/wrkdirs/usr/ports/devel/frama-c/work/frama-c-Neon-20140301'
*** Error code 1
Stop.
make: stopped in /usr/ports/devel/frama-c
More information about the freebsd-pkg-fallout
mailing list