Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 12 Dec 2014 21:43:48 GMT
From:      pkg-fallout@FreeBSD.org
To:        johans@FreeBSD.org
Cc:        pkg-fallout@FreeBSD.org
Subject:   [package - head-i386-default][math/coq] Failed for coq-8.4.3_1, 1 in build
Message-ID:  <201412122143.sBCLhmK5024554@beefy1.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:     johans@FreeBSD.org
Last committer: gerald@FreeBSD.org
Ident:          $FreeBSD: head/math/coq/Makefile 367888 2014-09-10 20:50:31Z gerald $
Log URL:        http://beefy1.isc.freebsd.org/data/head-i386-default/2014-12-12_10h09m09s/logs/coq-8.4.3_1,1.log
Build URL:      http://beefy1.isc.freebsd.org/build.html?mastername=head-i386-default&build=2014-12-12_10h09m09s
Log:

====>> Building math/coq
build started at Fri Dec 12 21:40:17 UTC 2014
port directory: /usr/ports/math/coq
building for: FreeBSD head-i386-default-job-19 11.0-CURRENT FreeBSD 11.0-CURRENT r275658 i386
maintained by: johans@FreeBSD.org
Makefile ident:      $FreeBSD: head/math/coq/Makefile 367888 2014-09-10 20:50:31Z gerald $
Poudriere version: 3.1-pre
Host OSVERSION: 1100047
Jail OSVERSION: 1100049




!!! Jail is newer than host. (Jail: 1100049, Host: 1100047) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!



---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=1100049
UNAME_v=FreeBSD 11.0-CURRENT r275658
UNAME_r=11.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/.m/head-i386-default/ref
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
PKGNAME=coq-8.4.3_1,1
OLDPWD=/root
PWD=/usr/local/poudriere/data/.m/head-i386-default/ref/.p/pool
MASTERNAME=head-i386-default
USER=root
HOME=/root
POUDRIERE_VERSION=3.1-pre
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
---End Environment---

---Begin OPTIONS List---
===> The following configuration options are available for coq-8.4.3_1,1:
     DOCS=on: Build and/or install documentation
     IDE=on: Include desktop environment (coqide)
===> Use 'make config' to modify these settings
---End OPTIONS List---

--CONFIGURE_ARGS--
--prefix /usr/local  --mandir /usr/local/man  --emacslib /usr/local/share/emacs/site-lisp  --opt
--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/coq/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/coq/work  HOME=/wrkdirs/usr/ports/math/coq/work TMPDIR="/tmp" MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/coq/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/coq/work  HOME=/wrkdirs/usr/ports/math/coq/work TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--

--MAKE_ENV--
COQINSTALLPREFIX= XDG_DATA_HOME=/wrkdirs/usr/ports/math/coq/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/coq/work  HOME=/wrkdirs/usr/ports/math/coq/work TMPDIR="/tmp" XDG_DATA_HOME=/wrkdirs/usr/ports/math/coq/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/coq/work  HOME=/wrkdirs/usr/ports/math/coq/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--
DOCS=""
NO_DOCS="@comment
"
IDE=""
NO_IDE="@comment
"
OCAML_SITELIBDIR="lib/ocaml/site-lib"
TEXMFDIR="share/texmf"
TEXMFDISTDIR="share/texmf-dist"
TEXMFLOCALDIR="share/texmf-local"
TEXMFVARDIR="share/texmf-var"
TEXMFCONFIGDIR="share/texmf-config"
FMTUTIL_CNF="share/texmf-config/web2c/fmtutil.cnf"
OSREL=11.0
PREFIX=%D
LOCALBASE=/usr/local
RESETPREFIX=/usr/local
PORTDOCS=""
PORTEXAMPLES=""
LIB32DIR=lib
DOCSDIR="share/doc/coq"
EXAMPLESDIR="share/examples/coq"
DATADIR="share/coq"
WWWDIR="www/coq"
ETCDIR="etc/coq"
--End PLIST_SUB--

