[package - 114amd64-default][math/coq] Failed for coq-emacs27_canna-8.6_5, 3 in build-depends

Sun Nov 15 02:56:28 UTC 2020

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: jrm at FreeBSD.org
Ident:          $FreeBSD: head/math/coq/Makefile 544763 2020-08-12 18:30:06Z jrm $
Log URL:        http://beefy9.nyi.freebsd.org/data/114amd64-default/555156/logs/coq-emacs27_canna-8.6_5,3.log
Build URL:      http://beefy9.nyi.freebsd.org/build.html?mastername=114amd64-default&build=555156
Log:

=>> Building math/coq
build started at Sun Nov 15 02:52:08 UTC 2020
port directory: /usr/ports/math/coq
package name: coq-emacs27_canna-8.6_5,3
building for: FreeBSD 114amd64-default-job-12 11.4-RELEASE-p4 FreeBSD 11.4-RELEASE-p4 amd64
maintained by: hrs at FreeBSD.org
Makefile ident:      $FreeBSD: head/math/coq/Makefile 544763 2020-08-12 18:30:06Z jrm $
Poudriere version: 3.2.8-8-gaf08dbda
Host OSVERSION: 1300121
Jail OSVERSION: 1104001
Job Id: 12

---Begin Environment---
SHELL=/bin/csh
OSVERSION=1104001
UNAME_v=FreeBSD 11.4-RELEASE-p4
UNAME_r=11.4-RELEASE-p4
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.2.8-8-gaf08dbda
MASTERMNT=/usr/local/poudriere/data/.m/114amd64-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/114amd64-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=114amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/114amd64-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=canna
DEPENDS_ARGS=
MAKE_ARGS= FLAVOR=canna
---End Poudriere Port Flags/Env---

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

--MAINTAINER--
hrs at FreeBSD.org
--End MAINTAINER--

--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-canna  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/coq/work-canna  HOME=/wrkdirs/usr/ports/math/coq/work-canna TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/coq/work-canna/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8
--End CONFIGURE_ENV--

--MAKE_ENV--
VERBOSE=1 XDG_DATA_HOME=/wrkdirs/usr/ports/math/coq/work-canna  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/coq/work-canna  HOME=/wrkdirs/usr/ports/math/coq/work-canna TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/coq/work-canna/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES LANG=en_US.UTF-8 LC_ALL=en_US.UTF-8 PREFIX=/usr/local  LOCALBASE=/usr/local  CC="cc" CFLAGS="-O2 -pipe  -fstack-protector-strong -fno-strict-aliasing "  CPP="cpp" CPPFLAGS=""  LDFLAGS=" -fstack-protector-strong " LIBS=""  CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -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--
PORTDOCS="" 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" EMACS_LIBDIR=share/emacs  EMACS_VER=27.1  EMACS_LIBDIR_WITH_VER=share/emacs/27.1  EMACS_SITE_LISPDIR=share/emacs/site-lisp  EMACS_VERSION_SITE_LISPDIR=share/emacs/27.1/site-lisp GTK2_VERSION="2.10.0"  GTK3_VERSION="3.0.0" OSREL=11.4 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local 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
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
#### /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 ####
_CCVERSION_921dbbb2=FreeBSD clang version 10.0.0 (git at github.com:llvm/llvm-project.git llvmorg-10.0.0-0-gd32170dbd5b) Target: x86_64-unknown-freebsd11.4 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 10.0.0 (git at github.com:llvm/llvm-project.git llvmorg-10.0.0-0-gd32170dbd5b) Target: x86_64-unknown-freebsd11.4 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 10.0.0 (git at github.com:llvm/llvm-project.git llvmorg-10.0.0-0-gd32170dbd5b) Target: x86_64-unknown-freebsd11.4 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=amd64
OPSYS=FreeBSD
_OSRELEASE=11.4-RELEASE-p4
OSREL=11.4
OSVERSION=1104001
PYTHONBASE=/usr/local
HAVE_COMPAT_IA32_KERN=YES
CONFIGURE_MAX_CMD_LEN=524288
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
GID=0
UID=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
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-emacs27_canna-8.6_5,3 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.15.10.txz
[114amd64-default-job-12] Installing pkg-1.15.10...
[114amd64-default-job-12] Extracting pkg-1.15.10: .......... done
===>   coq-emacs27_canna-8.6_5,3 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of coq-emacs27_canna-8.6_5,3
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License LGPL21 accepted by the user
===> Fetching all distfiles required by coq-emacs27_canna-8.6_5,3 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License LGPL21 accepted by the user
===> Fetching all distfiles required by coq-emacs27_canna-8.6_5,3 for building
=> SHA256 Checksum OK for coq-8.6.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===>   coq-emacs27_canna-8.6_5,3 depends on file: /usr/local/bin/ocamlc - not found
===>   Installing existing package /packages/All/ocaml-4.05.0_1.txz
[114amd64-default-job-12] Installing ocaml-4.05.0_1...
[114amd64-default-job-12] `-- Installing libX11-1.6.12,1...
[114amd64-default-job-12] |   `-- Installing libxcb-1.14_1...
[114amd64-default-job-12] |   | `-- Installing libXau-1.0.9...
[114amd64-default-job-12] |   | `-- Extracting libXau-1.0.9: .......... done
[114amd64-default-job-12] |   | `-- Installing libXdmcp-1.1.3...
[114amd64-default-job-12] |   |   `-- Installing xorgproto-2020.1...
[114amd64-default-job-12] |   |   `-- Extracting xorgproto-2020.1: .......... done
[114amd64-default-job-12] |   | `-- Extracting libXdmcp-1.1.3: ......... done
[114amd64-default-job-12] |   | `-- Installing libpthread-stubs-0.4...
[114amd64-default-job-12] |   | `-- Extracting libpthread-stubs-0.4: .... done
[114amd64-default-job-12] |   `-- Extracting libxcb-1.14_1: .......... done
[114amd64-default-job-12] `-- Extracting libX11-1.6.12,1: .......... done
[114amd64-default-job-12] Extracting ocaml-4.05.0_1: .......... done
===>   coq-emacs27_canna-8.6_5,3 depends on file: /usr/local/bin/ocamlc - found
===>   Returning to build of coq-emacs27_canna-8.6_5,3
===========================================================================
=======================<phase: extract        >============================
===>  License LGPL21 accepted by the user
===> Fetching all distfiles required by coq-emacs27_canna-8.6_5,3 for building
===>  Extracting for coq-emacs27_canna-8.6_5,3
=> SHA256 Checksum OK for coq-8.6.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===>   coq-emacs27_canna-8.6_5,3 depends on file: /usr/local/bin/ocamlc - found
===========================================================================
=======================<phase: patch          >============================
<snip>
  - 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.
