=>> Building math/lean4-std
build started at Mon Apr  1 08:48:34 BST 2024
port directory: /usr/ports/math/lean4-std
package name: lean4-std-4.5.0.r1
building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64
maintained by: yuri@FreeBSD.org
Makefile datestamp: -rw-r--r--  1 root  wheel  595 Jan 18 14:02 /usr/ports/math/lean4-std/Makefile
Ports top last git commit: c2c35d895e
Ports top unclean checkout: yes
Port dir last git commit: a59c920e65
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.99.20240122_1
Host OSVERSION: 1400097
Jail OSVERSION: 1302001
Job Id: 14

---Begin Environment---
SHELL=/bin/csh
OSVERSION=1302001
UNAME_v=FreeBSD 13.2-RELEASE-p10
UNAME_r=13.2-RELEASE-p10
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.99.20240122_1
MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref
LC_COLLATE=C
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=screen
OUTPUT_REDIRECTED_STDERR=4
OUTPUT_REDIRECTED=1
PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/14/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=13-amd64-default-dan
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1
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--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/lean4-std/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean4-std/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lean4-std/work/.cache  HOME=/wrkdirs/usr/ports/math/lean4-std/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/lean4-std/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lean4-std/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCACHE_DIR="/root/.ccache"
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/lean4-std/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean4-std/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lean4-std/work/.cache  HOME=/wrkdirs/usr/ports/math/lean4-std/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/lean4-std/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lean4-std/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  " CCACHE_DIR="/root/.ccache" 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/lean4-std"  EXAMPLESDIR="share/examples/lean4-std"  DATADIR="share/lean4-std"  WWWDIR="www/lean4-std"  ETCDIR="etc/lean4-std"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/lean4-std DOCSDIR=/usr/local/share/doc/lean4-std EXAMPLESDIR=/usr/local/share/examples/lean4-std  WWWDIR=/usr/local/www/lean4-std ETCDIR=/usr/local/etc/lean4-std
--End SUB_LIST--

---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
FORCE_PACKAGE=yes
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
####  ####
CCACHE_CPP2=1
WITH_SSP_PORTS=yes
WITH_SSP=yes
#WITH_LTO=yes
DISABLE_LICENSES=yes
LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak
NO_LICENSES_DIALOGS=yes

####  ####
NO_IGNORE=yes
DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18
WITH_SETID_MODE=force
PHP_ZTS=enabled
OPTIONS_UNSET+=OPENJPEG
OPTIONS_UNSET+=GSSAPI_BASE
OPTIONS_SET+=ZTS
OPTIONS_SET+=GSSAPI_NONE