--SUB_LIST--
DOCS=""
NO_DOCS="@comment
"
IDE=""
NO_IDE="@comment
"
PREFIX=/usr/local
LOCALBASE=/usr/local
DATADIR=/usr/local/share/coq
DOCSDIR=/usr/local/share/doc/coq
EXAMPLESDIR=/usr/local/share/examples/coq
WWWDIR=/usr/local/www/coq
ETCDIR=/usr/local/etc/coq
--End SUB_LIST--

---Begin make.conf---
ARCH=i386
MACHINE=i386
MACHINE_ARCH=i386
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
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
#WITH_PKGNG=devel
# clean-restricted via poudriere.conf NO_RESTRICTED
#NO_RESTRICTED=yes
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
=======================<phase: check-sanity   >============================
===========================================================================
=======================<phase: pkg-depends    >============================
===>   coq-8.4.3_1,1 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.0.txz
[head-i386-default-job-19] Installing pkg-1.4.0...
[head-i386-default-job-19] Extracting pkg-1.4.0... done
Message for pkg-1.4.0:
 If you are upgrading from the old package format, first run:

  # pkg2ng
===>   Returning to build of coq-8.4.3_1,1
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===> Fetching all distfiles required by coq-8.4.3_1,1 for building
===========================================================================
=======================<phase: checksum       >============================
===> Fetching all distfiles required by coq-8.4.3_1,1 for building
=> SHA256 Checksum OK for coq-8.4pl3.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===>   coq-8.4.3_1,1 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
[head-i386-default-job-19] Installing ocaml-4.01.0_4...
[head-i386-default-job-19] `-- Installing libX11-1.6.2_2,1...
[head-i386-default-job-19] |   `-- Installing kbproto-1.0.6...
[head-i386-default-job-19] |   `-- Extracting kbproto-1.0.6... done
[head-i386-default-job-19] |   `-- Installing libXau-1.0.8_2...
[head-i386-default-job-19] |   | `-- Installing xproto-7.0.26...
[head-i386-default-job-19] |   | `-- Extracting xproto-7.0.26... done
[head-i386-default-job-19] |   `-- Extracting libXau-1.0.8_2... done
[head-i386-default-job-19] |   `-- Installing libXdmcp-1.1.1_2...
[head-i386-default-job-19] |   `-- Extracting libXdmcp-1.1.1_2... done
[head-i386-default-job-19] |   `-- Installing libxcb-1.11...
[head-i386-default-job-19] |   | `-- Installing libpthread-stubs-0.3_6...
[head-i386-default-job-19] |   | `-- Extracting libpthread-stubs-0.3_6... done
[head-i386-default-job-19] |   | `-- Installing libxml2-2.9.2_2...
[head-i386-default-job-19] |   | `-- Extracting libxml2-2.9.2_2... done
[head-i386-default-job-19] |   `-- Extracting libxcb-1.11... done
[head-i386-default-job-19] `-- Extracting libX11-1.6.2_2,1... done
[head-i386-default-job-19] `-- Installing tk86-8.6.3...
[head-i386-default-job-19] |   `-- Installing libXScrnSaver-1.2.2_2...
[head-i386-default-job-19] |   | `-- Installing libXext-1.3.3,1...
[head-i386-default-job-19] |   |   `-- Installing xextproto-7.3.0...
[head-i386-default-job-19] |   |   `-- Extracting xextproto-7.3.0... done
[head-i386-default-job-19] |   | `-- Extracting libXext-1.3.3,1... done
[head-i386-default-job-19] |   | `-- Installing scrnsaverproto-1.2.2...
[head-i386-default-job-19] |   | `-- Extracting scrnsaverproto-1.2.2... done
[head-i386-default-job-19] |   `-- Extracting libXScrnSaver-1.2.2_2... done
[head-i386-default-job-19] |   `-- Installing libXft-2.3.1_2...
[head-i386-default-job-19] |   | `-- Installing fontconfig-2.11.1,1...
[head-i386-default-job-19] |   |   `-- Installing expat-2.1.0_2...
[head-i386-default-job-19] |   |   `-- Extracting expat-2.1.0_2... done
[head-i386-default-job-19] |   |   `-- Installing freetype2-2.5.4...
[head-i386-default-job-19] |   |   `-- Extracting freetype2-2.5.4... done
[head-i386-default-job-19] |   | `-- 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
<snip>
OCAMLC    toplevel/libtypes.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/libtypes.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/search.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/search.ml
File "toplevel/search.ml", line 106, characters 17-19:
Warning 3: deprecated feature: operator (or); you should use (||) instead
File "toplevel/search.ml", line 106, characters 33-34:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/search.ml", line 106, characters 23-24:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/search.ml", line 161, characters 45-46:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/autoinstance.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/autoinstance.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/lemmas.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/lemmas.ml
File "toplevel/lemmas.ml", line 74, characters 31-32:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/lemmas.ml", line 101, characters 35-36:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/lemmas.ml", line 91, characters 33-34:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/indschemes.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/indschemes.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/command.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/command.ml
File "toplevel/command.ml", line 142, characters 25-26:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/command.ml", line 154, characters 23-24:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/command.ml", line 444, characters 43-44:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/classes.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/classes.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/record.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/record.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    parsing/ppvernac.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  parsing/ppvernac.ml
File "parsing/ppvernac.ml", line 522, characters 25-26:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "parsing/ppvernac.ml", line 522, characters 10-11:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/backtrack.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/backtrack.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
CAMLP4O   toplevel/mltop.ml4
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/mltop.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/mltop.optml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/vernacentries.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/vernacentries.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/whelp.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/whelp.ml
File "toplevel/whelp.ml4", line 63, characters 5-24:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/whelp.ml4", line 63, characters 28-47:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/whelp.ml4", line 64, characters 5-24:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/whelp.ml4", line 64, characters 5-34:
Warning 3: deprecated feature: operator (or); you should use (||) instead
File "toplevel/whelp.ml4", line 63, characters 28-85:
Warning 3: deprecated feature: operator (or); you should use (||) instead
File "toplevel/whelp.ml4", line 63, characters 5-85:
Warning 3: deprecated feature: operator (or); you should use (||) instead
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/vernac.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/vernac.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/interface.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/ide_intf.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/ide_intf.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/ide_slave.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/ide_slave.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/toplevel.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/toplevel.ml
File "toplevel/toplevel.ml", line 91, characters 13-15:
Warning 3: deprecated feature: operator (or); you should use (||) instead
File "toplevel/toplevel.ml", line 198, characters 60-61:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/toplevel.ml", line 196, characters 2-3:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/toplevel.ml", line 203, characters 65-66:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/toplevel.ml", line 203, characters 43-44:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
File "toplevel/toplevel.ml", line 202, characters 21-22:
Warning 3: deprecated feature: operator (&); you should use (&&) instead
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/usage.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/usage.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/coqinit.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/coqinit.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    toplevel/coqtop.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  toplevel/coqtop.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT -a -o toplevel/toplevel.cmxa
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  parsing/g_constr.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    parsing/g_vernac.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  parsing/g_vernac.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  parsing/g_prim.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    parsing/g_proofs.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  parsing/g_proofs.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  parsing/g_tactic.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  parsing/g_ltac.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT -a -o parsing/highparsing.cmxa
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/refine.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/refine.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/extraargs.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/extraargs.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/extratactics.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/extratactics.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/eauto.mli
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/eauto.ml
File "tactics/eauto.ml4", line 35, characters 5-49:
Warning 3: deprecated feature: operator (or); you should use (||) instead
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/class_tactics.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/class_tactics.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/rewrite.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/rewrite.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/tauto.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/tauto.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    tactics/eqdecide.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT  tactics/eqdecide.ml
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLOPT -a -o tactics/hightactics.cmxa
Makefile.build:578: warning: undefined variable 'DESTDIR'
OCAMLC    kernel/byterun/coq_fix_code.c
cc: error: unknown argument: '-fno-defer-pop'
Makefile.build:845: recipe for target 'kernel/byterun/coq_fix_code.o' failed
gmake[2]: *** [kernel/byterun/coq_fix_code.o] Error 2
gmake[2]: Leaving directory '/wrkdirs/usr/ports/math/coq/work/coq-8.4pl3'
Makefile:139: recipe for target 'world' failed
gmake[1]: *** [world] Error 2
gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/coq/work/coq-8.4pl3'
*** Error code 1

Stop.
make: stopped in /usr/ports/math/coq



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201412122143.sBCLhmK5024554>