[package - 110i386-default][math/coq] Failed for coq-8.6, 3 in build-depends

Sun Apr 23 10:15:16 UTC 2017

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:     hrs at FreeBSD.org
Last committer: hrs at FreeBSD.org
Ident:          $FreeBSD: head/math/coq/Makefile 430173 2016-12-31 23:05:08Z hrs $
Log URL:        http://beefy10.nyi.freebsd.org/data/110i386-default/439191/logs/coq-8.6,3.log
Build URL:      http://beefy10.nyi.freebsd.org/build.html?mastername=110i386-default&build=439191
Log:

====>> Building math/coq
build started at Sun Apr 23 10:13:27 UTC 2017
port directory: /usr/ports/math/coq
building for: FreeBSD 110i386-default-job-09 11.0-RELEASE-p9 FreeBSD 11.0-RELEASE-p9 i386
maintained by: hrs at FreeBSD.org
Makefile ident:      $FreeBSD: head/math/coq/Makefile 430173 2016-12-31 23:05:08Z hrs $
Poudriere version: 3.1.17-9-gf49c6f78
Host OSVERSION: 1200027
Jail OSVERSION: 1100122
Job Id: 09

---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1100122
UNAME_v=FreeBSD 11.0-RELEASE-p9
UNAME_r=11.0-RELEASE-p9
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/.m/110i386-default/ref
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
PKGNAME=coq-8.6,3
OLDPWD=/
PWD=/usr/local/poudriere/data/.m/110i386-default/ref/.p/pool
MASTERNAME=110i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
USER=root
HOME=/root
POUDRIERE_VERSION=3.1.17-9-gf49c6f78
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
LIBEXECPREFIX=/usr/local/libexec/poudriere
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin OPTIONS List---
===> The following configuration options are available for coq-8.6,3:
     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/coq  -usecamlp5  -byteonly
--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
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--
VERBOSE=1 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 MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no 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 0644"  BSD_INSTALL_SCRIPT="install  -m 555"  BSD_INSTALL_DATA="install  -m 0644"  BSD_INSTALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
DOCS=""
NO_DOCS="@comment
"
IDE=""
NO_IDE="@comment
"
EMACS_LIBDIR=share/emacs
EMACS_VER=25.1
EMACS_LIBDIR_WITH_VER=share/emacs/25.1
EMACS_SITE_LISPDIR=share/emacs/site-lisp
EMACS_VERSION_SITE_LISPDIR=share/emacs/25.1/site-lisp
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"
GTK2_VERSION="2.10.0"
GTK3_VERSION="3.0.0"
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---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### /usr/local/etc/poudriere.d/make.conf ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure.  It currently retries the same
# failed mirror and then fails rather then trying another.  It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs
MAKE_JOBS_NUMBER=2
#### /usr/ports/Mk/Scripts/ports_env.sh ####
ARCH=i386
CONFIGURE_MAX_CMD_LEN=262144
OPSYS=FreeBSD
OSREL=11.0
OSVERSION=1100122
PYTHONBASE=/usr/local
UID=0
_JAVA_OS_LIST_REGEXP=native\|linux
_JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun
_JAVA_VERSION_LIST_REGEXP=1.6\|1.7\|1.8\|1.6+\|1.7+\|1.8+
_OSRELEASE=11.0-RELEASE-p9
#### Misc Poudriere ####
GID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  524288
stack size              (kbytes, -s)  65536
core file size      (512-blocks, -c)  unlimited
max memory size         (kbytes, -m)  unlimited
locked memory           (kbytes, -l)  unlimited
max user processes              (-u)  89999
open files                      (-n)  1024
virtual mem size        (kbytes, -v)  unlimited
swap limit              (kbytes, -w)  unlimited
socket buffer size       (bytes, -b)  unlimited
pseudo-terminals                (-p)  unlimited
kqueues                         (-k)  unlimited
umtx shared locks               (-o)  unlimited
--End resource limits--
=======================<phase: check-sanity   >============================
===>  License LGPL21 accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   coq-8.6,3 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.10.1.txz
[110i386-default-job-09] Installing pkg-1.10.1...
[110i386-default-job-09] Extracting pkg-1.10.1: .......... done
===>   coq-8.6,3 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of coq-8.6,3
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License LGPL21 accepted by the user
===> Fetching all distfiles required by coq-8.6,3 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License LGPL21 accepted by the user
===> Fetching all distfiles required by coq-8.6,3 for building
=> SHA256 Checksum OK for coq-8.6.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===>   coq-8.6,3 depends on file: /usr/local/bin/ocamlc - not found
===>   Installing existing package /packages/All/ocaml-4.02.3.txz
[110i386-default-job-09] Installing ocaml-4.02.3...
[110i386-default-job-09] `-- Installing libX11-1.6.5,1...
[110i386-default-job-09] |   `-- Installing kbproto-1.0.7...
[110i386-default-job-09] |   `-- Extracting kbproto-1.0.7: .......... done
[110i386-default-job-09] |   `-- Installing libXau-1.0.8_3...
[110i386-default-job-09] |   | `-- Installing xproto-7.0.31...
[110i386-default-job-09] |   | `-- Extracting xproto-7.0.31: .......... done
[110i386-default-job-09] |   `-- Extracting libXau-1.0.8_3: .......... done
[110i386-default-job-09] |   `-- Installing libXdmcp-1.1.2...
[110i386-default-job-09] |   `-- Extracting libXdmcp-1.1.2: ......... done
[110i386-default-job-09] |   `-- Installing libxcb-1.12_2...
[110i386-default-job-09] |   | `-- Installing libpthread-stubs-0.4...
[110i386-default-job-09] |   | `-- Extracting libpthread-stubs-0.4: . done
<snip>

