[REL - head-i386-default][math/coq] Failed for coq-8.4.3,1 in build
pkg-fallout-builder at FreeBSD.org
pkg-fallout-builder at FreeBSD.org
Sat Mar 29 00:32:23 UTC 2014
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 at FreeBSD.org
Last committer: johans at FreeBSD.org
Ident: $FreeBSD: head/math/coq/Makefile 339411 2014-01-11 09:31:40Z johans $
Log URL: http://beefy1.isc.freebsd.org/bulk/head-i386-default/2014-03-28_06h01m03s/logs/coq-8.4.3,1.log
Build URL: http://beefy1.isc.freebsd.org/bulk/head-i386-default/2014-03-28_06h01m03s
Log:
====>> Building math/coq
build started at Sat Mar 29 00:29:06 UTC 2014
port directory: /usr/ports/math/coq
building for: FreeBSD head-i386-default-job-13 11.0-CURRENT FreeBSD 11.0-CURRENT r263175 i386
maintained by: johans at FreeBSD.org
Makefile ident: $FreeBSD: head/math/coq/Makefile 339411 2014-01-11 09:31:40Z johans $
Poudriere version: 3.1-pre
---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=1100013
UNAME_v=FreeBSD 11.0-CURRENT r263175
UNAME_r=11.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
MASTERMNT=/usr/local/poudriere/data/build/head-i386-default/ref
PKG_EXT=txz
tpid=979
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
PKGNG=1
PKGNAME=coq-8.4.3,1
PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f
PKG_ADD=/usr/local/sbin/pkg-static add
PWD=/root
MASTERNAME=head-i386-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 coq-8.4.3,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--
TMPDIR="/tmp" MAKE=gmake TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--
--MAKE_ENV--
COQINSTALLPREFIX= 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--
--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
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 coq-8.4.3,1
=======================<phase: check-config >============================
===========================================================================
=======================<phase: pkg-depends >============================
===> coq-8.4.3,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.2.7.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:
# pkg2ng
===> Returning to build of coq-8.4.3,1
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> Fetching all distfiles required by coq-8.4.3,1 for building
===========================================================================
=======================<phase: checksum >============================
===> Fetching all distfiles required by coq-8.4.3,1 for building
=> SHA256 Checksum OK for coq-8.4pl3.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===> coq-8.4.3,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-3.12.1_1.txz
Installing ocaml-3.12.1_1...Installing libX11-1.6.2,1...Installing kbproto-1.0.6... done
Installing libXau-1.0.8...Installing xproto-7.0.25... done
done
Installing libXdmcp-1.1.1... done
Installing libxcb-1.9.3...Installing libpthread-stubs-0.3_4... done
Installing libxml2-2.8.0_3... done
done
done
Installing tk85-8.5.15...Installing libXScrnSaver-1.2.2...Installing libXext-1.3.2,1...Installing xextproto-7.2.1... done
done
Installing scrnsaverproto-1.2.2... done
done
Installing libXft-2.3.1...Installing fontconfig-2.11.0_1,1...Installing expat-2.1.0... done
Installing freetype2-2.5.3... 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...Installing renderproto-0.11.1... done
done
done
Installing tcl85-8.5.15_2... done
done
done
===> Returning to build of coq-8.4.3,1
===========================================================================
=======================<phase: extract >============================
===> Fetching all distfiles required by coq-8.4.3,1 for building
===> Extracting for coq-8.4.3,1
=> SHA256 Checksum OK for coq-8.4pl3.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===> coq-8.4.3,1 depends on file: /usr/local/bin/ocamlc - found
===========================================================================
=======================<phase: patch >============================
===> Patching for coq-8.4.3,1
===========================================================================
=======================<phase: build-depends >============================
===> coq-8.4.3,1 depends on executable: camlp5 - not found
===> Verifying install for camlp5 in /usr/ports/devel/ocaml-camlp5
===> Installing existing package /packages/All/ocaml-camlp5-6.08.p1.txz
Installing ocaml-camlp5-6.08.p1... done
===> Returning to build of coq-8.4.3,1
===> coq-8.4.3,1 depends on executable: ocamlfind - not found
===> Verifying install for ocamlfind in /usr/ports/devel/ocaml-findlib
===> Installing existing package /packages/All/ocaml-findlib-1.4.1.txz
Installing ocaml-findlib-1.4.1... done
===> Returning to build of coq-8.4.3,1
===> coq-8.4.3,1 depends on executable: hevea - not found
===> Verifying install for hevea in /usr/ports/textproc/hevea
===> Installing existing package /packages/All/hevea-2.13.txz
Installing hevea-2.13... done
==============================================================
You may like to put the file hevea.sty in a place where latex
can find it. For example, if you are using teTeX from the
ports, the following commands will do the job:
mkdir -p /usr/local/share/texmf/tex/latex/hevea
cp /usr/local/lib/hevea/hevea.sty /usr/local/share/texmf/tex/latex/hevea
texhash
==============================================================
===> Returning to build of coq-8.4.3,1
===> coq-8.4.3,1 depends on file: /usr/local/share/texmf/tex/latex/ucs/utf8x.def - not found
===> Verifying install for /usr/local/share/texmf/tex/latex/ucs/utf8x.def in /usr/ports/print/latex-ucs
===> Installing existing package /packages/All/latex-ucs-20041017_5.txz
Installing latex-ucs-20041017_5...Installing teTeX-texmf-3.0_9...Installing tex-texmflocal-1.9... done
Installing font-amsfonts-3.02_1... done
done
Installing teTeX-base-3.0_25...Installing libSM-1.2.2,1...Installing libICE-1.0.8,1... done
done
Installing libXt-1.1.4,1... done
Installing libwww-5.4.0_4... done
Installing texi2html-5.0_1,1...Installing gettext-0.18.3.1... done
Installing perl5-5.16.3_8... done
done
<snip>
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC tactics/inv.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT tactics/inv.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC tactics/leminv.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT tactics/leminv.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC tactics/tacinterp.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT tactics/tacinterp.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC tactics/evar_tactics.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT tactics/evar_tactics.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC toplevel/himsg.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT toplevel/himsg.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC toplevel/vernacinterp.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT toplevel/vernacinterp.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC tactics/autorewrite.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT tactics/autorewrite.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC tactics/tactic_option.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT tactics/tactic_option.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT -a -o tactics/tactics.cmxa
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC toplevel/cerrors.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT toplevel/cerrors.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC toplevel/class.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT toplevel/class.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC toplevel/metasyntax.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT toplevel/metasyntax.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLC toplevel/auto_ind_decl.mli
Makefile.build:578: warning: undefined variable `DESTDIR'
OCAMLOPT toplevel/auto_ind_decl.ml
Makefile.build:578: warning: undefined variable `DESTDIR'
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
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
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
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
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
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
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
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'
gmake[2]: *** [kernel/byterun/coq_fix_code.o] Error 2
gmake[2]: Leaving directory `/wrkdirs/usr/ports/math/coq/work/coq-8.4pl3'
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
===> Cleaning for coq-8.4.3,1
More information about the freebsd-pkg-fallout
mailing list