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/2311e6d81e23/logs/lean4-4.32.1.log Build URL: https://pkg-status.freebsd.org/beefy22/build.html?mastername=144amd64-default&build=2311e6d81e23 Log: =>> Building math/lean4 build started at Mon Sep 7 02:58:42 UTC 2026 port directory: /usr/ports/math/lean4 package name: lean4-4.32.1 building for: FreeBSD 144amd64-default-job-35 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: 2311e6d81e23fd9fa8d7a6fb14e403978fa3afdd 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: 35 ---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/35/.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-35] Installing pkg-2.8.4... [144amd64-default-job-35] 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:c.o (283ms) â [4724/4887] Built Lean.Meta.Tactic.Grind.Arith.CommRing (854ms) â [4725/4887] Built Lean.Meta.Tactic.Grind.Arith.CommRing:c.o (365ms) â [4726/4887] Built Lean.Meta.Tactic.Grind.EMatch:c.o (11s) â [4727/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Proof (19s) â [4728/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.DvdCnstr (3.1s) â [4729/4887] Built Lean.Meta.Tactic.Grind.AC.Eq:c.o (10s) â [4730/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.LeCnstr (3.8s) â [4731/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.DvdCnstr:c.o (1.0s) â [4732/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.LeCnstr:c.o (4.2s) â [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 (13s) â [4735/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.EqCnstr (12s) â [4736/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.ReorderVars (2.2s) â [4737/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.ReorderVars:c.o (2.7s) â [4738/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.EqCnstr:c.o (11s) â [4739/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.StructId (63s) â [4740/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Search (17s) â [4741/4887] Built Lean.Meta.Tactic.Grind.Arith.IsRelevant (638ms) â [4742/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Action (663ms) â [4743/4887] Built Lean.Meta.Tactic.Grind.Arith.IsRelevant:c.o (339ms) â [4744/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Action:c.o (232ms) â [4745/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Internalize (1.8s) â [4746/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat (976ms) â [4747/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat:c.o (432ms) â [4748/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Internalize:c.o (829ms) â [4749/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.IneqCnstr (2.0s) â [4750/4887] Built Lean.Meta.Tactic.Grind.Arith.Main (720ms) â [4751/4887] Built Lean.Meta.Tactic.Grind.Arith.Main:c.o (287ms) â [4752/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.IneqCnstr:c.o (1.0s) â [4753/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.StructId:c.o (7.0s) â [4754/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.PropagateEq (6.1s) â [4755/4887] Built Lean.Meta.Tactic.Grind.Arith.Cutsat.Search:c.o (9.7s) â [4756/4887] Built Lean.Meta.Tactic.Grind.Internalize (10s) â [4757/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.PropagateEq:c.o (5.5s) â [4758/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Search (11s) â [4759/4887] Built Lean.Meta.Tactic.Grind.ForallProp (3.0s) â [4760/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Action (640ms) â [4761/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Action:c.o (181ms) â [4762/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear (871ms) â [4763/4887] Built Lean.Meta.Tactic.Grind.SimpUtil (1.7s) â [4764/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear:c.o (426ms) â [4765/4887] Built Lean.Meta.Tactic.Grind.Arith (563ms) â [4766/4887] Built Lean.Meta.Tactic.Grind.Arith:c.o (223ms) â [4767/4887] Built Lean.Meta.Tactic.Grind.ForallProp:c.o (2.7s) â [4768/4887] Built Lean.Meta.Tactic.Grind.SimpUtil:c.o (1.7s) â [4769/4887] Built Lean.Meta.Tactic.Grind.Internalize:c.o (8.9s) â [4770/4887] Built Lean.Meta.Tactic.Grind.Core (9.2s) â [4771/4887] Built Lean.Meta.Tactic.Grind.Arith.Linear.Search:c.o (7.4s) â [4772/4887] Built Lean.Meta.Tactic.Grind.Core:c.o (4.6s) â [4773/4887] Built Lean.Meta.Tactic.Grind.Intro (5.1s) â [4774/4887] Built Lean.Meta.Tactic.Grind.EMatchAction (2.7s) â [4775/4887] Built Lean.Meta.Tactic.Grind.Intro:c.o (2.9s) â [4776/4887] Built Lean.Meta.Tactic.Grind.EMatchAction:c.o (2.4s) â [4777/4887] Built Lean.Meta.Tactic.Grind.Split (5.3s) â [4778/4887] Built Lean.Meta.Tactic.Grind.Finish (627ms) â [4779/4887] Built Lean.Meta.Tactic.Grind.Finish:c.o (339ms) â [4780/4887] Built Lean.Meta.Tactic.Grind.Solve (575ms) â [4781/4887] Built Lean.Meta.Tactic.Grind.Solve:c.o (219ms) â [4782/4887] Built Lean.Meta.Tactic.Grind.Lookahead (1.9s) â [4783/4887] Built Lean.Meta.Tactic.Grind.Lookahead:c.o (788ms) â [4784/4887] Built Lean.Meta.Tactic.Grind.Split:c.o (4.9s) â [4785/4887] Built Lean.Meta.Tactic.Grind.Main (5.7s) â [4786/4887] Built Lean.Meta.Sym.Grind (747ms) â [4787/4887] Built Lean.Meta.Sym (632ms) â [4788/4887] Built Lean.Meta.Sym.Grind:c.o (789ms) â [4789/4887] Built Lean.Meta.Tactic.Grind (1.5s) â [4790/4887] Built Lean.Meta.Sym:c.o (226ms) â [4791/4887] Built Lean.Meta.Tactic.LibrarySearch (2.1s) â [4792/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Reduce (881ms) â [4793/4887] Built Lean.Meta.Tactic.Grind:c.o (959ms) â [4794/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Reduce:c.o (693ms) â [4795/4887] Built Lean.Elab.Tactic.LibrarySearch (1.9s) â [4796/4887] Built Lean.Meta.Tactic.Try.Collect (1.9s) â [4797/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Util (2.2s) â [4798/4887] Built Lean.Meta.Tactic.Try (704ms) â [4799/4887] Built Lean.Meta.Tactic.Try:c.o (193ms) â [4800/4887] Built Lean.Meta.Tactic.LibrarySearch:c.o (3.0s) â [4801/4887] Built Lean.Elab.Tactic.Grind.Basic (5.3s) â [4802/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruction (3.7s) â [4803/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Util:c.o (1.4s) â [4804/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSL (1.1s) â [4805/4887] Built Lean.Elab.Tactic.Grind.Filter (1.2s) â [4806/4887] Built Lean.Elab.Tactic.Grind.WithGrindTacticM (1.1s) â [4807/4887] Built Lean.Meta.Tactic.Try.Collect:c.o (2.5s) â [4808/4887] Built Lean.Elab.Tactic.LibrarySearch:c.o (2.7s) â [4809/4887] Built Lean.Elab.Tactic.Grind.SimprocDSL (1.2s) â [4810/4887] Built Lean.Elab.Tactic.Grind.WithGrindTacticM:c.o (377ms) â [4811/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSL:c.o (566ms) â [4812/4887] Built Lean.Elab.Tactic.Grind.Have (1.7s) â [4813/4887] Built Lean.Elab.Tactic.Grind.Filter:c.o (699ms) â [4814/4887] Built Lean.Elab.Tactic.Grind.SimprocDSL:c.o (666ms) â [4815/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleCache (1.3s) â [4816/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSLBuiltin (1.0s) â [4817/4887] Built Lean.Elab.Tactic.Grind.RegisterSymDSimp (1.2s) â [4818/4887] Built Lean.Meta.Tactic.Grind.Main:c.o (7.8s) â [4819/4887] Built Lean.Meta.Tactic.Cbv.Main (6.4s) â [4820/4887] Built Lean.Elab.Tactic.Grind.RegisterSymSimp (1.3s) â [4821/4887] Built Lean.Elab.Tactic.Grind.SimprocDSLBuiltin (1.4s) â [4822/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleCache:c.o (599ms) â [4823/4887] Built Lean.Elab.Tactic.Grind.Have:c.o (986ms) â [4824/4887] Built Lean.Elab.Tactic.Grind.DSimprocDSLBuiltin:c.o (731ms) â [4825/4887] Built Lean.Elab.Tactic.Grind.RegisterSymDSimp:c.o (598ms) â [4826/4887] Built Lean.Meta.Tactic.Cbv (683ms) â [4827/4887] Built Lean.Elab.Tactic.Grind.ShowState (2.1s) â [4828/4887] Built Lean.Elab.Tactic.Grind.RegisterSymSimp:c.o (744ms) â [4829/4887] Built Lean.Meta.Tactic.Cbv:c.o (322ms) â [4830/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Entails (4.5s) â [4831/4887] Built Lean.Elab.Tactic.Conv.Cbv (762ms) â [4832/4887] Built Lean.Elab.Tactic.Grind.SimprocDSLBuiltin:c.o (1.4s) â [4833/4887] Built Lean.Meta.Tactic (1.1s) â [4834/4887] Built Lean.Elab.Tactic.Conv.Cbv:c.o (481ms) â [4835/4887] Built Lean.Elab.Tactic.Grind.Param (4.4s) â [4836/4887] Built Lean.Meta.Tactic:c.o (331ms) â [4837/4887] Built Lean.Elab.Tactic.Grind.Config (4.7s) â [4838/4887] Built Lean.Elab.Tactic.Conv (872ms) â [4839/4887] Built Lean.Elab.Tactic.Conv:c.o (258ms) â [4840/4887] Built Lean.Meta (1.2s) â [4841/4887] Built Lean.Elab.Tactic.Grind.Sym (3.1s) â [4842/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Entails:c.o (2.1s) â [4843/4887] Built Lean.Elab.Tactic.Cbv (1.5s) â [4844/4887] Built Lean.Elab.Tactic.Grind.ShowState:c.o (2.5s) â [4845/4887] Built Lean.Elab.Tactic.Grind.Trace (1.2s) â [4846/4887] Built Lean.Meta:c.o (360ms) â [4847/4887] Built Lean.Elab.Tactic.Cbv:c.o (661ms) â [4848/4887] Built Lean.Elab.Tactic.Grind.Trace:c.o (791ms) â [4849/4887] Built Lean.Elab.Tactic.Grind.Lint (2.4s) â [4850/4887] Built Lean.Elab.Tactic.Grind.Basic:c.o (8.0s) â [4851/4887] Built Lean.Elab.Tactic.Grind.LintExceptions (1.1s) â [4852/4887] Built Lean.Meta.Tactic.Cbv.Main:c.o (5.9s) â [4853/4887] Built Lean.Elab.Tactic.Grind.LintExceptions:c.o (210ms) â [4854/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.RuleConstruction:c.o (8.9s) â [4855/4887] Built Lean.Elab.Tactic.Grind.Sym:c.o (4.8s) â [4856/4887] Built Lean.Elab.Tactic.Grind.Lint:c.o (3.4s) â [4857/4887] Built Lean.Elab.Tactic.Grind.Param:c.o (6.1s) â [4858/4887] Built Lean.Elab.Tactic.Grind.BuiltinTactic (5.0s) â [4859/4887] Built Lean.Elab.Tactic.Grind.Main (6.8s) â [4860/4887] Built Lean.Elab.Tactic.Grind (664ms) â [4861/4887] Built Lean.Elab.Tactic.Grind:c.o (185ms) â [4862/4887] Built Lean.Elab.Tactic.Grind.Config:c.o (9.0s) â [4863/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Solve (12s) â [4864/4887] Built Lean.Elab.Tactic.Grind.Main:c.o (6.1s) â [4865/4887] Built Lean.Elab.Tactic.Grind.BuiltinTactic:c.o (7.7s) â [4866/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Solve:c.o (2.5s) â [4867/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Driver (2.0s) â [4868/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Driver:c.o (1.7s) â [4869/4887] Built Lean.Elab.Tactic.Try (10s) â [4870/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Frontend (4.2s) â [4871/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen (711ms) â [4872/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen:c.o (241ms) â [4873/4887] Built Lean.Elab.Tactic.Do.Internal (873ms) â [4874/4887] Built Lean.Elab.Tactic.Do.Internal:c.o (156ms) â [4875/4887] Built Lean.Elab.Tactic.Do (824ms) â [4876/4887] Built Lean.Elab.Tactic.Do:c.o (155ms) â [4877/4887] Built Lean.Elab.Tactic (1.2s) â [4878/4887] Built Lean.Elab.Tactic:c.o (211ms) â [4879/4887] Built Lean.Elab (1.1s) â [4880/4887] Built Lean.Elab:c.o (310ms) â [4881/4887] Built Lean.Elab.Tactic.Do.Internal.VCGen.Frontend:c.o (5.2s) â [4882/4887] Built Lean (1.4s) â [4883/4887] Built Lean:c.o (243ms) â [4884/4887] Built Lean.Elab.Tactic.Try:c.o (10s) â [4885/4887] Building Lean:static (60ms) 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 â [4886/4887] Building Lean:static (57ms) 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 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
