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: mar...@freebsd.org Last committer: mar...@freebsd.org Ident: $FreeBSD: head/math/why3-spark/Makefile 403466 2015-12-10 20:20:22Z marino $ Log URL: http://beefy4.nyi.freebsd.org/data/head-amd64-default/p406625_s294299/logs/why3-spark-2015.log Build URL: http://beefy4.nyi.freebsd.org/build.html?mastername=head-amd64-default&build=p406625_s294299 Log: ====>> Building math/why3-spark build started at Tue Jan 19 23:16:43 UTC 2016 port directory: /usr/ports/math/why3-spark building for: FreeBSD head-amd64-default-job-08 11.0-CURRENT FreeBSD 11.0-CURRENT r294299 amd64 maintained by: mar...@freebsd.org Makefile ident: $FreeBSD: head/math/why3-spark/Makefile 403466 2015-12-10 20:20:22Z marino $ Poudriere version: 3.1.10 Host OSVERSION: 1100091 Jail OSVERSION: 1100094 !!! Jail is newer than host. (Jail: 1100094, Host: 1100091) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh UNAME_v=FreeBSD 11.0-CURRENT r294299 UNAME_r=11.0-CURRENT BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 OPSYS=FreeBSD ARCH=amd64 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/.m/head-amd64-default/ref UID=0 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin _JAVA_VERSION_LIST_REGEXP=1.6\|1.7\|1.8\|1.6+\|1.7+\|1.8+ POUDRIERE_BUILD_TYPE=bulk PKGNAME=why3-spark-2015 OSREL=11.0 _OSRELEASE=11.0-CURRENT PYTHONBASE=/usr/local OLDPWD=/ _SMP_CPUS=24 PWD=/usr/local/poudriere/data/.m/head-amd64-default/ref/.p/pool HAVE_COMPAT_IA32_KERN=YES LINUX_OSRELEASE=2.6.32 MASTERNAME=head-amd64-default SCRIPTPREFIX=/usr/local/share/poudriere _JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun USER=root HOME=/root POUDRIERE_VERSION=3.1.10 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh CONFIGURE_MAX_CMD_LEN=262144 LIBEXECPREFIX=/usr/local/libexec/poudriere LOCALBASE=/usr/local PACKAGE_BUILDING=yes _JAVA_OS_LIST_REGEXP=native\|linux OSVERSION=1100094 ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --enable-relocation --disable-doc --disable-pvs-libs --disable-profiling --disable-coq-tactic --disable-coq-libs --disable-isabelle-libs --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/why3-spark/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/why3-spark/work HOME=/wrkdirs/usr/ports/math/why3-spark/work TMPDIR="/tmp" 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-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/why3-spark/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/why3-spark/work HOME=/wrkdirs/usr/ports/math/why3-spark/work TMPDIR="/tmp" NO_PIE=yes NO_DEBUG_FILES=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 -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=11.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib DOCSDIR="share/doc/why3" EXAMPLESDIR="share/examples/why3" DATADIR="share/why3" WWWDIR="www/why3" ETCDIR="etc/why3" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/why3 DOCSDIR=/usr/local/share/doc/why3 EXAMPLESDIR=/usr/local/share/examples/why3 WWWDIR=/usr/local/www/why3 ETCDIR=/usr/local/etc/why3 --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 #### DISABLE_MAKE_JOBS=poudriere ---End make.conf--- =======================<phase: check-sanity >============================ ===> License LGPL21 GPLv3 accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> why3-spark-2015 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.6.2.txz [head-amd64-default-job-08] Installing pkg-1.6.2... [head-amd64-default-job-08] Extracting pkg-1.6.2: .......... done Message from pkg-1.6.2: If you are upgrading from the old package format, first run: # pkg2ng ===> why3-spark-2015 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of why3-spark-2015 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License LGPL21 GPLv3 accepted by the user ===> Fetching all distfiles required by why3-spark-2015 for building =========================================================================== =======================<phase: checksum >============================ ===> License LGPL21 GPLv3 accepted by the user ===> Fetching all distfiles required by why3-spark-2015 for building => SHA256 Checksum OK for why3-for-spark-gpl-2015-src.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ ===> why3-spark-2015 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.02.3.txz [head-amd64-default-job-08] Installing ocaml-4.02.3... [head-amd64-default-job-08] `-- Installing libX11-1.6.3,1... [head-amd64-default-job-08] | `-- Installing xproto-7.0.28... [head-amd64-default-job-08] | `-- Extracting xproto-7.0.28: .......... done [head-amd64-default-job-08] | `-- Installing kbproto-1.0.7... [head-amd64-default-job-08] | `-- Extracting kbproto-1.0.7: .......... done [head-amd64-default-job-08] | `-- Installing libXdmcp-1.1.2... [head-amd64-default-job-08] | `-- Extracting libXdmcp-1.1.2: ......... done [head-amd64-default-job-08] | `-- Installing libxcb-1.11.1... [head-amd64-default-job-08] | | `-- Installing libxml2-2.9.3... [head-amd64-default-job-08] | | `-- Extracting libxml2-2.9.3: .......... done [head-amd64-default-job-08] | | `-- Installing libpthread-stubs-0.3_6... [head-amd64-default-job-08] | | `-- Extracting libpthread-stubs-0.3_6: ..... done [head-amd64-default-job-08] | | `-- Installing libXau-1.0.8_3... [head-amd64-default-job-08] | | `-- Extracting libXau-1.0.8_3: .......... done [head-amd64-default-job-08] | `-- Extracting libxcb-1.11.1: .......... done [head-amd64-default-job-08] `-- Extracting libX11-1.6.3,1: .......... done [head-amd64-default-job-08] Extracting ocaml-4.02.3: .......... done ===> why3-spark-2015 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of why3-spark-2015 =========================================================================== =======================<phase: extract >============================ ===> License LGPL21 GPLv3 accepted by the user ===> Fetching all distfiles required by why3-spark-2015 for building ===> Extracting for why3-spark-2015 => SHA256 Checksum OK for why3-for-spark-gpl-2015-src.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ ===> why3-spark-2015 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =======================<phase: patch >============================ ===> Patching for why3-spark-2015 ===> Applying FreeBSD patches for why3-spark-2015 =========================================================================== =======================<phase: build-depends >============================ ===> why3-spark-2015 depends on executable: menhir - not found ===> Installing existing package /packages/All/menhir-20151112.txz [head-amd64-default-job-08] Installing menhir-20151112... [head-amd64-default-job-08] `-- Installing ocaml-findlib-1.6.1... [head-amd64-default-job-08] | `-- Installing ocaml-labltk-8.06.0... [head-amd64-default-job-08] | | `-- Installing tk85-8.5.18... [head-amd64-default-job-08] | | `-- Installing libXft-2.3.2_1... [head-amd64-default-job-08] | | | `-- Installing fontconfig-2.11.1_1,1... [head-amd64-default-job-08] | | | `-- Installing expat-2.1.0_3... [head-amd64-default-job-08] | | | `-- Extracting expat-2.1.0_3: .......... done [head-amd64-default-job-08] | | | `-- Installing freetype2-2.6.2... [head-amd64-default-job-08] | | | `-- Extracting freetype2-2.6.2: .......... done [head-amd64-default-job-08] | | | `-- Extracting fontconfig-2.11.1_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 [head-amd64-default-job-08] | | | `-- Installing libXrender-0.9.9... [head-amd64-default-job-08] | | | `-- Installing renderproto-0.11.1... [head-amd64-default-job-08] | | | `-- Extracting renderproto-0.11.1: .... done [head-amd64-default-job-08] | | | `-- Extracting libXrender-0.9.9: .......... done <snip> Ocamlopt src/util/extset.ml Ocamlc src/util/exthtbl.mli Ocamlopt src/util/exthtbl.ml Ocamlc src/util/weakhtbl.mli Ocamlopt src/util/weakhtbl.ml File "src/util/weakhtbl.ml", line 172, characters 4-68: Warning 50: unattached documentation comment (ignored) Ocamlc src/util/hashcons.mli Ocamlopt src/util/hashcons.ml Ocamlc src/util/stdlib.mli Ocamlopt src/util/stdlib.ml Ocamlc src/util/exn_printer.mli Ocamlopt src/util/exn_printer.ml Ocamlc src/util/pp.mli Ocamlopt src/util/pp.ml Ocamlc src/util/debug.mli Ocamlopt src/util/debug.ml File "src/util/debug.ml", line 67, characters 2-69: Warning 50: unattached documentation comment (ignored) File "src/util/debug.ml", line 183, characters 2-69: Warning 50: unattached documentation comment (ignored) Ocamlc src/util/loc.mli Ocamlopt src/util/loc.ml Ocamlc src/util/lexlib.mli Ocamlopt src/util/lexlib.ml File "src/util/lexlib.mll", line 101, characters 14-27: Warning 3: deprecated: String.create Use Bytes.create instead. File "src/util/lexlib.mll", line 103, characters 46-56: Warning 3: deprecated: String.set Use Bytes.set instead. Ocamlc src/util/print_tree.mli Ocamlopt src/util/print_tree.ml Ocamlc src/util/cmdline.mli Ocamlopt src/util/cmdline.ml File "src/util/cmdline.ml", line 46, characters 16-29: Warning 3: deprecated: String.create Use Bytes.create instead. File "src/util/cmdline.ml", line 48, characters 10-20: Warning 3: deprecated: String.set Use Bytes.set instead. Ocamlc src/util/warning.mli Ocamlopt src/util/warning.ml Ocamlc src/util/sysutil.mli File "src/util/sysutil.mli", line 71, characters 0-276: Warning 50: ambiguous documentation comment Ocamlopt src/util/sysutil.ml Ocamlc src/util/rc.mli File "src/util/rc.mli", line 35, characters 0-91: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 39, characters 0-67: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 41, characters 0-68: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 43, characters 0-60: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 45, characters 0-49: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 49, characters 0-43: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 57, characters 7-28: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 58, characters 13-38: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 59, characters 38-65: Warning 50: ambiguous documentation comment File "src/util/rc.mli", line 62, characters 14-32: Warning 50: ambiguous documentation comment Ocamlopt src/util/rc.ml File "src/util/rc.mll", line 67, characters 13-26: Warning 3: deprecated: String.create Use Bytes.create instead. File "src/util/rc.mll", line 73, characters 10-27: Warning 3: deprecated: String.unsafe_set File "src/util/rc.mll", line 76, characters 6-23: Warning 3: deprecated: String.unsafe_set Ocamlc src/util/plugin.mli Ocamlopt src/util/plugin.ml Ocamlc src/util/number.mli Ocamlopt src/util/number.ml File "src/util/number.ml", line 161, characters 14-25: Warning 3: deprecated: String.copy File "src/util/number.ml", line 161, characters 31-44: Warning 3: deprecated: String.set Use Bytes.set instead. Ocamlc src/util/pqueue.mli Ocamlopt src/util/pqueue.ml Ocamlc src/core/ident.mli Ocamlopt src/core/ident.ml Ocamlc src/core/ty.mli Ocamlopt src/core/ty.ml Ocamlc src/core/term.mli Ocamlopt src/core/term.ml Ocamlc src/core/pattern.mli Ocamlopt src/core/pattern.ml Ocamlc src/core/decl.mli Ocamlopt src/core/decl.ml Ocamlc src/core/theory.mli Ocamlopt src/core/theory.ml Ocamlc src/core/task.mli Ocamlopt src/core/task.ml Ocamlc src/core/pretty.mli Ocamlopt src/core/pretty.ml Ocamlc src/core/dterm.mli Ocamlopt src/core/dterm.ml Ocamlc src/core/env.mli Ocamlopt src/core/env.ml Ocamlc src/core/trans.mli Ocamlopt src/core/trans.ml Ocamlc src/core/printer.mli Ocamlopt src/core/printer.ml Ocamlc src/core/model_parser.mli Ocamlopt src/core/model_parser.ml Ocamlc src/driver/prove_client.mli Ocamlopt src/driver/prove_client.ml Ocamlc src/driver/call_provers.mli File "src/driver/call_provers.mli", line 46, characters 2-43: Warning 50: unattached documentation comment (ignored) Ocamlopt src/driver/call_provers.ml Ocamlopt src/driver/driver_ast.ml Ocamlc src/driver/driver_parser.mli Ocamlopt src/driver/driver_parser.ml Ocamlc src/driver/driver_lexer.mli Ocamlopt src/driver/driver_lexer.ml Ocamlc src/driver/driver.mli Ocamlopt src/driver/driver.ml Ocamlc src/driver/whyconf.mli File "src/driver/whyconf.mli", line 238, characters 0-93: Warning 50: ambiguous documentation comment File "src/driver/whyconf.mli", line 245, characters 0-93: Warning 50: ambiguous documentation comment Ocamlopt src/driver/whyconf.ml File "src/driver/whyconf.ml", line 37, characters 30-60: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 323, characters 2-33: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 328, characters 2-39: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 331, characters 2-24: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 666, characters 2-20: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 675, characters 2-28: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 680, characters 2-23: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 694, characters 2-20: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 713, characters 2-23: Warning 50: unattached documentation comment (ignored) File "src/driver/whyconf.ml", line 723, characters 2-20: Warning 50: unattached documentation comment (ignored) Ocamlc src/driver/autodetection.mli Ocamlopt src/driver/autodetection.ml File "src/driver/autodetection.ml", line 151, characters 4-97: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 288, characters 4-142: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 294, characters 2-38: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 333, characters 2-109: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 367, characters 6-25: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 368, characters 32-63: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 377, characters 11-46: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 380, characters 4-35: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 430, characters 6-214: Warning 50: unattached documentation comment (ignored) File "src/driver/autodetection.ml", line 505, characters 4-40: Warning 50: unattached documentation comment (ignored) Ocamlopt src/driver/parse_cvc4_z3_model.ml Ocamlc src/mlw/ity.mli File "src/mlw/ity.mli", line 185, characters 23-57: Warning 50: ambiguous documentation comment File "src/mlw/ity.mli", line 296, characters 18-47: Warning 50: ambiguous documentation comment Ocamlopt src/mlw/ity.ml Ocamlc src/mlw/expr.mli Ocamlopt src/mlw/expr.ml Ocamlc src/mlw/dexpr.mli Ocamlopt src/mlw/dexpr.ml Ocamlopt src/parser/ptree.ml Ocamlc src/parser/glob.mli Ocamlopt src/parser/glob.ml Ocamlc src/parser/parser.mli Ocamlopt src/parser/parser.ml File "src/parser/parser.ml", line 17559, characters 7-18: Error: Multiple definition of the module name Incremental. Names must be unique in a given structure or signature. Makefile:1765: recipe for target 'src/parser/parser.cmx' failed gmake[1]: *** [src/parser/parser.cmx] Error 2 gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/why3-spark/work/why3-for-spark-gpl-2015-src' *** Error code 1 Stop. make: stopped in /usr/ports/math/why3-spark _______________________________________________ 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"
