[package - main-amd64-default][math/alt-ergo] Failed for alt-ergo-2.5.4 in package
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 13 Oct 2024 04:08:52 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: freebsd@dev.thsi.be
Log URL: https://pkg-status.freebsd.org/beefy18/data/main-amd64-default/p7030f8f1f6c8_sd5e9faf1f32/logs/alt-ergo-2.5.4.log
Build URL: https://pkg-status.freebsd.org/beefy18/build.html?mastername=main-amd64-default&build=p7030f8f1f6c8_sd5e9faf1f32
Log:
=>> Building math/alt-ergo
build started at Sun Oct 13 04:08:24 UTC 2024
port directory: /usr/ports/math/alt-ergo
package name: alt-ergo-2.5.4
building for: FreeBSD main-amd64-default-job-03 15.0-CURRENT FreeBSD 15.0-CURRENT 1500025 amd64
maintained by: freebsd@dev.thsi.be
Makefile datestamp: -rw-r--r-- 1 root wheel 2792 Oct 10 01:01 /usr/ports/math/alt-ergo/Makefile
Ports top last git commit: 7030f8f1f6c
Ports top unclean checkout: no
Port dir last git commit: d9c44a62acb
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.2
Host OSVERSION: 1500023
Jail OSVERSION: 1500025
Job Id: 03
!!! Jail is newer than host. (Jail: 1500025, Host: 1500023) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!
---Begin Environment---
SHELL=/bin/sh
OSVERSION=1500025
UNAME_v=FreeBSD 15.0-CURRENT 1500025
UNAME_r=15.0-CURRENT
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.2
MASTERMNT=/usr/local/poudriere/data/.m/main-amd64-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/main-amd64-default/03/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=main-amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/main-amd64-default/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.2
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---
===> The following configuration options are available for alt-ergo-2.5.4:
DOCS=on: Build and/or install documentation
MANPAGES=off: Build and/or install manual pages
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
freebsd@dev.thsi.be
--End MAINTAINER--
--CONFIGURE_ARGS--
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/alt-ergo/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/alt-ergo/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/alt-ergo/work/.cache HOME=/wrkdirs/usr/ports/math/alt-ergo/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/alt-ergo/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/alt-ergo/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/alt-ergo/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/alt-ergo/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/alt-ergo/work/.cache HOME=/wrkdirs/usr/ports/math/alt-ergo/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/alt-ergo/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/alt-ergo/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--
PORTDOCS="" DOCS="" NO_DOCS="@comment " MANPAGES="@comment " NO_MANPAGES="" OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/ocaml" EXAMPLESDIR="share/examples/alt-ergo" DATADIR="share/alt-ergo" WWWDIR="www/alt-ergo" ETCDIR="etc/alt-ergo"
--End PLIST_SUB--
--SUB_LIST--
DOCS="" NO_DOCS="@comment " MANPAGES="@comment " NO_MANPAGES="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/alt-ergo DOCSDIR=/usr/local/share/doc/ocaml EXAMPLESDIR=/usr/local/share/examples/alt-ergo WWWDIR=/usr/local/www/alt-ergo ETCDIR=/usr/local/etc/alt-ergo
--End SUB_LIST--
---Begin 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 3 jobs
MAKE_JOBS_NUMBER=3
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--
ulimit: can't get limit: Invalid argument
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 CeCILL-C accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> alt-ergo-2.5.4 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.21.3.pkg
[main-amd64-default-job-03] Installing pkg-1.21.3...
[main-amd64-default-job-03] Extracting pkg-1.21.3: .......... done
===> alt-ergo-2.5.4 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of alt-ergo-2.5.4
===========================================================================
=======================<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 CeCILL-C accepted by the user
=> OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch https://codeload.github.com/OCamlPro/alt-ergo/tar.gz/v2.5.4?dummy=/OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz
fetch: https://codeload.github.com/OCamlPro/alt-ergo/tar.gz/v2.5.4?dummy=/OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz: size unknown
fetch: https://codeload.github.com/OCamlPro/alt-ergo/tar.gz/v2.5.4?dummy=/OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz: size of remote file is not known
OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz 2984 kB 11 MBps 00s
===> Fetching all distfiles required by alt-ergo-2.5.4 for building
===========================================================================
=======================<phase: checksum >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License CeCILL-C accepted by the user
===> Fetching all distfiles required by alt-ergo-2.5.4 for building
=> SHA256 Checksum OK for OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> alt-ergo-2.5.4 depends on file: /usr/local/bin/ocamlc - not found
===> Installing existing package /packages/All/ocaml-4.14.2.pkg
[main-amd64-default-job-03] Installing ocaml-4.14.2...
[main-amd64-default-job-03] Extracting ocaml-4.14.2: .......... done
===> alt-ergo-2.5.4 depends on file: /usr/local/bin/ocamlc - found
===> Returning to build of alt-ergo-2.5.4
===========================================================================
=======================<phase: extract >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License CeCILL-C accepted by the user
===> Fetching all distfiles required by alt-ergo-2.5.4 for building
===> Extracting for alt-ergo-2.5.4
=> SHA256 Checksum OK for OCamlPro-alt-ergo-v2.5.4_GH0.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> alt-ergo-2.5.4 depends on file: /usr/local/bin/ocamlc - found
<snip>
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/frontend.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/frontend.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/input.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/input.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/models.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/models.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/parsed_interface.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/parsed_interface.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/typechecker.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/frontend/typechecker.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/missing_primitives.js
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/opam
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ac.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ac.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/adt.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/adt.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/adt_rel.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/adt_rel.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/arith.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/arith.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/arrays.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/arrays.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/arrays_rel.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/arrays_rel.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/bitv.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/bitv.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/bitv_rel.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/bitv_rel.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ccx.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ccx.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/enum.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/enum.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/enum_rel.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/enum_rel.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/fun_sat.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/fun_sat.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/inequalities.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/inequalities.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/instances.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/instances.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/intervalCalculus.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/intervalCalculus.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/intervals.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/intervals.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ite.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ite.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ite_rel.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/ite_rel.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/matching.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/matching.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/matching_types.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/polynome.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/polynome.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/records.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/records.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/records_rel.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/records_rel.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/relation.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/relation.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/sat_solver.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/sat_solver.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/sat_solver_sig.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/sat_solver_sig.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/satml.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/satml.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/satml_frontend.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/satml_frontend.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/satml_frontend_hybrid.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/satml_frontend_hybrid.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/shostak.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/shostak.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/sig.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/sig_rel.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/th_util.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/th_util.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/theory.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/theory.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/uf.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/uf.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/use.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/reasoners/use.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/commands.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/commands.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/errors.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/errors.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/explanation.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/explanation.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/expr.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/expr.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/fpa_rounding.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/fpa_rounding.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/modelMap.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/modelMap.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/parsed.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/parsed.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/profiling.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/profiling.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/satml_types.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/satml_types.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/symbols.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/symbols.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/ty.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/ty.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/typed.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/typed.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/var.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/var.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/xliteral.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/structures/xliteral.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/compat.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/compat.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/emap.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/emap.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/gc_debug.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/gc_debug.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/hconsing.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/hconsing.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/hstring.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/hstring.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/iheap.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/iheap.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/lists.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/lists.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/loc.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/loc.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/myUnix.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/myUnix.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/my_zip.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/my_zip.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/numbers.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/numbers.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/options.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/options.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/printer.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/printer.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/steps.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/steps.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/theories.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/timers.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/timers.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/util.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/util.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/vec.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/vec.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/version.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/util/version.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/AltErgoLib.cmxs
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-lib/__private__/alt_ergo_prelude/alt_ergo_prelude.cmxs
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-lib/CHANGES.md
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-lib/LICENSE.md
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-lib/README.md
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-lib/odoc-pages/index.mld
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/AltErgoParsers.a
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/AltErgoParsers.cma
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/AltErgoParsers.cmxa
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/META
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers.cmi
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers.cmt
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers.cmx
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmi
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmt
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Native_lexer.cmx
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmi
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmt
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmti
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Native_parser.cmx
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmi
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmt
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmti
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Parsers.cmx
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/dune-package
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/native_lexer.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/native_parser.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/native_parser.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/opam
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/parsers.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/parsers.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.ml
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/psmt2_to_alt_ergo.mli
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/lib/ocaml/site-lib/alt-ergo-parsers/AltErgoParsers.cmxs
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-parsers/CHANGES.md
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-parsers/LICENSE.md
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-parsers/README.md
Installing /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/doc/ocaml/alt-ergo-parsers/odoc-pages/index.mld
====> Compressing man pages (compress-man)
===========================================================================
=======================<phase: package >============================
===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2024-10-13T04:08:24+0000' 'PKG_NOTE_ports_top_git_hash=7030f8f1f6c' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=d9c44a62acb' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0
===> Building packages for alt-ergo-2.5.4
===> Building alt-ergo-2.5.4
pkg-static: Unable to access file /wrkdirs/usr/ports/math/alt-ergo/work/stage/usr/local/share/alt-ergo/alt-ergo/preludes/fpa-theory-2019-10-08-19h00.ae:No such file or directory
*** Error code 1
Stop.
make: stopped making "package" in /usr/ports/math/alt-ergo