=====
Message from openldap-client-2.4.56:

--
The OpenLDAP client package has been successfully installed.

Edit
  /usr/local/etc/openldap/ldap.conf
to change the system-wide client defaults.

Try `man ldap.conf' and visit the OpenLDAP FAQ-O-Matic at
  http://www.OpenLDAP.org/faq/index.cgi?file=3
for more information.
=====
Message from samba412-4.12.9_1:

--
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 gtkglarea-2.0.1_10:

--
===>   NOTICE:

The gtkglarea 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 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 freeglut-3.0.0_2:

--
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_3,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
===>   coq-emacs27_canna-8.6_5,3 depends on executable: lablgtk2 - found
===>   Returning to build of coq-emacs27_canna-8.6_5,3
===>   coq-emacs27_canna-8.6_5,3 depends on file: /usr/local/bin/ocamlc - found
===>   coq-emacs27_canna-8.6_5,3 depends on file: /usr/local/share/texmf-var/web2c/tex/tex.fmt - not found
===>   Installing existing package /packages/All/tex-formats-20150521_2.txz
[114amd64-default-job-12] Installing tex-formats-20150521_2...
[114amd64-default-job-12] `-- Installing tex-basic-engines-20150521...
[114amd64-default-job-12] |   `-- Installing tex-kpathsea-6.2.1_2...
[114amd64-default-job-12] |   `-- Extracting tex-kpathsea-6.2.1_2: .......... done
[114amd64-default-job-12] |   `-- Installing tex-web2c-20150521_3...
[114amd64-default-job-12] |   | `-- Installing mpfr-4.1.0...
[114amd64-default-job-12] |   | `-- Extracting mpfr-4.1.0: .......... done
[114amd64-default-job-12] |   | `-- Installing openjpeg15-1.5.2_1...
[114amd64-default-job-12] |   |   `-- Installing lcms2-2.11_1...
[114amd64-default-job-12] |   |   `-- Extracting lcms2-2.11_1: .......... done
[114amd64-default-job-12] |   | `-- Extracting openjpeg15-1.5.2_1: .......... done
[114amd64-default-job-12] |   | `-- Installing tex-ptexenc-1.3.3_2...
[114amd64-default-job-12] |   | `-- Extracting tex-ptexenc-1.3.3_2: .......... done
[114amd64-default-job-12] |   | `-- Installing zziplib-0.13.71_1...
[114amd64-default-job-12] |   | `-- Extracting zziplib-0.13.71_1: .......... done
[114amd64-default-job-12] |   `-- Extracting tex-web2c-20150521_3: .......... done
[114amd64-default-job-12] `-- Extracting tex-basic-engines-20150521: .......... done
[114amd64-default-job-12] `-- Installing texlive-texmf-20150523_4...
[114amd64-default-job-12] |   `-- Installing texlive-base-20150521_59...
[114amd64-default-job-12] |   | `-- Installing ghostscript9-agpl-base-9.52_11...
[114amd64-default-job-12] |   |   `-- Installing jbig2dec-0.19...
[114amd64-default-job-12] |   |   `-- Extracting jbig2dec-0.19: .......... done
[114amd64-default-job-12] |   |   `-- Installing libidn-1.35...
[114amd64-default-job-12] |   |   `-- Extracting libidn-1.35: .......... done
[114amd64-default-job-12] |   |   `-- Installing poppler-data-0.4.10...
[114amd64-default-job-12] |   |   `-- Extracting poppler-data-0.4.10: .......... done
[114amd64-default-job-12] |   | `-- Extracting ghostscript9-agpl-base-9.52_11: .......... done
[114amd64-default-job-12] |   | `-- Installing harfbuzz-icu-2.7.2_1...
[114amd64-default-job-12] |   | `-- Extracting harfbuzz-icu-2.7.2_1: ........ done
[114amd64-default-job-12] |   | `-- Installing libgd-2.3.0,1...
[114amd64-default-job-12] |   |   `-- Installing webp-1.1.0...
[114amd64-default-job-12] |   |   | `-- Installing giflib-5.2.1...
[114amd64-default-job-12] |   |   | `-- Extracting giflib-5.2.1: .......... done
[114amd64-default-job-12] |   |   `-- Extracting webp-1.1.0: .......... done
[114amd64-default-job-12] |   | `-- Extracting libgd-2.3.0,1: .......... done
[114amd64-default-job-12] |   | `-- Installing libpotrace-1.16...
[114amd64-default-job-12] |   | `-- Extracting libpotrace-1.16: ........ done
[114amd64-default-job-12] |   | `-- Installing p5-File-HomeDir-1.006...
[114amd64-default-job-12] |   |   `-- Installing p5-File-Which-1.23...
[114amd64-default-job-12] |   |   `-- Extracting p5-File-Which-1.23: ....... done
[114amd64-default-job-12] |   | `-- Extracting p5-File-HomeDir-1.006: .......... done
[114amd64-default-job-12] |   | `-- Installing p5-YAML-Tiny-1.73...
[114amd64-default-job-12] |   | `-- Extracting p5-YAML-Tiny-1.73: ....... done
[114amd64-default-job-12] |   | `-- Installing poppler-20.11.0...
[114amd64-default-job-12] |   |   `-- Installing nss-3.59...
[114amd64-default-job-12] |   |   | `-- Installing sqlite3-3.33.0_1,1...
[114amd64-default-job-12] |   |   |   `-- Installing libedit-3.1.20191231,1...
[114amd64-default-job-12] |   |   |   `-- Extracting libedit-3.1.20191231,1: .......... done
[114amd64-default-job-12] |   |   | `-- Extracting sqlite3-3.33.0_1,1: .......... done
[114amd64-default-job-12] |   |   `-- Extracting nss-3.59: .......... done
[114amd64-default-job-12] |   |   `-- Installing openjpeg-2.3.1...
[114amd64-default-job-12] |   |   `-- Extracting openjpeg-2.3.1: .......... done
[114amd64-default-job-12] |   | `-- Extracting poppler-20.11.0: .......... done
[114amd64-default-job-12] |   | `-- Installing psutils-1.17_5...
[114amd64-default-job-12] |   | `-- Extracting psutils-1.17_5: .......... done
[114amd64-default-job-12] |   | `-- Installing t1lib-5.1.2_5,1...
[114amd64-default-job-12] |   |   `-- Installing libXaw-1.0.13_3,2...
[114amd64-default-job-12] |   |   `-- Extracting libXaw-1.0.13_3,2: .......... done
[114amd64-default-job-12] |   | `-- Extracting t1lib-5.1.2_5,1: .......... done
[114amd64-default-job-12] |   | `-- Installing teckit-2.5.7...
[114amd64-default-job-12] |   | `-- Extracting teckit-2.5.7: .......... done
[114amd64-default-job-12] |   | `-- Installing texlive-tlmgr-20150523_2...
[114amd64-default-job-12] |   | `-- Extracting texlive-tlmgr-20150523_2: ......... done
[114amd64-default-job-12] |   | `-- Installing xpdfopen-0.86...
[114amd64-default-job-12] |   | `-- Extracting xpdfopen-0.86: .... done
[114amd64-default-job-12] |   `-- Extracting texlive-base-20150521_59: .......... done
[114amd64-default-job-12] `-- Extracting texlive-texmf-20150523_4: .......... done
Child process pid=67230 terminated abnormally: Killed
*** Error code 137

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