************************************************************
Message from libinotify-20160505:
============================================================================

Libinotify functionality on FreeBSD is missing support for

  - detecting a file being moved into or out of a directory within the
    same filesystem
  - certain modifications to a symbolic link (rather than the
    file it points to.)

in addition to the known limitations on all platforms using kqueue(2)
where various open and close notifications are unimplemented.

This means the following regression tests will fail:

Directory notifications:
   IN_MOVED_FROM
   IN_MOVED_TO

Open/close notifications:
   IN_OPEN
   IN_CLOSE_NOWRITE
   IN_CLOSE_WRITE

Symbolic Link notifications:
   IN_DONT_FOLLOW
   IN_ATTRIB
   IN_MOVE_SELF
   IN_DELETE_SELF

Kernel patches to address the missing directory and symbolic link
notifications are available from:

https://github.com/libinotify-kqueue/libinotify-kqueue/tree/master/patches

=============================================================================
You might want to consider increasing the kern.maxfiles tunable if you plan
to use this library for applications that need to monitor activity of a lot
of files.

If the default on your system is too low, add the following line to
/boot/loader.conf, then reboot the system:

    kern.maxfiles="25000"
=============================================================================
Message from samba44-4.4.13:
===============================================================================

How to start: http://wiki.samba.org/index.php/Samba4/HOWTO

* Your configuration is: /usr/local/etc/smb4.conf

* All the relevant databases are under: /var/db/samba4

* All the logs are under: /var/log/samba4

* Provisioning script is: /usr/local/bin/samba-tool

For additional documentation check: http://wiki.samba.org/index.php/Samba4

Bug reports should go to the: https://bugzilla.samba.org/

===============================================================================
Message from xmlcatmgr-2.2_2:
The following catalogs are installed:

 1) /usr/local/share/sgml/catalog

   The top level catalog for SGML stuff.  It is not changed
   by any ports/packages except textproc/xmlcatmgr.

 2) /usr/local/share/sgml/catalog.ports

   This catalog is for handling SGML stuff installed under
   /usr/local/share/sgml.  It is changed by ports/packages.

 3) /usr/local/share/xml/catalog

   The top level catalog for XML stuff.  It is not changed
   by any ports/packages except textproc/xmlcatmgr.

 4) /usr/local/share/xml/catalog.ports

   This catalog is for handling XML stuff installed under
   /usr/local/share/xml.  It is changed by ports/packages.
Message from fusefs-libs-2.9.5:
Install the fuse kernel module to use this port.
Message from libcdio-0.94:
===>   NOTICE:

The libcdio port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
Message from libcdio-paranoia-10.2+0.94+1:
===>   NOTICE:

The libcdio-paranoia port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
Message from freeglut-3.0.0:
Joystick support is untested and it is unknown if it works.

Do not hesitate to contact x11 at FreeBSD.org if this causes issues.
Message from ocaml-lablgl-1.05,1:
===>   NOTICE:

The ocaml-lablgl port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
Message from ocaml-lablgtk2-2.18.3_1:
===>   NOTICE:

The ocaml-lablgtk2 port currently does not have a maintainer. As a result, it is
more likely to have unresolved issues, not be up-to-date, or even be removed in
the future. To volunteer to maintain this port, please create an issue at:

