[package - 132i386-default][math/abella] Failed for abella-2.0.7 in build

Go to: [ bottom of page ] [ top of archives ] [ this month ]
From: <pkg-fallout_at_FreeBSD.org>
Date: Sun, 07 Apr 2024 13:32:37 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/beefy15/data/132i386-default/58278ae132f3/logs/abella-2.0.7.log
Build URL:      https://pkg-status.freebsd.org/beefy15/build.html?mastername=132i386-default&build=58278ae132f3
Log:

=>> Building math/abella
build started at Sun Apr  7 13:32:12 UTC 2024
port directory: /usr/ports/math/abella
package name: abella-2.0.7
building for: FreeBSD 132i386-default-job-04 13.2-RELEASE-p11 FreeBSD 13.2-RELEASE-p11 i386
maintained by: yuri@FreeBSD.org
Makefile datestamp: -rw-r--r--  1 root  wheel  486 Sep 10  2022 /usr/ports/math/abella/Makefile
Ports top last git commit: 58278ae132f
Ports top unclean checkout: no
Port dir last git commit: fb16dfecae4
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.1-1-g1e9f97d6
Host OSVERSION: 1500006
Jail OSVERSION: 1302001
Job Id: 04

---Begin Environment---
SHELL=/bin/csh
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
OSVERSION=1302001
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
MAKE_OBJDIR_CHECK_WRITABLE=0
UNAME_m=i386
UNAME_p=i386
UNAME_r=13.2-RELEASE-p11
LOCALBASE=/usr/local
UNAME_v=FreeBSD 13.2-RELEASE-p11
USER=root
POUDRIERE_NAME=poudriere-git
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.4.1-1-g1e9f97d6
MASTERMNT=/usr/local/poudriere/data/.m/132i386-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/132i386-default/04/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=132i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/132i386-default/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.1-1-g1e9f97d6
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=13.2 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
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
####  ####
# 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)  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)  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.0.pkg
[132i386-default-job-04] Installing pkg-1.21.0...
[132i386-default-job-04] Extracting pkg-1.21.0: .......... 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
[132i386-default-job-04] Installing ocaml-ocamlbuild-0.14.2_4...
[132i386-default-job-04] `-- Installing ocaml-4.14.1...
[132i386-default-job-04] `-- Extracting ocaml-4.14.1: .......... done
[132i386-default-job-04] 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
[132i386-default-job-04] Installing ocaml-findlib-1.9.6_2...
[132i386-default-job-04] `-- Installing ocaml-labltk-8.06.12...
[132i386-default-job-04] |   `-- Installing tcl86-8.6.14_2...
[132i386-default-job-04] |   `-- Extracting tcl86-8.6.14_2: .......... done
[132i386-default-job-04] |   `-- Installing tk86-8.6.14_2...
[132i386-default-job-04] |   | `-- Installing fontconfig-2.15.0_2,1...
[132i386-default-job-04] |   |   `-- Installing expat-2.6.2...
[132i386-default-job-04] |   |   `-- Extracting expat-2.6.2: .......... done
[132i386-default-job-04] |   |   `-- Installing freetype2-2.13.2...
[132i386-default-job-04] |   |   | `-- Installing brotli-1.1.0,1...
[132i386-default-job-04] |   |   | `-- Extracting brotli-1.1.0,1: .......... done
[132i386-default-job-04] |   |   | `-- Installing png-1.6.43...
[132i386-default-job-04] |   |   | `-- Extracting png-1.6.43: .......... done
[132i386-default-job-04] |   |   `-- Extracting freetype2-2.13.2: .......... done
[132i386-default-job-04] |   | `-- Extracting fontconfig-2.15.0_2,1: .......... done
[132i386-default-job-04] |   | `-- Installing libX11-1.8.7_1,1...
[132i386-default-job-04] |   |   `-- Installing libxcb-1.16.1...
[132i386-default-job-04] |   |   | `-- Installing libXau-1.0.9_1...
[132i386-default-job-04] |   |   | `-- Extracting libXau-1.0.9_1: .......... done
[132i386-default-job-04] |   |   | `-- Installing libXdmcp-1.1.5...
[132i386-default-job-04] |   |   |   `-- Installing xorgproto-2023.2...
[132i386-default-job-04] |   |   |   `-- Extracting xorgproto-2023.2: .......... done
[132i386-default-job-04] |   |   | `-- Extracting libXdmcp-1.1.5: ......... done
[132i386-default-job-04] |   |   `-- Extracting libxcb-1.16.1: .......... done
[132i386-default-job-04] |   | `-- Extracting libX11-1.8.7_1,1: .......... done
[132i386-default-job-04] |   | `-- Installing libXScrnSaver-1.2.4_1...
[132i386-default-job-04] |   |   `-- Installing libXext-1.3.6,1...
[132i386-default-job-04] |   |   `-- Extracting libXext-1.3.6,1: .......... done
[132i386-default-job-04] |   | `-- Extracting libXScrnSaver-1.2.4_1: .......... done
[132i386-default-job-04] |   | `-- Installing libXft-2.3.7_1...
[132i386-default-job-04] |   |   `-- Installing libXrender-0.9.10_2...
[132i386-default-job-04] |   |   `-- Extracting libXrender-0.9.10_2: .......... done
[132i386-default-job-04] |   | `-- Extracting libXft-2.3.7_1: .......... done
[132i386-default-job-04] |   `-- Extracting tk86-8.6.14_2: .......... done
[132i386-default-job-04] `-- Extracting ocaml-labltk-8.06.12: .......... done
[132i386-default-job-04] 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
[132i386-default-job-04] Installing gmake-4.4.1...
[132i386-default-job-04] `-- Installing gettext-runtime-0.22.5...
[132i386-default-job-04] |   `-- Installing indexinfo-0.3.1...
[132i386-default-job-04] |   `-- Extracting indexinfo-0.3.1: .... done
[132i386-default-job-04] `-- Extracting gettext-runtime-0.22.5: .......... done
[132i386-default-job-04] 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