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: [email protected] Log URL: https://pkg-status.freebsd.org/beefy22/data/144amd64-default/c3d47bb8f5ff/logs/lean4-4.32.1.log Build URL: https://pkg-status.freebsd.org/beefy22/build.html?mastername=144amd64-default&build=c3d47bb8f5ff Log: =>> Building math/lean4 build started at Fri Sep 4 14:09:21 UTC 2026 port directory: /usr/ports/math/lean4 package name: lean4-4.32.1 building for: FreeBSD 144amd64-default-job-38 14.4-RELEASE-p9 FreeBSD 14.4-RELEASE-p9 amd64 maintained by: [email protected] Makefile datestamp: -rw-r--r-- 1 root wheel 4120 Aug 4 01:01 /usr/ports/math/lean4/Makefile Ports top last git commit: c3d47bb8f5ff8b7332d3187e0f5edd71286027b8 Ports top unclean checkout: no Port dir last git commit: f4b31ca20ad04c7be48738ef09cac90684aac35e Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.8-2-g2e891d4a Host OSVERSION: 1600019 Jail OSVERSION: 1404000 Job Id: 38 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1404000 UNAME_v=FreeBSD 14.4-RELEASE-p9 UNAME_r=14.4-RELEASE-p9 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.8-2-g2e891d4a MASTERMNT=/usr/local/poudriere/data/.m/144amd64-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/144amd64-default/38/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=144amd64-default SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/144amd64-default/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.8-2-g2e891d4a 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-- [email protected] --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/gmake PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.12" XDG_DATA_HOME=/wrkdirs/usr/ports/math/lean4/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean4/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lean4/work/.cache HOME=/wrkdirs/usr/ports/math/lean4/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lean4/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lean4/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-- LD_LIBRARY_PATH=/wrkdirs/usr/ports/math/lean4/work/.build/stage0/lib/lean XDG_DATA_HOME=/wrkdirs/usr/ports/math/lean4/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean4/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lean4/work/.cache HOME=/wrkdirs/usr/ports/math/lean4/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lean4/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lean4/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 -fPIC -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -fPIC " 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-- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.12 PYTHON_LIBDIR=lib/python3.12 PYTHON_PLATFORM=freebsd14 PYTHON_SITELIBDIR=lib/python3.12/site-packages PYTHON_SUFFIX=312 PYTHON_BASESUFFIX=312 PYTHON_TAG=.cpython-312 PYTHON_SOABI=.cpython-312 PYTHON_VER=3.12 PYTHON_BASEVER=3.12 PYTHON_VERSION=python3.12 PYTHON2="@comment " PYTHON3="" OSREL=14.4 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/lean4" EXAMPLESDIR="share/examples/lean4" DATADIR="share/lean4" WWWDIR="www/lean4" ETCDIR="etc/lean4" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.12 PYTHON_LIBDIR=/usr/local/lib/python3.12 PYTHON_PLATFORM=freebsd14 PYTHON_SITELIBDIR=/usr/local/lib/python3.12/site-packages PYTHON_SUFFIX=312 PYTHON_BASESUFFIX=312 PYTHON_TAG=.cpython-312 PYTHON_SOABI=.cpython-312 PYTHON_VER=3.12 PYTHON_BASEVER=3.12 PYTHON_VERSION=python3.12 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/lean4 DOCSDIR=/usr/local/share/doc/lean4 EXAMPLESDIR=/usr/local/share/examples/lean4 WWWDIR=/usr/local/www/lean4 ETCDIR=/usr/local/etc/lean4 --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 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 pipebuf (-y) unlimited --End resource limits-- =======================<phase: check-sanity >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 Please note that build 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 ===> License APACHE20 accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> lean4-4.32.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.8.4.pkg [144amd64-default-job-38] Installing pkg-2.8.4... [144amd64-default-job-38] Extracting pkg-2.8.4: .......... done ===> lean4-4.32.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of lean4-4.32.1 =========================================================================== =======================<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 Please note that build 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 ===> License APACHE20 accepted by the user ===> Fetching all distfiles required by lean4-4.32.1 for building =========================================================================== =======================<phase: checksum >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 Please note that build 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 ===> License APACHE20 accepted by the user ===> Fetching all distfiles required by lean4-4.32.1 for building => SHA256 Checksum OK for leanprover-lean4-v4.32.1_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 Please note that build 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 ===> License APACHE20 accepted by the user ===> Fetching all distfiles required by lean4-4.32.1 for building ===> Extracting for lean4-4.32.1 <snip> â [4723/4887] Built Lean.Meta.Tactic.Grind.Arith.CommRing.Action (571ms) â [4724/4887] Built Lean.Meta.Tactic.Grind.Arith.CommRing.Action:c.o (181ms) â [4725/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Proof (17s) â [4726/4887] Built Lean.Meta.Tactic.Grind.Arith.CommRing (705ms) â [4727/4887] Built Lean.Meta.Tactic.Grind.Arith.CommRing:c.o (401ms) â [4728/4887] Built Lean.Meta.Tactic.Grind.AC.Eq:c.o (9.2s) â [4729/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.DvdCnstr (3.2s) â [4730/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.LeCnstr (3.7s) â [4731/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.DvdCnstr:c.o (1.8s) â [4732/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.LeCnstr:c.o (3.3s) â [4733/4887] Built Lean.Meta.Tactic.Grind.Arith.CommRing.EqCnstr:c.o (11s) â [4734/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Proof:c.o (11s) â [4735/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.EqCnstr (11s) â [4736/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.ReorderVars (2.3s) â [4737/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.ReorderVars:c.o (2.5s) â [4738/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.EqCnstr:c.o (10s) â [4739/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Search (15s) â [4740/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.StructId (58s) â [4741/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Action (651ms) â [4742/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Action:c.o (191ms) â [4743/4887] Built Lean.Meta.Tactic.Grind.Arith.IsRelevant (670ms) â [4744/4887] Built Lean.Meta.Tactic.Grind.Arith.IsRelevant:c.o (246ms) â [4745/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat (755ms) â [4746/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat:c.o (465ms) â [4747/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Internalize (1.5s) â [4748/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Internalize:c.o (566ms) â [4749/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.IneqCnstr (2.9s) â [4750/4887] Built Lean.Meta.Tactic.Grind.Arith.Main (610ms) â [4751/4887] Built Lean.Meta.Tactic.Grind.Arith.Main:c.o (386ms) â [4752/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.IneqCnstr:c.o (2.1s) â [4753/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.StructId:c.o (5.1s) â [4754/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Search:c.o (8.5s) â [4755/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.PropagateEq (6.0s) â [4756/4887] Built Lean.Meta.Tactic.Grind.Internalize (8.4s) â [4757/4887] Built Lean.Meta.Tactic.Grind.ForallProp (3.8s) â [4758/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Search (11s) â [4759/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.PropagateEq:c.o (5.3s) â [4760/4887] Built Lean.Meta.Tactic.Grind.SimpUtil (1.7s) â [4761/4887] Built Lean.Meta.Tactic.Grind.ForallProp:c.o (1.0s) â [4762/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Action (688ms) â [4763/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Action:c.o (244ms) â [4764/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear (702ms) â [4765/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear:c.o (263ms) â [4766/4887] Built Lean.Meta.Tactic.Grind.SimpUtil:c.o (1.5s) â [4767/4887] Built Lean.Meta.Tactic.Grind.Arith (492ms) â [4768/4887] Built Lean.Meta.Tactic.Grind.Arith:c.o (146ms) â [4769/4887] Built Lean.Meta.Tactic.Grind.Internalize:c.o (8.6s) â [4770/4887] Built Lean.Meta.Tactic.Grind.Core (9.1s) â [4771/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Search:c.o (6.8s) â [4772/4887] Built Lean.Meta.Tactic.Grind.Core:c.o (3.8s) â [4773/4887] Built Lean.Meta.Tactic.Grind.Intro (4.8s) â [4774/4887] Built Lean.Meta.Tactic.Grind.Intro:c.o (2.5s) â [4775/4887] Built Lean.Meta.Tactic.Grind.EMatchAction (2.7s) â [4776/4887] Built Lean.Meta.Tactic.Grind.Split (4.7s) â [4777/4887] Built Lean.Meta.Tactic.Grind.Finish (583ms) â [4778/4887] Built Lean.Meta.Tactic.Grind.Finish:c.o (220ms) â [4779/4887] Built Lean.Meta.Tactic.Grind.Solve (653ms) â [4780/4887] Built Lean.Meta.Tactic.Grind.Solve:c.o (281ms) â [4781/4887] Built Lean.Meta.Tactic.Grind.EMatchAction:c.o (3.8s) â [4782/4887] Built Lean.Meta.Tactic.Grind.Lookahead (1.8s) â [4783/4887] Built Lean.Meta.Tactic.Grind.Lookahead:c.o (1.1s) â [4784/4887] Built Lean.Meta.Tactic.Grind.Split:c.o (3.7s) â [4785/4887] Built Lean.Meta.Tactic.Grind.Main (5.6s) â [4786/4887] Built Lean.Meta.Sym.Grind (749ms) â [4787/4887] Built Lean.Meta.Sym.Grind:c.o (478ms) â [4788/4887] Built Lean.Meta.Sym (544ms) â [4789/4887] Built Lean.Meta.Tactic.Grind (1.3s) â [4790/4887] Built Lean.Meta.Sym:c.o (229ms) â [4791/4887] Built Lean.Meta.Tactic.LibrarySearch (2.1s) â [4792/4887] Built Lean.Meta.Tactic.Grind:c.o (824ms) â [4793/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Reduce (952ms) â [4794/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Reduce:c.o (457ms) â [4795/4887] Built Lean.Elab.Tactic.LibrarySearch (1.6s) â [4796/4887] Built Lean.Meta.Tactic.Try.Collect (1.9s) â [4797/4887] Built Lean.Meta.Tactic.LibrarySearch:c.o (2.1s) â [4798/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Util (2.3s) â [4799/4887] Built Lean.Elab.Tactic.Grind.Basic (4.9s) â [4800/4887] Built Lean.Meta.Tactic.Try (822ms) â [4801/4887] Built Lean.Meta.Tactic.Try:c.o (296ms) â [4802/4887] Built Lean.Elab.Tactic.Grind.WithGrindTacticM (976ms) â [4803/4887] Built Lean.Elab.Tactic.LibrarySearch:c.o (2.4s) â [4804/4887] Built Lean.Elab.Tactic.Grind.SimprocDSL (1.1s) â [4805/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSL (1.1s) â [4806/4887] Built Lean.Elab.Tactic.Grind.Filter (1.3s) â [4807/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Util:c.o (1.5s) â [4808/4887] Built Lean.Elab.Tactic.Grind.WithGrindTacticM:c.o (328ms) â [4809/4887] Built Lean.Meta.Tactic.Try.Collect:c.o (2.1s) â [4810/4887] Built Lean.Meta.Tactic.Grind.Main:c.o (6.5s) â [4811/4887] Built Lean.Elab.Tactic.Grind.Have (1.7s) â [4812/4887] Built Lean.Elab.Tactic.Grind.SimprocDSL:c.o (607ms) â [4813/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSL:c.o (565ms) â [4814/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruction (4.4s) â [4815/4887] Built Lean.Elab.Tactic.Grind.Filter:c.o (602ms) â [4816/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSLBuiltin (1.0s) â [4817/4887] Built Lean.Elab.Tactic.Grind.RegisterSymSimp (1.1s) â [4818/4887] Built Lean.Elab.Tactic.Grind.RegisterSymDSimp (1.1s) â [4819/4887] Built Lean.Elab.Tactic.Grind.SimprocDSLBuiltin (1.3s) â [4820/4887] Built Lean.Elab.Tactic.Grind.Have:c.o (770ms) â [4821/4887] Built Lean.Meta.Tactic.Cbv.Main (6.1s) â [4822/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleCache (1.0s) â [4823/4887] Built Lean.Elab.Tactic.Grind.RegisterSymSimp:c.o (745ms) â [4824/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSLBuiltin:c.o (783ms) â [4825/4887] Built Lean.Elab.Tactic.Grind.RegisterSymDSimp:c.o (798ms) â [4826/4887] Built Lean.Meta.Tactic.Cbv (606ms) â [4827/4887] Built Lean.Elab.Tactic.Grind.ShowState (1.8s) â [4828/4887] Built Lean.Meta.Tactic.Cbv:c.o (315ms) â [4829/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleCache:c.o (596ms) â [4830/4887] Built Lean.Elab.Tactic.Grind.SimprocDSLBuiltin:c.o (1.3s) â [4831/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Entails (4.1s) â [4832/4887] Built Lean.Elab.Tactic.Grind.Param (3.0s) â [4833/4887] Built Lean.Elab.Tactic.Conv.Cbv (888ms) â [4834/4887] Built Lean.Meta.Tactic (1.0s) â [4835/4887] Built Lean.Elab.Tactic.Conv.Cbv:c.o (367ms) â [4836/4887] Built Lean.Meta.Tactic:c.o (324ms) â [4837/4887] Built Lean.Elab.Tactic.Grind.Config (4.5s) â [4838/4887] Built Lean.Elab.Tactic.Conv (805ms) â [4839/4887] Built Lean.Elab.Tactic.Conv:c.o (170ms) â [4840/4887] Built Lean.Meta (1.1s) â [4841/4887] Built Lean.Elab.Tactic.Grind.Sym (2.8s) â [4842/4887] Built Lean.Meta:c.o (299ms) â [4843/4887] Built Lean.Elab.Tactic.Grind.ShowState:c.o (2.6s) â [4844/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Entails:c.o (1.9s) â [4845/4887] Built Lean.Elab.Tactic.Cbv (1.5s) â [4846/4887] Built Lean.Elab.Tactic.Grind.Trace (1.4s) â [4847/4887] Built Lean.Elab.Tactic.Cbv:c.o (747ms) â [4848/4887] Built Lean.Elab.Tactic.Grind.Trace:c.o (653ms) â [4849/4887] Built Lean.Elab.Tactic.Grind.Lint (2.3s) â [4850/4887] Built Lean.Elab.Tactic.Grind.Basic:c.o (7.0s) â [4851/4887] Built Lean.Elab.Tactic.Grind.LintExceptions (1.0s) â [4852/4887] Built Lean.Elab.Tactic.Grind.LintExceptions:c.o (212ms) â [4853/4887] Built Lean.Meta.Tactic.Cbv.Main:c.o (6.4s) â [4854/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruction:c.o (7.5s) â [4855/4887] Built Lean.Elab.Tactic.Grind.Lint:c.o (2.8s) â [4856/4887] Built Lean.Elab.Tactic.Grind.Sym:c.o (4.3s) â [4857/4887] Built Lean.Elab.Tactic.Grind.BuiltinTactic (5.8s) â [4858/4887] Built Lean.Elab.Tactic.Grind.Param:c.o (6.6s) â [4859/4887] Built Lean.Elab.Tactic.Grind.Main (6.6s) â [4860/4887] Built Lean.Elab.Tactic.Grind (687ms) â [4861/4887] Built Lean.Elab.Tactic.Grind:c.o (178ms) â [4862/4887] Built Lean.Elab.Tactic.Grind.Config:c.o (9.1s) â [4863/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Solve (10s) â [4864/4887] Built Lean.Elab.Tactic.Grind.Main:c.o (4.8s) â [4865/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Driver (2.5s) â [4866/4887] Built Lean.Elab.Tactic.Grind.BuiltinTactic:c.o (7.6s) â [4867/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Solve:c.o (3.8s) â [4868/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Driver:c.o (1.8s) â [4869/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Frontend (3.8s) â [4870/4887] Built Lean.Elab.Tactic.Try (9.8s) â [4871/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen (742ms) â [4872/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen:c.o (160ms) â [4873/4887] Built Lean.Elab.Tactic.Do.Internal (851ms) â [4874/4887] Built Lean.Elab.Tactic.Do.Internal:c.o (211ms) â [4875/4887] Built Lean.Elab.Tactic.Do (679ms) â [4876/4887] Built Lean.Elab.Tactic.Do:c.o (145ms) â [4877/4887] Built Lean.Elab.Tactic (875ms) â [4878/4887] Built Lean.Elab.Tactic:c.o (220ms) â [4879/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Frontend:c.o (3.6s) â [4880/4887] Built Lean.Elab (1.1s) â [4881/4887] Built Lean.Elab:c.o (371ms) â [4882/4887] Built Lean (1.0s) â [4883/4887] Built Lean:c.o (312ms) â [4884/4887] Built Lean.Elab.Tactic.Try:c.o (10s) â [4885/4887] Building Lean:static (54ms) trace: .> ar rcs /wrkdirs/usr/ports/math/lean4/work/.build/stage1/lib/lean/libLean.a.export @/wrkdirs/usr/ports/math/lean4/work/.build/stage1/lib/lean/libLean.a.export.rsp info: stderr: ar: warning: can't open file: @/wrkdirs/usr/ports/math/lean4/work/.build/stage1/lib/lean/libLean.a.export.rsp: No such file or directory error: external command 'ar' exited with code 1 â [4886/4887] Building Lean:static (42ms) trace: .> ar rcs /wrkdirs/usr/ports/math/lean4/work/.build/stage1/lib/lean/libLean.a @/wrkdirs/usr/ports/math/lean4/work/.build/stage1/lib/lean/libLean.a.rsp info: stderr: ar: warning: can't open file: @/wrkdirs/usr/ports/math/lean4/work/.build/stage1/lib/lean/libLean.a.rsp: No such file or directory error: external command 'ar' exited with code 1 Some required targets logged failures: - Init:static - Init:static - Leanc:static - LeanChecker:static - Std:static - Std:static - LeanIR:static - LakeMain:static - Lake:static - Lake:static - Lean:static - Lean:static error: build failed gmake[6]: *** [/wrkdirs/usr/ports/math/lean4/work/.build/stage1/stdlib.make:57: Init] Error 1 gmake[5]: *** [CMakeFiles/make_stdlib.dir/build.make:70: CMakeFiles/make_stdlib] Error 2 gmake[4]: *** [CMakeFiles/Makefile2:1444: CMakeFiles/make_stdlib.dir/all] Error 2 gmake[3]: *** [Makefile:146: all] Error 2 gmake[3]: Leaving directory '/wrkdirs/usr/ports/math/lean4/work/.build/stage1' gmake[2]: *** [CMakeFiles/stage1.dir/build.make:98: stage1-prefix/src/stage1-stamp/stage1-build] Error 2 gmake[2]: Leaving directory '/wrkdirs/usr/ports/math/lean4/work/.build' gmake[1]: *** [CMakeFiles/Makefile2:140: CMakeFiles/stage1.dir/all] Error 2 gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/lean4/work/.build' gmake: *** [Makefile:139: all] Error 2 *** Error code 1 Stop. make: stopped making "build" in /usr/ports/math/lean4
