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:     b...@freebsd.org
Last committer: b...@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/10i386-default/2014-05-08_06h23m23s/logs/frama-c-20120901.log
Build URL:      
http://beefy1.isc.freebsd.org/bulk/10i386-default/2014-05-08_06h23m23s
Log:

====>> Building devel/frama-c
build started at Thu May  8 12:07:30 UTC 2014
port directory: /usr/ports/devel/frama-c
building for: FreeBSD 10i386-default-job-18 10.0-RELEASE-p1 FreeBSD 
10.0-RELEASE-p1 i386
maintained by: b...@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: 1000510

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=1000510
UNAME_v=FreeBSD 10.0-RELEASE-p1
UNAME_r=10.0-RELEASE-p1
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/10i386-default/ref
PKG_EXT=txz
tpid=61160
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/10i386-default/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/10i386-default/ref/poudriere/pool
MASTERNAME=10i386-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=10.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
=======================<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... 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.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
Installing glib-2.36.3_2...Installing libffi-3.0.13_1... done
Installing libiconv-1.14_3... done
Installing pcre-8.34... done
Installing perl5-5.16.3_9... done
Installing python27-2.7.6_4... done
No schema files found: doing nothing.
 done
Installing libIDL-0.8.14_2... done
 done
Installing atk-2.8.0...Installing gnomehier-3.0... done
<snip>
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
_______________________________________________
freebsd-pkg-fallout@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout
To unsubscribe, send any mail to "freebsd-pkg-fallout-unsubscr...@freebsd.org"

Reply via email to