https://bugs.freebsd.org/bugzilla

More information about port maintainership is available at:

https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port
===>   coq-8.6,3 depends on executable: lablgtk2 - found
===>   Returning to build of coq-8.6,3
===>   coq-8.6,3 depends on file: /usr/local/bin/emacs-25.1 - not found
===>   Installing existing package /packages/All/emacs25-25.2,3.txz
[110i386-default-job-09] Installing emacs25-25.2,3...
[110i386-default-job-09] `-- Installing ImageMagick-6.9.6.4_1,1...
[110i386-default-job-09] |   `-- Installing fftw3-3.3.6.p2...
[110i386-default-job-09] |   `-- Extracting fftw3-3.3.6.p2: .......... done
[110i386-default-job-09] |   `-- Installing ghostscript9-agpl-base-9.16_5...
[110i386-default-job-09] |   | `-- Installing gsfonts-8.11_8...
[110i386-default-job-09] |   | `-- Extracting gsfonts-8.11_8: .......... done
[110i386-default-job-09] |   | `-- Installing jbig2dec-0.13...
[110i386-default-job-09] |   | `-- Extracting jbig2dec-0.13: .......... done
[110i386-default-job-09] |   | `-- Installing svgalib-1.4.3_7...
[110i386-default-job-09] |   | `-- Extracting svgalib-1.4.3_7: .......... done
[110i386-default-job-09] |   `-- Extracting ghostscript9-agpl-base-9.16_5: .......... done
[110i386-default-job-09] |   `-- Installing ghostscript9-agpl-x11-9.16_2...
[110i386-default-job-09] |   `-- Extracting ghostscript9-agpl-x11-9.16_2: .... done
[110i386-default-job-09] |   `-- Installing libfpx-1.3.1.4_1...
[110i386-default-job-09] |   `-- Extracting libfpx-1.3.1.4_1: .... done
[110i386-default-job-09] |   `-- Installing liblqr-1-0.4.2...
[110i386-default-job-09] |   `-- Extracting liblqr-1-0.4.2: .......... done
[110i386-default-job-09] |   `-- Installing libwmf-0.2.8.4_15...
[110i386-default-job-09] |   `-- Extracting libwmf-0.2.8.4_15: .......... done
[110i386-default-job-09] |   `-- Installing openjpeg-2.1.2_1...
[110i386-default-job-09] |   `-- Extracting openjpeg-2.1.2_1: .......... done
[110i386-default-job-09] `-- Extracting ImageMagick-6.9.6.4_1,1: .......... done
[110i386-default-job-09] `-- Installing libotf-0.9.13_2...
[110i386-default-job-09] |   `-- Installing libXaw-1.0.13,2...
[110i386-default-job-09] |   | `-- Installing libXp-1.0.3,1...
[110i386-default-job-09] |   |   `-- Installing printproto-1.0.5...
[110i386-default-job-09] |   |   `-- Extracting printproto-1.0.5: .... done
[110i386-default-job-09] |   | `-- Extracting libXp-1.0.3,1: .......... done
[110i386-default-job-09] |   `-- Extracting libXaw-1.0.13,2: .......... done
[110i386-default-job-09] `-- Extracting libotf-0.9.13_2: .......... done
[110i386-default-job-09] `-- Installing m17n-lib-1.7.0_2...
[110i386-default-job-09] |   `-- Installing fribidi-0.19.7...
[110i386-default-job-09] |   `-- Extracting fribidi-0.19.7: .......... done
[110i386-default-job-09] |   `-- Installing m17n-db-1.7.0...
[110i386-default-job-09] |   `-- Extracting m17n-db-1.7.0: .......... done
[110i386-default-job-09] `-- Extracting m17n-lib-1.7.0_2: .......... done
[110i386-default-job-09] Extracting emacs25-25.2,3: .......... done
Message from ghostscript9-agpl-base-9.16_5:
Note: in order to use the script "dvipdf", dvips must be installed.
This program is provided by another package print/tex-dvipsk.

FAPIfontmap and FAPIcidfmap in /usr/local/share/ghostscript/9.16/Resource/Init
have to be configured if you want to use FAPI feature.
Message from liblqr-1-0.4.2:
==========================================================================
NOTE: In order to compile examples for liblqr, you will
also need pngwriter port (/usr/ports/graphics/pngwriter).
Examples are located in /usr/local/share/examples/liblqr-1
==========================================================================
===>   coq-8.6,3 depends on file: /usr/local/bin/emacs-25.1 - not found
*** Error code 1

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