[package - main-i386-default][math/lean] Failed for lean-3.51.1 in build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 27 Oct 2024 06:41:43 UTC
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: yuri@FreeBSD.org
Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p711a2f7f1ca4_s8b2e7da7085/logs/lean-3.51.1.log
Build URL: https://pkg-status.freebsd.org/beefy17/build.html?mastername=main-i386-default&build=p711a2f7f1ca4_s8b2e7da7085
Log:
=>> Building math/lean
build started at Sun Oct 27 06:39:47 UTC 2024
port directory: /usr/ports/math/lean
package name: lean-3.51.1
building for: FreeBSD main-i386-default-job-01 15.0-CURRENT FreeBSD 15.0-CURRENT 1500026 i386
maintained by: yuri@FreeBSD.org
Makefile datestamp: -rw-r--r-- 1 root wheel 1157 Jun 10 2023 /usr/ports/math/lean/Makefile
Ports top last git commit: 711a2f7f1ca
Ports top unclean checkout: no
Port dir last git commit: fc32440b3d1
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.2
Host OSVERSION: 1500023
Jail OSVERSION: 1500026
Job Id: 01
!!! Jail is newer than host. (Jail: 1500026, Host: 1500023) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!
---Begin Environment---
SHELL=/bin/sh
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
OSVERSION=1500026
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
MAKE_OBJDIR_CHECK_WRITABLE=0
UNAME_m=i386
UNAME_p=i386
UNAME_r=15.0-CURRENT
LOCALBASE=/usr/local
UNAME_v=FreeBSD 15.0-CURRENT 1500026
USER=root
POUDRIERE_NAME=poudriere-git
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.4.2
MASTERMNT=/usr/local/poudriere/data/.m/main-i386-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-i386-default/01/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=main-i386-default
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/main-i386-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 lean-3.51.1:
TCMALLOC=on: Use the tcmalloc memory allocation library
THREADS=on: Threading support
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
yuri@FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/lean/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lean/work/.cache HOME=/wrkdirs/usr/ports/math/lean/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lean/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lean/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--
NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/lean/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lean/work/.cache HOME=/wrkdirs/usr/ports/math/lean/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lean/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lean/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 DESTDIR=/wrkdirs/usr/ports/math/lean/work/stage 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--
CMAKE_BUILD_TYPE="release" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/lean" EXAMPLESDIR="share/examples/lean" DATADIR="share/lean" WWWDIR="www/lean" ETCDIR="etc/lean"
--End PLIST_SUB--
--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/lean DOCSDIR=/usr/local/share/doc/lean EXAMPLESDIR=/usr/local/share/examples/lean WWWDIR=/usr/local/www/lean ETCDIR=/usr/local/etc/lean
--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
MACHINE=i386
MACHINE_ARCH=i386
ARCH=${MACHINE_ARCH}
#### ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure. It currently retries the same
# failed mirror and then fails rather then trying another. It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs
MAKE_JOBS_NUMBER=3
#### Misc Poudriere ####
.include "/etc/make.conf.ports_env"
GID=0
UID=0
---End make.conf---
--Resource limits--
ulimit: can't get limit: Invalid argument
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 524288
stack size (kbytes, -s) 65536
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 8192
virtual mem size (kbytes, -v) unlimited
swap limit (kbytes, -w) unlimited
socket buffer size (bytes, -b) unlimited
pseudo-terminals (-p) unlimited
kqueues (-k) unlimited
umtx shared locks (-o) unlimited
--End resource limits--
=======================<phase: check-sanity >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License APACHE20 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> lean-3.51.1 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.21.3.pkg
[main-i386-default-job-01] Installing pkg-1.21.3...
[main-i386-default-job-01] Extracting pkg-1.21.3: .......... done
===> lean-3.51.1 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of lean-3.51.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
===> License APACHE20 accepted by the user
===> Fetching all distfiles required by lean-3.51.1 for building
===========================================================================
=======================<phase: checksum >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License APACHE20 accepted by the user
===> Fetching all distfiles required by lean-3.51.1 for building
=> SHA256 Checksum OK for leanprover-community-lean-v3.51.1_GH0.tar.gz.
=> SHA256 Checksum OK for 5eecaa0b9c860858372a22ab242566671907c913.patch.
===========================================================================
=======================<phase: extract-depends>============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: extract >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License APACHE20 accepted by the user
===> Fetching all distfiles required by lean-3.51.1 for building
===> Extracting for lean-3.51.1
=> SHA256 Checksum OK for leanprover-community-lean-v3.51.1_GH0.tar.gz.
=> SHA256 Checksum OK for 5eecaa0b9c860858372a22ab242566671907c913.patch.
===========================================================================
=======================<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 lean-3.51.1
===> Applying distribution patches for lean-3.51.1
<snip>
[ 4% 17/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/stackinfo.cpp.o -MF util/CMakeFiles/util.dir/stackinfo.cpp.o.d -o util/CMakeFiles/util.dir/stackinfo.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/stackinfo.cpp
[ 4% 18/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/serializer.cpp.o -MF util/CMakeFiles/util.dir/serializer.cpp.o.d -o util/CMakeFiles/util.dir/serializer.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/serializer.cpp
[ 5% 19/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/lean_path.cpp.o -MF util/CMakeFiles/util.dir/lean_path.cpp.o.d -o util/CMakeFiles/util.dir/lean_path.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/lean_path.cpp
[ 5% 20/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/lbool.cpp.o -MF util/CMakeFiles/util.dir/lbool.cpp.o.d -o util/CMakeFiles/util.dir/lbool.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/lbool.cpp
[ 5% 21/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/bitap_fuzzy_search.cpp.o -MF util/CMakeFiles/util.dir/bitap_fuzzy_search.cpp.o.d -o util/CMakeFiles/util.dir/bitap_fuzzy_search.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/bitap_fuzzy_search.cpp
[ 5% 22/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/init_module.cpp.o -MF util/CMakeFiles/util.dir/init_module.cpp.o.d -o util/CMakeFiles/util.dir/init_module.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/init_module.cpp
[ 6% 23/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/memory_pool.cpp.o -MF util/CMakeFiles/util.dir/memory_pool.cpp.o.d -o util/CMakeFiles/util.dir/memory_pool.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/memory_pool.cpp
[ 6% 24/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/utf8.cpp.o -MF util/CMakeFiles/util.dir/utf8.cpp.o.d -o util/CMakeFiles/util.dir/utf8.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/utf8.cpp
[ 6% 25/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/thread.cpp.o -MF util/CMakeFiles/util.dir/thread.cpp.o.d -o util/CMakeFiles/util.dir/thread.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/thread.cpp
[ 7% 26/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/line_endings.cpp.o -MF util/CMakeFiles/util.dir/line_endings.cpp.o.d -o util/CMakeFiles/util.dir/line_endings.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/line_endings.cpp
[ 7% 27/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/name_map.cpp.o -MF util/CMakeFiles/util.dir/name_map.cpp.o.d -o util/CMakeFiles/util.dir/name_map.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/name_map.cpp
[ 7% 28/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/list_fn.cpp.o -MF util/CMakeFiles/util.dir/list_fn.cpp.o.d -o util/CMakeFiles/util.dir/list_fn.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/list_fn.cpp
[ 7% 29/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/file_lock.cpp.o -MF util/CMakeFiles/util.dir/file_lock.cpp.o.d -o util/CMakeFiles/util.dir/file_lock.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/file_lock.cpp
[ 8% 30/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/timeit.cpp.o -MF util/CMakeFiles/util.dir/timeit.cpp.o.d -o util/CMakeFiles/util.dir/timeit.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/timeit.cpp
[ 8% 31/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/timer.cpp.o -MF util/CMakeFiles/util.dir/timer.cpp.o.d -o util/CMakeFiles/util.dir/timer.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/timer.cpp
[ 8% 32/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/task_builder.cpp.o -MF util/CMakeFiles/util.dir/task_builder.cpp.o.d -o util/CMakeFiles/util.dir/task_builder.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/task_builder.cpp
[ 9% 33/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/task.cpp.o -MF util/CMakeFiles/util.dir/task.cpp.o.d -o util/CMakeFiles/util.dir/task.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/task.cpp
[ 9% 34/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/cancellable.cpp.o -MF util/CMakeFiles/util.dir/cancellable.cpp.o.d -o util/CMakeFiles/util.dir/cancellable.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/cancellable.cpp
[ 9% 35/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/small_object_allocator.cpp.o -MF util/CMakeFiles/util.dir/small_object_allocator.cpp.o.d -o util/CMakeFiles/util.dir/small_object_allocator.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/small_object_allocator.cpp
[ 10% 36/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/subscripted_name_set.cpp.o -MF util/CMakeFiles/util.dir/subscripted_name_set.cpp.o.d -o util/CMakeFiles/util.dir/subscripted_name_set.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/subscripted_name_set.cpp
[ 10% 37/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/log_tree.cpp.o -MF util/CMakeFiles/util.dir/log_tree.cpp.o.d -o util/CMakeFiles/util.dir/log_tree.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/log_tree.cpp
[ 10% 38/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/parser_exception.cpp.o -MF util/CMakeFiles/util.dir/parser_exception.cpp.o.d -o util/CMakeFiles/util.dir/parser_exception.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/parser_exception.cpp
[ 10% 39/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/CMakeFiles/util.dir/name_generator.cpp.o -MF util/CMakeFiles/util.dir/name_generator.cpp.o.d -o util/CMakeFiles/util.dir/name_generator.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/name_generator.cpp
[ 11% 40/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/numerics/CMakeFiles/numerics.dir/mpq.cpp.o -MF util/numerics/CMakeFiles/numerics.dir/mpq.cpp.o.d -o util/numerics/CMakeFiles/numerics.dir/mpq.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/numerics/mpq.cpp
[ 11% 41/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/numerics/CMakeFiles/numerics.dir/mpz.cpp.o -MF util/numerics/CMakeFiles/numerics.dir/mpz.cpp.o.d -o util/numerics/CMakeFiles/numerics.dir/mpz.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/numerics/mpz.cpp
[ 11% 42/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/sexpr/CMakeFiles/sexpr.dir/sexpr_fn.cpp.o -MF util/sexpr/CMakeFiles/sexpr.dir/sexpr_fn.cpp.o.d -o util/sexpr/CMakeFiles/sexpr.dir/sexpr_fn.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/sexpr/sexpr_fn.cpp
[ 12% 43/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/sexpr/CMakeFiles/sexpr.dir/sexpr.cpp.o -MF util/sexpr/CMakeFiles/sexpr.dir/sexpr.cpp.o.d -o util/sexpr/CMakeFiles/sexpr.dir/sexpr.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/sexpr/sexpr.cpp
[ 12% 44/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/sexpr/CMakeFiles/sexpr.dir/format.cpp.o -MF util/sexpr/CMakeFiles/sexpr.dir/format.cpp.o.d -o util/sexpr/CMakeFiles/sexpr.dir/format.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/sexpr/format.cpp
[ 12% 45/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/sexpr/CMakeFiles/sexpr.dir/options.cpp.o -MF util/sexpr/CMakeFiles/sexpr.dir/options.cpp.o.d -o util/sexpr/CMakeFiles/sexpr.dir/options.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/sexpr/options.cpp
[ 12% 46/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/sexpr/CMakeFiles/sexpr.dir/init_module.cpp.o -MF util/sexpr/CMakeFiles/sexpr.dir/init_module.cpp.o.d -o util/sexpr/CMakeFiles/sexpr.dir/init_module.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/sexpr/init_module.cpp
[ 13% 47/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT util/sexpr/CMakeFiles/sexpr.dir/option_declarations.cpp.o -MF util/sexpr/CMakeFiles/sexpr.dir/option_declarations.cpp.o.d -o util/sexpr/CMakeFiles/sexpr.dir/option_declarations.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/util/sexpr/option_declarations.cpp
[ 13% 48/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.o -MF kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.o.d -o kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr_eq_fn.cpp
[ 13% 49/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/level.cpp.o -MF kernel/CMakeFiles/kernel.dir/level.cpp.o.d -o kernel/CMakeFiles/kernel.dir/level.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/level.cpp
[ 14% 50/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/expr.cpp.o -MF kernel/CMakeFiles/kernel.dir/expr.cpp.o.d -o kernel/CMakeFiles/kernel.dir/expr.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.cpp
[ 14% 51/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.o -MF kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.o.d -o kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/for_each_fn.cpp
[ 14% 52/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/replace_fn.cpp.o -MF kernel/CMakeFiles/kernel.dir/replace_fn.cpp.o.d -o kernel/CMakeFiles/kernel.dir/replace_fn.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/replace_fn.cpp
[ 15% 53/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/free_vars.cpp.o -MF kernel/CMakeFiles/kernel.dir/free_vars.cpp.o.d -o kernel/CMakeFiles/kernel.dir/free_vars.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/free_vars.cpp
[ 15% 54/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/formatter.cpp.o -MF kernel/CMakeFiles/kernel.dir/formatter.cpp.o.d -o kernel/CMakeFiles/kernel.dir/formatter.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/formatter.cpp
[ 15% 55/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/instantiate.cpp.o -MF kernel/CMakeFiles/kernel.dir/instantiate.cpp.o.d -o kernel/CMakeFiles/kernel.dir/instantiate.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/instantiate.cpp
[ 15% 56/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/abstract.cpp.o -MF kernel/CMakeFiles/kernel.dir/abstract.cpp.o.d -o kernel/CMakeFiles/kernel.dir/abstract.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/abstract.cpp
[ 16% 57/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/pos_info_provider.cpp.o -MF kernel/CMakeFiles/kernel.dir/pos_info_provider.cpp.o.d -o kernel/CMakeFiles/kernel.dir/pos_info_provider.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/pos_info_provider.cpp
[ 16% 58/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/declaration.cpp.o -MF kernel/CMakeFiles/kernel.dir/declaration.cpp.o.d -o kernel/CMakeFiles/kernel.dir/declaration.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/declaration.cpp
[ 16% 59/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/environment.cpp.o -MF kernel/CMakeFiles/kernel.dir/environment.cpp.o.d -o kernel/CMakeFiles/kernel.dir/environment.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/environment.cpp
[ 17% 60/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/kernel_exception.cpp.o -MF kernel/CMakeFiles/kernel.dir/kernel_exception.cpp.o.d -o kernel/CMakeFiles/kernel.dir/kernel_exception.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/kernel_exception.cpp
[ 17% 61/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/error_msgs.cpp.o -MF kernel/CMakeFiles/kernel.dir/error_msgs.cpp.o.d -o kernel/CMakeFiles/kernel.dir/error_msgs.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/error_msgs.cpp
[ 17% 62/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/type_checker.cpp.o -MF kernel/CMakeFiles/kernel.dir/type_checker.cpp.o.d -o kernel/CMakeFiles/kernel.dir/type_checker.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/type_checker.cpp
[ 17% 63/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/normalizer_extension.cpp.o -MF kernel/CMakeFiles/kernel.dir/normalizer_extension.cpp.o.d -o kernel/CMakeFiles/kernel.dir/normalizer_extension.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/normalizer_extension.cpp
[ 18% 64/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/init_module.cpp.o -MF kernel/CMakeFiles/kernel.dir/init_module.cpp.o.d -o kernel/CMakeFiles/kernel.dir/init_module.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/init_module.cpp
[ 18% 65/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/scope_pos_info_provider.cpp.o -MF kernel/CMakeFiles/kernel.dir/scope_pos_info_provider.cpp.o.d -o kernel/CMakeFiles/kernel.dir/scope_pos_info_provider.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/scope_pos_info_provider.cpp
[ 18% 66/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/expr_cache.cpp.o -MF kernel/CMakeFiles/kernel.dir/expr_cache.cpp.o.d -o kernel/CMakeFiles/kernel.dir/expr_cache.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr_cache.cpp
[ 19% 67/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/abstract_type_context.cpp.o -MF kernel/CMakeFiles/kernel.dir/abstract_type_context.cpp.o.d -o kernel/CMakeFiles/kernel.dir/abstract_type_context.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/abstract_type_context.cpp
[ 19% 68/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/equiv_manager.cpp.o -MF kernel/CMakeFiles/kernel.dir/equiv_manager.cpp.o.d -o kernel/CMakeFiles/kernel.dir/equiv_manager.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/equiv_manager.cpp
[ 19% 69/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/CMakeFiles/kernel.dir/standard_kernel.cpp.o -MF kernel/CMakeFiles/kernel.dir/standard_kernel.cpp.o.d -o kernel/CMakeFiles/kernel.dir/standard_kernel.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/standard_kernel.cpp
[ 20% 70/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/quotient/CMakeFiles/quotient.dir/quotient.cpp.o -MF kernel/quotient/CMakeFiles/quotient.dir/quotient.cpp.o.d -o kernel/quotient/CMakeFiles/quotient.dir/quotient.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/quotient/quotient.cpp
[ 20% 71/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT checker/CMakeFiles/leanchecker.dir/checker.cpp.o -MF checker/CMakeFiles/leanchecker.dir/checker.cpp.o.d -o checker/CMakeFiles/leanchecker.dir/checker.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/checker/checker.cpp
[ 20% 72/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT kernel/inductive/CMakeFiles/inductive.dir/inductive.cpp.o -MF kernel/inductive/CMakeFiles/inductive.dir/inductive.cpp.o.d -o kernel/inductive/CMakeFiles/inductive.dir/inductive.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/inductive/inductive.cpp
[ 20% 73/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT checker/CMakeFiles/leanchecker.dir/text_import.cpp.o -MF checker/CMakeFiles/leanchecker.dir/text_import.cpp.o.d -o checker/CMakeFiles/leanchecker.dir/text_import.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/checker/text_import.cpp
[ 21% 74/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/deep_copy.cpp.o -MF library/CMakeFiles/library.dir/deep_copy.cpp.o.d -o library/CMakeFiles/library.dir/deep_copy.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/deep_copy.cpp
[ 21% 75/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/expr_lt.cpp.o -MF library/CMakeFiles/library.dir/expr_lt.cpp.o.d -o library/CMakeFiles/library.dir/expr_lt.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/expr_lt.cpp
[ 21% 76/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT checker/CMakeFiles/leanchecker.dir/simple_pp.cpp.o -MF checker/CMakeFiles/leanchecker.dir/simple_pp.cpp.o.d -o checker/CMakeFiles/leanchecker.dir/simple_pp.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/checker/simple_pp.cpp
[ 22% 77/340] : && /usr/bin/c++ -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -fstack-protector-strong -pthread util/CMakeFiles/util.dir/debug.cpp.o util/CMakeFiles/util.dir/name.cpp.o util/CMakeFiles/util.dir/name_set.cpp.o util/CMakeFiles/util.dir/fresh_name.cpp.o util/CMakeFiles/util.dir/exception.cpp.o util/CMakeFiles/util.dir/interrupt.cpp.o util/CMakeFiles/util.dir/hash.cpp.o util/CMakeFiles/util.dir/escaped.cpp.o util/CMakeFiles/util.dir/bit_tricks.cpp.o util/CMakeFiles/util.dir/safe_arith.cpp.o util/CMakeFiles/util.dir/ascii.cpp.o util/CMakeFiles/util.dir/memory.cpp.o util/CMakeFiles/util.dir/shared_mutex.cpp.o util/CMakeFiles/util.dir/path.cpp.o util/CMakeFiles/util.dir/stackinfo.cpp.o util/CMakeFiles/util.dir/lean_path.cpp.o util/CMakeFiles/util.dir/serializer.cpp.o util/CMakeFiles/util.dir/lbool.cpp.o util/CMakeFiles/util.dir/bitap_fuzzy_search.cpp.
o util/CMakeFiles/util.dir/init_module.cpp.o util/CMakeFiles/util.dir/thread.cpp.o util/CMakeFiles/util.dir/memory_pool.cpp.o util/CMakeFiles/util.dir/utf8.cpp.o util/CMakeFiles/util.dir/name_map.cpp.o util/CMakeFiles/util.dir/line_endings.cpp.o util/CMakeFiles/util.dir/list_fn.cpp.o util/CMakeFiles/util.dir/file_lock.cpp.o util/CMakeFiles/util.dir/timeit.cpp.o util/CMakeFiles/util.dir/timer.cpp.o util/CMakeFiles/util.dir/task.cpp.o util/CMakeFiles/util.dir/task_builder.cpp.o util/CMakeFiles/util.dir/cancellable.cpp.o util/CMakeFiles/util.dir/log_tree.cpp.o util/CMakeFiles/util.dir/small_object_allocator.cpp.o util/CMakeFiles/util.dir/subscripted_name_set.cpp.o util/CMakeFiles/util.dir/parser_exception.cpp.o util/CMakeFiles/util.dir/name_generator.cpp.o util/sexpr/CMakeFiles/sexpr.dir/sexpr.cpp.o util/sexpr/CMakeFiles/sexpr.dir/sexpr_fn.cpp.o util/sexpr/CMakeFiles/sexpr.dir/format.cpp.o util/sexpr/CMakeFiles/sexpr.dir/options.cpp.o util/sexpr/CMakeFiles/sexpr.dir/option_decl
arations.cpp.o util/sexpr/CMakeFiles/sexpr.dir/init_module.cpp.o kernel/CMakeFiles/kernel.dir/level.cpp.o kernel/CMakeFiles/kernel.dir/expr.cpp.o kernel/CMakeFiles/kernel.dir/expr_eq_fn.cpp.o kernel/CMakeFiles/kernel.dir/for_each_fn.cpp.o kernel/CMakeFiles/kernel.dir/replace_fn.cpp.o kernel/CMakeFiles/kernel.dir/free_vars.cpp.o kernel/CMakeFiles/kernel.dir/abstract.cpp.o kernel/CMakeFiles/kernel.dir/instantiate.cpp.o kernel/CMakeFiles/kernel.dir/formatter.cpp.o kernel/CMakeFiles/kernel.dir/declaration.cpp.o kernel/CMakeFiles/kernel.dir/environment.cpp.o kernel/CMakeFiles/kernel.dir/pos_info_provider.cpp.o kernel/CMakeFiles/kernel.dir/type_checker.cpp.o kernel/CMakeFiles/kernel.dir/error_msgs.cpp.o kernel/CMakeFiles/kernel.dir/kernel_exception.cpp.o kernel/CMakeFiles/kernel.dir/normalizer_extension.cpp.o kernel/CMakeFiles/kernel.dir/init_module.cpp.o kernel/CMakeFiles/kernel.dir/expr_cache.cpp.o kernel/CMakeFiles/kernel.dir/scope_pos_info_provider.cpp.o kernel/CMakeFiles/kern
el.dir/equiv_manager.cpp.o kernel/CMakeFiles/kernel.dir/abstract_type_context.cpp.o kernel/CMakeFiles/kernel.dir/standard_kernel.cpp.o kernel/inductive/CMakeFiles/inductive.dir/inductive.cpp.o kernel/quotient/CMakeFiles/quotient.dir/quotient.cpp.o checker/CMakeFiles/leanchecker.dir/checker.cpp.o checker/CMakeFiles/leanchecker.dir/text_import.cpp.o checker/CMakeFiles/leanchecker.dir/simple_pp.cpp.o -o checker/leanchecker -lprocstat && :
[ 22% 78/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/io_state.cpp.o -MF library/CMakeFiles/library.dir/io_state.cpp.o.d -o library/CMakeFiles/library.dir/io_state.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/io_state.cpp
[ 22% 79/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/bin_app.cpp.o -MF library/CMakeFiles/library.dir/bin_app.cpp.o.d -o library/CMakeFiles/library.dir/bin_app.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/bin_app.cpp
[ 22% 80/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/io_state_stream.cpp.o -MF library/CMakeFiles/library.dir/io_state_stream.cpp.o.d -o library/CMakeFiles/library.dir/io_state_stream.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/io_state_stream.cpp
[ 23% 81/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/constants.cpp.o -MF library/CMakeFiles/library.dir/constants.cpp.o.d -o library/CMakeFiles/library.dir/constants.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/constants.cpp
[ 23% 82/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/max_sharing.cpp.o -MF library/CMakeFiles/library.dir/max_sharing.cpp.o.d -o library/CMakeFiles/library.dir/max_sharing.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/max_sharing.cpp
[ 23% 83/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/shared_environment.cpp.o -MF library/CMakeFiles/library.dir/shared_environment.cpp.o.d -o library/CMakeFiles/library.dir/shared_environment.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/shared_environment.cpp
[ 24% 84/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/kernel_serializer.cpp.o -MF library/CMakeFiles/library.dir/kernel_serializer.cpp.o.d -o library/CMakeFiles/library.dir/kernel_serializer.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/kernel_serializer.cpp
[ 24% 85/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/private.cpp.o -MF library/CMakeFiles/library.dir/private.cpp.o.d -o library/CMakeFiles/library.dir/private.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/private.cpp
[ 24% 86/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/placeholder.cpp.o -MF library/CMakeFiles/library.dir/placeholder.cpp.o.d -o library/CMakeFiles/library.dir/placeholder.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/placeholder.cpp
[ 25% 87/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/aliases.cpp.o -MF library/CMakeFiles/library.dir/aliases.cpp.o.d -o library/CMakeFiles/library.dir/aliases.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/aliases.cpp
[ 25% 88/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/update_declaration.cpp.o -MF library/CMakeFiles/library.dir/update_declaration.cpp.o.d -o library/CMakeFiles/library.dir/update_declaration.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/update_declaration.cpp
[ 25% 89/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/scoped_ext.cpp.o -MF library/CMakeFiles/library.dir/scoped_ext.cpp.o.d -o library/CMakeFiles/library.dir/scoped_ext.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/scoped_ext.cpp
[ 25% 90/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/module.cpp.o -MF library/CMakeFiles/library.dir/module.cpp.o.d -o library/CMakeFiles/library.dir/module.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/module.cpp
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/module.cpp:744:14: warning: variable 'obj_counter' set but not used [-Wunused-but-set-variable]
744 | unsigned obj_counter = 0;
| ^
1 warning generated.
[ 26% 91/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/sorry.cpp.o -MF library/CMakeFiles/library.dir/sorry.cpp.o.d -o library/CMakeFiles/library.dir/sorry.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/sorry.cpp
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/sorry.cpp:40:18: warning: 'can_textualize' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
40 | virtual bool can_textualize() const { return true; }
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:371:18: note: overridden virtual function is here
371 | virtual bool can_textualize() const { return false; }
| ^
1 warning generated.
[ 26% 92/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/explicit.cpp.o -MF library/CMakeFiles/library.dir/explicit.cpp.o.d -o library/CMakeFiles/library.dir/explicit.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/explicit.cpp
[ 26% 93/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/replace_visitor.cpp.o -MF library/CMakeFiles/library.dir/replace_visitor.cpp.o.d -o library/CMakeFiles/library.dir/replace_visitor.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/replace_visitor.cpp
[ 27% 94/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/num.cpp.o -MF library/CMakeFiles/library.dir/num.cpp.o.d -o library/CMakeFiles/library.dir/num.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/num.cpp
[ 27% 95/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/head_map.cpp.o -MF library/CMakeFiles/library.dir/head_map.cpp.o.d -o library/CMakeFiles/library.dir/head_map.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/head_map.cpp
[ 27% 96/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/string.cpp.o -MF library/CMakeFiles/library.dir/string.cpp.o.d -o library/CMakeFiles/library.dir/string.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:92:18: warning: 'lt' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
92 | virtual bool lt(macro_definition_cell const & d) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:358:18: note: overridden virtual function is here
358 | virtual bool lt(macro_definition_cell const &) const;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:95:18: warning: 'get_name' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
95 | virtual name get_name() const { return *g_string_macro; }
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:362:18: note: overridden virtual function is here
362 | virtual name get_name() const = 0;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:96:18: warning: 'check_type' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
96 | virtual expr check_type(expr const &, abstract_type_context &, bool) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:363:18: note: overridden virtual function is here
363 | virtual expr check_type(expr const & m, abstract_type_context & ctx, bool infer_only) const = 0;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:99:28: warning: 'expand' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
99 | virtual optional<expr> expand(expr const &, abstract_type_context &) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:364:28: note: overridden virtual function is here
364 | virtual optional<expr> expand(expr const & m, abstract_type_context & ctx) const = 0;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:102:22: warning: 'trust_level' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
102 | virtual unsigned trust_level() const { return 0; }
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:366:22: note: overridden virtual function is here
366 | virtual unsigned trust_level() const;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:103:18: warning: 'operator==' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
103 | virtual bool operator==(macro_definition_cell const & other) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:367:18: note: overridden virtual function is here
367 | virtual bool operator==(macro_definition_cell const & other) const;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:107:18: warning: 'display' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
107 | virtual void display(std::ostream & out) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:368:18: note: overridden virtual function is here
368 | virtual void display(std::ostream & out) const;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:110:22: warning: 'hash' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
110 | virtual unsigned hash() const { return std::hash<std::string>()(m_value); }
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:369:22: note: overridden virtual function is here
369 | virtual unsigned hash() const;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/string.cpp:111:18: warning: 'write' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
111 | virtual void write(serializer & s) const { s << *g_string_opcode << m_value; }
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:370:18: note: overridden virtual function is here
370 | virtual void write(serializer & s) const = 0;
| ^
9 warnings generated.
[ 27% 97/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/print.cpp.o -MF library/CMakeFiles/library.dir/print.cpp.o.d -o library/CMakeFiles/library.dir/print.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/print.cpp
[ 28% 98/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/class.cpp.o -MF library/CMakeFiles/library.dir/class.cpp.o.d -o library/CMakeFiles/library.dir/class.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/class.cpp
[ 28% 99/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/util.cpp.o -MF library/CMakeFiles/library.dir/util.cpp.o.d -o library/CMakeFiles/library.dir/util.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/util.cpp
[ 28% 100/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/annotation.cpp.o -MF library/CMakeFiles/library.dir/annotation.cpp.o.d -o library/CMakeFiles/library.dir/annotation.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/annotation.cpp
[ 29% 101/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/typed_expr.cpp.o -MF library/CMakeFiles/library.dir/typed_expr.cpp.o.d -o library/CMakeFiles/library.dir/typed_expr.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/typed_expr.cpp
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/typed_expr.cpp:40:18: warning: 'get_name' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
40 | virtual name get_name() const { return get_typed_expr_name(); }
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:362:18: note: overridden virtual function is here
362 | virtual name get_name() const = 0;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/typed_expr.cpp:41:18: warning: 'check_type' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
41 | virtual expr check_type(expr const & m, abstract_type_context & ctx, bool infer_only) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:363:18: note: overridden virtual function is here
363 | virtual expr check_type(expr const & m, abstract_type_context & ctx, bool infer_only) const = 0;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/typed_expr.cpp:55:28: warning: 'expand' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
55 | virtual optional<expr> expand(expr const & m, abstract_type_context &) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:364:28: note: overridden virtual function is here
364 | virtual optional<expr> expand(expr const & m, abstract_type_context & ctx) const = 0;
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/typed_expr.cpp:59:18: warning: 'write' overrides a member function but is not marked 'override' [-Winconsistent-missing-override]
59 | virtual void write(serializer & s) const {
| ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/kernel/expr.h:370:18: note: overridden virtual function is here
370 | virtual void write(serializer & s) const = 0;
| ^
4 warnings generated.
[ 29% 102/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/protected.cpp.o -MF library/CMakeFiles/library.dir/protected.cpp.o.d -o library/CMakeFiles/library.dir/protected.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/protected.cpp
[ 29% 103/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/quote.cpp.o -MF library/CMakeFiles/library.dir/quote.cpp.o.d -o library/CMakeFiles/library.dir/quote.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/quote.cpp
[ 30% 104/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/exception.cpp.o -MF library/CMakeFiles/library.dir/exception.cpp.o.d -o library/CMakeFiles/library.dir/exception.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/exception.cpp
[ 30% 105/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/init_module.cpp.o -MF library/CMakeFiles/library.dir/init_module.cpp.o.d -o library/CMakeFiles/library.dir/init_module.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/init_module.cpp
FAILED: library/CMakeFiles/library.dir/init_module.cpp.o
/usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/init_module.cpp.o -MF library/CMakeFiles/library.dir/init_module.cpp.o.d -o library/CMakeFiles/library.dir/init_module.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/init_module.cpp
In file included from /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/init_module.cpp:54:
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/parray.h:592:20: error: no member named 'm_ptr' in 'parray<T, ThreadSafe>'
592 | m_cell = s.m_ptr;
| ~ ^
/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/parray.h:593:11: error: no member named 'm_ptr' in 'parray<T, ThreadSafe>'
593 | s.m_ptr = nullptr;
| ~ ^
2 errors generated.
[ 30% 105/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/reducible.cpp.o -MF library/CMakeFiles/library.dir/reducible.cpp.o.d -o library/CMakeFiles/library.dir/reducible.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/reducible.cpp
[ 30% 105/340] /usr/bin/c++ -I/usr/local/include -I/wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src -I/wrkdirs/usr/ports/math/lean/work/.build -Wall -Wextra -std=c++11 -D LEAN_JSON -D LEAN_MULTI_THREAD -D LEAN_AUTO_THREAD_FINALIZATION -DLEAN_BUILD_TYPE="Release" -D__CLANG__ -D HAS_TCMALLOC -O3 -DNDEBUG -MD -MT library/CMakeFiles/library.dir/fingerprint.cpp.o -MF library/CMakeFiles/library.dir/fingerprint.cpp.o.d -o library/CMakeFiles/library.dir/fingerprint.cpp.o -c /wrkdirs/usr/ports/math/lean/work/lean-3.51.1/src/library/fingerprint.cpp
ninja: build stopped: subcommand failed.
===> Compilation failed unexpectedly.
Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to
the maintainer.
*** Error code 1
Stop.
make: stopped making "build" in /usr/ports/math/lean