[package - 140amd64-default][math/abella] Failed for abella-2.0.7 in build

From: <pkg-fallout_at_FreeBSD.org>
Date: Fri, 03 May 2024 13:05:56 UTC
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:     yuri@FreeBSD.org
Log URL:        https://pkg-status.freebsd.org/beefy12/data/140amd64-default/517a7ce81e3e/logs/abella-2.0.7.log
Build URL:      https://pkg-status.freebsd.org/beefy12/build.html?mastername=140amd64-default&build=517a7ce81e3e
Log:

=>> Building math/abella
build started at Fri May  3 13:05:48 UTC 2024
port directory: /usr/ports/math/abella
package name: abella-2.0.7
building for: FreeBSD 140amd64-default-job-06 14.0-RELEASE-p6 FreeBSD 14.0-RELEASE-p6 amd64
maintained by: yuri@FreeBSD.org
Makefile datestamp: -rw-r--r--  1 root wheel 486 Aug 26  2023 /usr/ports/math/abella/Makefile
Ports top last git commit: 517a7ce81e
Ports top unclean checkout: no
Port dir last git commit: 157c391cc1
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.1-30-g79e3edcd
Host OSVERSION: 1500018
Jail OSVERSION: 1400097
Job Id: 06

---Begin Environment---
SHELL=/bin/sh
OSVERSION=1400097
UNAME_v=FreeBSD 14.0-RELEASE-p6
UNAME_r=14.0-RELEASE-p6
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
MAKE_OBJDIR_CHECK_WRITABLE=0
LOCALBASE=/usr/local
USER=root
POUDRIERE_NAME=poudriere-git
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.4.1-30-g79e3edcd
MASTERMNT=/usr/local/poudriere/data/.m/140amd64-default/ref
LC_COLLATE=C
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
OUTPUT_REDIRECTED_STDERR=4
OUTPUT_REDIRECTED=1
PWD=/usr/local/poudriere/data/.m/140amd64-default/06/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=140amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/140amd64-default/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.1-30-g79e3edcd
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

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

---Begin OPTIONS List---
---End OPTIONS List---

--MAINTAINER--
yuri@FreeBSD.org
--End MAINTAINER--

--CONFIGURE_ARGS--