WITH_CCACHE_BUILD=yes
CCACHE_DIR=/root/.ccache
NO_CCACHE_DEPEND=1
CCACHE_WRAPPER_PATH=	/ccache/libexec/ccache
#### Misc Poudriere ####
.include "/etc/make.conf.ports_env"
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)  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
===========================================================================
=======================<phase: pkg-depends    >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===>   lean4-std-4.5.0.r1 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.20.9_1.pkg
[pkg-builder.dan.net.uk] Installing pkg-1.20.9_1...
[pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done
===>   lean4-std-4.5.0.r1 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of lean4-std-4.5.0.r1
===========================================================================
=======================<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
===> Fetching all distfiles required by lean4-std-4.5.0.r1 for building
===========================================================================
=======================<phase: checksum       >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Fetching all distfiles required by lean4-std-4.5.0.r1 for building
=> SHA256 Checksum OK for leanprover-std4-v4.5.0-rc1_GH0.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
===> Fetching all distfiles required by lean4-std-4.5.0.r1 for building
===>  Extracting for lean4-std-4.5.0.r1
=> SHA256 Checksum OK for leanprover-std4-v4.5.0-rc1_GH0.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 lean4-std-4.5.0.r1
===========================================================================
=======================<phase: build-depends  >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===>   lean4-std-4.5.0.r1 depends on executable: lake - not found
===>   Installing existing package /packages/All/lean4-4.6.0.pkg
[pkg-builder.dan.net.uk] Installing lean4-4.6.0...
[pkg-builder.dan.net.uk] `-- Installing gmp-6.3.0...
[pkg-builder.dan.net.uk] |   `-- Installing indexinfo-0.3.1...
[pkg-builder.dan.net.uk] |   `-- Extracting indexinfo-0.3.1: . done
[pkg-builder.dan.net.uk] `-- Extracting gmp-6.3.0: .......... done
[pkg-builder.dan.net.uk] Extracting lean4-4.6.0: .......... done
=====
Message from lean4-4.6.0:

--
================================================================================
You installed Lean: The Theorem Prover.

(1) Please note that Lean requires /proc to be mounted.

    The usual way to do this is to add this line to /etc/fstab:
    proc /proc procfs rw 0 0

    and then run this command as root:
    # mount /proc

(2) You might also want to install mathlibtools (math/mathlibtools) in case
    you need to use the mathematical library of Lean.
    mathlibtools download this library to user's home directory for further
    use by Lean.
================================================================================
===>   lean4-std-4.5.0.r1 depends on executable: lake - found
===>   Returning to build of lean4-std-4.5.0.r1
===========================================================================
=======================<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 lean4-std-4.5.0.r1
===========================================================================
=======================<phase: build          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Building for lean4-std-4.5.0.r1
info: std: no previous manifest, creating one from scratch
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Data/Array/Init/Basic.lean -R ././. -o ./.lake/build/lib/Std/Data/Array/Init/Basic.olean -i ./.lake/build/lib/Std/Data/Array/Init/Basic.ilean -c ./.lake/build/ir/Std/Data/Array/Init/Basic.c
error: stdout:
./././Std/Data/Array/Init/Basic.lean:32:0: error: one parameter bound in `termination_by`, but the body of Array.ofFn.go only binds 0 parameters.
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Lean/InfoTree.lean -R ././. -o ./.lake/build/lib/Std/Lean/InfoTree.olean -i ./.lake/build/lib/Std/Lean/InfoTree.ilean -c ./.lake/build/ir/Std/Lean/InfoTree.c
error: stdout:
./././Std/Lean/InfoTree.lean:17:24: error: application type mismatch
  go ctx
argument
  ctx
has type
  PartialContextInfo : Type
but is expected to have type
  Option ContextInfo : Type
./././Std/Lean/InfoTree.lean:16:2: error: (kernel) declaration has metavariables 'Lean.Elab.InfoTree.foldInfo'.go'
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/WF.lean -R ././. -o ./.lake/build/lib/Std/WF.olean -i ./.lake/build/lib/Std/WF.ilean -c ./.lake/build/ir/Std/WF.c
error: stdout:
./././Std/WF.lean:54:0: error: 3 parameters bound in `termination_by`, but the body of _private.Std.WF.0.Acc.recC only binds 0 parameters.
./././Std/WF.lean:61:2: error: type mismatch
  rfl
has type
  Acc.recC intro (_ : Acc (fun y => r y) a) = Acc.recC intro (_ : Acc (fun y => r y) a) : Prop
but is expected to have type
  Acc.recC intro (_ : Acc (fun y => r y) a) = intro a h fun y hr => Acc.recC intro (_ : Acc r y) : Prop
./././Std/WF.lean:68:11: error: tactic 'apply' failed, failed to unify
  ?f = ?g
with
  (intro x h fun y a => rec intro (_ : Acc ?m.1438 y)) = Acc.recC intro (_ : Acc r x)
case h.h.h.h.h.h.intro
α : Sort u_1
r : α → α → Prop
motive : (a : α) → Acc r a → Sort u_2
intro :
  (x : α) → (h : ∀ (y : α), r y x → Acc r y) → ((y : α) → (a : r y x) → motive y (_ : Acc r y)) → motive x (_ : Acc r x)
a x : α
h : ∀ (y : α), r y x → Acc r y
ih : ∀ (y : α) (a : r y x), rec intro (_ : Acc ?m.1438 y) = Acc.recC intro (_ : Acc ?m.1438 y)
⊢ (intro x h fun y a => rec intro (_ : Acc ?m.1438 y)) = Acc.recC intro (_ : Acc r x)
./././Std/WF.lean:121:0: error: 2 parameters bound in `termination_by`, but the body of _private.Std.WF.0.WellFounded.fixC only binds 0 parameters.
./././Std/WF.lean:123:55: error: type mismatch
  rfl
has type
  @fix = @fix : Prop
but is expected to have type
  @fix = @WellFounded.fixC : Prop
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Lean/Delaborator.lean -R ././. -o ./.lake/build/lib/Std/Lean/Delaborator.olean -i ./.lake/build/lib/Std/Lean/Delaborator.ilean -c ./.lake/build/ir/Std/Lean/Delaborator.c
error: stdout:
./././Std/Lean/Delaborator.lean:24:4: error: 'Lean.PrettyPrinter.Delaborator.withOverApp' has already been declared
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Data/Nat/Basic.lean -R ././. -o ./.lake/build/lib/Std/Data/Nat/Basic.olean -i ./.lake/build/lib/Std/Data/Nat/Basic.ilean -c ./.lake/build/ir/Std/Data/Nat/Basic.c
error: stdout:
./././Std/Data/Nat/Basic.lean:128:0: error: 2 parameters bound in `termination_by`, but the body of Nat.sqrt.iter only binds 0 parameters. (Since Lean v4.6.0, the `termination_by` clause no longer expects the function name here.)
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Tactic/Relation/Rfl.lean -R ././. -o ./.lake/build/lib/Std/Tactic/Relation/Rfl.olean -i ./.lake/build/lib/Std/Tactic/Relation/Rfl.ilean -c ./.lake/build/ir/Std/Tactic/Relation/Rfl.c
error: stdout:
./././Std/Tactic/Relation/Rfl.lean:27:34: error: function expected at
  DiscrTree.insertCore dt ks n
term has type
  DiscrTree Name
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Lean/Meta/Basic.lean -R ././. -o ./.lake/build/lib/Std/Lean/Meta/Basic.olean -i ./.lake/build/lib/Std/Lean/Meta/Basic.ilean -c ./.lake/build/ir/Std/Lean/Meta/Basic.c
error: stdout:
./././Std/Lean/Meta/Basic.lean:398:0: error: 6 parameters bound in `termination_by`, but the body of Lean.Meta.repeat'Core.go only binds 5 parameters.
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Tactic/Lint/Simp.lean -R ././. -o ./.lake/build/lib/Std/Tactic/Lint/Simp.olean -i ./.lake/build/lib/Std/Tactic/Lint/Simp.ilean -c ./.lake/build/ir/Std/Tactic/Lint/Simp.c
error: stdout:
./././Std/Tactic/Lint/Simp.lean:115:11: error: invalid constructor ⟨...⟩, insufficient number of arguments, constructs 'Lean.Meta.Simp.Result.mk' has #4 explicit fields, but only #3 provided
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Tactic/Simpa.lean -R ././. -o ./.lake/build/lib/Std/Tactic/Simpa.olean -i ./.lake/build/lib/Std/Tactic/Simpa.ilean -c ./.lake/build/ir/Std/Tactic/Simpa.c
error: stdout:
./././Std/Tactic/Simpa.lean:74:4: error: missing cases:
(Origin.decl _ _ true)
./././Std/Tactic/Simpa.lean:120:6: error: fields missing: 'simprocs'
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Tactic/RCases.lean -R ././. -o ./.lake/build/lib/Std/Tactic/RCases.olean -i ./.lake/build/lib/Std/Tactic/RCases.ilean -c ./.lake/build/ir/Std/Tactic/RCases.c
error: stdout:
./././Std/Tactic/RCases.lean:313:0: error: one parameter bound in `termination_by`, but the body of Std.Tactic.RCases.processConstructor only binds 0 parameters.
error: external command `/usr/local/bin/lean` exited with code 1
error: > LEAN_PATH=./.lake/build/lib LD_LIBRARY_PATH=./.lake/build/lib /usr/local/bin/lean -Dlinter.missingDocs=true ./././Std/Tactic/SimpTrace.lean -R ././. -o ./.lake/build/lib/Std/Tactic/SimpTrace.olean -i ./.lake/build/lib/Std/Tactic/SimpTrace.ilean -c ./.lake/build/ir/Std/Tactic/SimpTrace.c
error: stdout:
./././Std/Tactic/SimpTrace.lean:50:4: error: missing cases:
(Origin.decl _ _ true)
./././Std/Tactic/SimpTrace.lean:85:8: error: fields missing: 'simprocs'
error: external command `/usr/local/bin/lean` exited with code 1
[0/186] Building Std.Tactic.Unreachable
[0/186] Building Std.Classes.BEq
[0/186] Building Std.Util.LibraryNote
[0/186] Building Std.Tactic.OpenPrivate
[0/186] Building Std.Lean.TagAttribute
[0/239] Building Std.Util.TermUnsafe
[0/239] Building Std.Lean.Command
[0/239] Building Std.Tactic.SeqFocus
[0/239] Building Std.Classes.Dvd
[0/239] Building Std.Lean.Tactic
[0/239] Building Std.Util.ExtendedBinder
[0/239] Building Std.Lean.PersistentHashMap
[0/239] Building Std.Tactic.HaveI
[0/239] Building Std.Data.Fin.Init.Lemmas
[0/239] Building Std.Lean.Position
[0/239] Building Std.Lean.Parser
[0/239] Building Std.Util.ProofWanted
[0/239] Building Std.Lean.NameMapAttribute
[0/239] Building Std.Data.Array.Init.Basic
[0/239] Building Std.Lean.Name
[0/239] Building Std.Lean.Meta.Expr
[0/239] Building Std.Data.DList
[0/239] Building Std.Data.Prod.Lex
[0/239] Building Std.Lean.LocalContext
[0/239] Building Std.Lean.Float
[0/239] Building Std.Lean.InfoTree
[0/239] Building Std.Data.MLList.Basic
[1/239] Building Std.Lean.HashMap
[2/239] Building Std.Tactic.RCases
[3/239] Building Std.Lean.Elab.Tactic
[4/239] Building Std.Data.Option.Init.Lemmas
[5/239] Building Std.Lean.MonadBacktrack
[6/239] Building Std.Lean.Meta.Inaccessible
[7/239] Building Std.Tactic.Change
[8/239] Building Std.Lean.PersistentHashSet
[9/239] Building Std.Lean.Util.Path
[10/239] Building Std.Tactic.Case
[11/239] Building Std.Tactic.ByCases
[12/239] Building Std.Tactic.LeftRight
[12/239] Building Std.Tactic.Exact
[13/239] Building Std.Tactic.Omega.Config
[14/239] Building Std.Tactic.Where
[15/239] Building Std.WF
[16/239] Building Std.Tactic.Replace
[17/239] Compiling Std.Lean.TagAttribute
[18/239] Compiling Std.Lean.Position
[19/239] Compiling Std.Util.LibraryNote
[20/239] Compiling Std.Data.Fin.Init.Lemmas
[21/239] Compiling Std.Lean.Name
[22/239] Building Std.Control.ForInStep.Basic
[23/239] Compiling Std.Tactic.Unreachable
[23/239] Compiling Std.Lean.Tactic
[23/239] Building Std.Lean.Expr
[24/239] Compiling Std.Lean.LocalContext
[25/239] Building Std.Lean.Delaborator
[26/239] Compiling Std.Lean.Command
[27/239] Compiling Std.Util.TermUnsafe
[28/239] Compiling Std.Lean.NameMapAttribute
[29/239] Compiling Std.Util.ProofWanted
[30/239] Compiling Std.Lean.Float
[31/239] Building Std.Tactic.LabelAttr
[31/239] Building Std.Lean.CoreM
[32/239] Compiling Std.Lean.Parser
[33/239] Compiling Std.Tactic.SeqFocus
[33/239] Compiling Std.Tactic.OpenPrivate
[34/239] Building Std.Tactic.Instances
[35/239] Compiling Std.Lean.Util.Path
[37/239] Compiling Std.Tactic.ByCases
[38/239] Building Std.Data.Ord
[38/239] Building Std.Lean.AttributeExtra
[40/239] Building Std.Data.Int.Basic
[40/239] Building Std.Data.Nat.Basic
[41/239] Building Std.Lean.Meta.Basic
[42/239] Building Std.Util.Pickle
[43/239] Building Std.Tactic.RunCmd
[44/239] Building Std.CodeAction.Attr
[45/239] Building Std.Tactic.GuardExpr
[46/239] Building Std.Lean.Json
[47/239] Building Std.Tactic.Relation.Rfl
[48/239] Building Std.Lean.Format
[49/239] Building Std.Tactic.NoMatch
[50/239] Building Std.Control.ForInStep.Lemmas
[51/239] Building Std.Linter.UnreachableTactic
[52/239] Building Std.Tactic.Lint.Basic
[53/239] Compiling Std.Data.Ord
[54/239] Compiling Std.Lean.AttributeExtra
[55/239] Compiling Std.Lean.Json
[56/239] Building Std.Data.Json
[57/239] Building Std.Linter.UnnecessarySeqFocus
[61/239] Building Std.Control.ForInStep
[63/239] Building Std.Test.Internal.DummyLabelAttr
[67/239] Compiling Std.Lean.Format
[68/239] Building Std.Data.MLList.Heartbeats
[71/239] Compiling Std.Util.ExtendedBinder
[71/239] Building Std.Classes.SetNotation
[73/239] Compiling Std.Tactic.Lint.Basic
[73/239] Building Std.Tactic.Lint.Frontend
[73/239] Building Std.Tactic.Lint.Simp
[78/239] Compiling Std.Data.Json
[78/239] Building Std.Tactic.TryThis
[79/239] Compiling Std.Linter.UnreachableTactic
[81/239] Compiling Std.CodeAction.Attr
[82/239] Compiling Std.Tactic.NoMatch
[83/239] Compiling Std.Linter.UnnecessarySeqFocus
[83/239] Building Std.Linter
[85/239] Compiling Std.Linter
[89/239] Compiling Std.Tactic.GuardExpr
[94/239] Compiling Std.Classes.SetNotation
[94/239] Building Std.Lean.HashSet
[95/239] Compiling Std.Tactic.TryThis
[95/239] Building Std.Tactic.ShowTerm
[95/239] Building Std.Tactic.SimpTrace
[95/239] Building Std.Tactic.Simpa
[96/239] Compiling Std.Tactic.Lint.Frontend
[100/239] Compiling Std.Tactic.ShowTerm
*** Error code 1

Stop.
make: stopped in /usr/ports/math/lean4-std
=>> Cleaning up wrkdir
===>  Cleaning for lean4-std-4.5.0.r1
build of math/lean4-std | lean4-std-4.5.0.r1 ended at Mon Apr  1 08:49:08 BST 2024
build time: 00:00:35
!!! build failure encountered !!!