[exp - 103i386-default-build-as-user][math/coq] Failed for coq-8.6, 3 in build-depends
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Sun Apr 23 16:56:27 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://package19.nyi.freebsd.org/data/103i386-default-build-as-user/439191/logs/coq-8.6,3.log
Build URL: http://package19.nyi.freebsd.org/build.html?mastername=103i386-default-build-as-user&build=439191
Log:
====>> Building math/coq
build started at Sun Apr 23 16:54:17 UTC 2017
port directory: /usr/ports/math/coq
building for: FreeBSD 103i386-default-build-as-user-job-30 10.3-RELEASE-p18 FreeBSD 10.3-RELEASE-p18 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: 1200028
Jail OSVERSION: 1003000
Job Id: 30
---Begin Environment---
SHELL=/bin/csh
UNAME_p=i386
UNAME_m=i386
OSVERSION=1003000
UNAME_v=FreeBSD 10.3-RELEASE-p18
UNAME_r=10.3-RELEASE-p18
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/poudriere/data/.m/103i386-default-build-as-user/ref
UID=0
FORCE_PACKAGE=yes
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
PKGNAME=coq-8.6,3
OLDPWD=/
PWD=/poudriere/data/.m/103i386-default-build-as-user/ref/.p/pool
MASTERNAME=103i386-default-build-as-user
SCRIPTPREFIX=/usr/local/share/poudriere
USER=root
HOME=/root
POUDRIERE_VERSION=3.1.17-9-gf49c6f78
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
GID=0
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 WITHOUT_DEBUG_FILES=yes WITHOUT_KERNEL_SYMBOLS=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 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=10.3
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 ####
# 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=10.3
OSVERSION=1003000
PYTHONBASE=/usr/local
_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=10.3-RELEASE-p18
#### Misc Poudriere ####
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
sbsize (bytes, -b) unlimited
pseudo-terminals (-p) 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
[103i386-default-build-as-user-job-30] Installing pkg-1.10.1...
[103i386-default-build-as-user-job-30] 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
[103i386-default-build-as-user-job-30] Installing ocaml-4.02.3...
[103i386-default-build-as-user-job-30] `-- Installing libX11-1.6.5,1...
[103i386-default-build-as-user-job-30] | `-- Installing kbproto-1.0.7...
[103i386-default-build-as-user-job-30] | `-- Extracting kbproto-1.0.7: .......... done
[103i386-default-build-as-user-job-30] | `-- Installing libXau-1.0.8_3...
[103i386-default-build-as-user-job-30] | | `-- Installing xproto-7.0.31...
[103i386-default-build-as-user-job-30] | | `-- Extracting xproto-7.0.31: .......... done
[103i386-default-build-as-user-job-30] | `-- Extracting libXau-1.0.8_3: .......... done
[103i386-default-build-as-user-job-30] | `-- Installing libXdmcp-1.1.2...
[103i386-default-build-as-user-job-30] | `-- Extracting libXdmcp-1.1.2: ......... done
[103i386-default-build-as-user-job-30] | `-- Installing libxcb-1.12_2...
[103i386-default-build-as-user-job-30] | | `-- Installing libpthread-stubs-0.4...
[103i386-default-build-as-user-job-30] | | `-- Extracting libpthread-stubs-0.4: . done
[103i386-default-build-as-user-job-30] | | `-- Installing libxml2-2.9.4...
[103i386-default-build-as-user-job-30] | | `-- Extracting libxml2-2.9.4: .......... done
[103i386-default-build-as-user-job-30] | `-- Extracting libxcb-1.12_2: .......... done
[103i386-default-build-as-user-job-30] `-- Extracting libX11-1.6.5,1: .......... done
[103i386-default-build-as-user-job-30] Extracting ocaml-4.02.3: .......... done
===> coq-8.6,3 depends on file: /usr/local/bin/ocamlc - found
<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
[103i386-default-build-as-user-job-30] Installing emacs25-25.2,3...
[103i386-default-build-as-user-job-30] `-- Installing ImageMagick-6.9.6.4_1,1...
[103i386-default-build-as-user-job-30] | `-- Installing fftw3-3.3.6.p2...
[103i386-default-build-as-user-job-30] | `-- Extracting fftw3-3.3.6.p2: .......... done
[103i386-default-build-as-user-job-30] | `-- Installing ghostscript9-agpl-base-9.16_5...
[103i386-default-build-as-user-job-30] | | `-- Installing gsfonts-8.11_8...
[103i386-default-build-as-user-job-30] | | `-- Extracting gsfonts-8.11_8: .......... done
[103i386-default-build-as-user-job-30] | | `-- Installing jbig2dec-0.13...
[103i386-default-build-as-user-job-30] | | `-- Extracting jbig2dec-0.13: .......... done
[103i386-default-build-as-user-job-30] | | `-- Installing svgalib-1.4.3_7...
[103i386-default-build-as-user-job-30] | | `-- Extracting svgalib-1.4.3_7: .......... done
[103i386-default-build-as-user-job-30] | `-- Extracting ghostscript9-agpl-base-9.16_5: .......... done
[103i386-default-build-as-user-job-30] | `-- Installing ghostscript9-agpl-x11-9.16_2...
[103i386-default-build-as-user-job-30] | `-- Extracting ghostscript9-agpl-x11-9.16_2: .... done
[103i386-default-build-as-user-job-30] | `-- Installing libfpx-1.3.1.4_1...
[103i386-default-build-as-user-job-30] | `-- Extracting libfpx-1.3.1.4_1: .... done
[103i386-default-build-as-user-job-30] | `-- Installing liblqr-1-0.4.2...
[103i386-default-build-as-user-job-30] | `-- Extracting liblqr-1-0.4.2: .......... done
[103i386-default-build-as-user-job-30] | `-- Installing libwmf-0.2.8.4_15...
[103i386-default-build-as-user-job-30] | `-- Extracting libwmf-0.2.8.4_15: .......... done
[103i386-default-build-as-user-job-30] | `-- Installing openjpeg-2.1.2_1...
[103i386-default-build-as-user-job-30] | `-- Extracting openjpeg-2.1.2_1: .......... done
[103i386-default-build-as-user-job-30] `-- Extracting ImageMagick-6.9.6.4_1,1: .......... done
[103i386-default-build-as-user-job-30] `-- Installing libotf-0.9.13_2...
[103i386-default-build-as-user-job-30] | `-- Installing libXaw-1.0.13,2...
[103i386-default-build-as-user-job-30] | | `-- Installing libXp-1.0.3,1...
[103i386-default-build-as-user-job-30] | | `-- Installing printproto-1.0.5...
[103i386-default-build-as-user-job-30] | | `-- Extracting printproto-1.0.5: .... done
[103i386-default-build-as-user-job-30] | | `-- Extracting libXp-1.0.3,1: .......... done
[103i386-default-build-as-user-job-30] | `-- Extracting libXaw-1.0.13,2: .......... done
[103i386-default-build-as-user-job-30] `-- Extracting libotf-0.9.13_2: .......... done
[103i386-default-build-as-user-job-30] `-- Installing m17n-lib-1.7.0_2...
[103i386-default-build-as-user-job-30] | `-- Installing fribidi-0.19.7...
[103i386-default-build-as-user-job-30] | `-- Extracting fribidi-0.19.7: .......... done
[103i386-default-build-as-user-job-30] | `-- Installing m17n-db-1.7.0...
[103i386-default-build-as-user-job-30] | `-- Extracting m17n-db-1.7.0: .......... done
[103i386-default-build-as-user-job-30] `-- Extracting m17n-lib-1.7.0_2: .......... done
[103i386-default-build-as-user-job-30] 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
More information about the freebsd-pkg-fallout
mailing list