--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/abella/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/abella/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/abella/work/.cache  HOME=/wrkdirs/usr/ports/math/abella/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/abella/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/abella/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/abella/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/abella/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/abella/work/.cache  HOME=/wrkdirs/usr/ports/math/abella/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/abella/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/abella/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES 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  " 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--
OSREL=14.0 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/abella"  EXAMPLESDIR="share/examples/abella"  DATADIR="share/abella"  WWWDIR="www/abella"  ETCDIR="etc/abella"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/abella DOCSDIR=/usr/local/share/doc/abella EXAMPLESDIR=/usr/local/share/examples/abella  WWWDIR=/usr/local/www/abella ETCDIR=/usr/local/etc/abella
--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
####  ####
# 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 3 jobs
MAKE_JOBS_NUMBER=3
#### Misc Poudriere ####
.include "/etc/make.conf.ports_env"
GID=0
UID=0
---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)  8192
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   >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  License GPLv3 accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===>   abella-2.0.7 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.21.2.pkg
[140amd64-default-job-06] Installing pkg-1.21.2...
[140amd64-default-job-06] Extracting pkg-1.21.2: .......... done
===>   abella-2.0.7 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of abella-2.0.7
===========================================================================
=======================<phase: fetch-depends  >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: fetch          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  License GPLv3 accepted by the user
===> Fetching all distfiles required by abella-2.0.7 for building
===========================================================================
=======================<phase: checksum       >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  License GPLv3 accepted by the user
===> Fetching all distfiles required by abella-2.0.7 for building
=> SHA256 Checksum OK for abella-2.0.7.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: extract        >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  License GPLv3 accepted by the user
===> Fetching all distfiles required by abella-2.0.7 for building
===>  Extracting for abella-2.0.7
=> SHA256 Checksum OK for abella-2.0.7.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: patch          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Patching for abella-2.0.7
===========================================================================
=======================<phase: build-depends  >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===>   abella-2.0.7 depends on executable: ocamlbuild - not found
===>   Installing existing package /packages/All/ocaml-ocamlbuild-0.14.2_4.pkg
[140amd64-default-job-06] Installing ocaml-ocamlbuild-0.14.2_4...
[140amd64-default-job-06] `-- Installing ocaml-4.14.1...
[140amd64-default-job-06] `-- Extracting ocaml-4.14.1: .......... done
[140amd64-default-job-06] Extracting ocaml-ocamlbuild-0.14.2_4: .......... done
===>   abella-2.0.7 depends on executable: ocamlbuild - found
===>   Returning to build of abella-2.0.7
===>   abella-2.0.7 depends on executable: ocamlfind - not found
===>   Installing existing package /packages/All/ocaml-findlib-1.9.6_2.pkg
[140amd64-default-job-06] Installing ocaml-findlib-1.9.6_2...
[140amd64-default-job-06] `-- Installing ocaml-labltk-8.06.12...
[140amd64-default-job-06] |   `-- Installing tcl86-8.6.14_2...
[140amd64-default-job-06] |   `-- Extracting tcl86-8.6.14_2: .......... done
[140amd64-default-job-06] |   `-- Installing tk86-8.6.14_2...
[140amd64-default-job-06] |   | `-- Installing fontconfig-2.15.0_2,1...
[140amd64-default-job-06] |   |   `-- Installing expat-2.6.2...
[140amd64-default-job-06] |   |   `-- Extracting expat-2.6.2: .......... done
[140amd64-default-job-06] |   |   `-- Installing freetype2-2.13.2...
[140amd64-default-job-06] |   |   | `-- Installing brotli-1.1.0,1...
[140amd64-default-job-06] |   |   | `-- Extracting brotli-1.1.0,1: .......... done
[140amd64-default-job-06] |   |   | `-- Installing png-1.6.43...
[140amd64-default-job-06] |   |   | `-- Extracting png-1.6.43: .......... done
[140amd64-default-job-06] |   |   `-- Extracting freetype2-2.13.2: .......... done
[140amd64-default-job-06] |   | `-- Extracting fontconfig-2.15.0_2,1: .......... done
[140amd64-default-job-06] |   | `-- Installing libX11-1.8.9,1...
[140amd64-default-job-06] |   |   `-- Installing libxcb-1.17.0...
[140amd64-default-job-06] |   |   | `-- Installing libXau-1.0.9_1...
[140amd64-default-job-06] |   |   | `-- Extracting libXau-1.0.9_1: .......... done
[140amd64-default-job-06] |   |   | `-- Installing libXdmcp-1.1.5...
[140amd64-default-job-06] |   |   |   `-- Installing xorgproto-2023.2...
[140amd64-default-job-06] |   |   |   `-- Extracting xorgproto-2023.2: .......... done
[140amd64-default-job-06] |   |   | `-- Extracting libXdmcp-1.1.5: ......... done
[140amd64-default-job-06] |   |   `-- Extracting libxcb-1.17.0: .......... done
[140amd64-default-job-06] |   | `-- Extracting libX11-1.8.9,1: .......... done
[140amd64-default-job-06] |   | `-- Installing libXScrnSaver-1.2.4_1...
[140amd64-default-job-06] |   |   `-- Installing libXext-1.3.6,1...
[140amd64-default-job-06] |   |   `-- Extracting libXext-1.3.6,1: .......... done
[140amd64-default-job-06] |   | `-- Extracting libXScrnSaver-1.2.4_1: .......... done
[140amd64-default-job-06] |   | `-- Installing libXft-2.3.8...
[140amd64-default-job-06] |   |   `-- Installing libXrender-0.9.10_2...
[140amd64-default-job-06] |   |   `-- Extracting libXrender-0.9.10_2: .......... done
[140amd64-default-job-06] |   | `-- Extracting libXft-2.3.8: .......... done
[140amd64-default-job-06] |   `-- Extracting tk86-8.6.14_2: .......... done
[140amd64-default-job-06] `-- Extracting ocaml-labltk-8.06.12: .......... done
[140amd64-default-job-06] Extracting ocaml-findlib-1.9.6_2: .......... done
==> Running trigger: fontconfig.ucl
Running fc-cache to build fontconfig cache...
=====
Message from freetype2-2.13.2:

