Date: Sun, 23 Apr 2017 09:08:50 GMT From: pkg-fallout@FreeBSD.org To: hrs@FreeBSD.org Cc: pkg-fallout@FreeBSD.org Subject: [package - 103amd64-default][math/coq] Failed for coq-8.6, 3 in build-depends Message-ID: <201704230908.v3N98o7r045958@beefy6.nyi.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: hrs@FreeBSD.org Last committer: hrs@FreeBSD.org Ident: $FreeBSD: head/math/coq/Makefile 430173 2016-12-31 23:05:08Z hrs $ Log URL: http://beefy6.nyi.freebsd.org/data/103amd64-default/439191/logs/coq-8.6,3.log Build URL: http://beefy6.nyi.freebsd.org/build.html?mastername=103amd64-default&build=439191 Log: ====>> Building math/coq build started at Sun Apr 23 09:06:37 UTC 2017 port directory: /usr/ports/math/coq building for: FreeBSD 103amd64-default-job-23 10.3-RELEASE-p18 FreeBSD 10.3-RELEASE-p18 amd64 maintained by: hrs@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: 1003000 Job Id: 23 ---Begin Environment--- SHELL=/bin/csh 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=/usr/local/poudriere/data/.m/103amd64-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.6,3 OLDPWD=/ PWD=/usr/local/poudriere/data/.m/103amd64-default/ref/.p/pool MASTERNAME=103amd64-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 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 #### /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=amd64 CONFIGURE_MAX_CMD_LEN=262144 HAVE_COMPAT_IA32_KERN=YES OPSYS=FreeBSD OSREL=10.3 OSVERSION=1003000 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=10.3-RELEASE-p18 #### 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) 33554432 stack size (kbytes, -s) 524288 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 [103amd64-default-job-23] Installing pkg-1.10.1... [103amd64-default-job-23] 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 [103amd64-default-job-23] Installing ocaml-4.02.3... [103amd64-default-job-23] `-- Installing libX11-1.6.5,1... [103amd64-default-job-23] | `-- Installing kbproto-1.0.7... [103amd64-default-job-23] | `-- Extracting kbproto-1.0.7: .......... done [103amd64-default-job-23] | `-- Installing libXau-1.0.8_3... [103amd64-default-job-23] | | `-- Installing xproto-7.0.31... [103amd64-default-job-23] | | `-- Extracting xproto-7.0.31: .......... done [103amd64-default-job-23] | `-- Extracting libXau-1.0.8_3: .......... done [103amd64-default-job-23] | `-- Installing libXdmcp-1.1.2... [103amd64-default-job-23] | `-- Extracting libXdmcp-1.1.2: ......... done [103amd64-default-job-23] | `-- Installing libxcb-1.12_2... [103amd64-default-job-23] | | `-- Installing libpthread-stubs-0.4... [103amd64-default-job-23] | | `-- Extracting libpthread-stubs-0.4: . done [103amd64-default-job-23] | | `-- Installing libxml2-2.9.4... [103amd64-default-job-23] | | `-- Extracting libxml2-2.9.4: .......... done [103amd64-default-job-23] | `-- Extracting libxcb-1.12_2: .......... done [103amd64-default-job-23] `-- Extracting libX11-1.6.5,1: .......... done [103amd64-default-job-23] 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@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 [103amd64-default-job-23] Installing emacs25-25.2,3... [103amd64-default-job-23] `-- Installing ImageMagick-6.9.6.4_1,1... [103amd64-default-job-23] | `-- Installing fftw3-3.3.6.p2... [103amd64-default-job-23] | `-- Extracting fftw3-3.3.6.p2: .......... done [103amd64-default-job-23] | `-- Installing ghostscript9-agpl-base-9.16_5... [103amd64-default-job-23] | | `-- Installing gsfonts-8.11_8... [103amd64-default-job-23] | | `-- Extracting gsfonts-8.11_8: .......... done [103amd64-default-job-23] | | `-- Installing jbig2dec-0.13... [103amd64-default-job-23] | | `-- Extracting jbig2dec-0.13: .......... done [103amd64-default-job-23] | | `-- Installing svgalib-1.4.3_7... [103amd64-default-job-23] | | `-- Extracting svgalib-1.4.3_7: .......... done [103amd64-default-job-23] | `-- Extracting ghostscript9-agpl-base-9.16_5: .......... done [103amd64-default-job-23] | `-- Installing ghostscript9-agpl-x11-9.16_2... [103amd64-default-job-23] | `-- Extracting ghostscript9-agpl-x11-9.16_2: .... done [103amd64-default-job-23] | `-- Installing libfpx-1.3.1.4_1... [103amd64-default-job-23] | `-- Extracting libfpx-1.3.1.4_1: .... done [103amd64-default-job-23] | `-- Installing liblqr-1-0.4.2... [103amd64-default-job-23] | `-- Extracting liblqr-1-0.4.2: .......... done [103amd64-default-job-23] | `-- Installing libwmf-0.2.8.4_15... [103amd64-default-job-23] | `-- Extracting libwmf-0.2.8.4_15: .......... done [103amd64-default-job-23] | `-- Installing openjpeg-2.1.2_1... [103amd64-default-job-23] | `-- Extracting openjpeg-2.1.2_1: .......... done [103amd64-default-job-23] `-- Extracting ImageMagick-6.9.6.4_1,1: .......... done [103amd64-default-job-23] `-- Installing libotf-0.9.13_2... [103amd64-default-job-23] | `-- Installing libXaw-1.0.13,2... [103amd64-default-job-23] | | `-- Installing libXp-1.0.3,1... [103amd64-default-job-23] | | `-- Installing printproto-1.0.5... [103amd64-default-job-23] | | `-- Extracting printproto-1.0.5: .... done [103amd64-default-job-23] | | `-- Extracting libXp-1.0.3,1: .......... done [103amd64-default-job-23] | `-- Extracting libXaw-1.0.13,2: .......... done [103amd64-default-job-23] `-- Extracting libotf-0.9.13_2: .......... done [103amd64-default-job-23] `-- Installing m17n-lib-1.7.0_2... [103amd64-default-job-23] | `-- Installing fribidi-0.19.7... [103amd64-default-job-23] | `-- Extracting fribidi-0.19.7: .......... done [103amd64-default-job-23] | `-- Installing m17n-db-1.7.0... [103amd64-default-job-23] | `-- Extracting m17n-db-1.7.0: .......... done [103amd64-default-job-23] `-- Extracting m17n-lib-1.7.0_2: .......... done [103amd64-default-job-23] 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201704230908.v3N98o7r045958>