--
The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as
the default, emulating a modern version of ClearType. This change inevitably
leads to different rendering results, and you might change port's options to
adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment
variable).

The environment variable "FREETYPE_PROPERTIES" can be used to control the
driver properties. Example:

FREETYPE_PROPERTIES=truetype:interpreter-version=35 \
	cff:no-stem-darkening=1 \
	autofitter:warping=1

This allows to select, say, the subpixel hinting mode at runtime for a given
application.

If LONG_PCF_NAMES port's option was enabled, the PCF family names may include
the foundry and information whether they contain wide characters. For example,
"Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at
run time with using pcf:no-long-family-names property, if needed. Example:

FREETYPE_PROPERTIES=pcf:no-long-family-names=1

How to recreate fontconfig cache with using such environment variable,
if needed:
# env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv

The controllable properties are listed in the section "Controlling FreeType
Modules" in the reference's table of contents
(/usr/local/share/doc/freetype2/reference/index.html, if documentation was installed).
===>   abella-2.0.7 depends on executable: ocamlfind - found
===>   Returning to build of abella-2.0.7
===>   abella-2.0.7 depends on package: gmake>=4.4.1 - not found
===>   Installing existing package /packages/All/gmake-4.4.1.pkg
[140amd64-default-job-06] Installing gmake-4.4.1...
[140amd64-default-job-06] `-- Installing gettext-runtime-0.22.5...
[140amd64-default-job-06] |   `-- Installing indexinfo-0.3.1...
[140amd64-default-job-06] |   `-- Extracting indexinfo-0.3.1: .... done
[140amd64-default-job-06] `-- Extracting gettext-runtime-0.22.5: .......... done
[140amd64-default-job-06] Extracting gmake-4.4.1: .......... done
===>   abella-2.0.7 depends on package: gmake>=4.4.1 - found
===>   Returning to build of abella-2.0.7
===========================================================================
=======================<phase: lib-depends    >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: configure      >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Configuring for abella-2.0.7
===========================================================================
=======================<phase: build          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Building for abella-2.0.7
ocamlbuild -classic-display -no-links src/abella.native
/usr/local/bin/ocamlopt.opt unix.cmxa -I /usr/local/lib/ocaml/ocamlbuild /usr/local/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/local/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
Recreating "src/version.ml"
ocamlfind ocamldep -modules src/abella.ml > src/abella.ml.depends
ocamlfind ocamldep -modules src/abella_types.ml > src/abella_types.ml.depends
ocamlfind ocamldep -modules src/extensions.ml > src/extensions.ml.depends
ocamlfind ocamldep -modules src/metaterm.ml > src/metaterm.ml.depends
ocamlfind ocamldep -modules src/context.ml > src/context.ml.depends
ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/extensions.cmo src/extensions.ml
+ ocamlfind ocamlc -c -bin-annot -strict-formats -w @a-4-29-40-41-42-44-45-48-58-59-60 -I src -I test/ext -o src/extensions.cmo src/extensions.ml
File "src/extensions.ml", line 1:
Error (warning 70 [missing-mli]): Cannot find interface file.
Command exited with code 2.
gmake: *** [Makefile:7: all] Error 10
===> Compilation failed unexpectedly.
Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to
the maintainer.
*** Error code 1

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