=> Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for lean4-4.32.1.tar.gz => Checksum SHA512 OK for lean4-4.32.1.tar.gz ===> Installing dependencies for lean4-4.32.1nb1 ========================================================================== The following variables will affect the build process of this package, lean4-4.32.1nb1. Their current value is shown below: * SSLBASE = /usr * SSLCERTBUNDLE (not defined) * SSLCERTS = /etc/openssl/certs * SSLDIR = /etc/openssl * SSLKEYS = /etc/openssl/private You may want to abort the process now with CTRL-C and change the value of variables in the first group before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency cmake>=0: found cmake-4.4.0 => Tool dependency mktools-[0-9]*: found mktools-20250213 => Tool dependency gmake>=3.81: found gmake-4.4.1 => Tool dependency pkgconf-[0-9]*: found pkgconf-3.0.4 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency gcc12>=12.1.0nb1: found gcc12-12.5.0nb3 => Full dependency leantar-[0-9]*: found leantar-0.1.20 => Full dependency cadical>=3: found cadical-3.0.1 => Full dependency bash-[0-9]*: found bash-5.3.15 => Full dependency gcc12-libs>=12.1.0: found gcc12-libs-12.5.0nb4 => Full dependency gmp>=5.0.5: found gmp-6.3.0 => Full dependency libuv>=1.6: found libuv-1.52.1 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Overriding tools for lean4-4.32.1nb1 ===> Extracting for lean4-4.32.1nb1 ===> Patching for lean4-4.32.1nb1 => Applying pkgsrc patches for lean4-4.32.1nb1 => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_CMakeLists.txt,v 1.2 2026/07/24 21:26:20 wiz Exp $ | |Treat NetBSD like Linux. |https://github.com/leanprover/lean4/pull/14543 | |--- src/CMakeLists.txt.orig 2026-07-22 17:50:04.000000000 +0000 |+++ src/CMakeLists.txt -------------------------- Patching file src/CMakeLists.txt using Plan A... Hunk #1 succeeded at 502. Hunk #2 succeeded at 549. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_Leanc.lean => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_Leanc.lean Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_Leanc.lean,v 1.1 2026/07/24 18:39:20 wiz Exp $ | |Provide anchor for SUBST_SED, to provide rpath flags. | |--- src/Leanc.lean.orig 2026-07-22 17:50:04.000000000 +0000 |+++ src/Leanc.lean -------------------------- Patching file src/Leanc.lean using Plan A... Hunk #1 succeeded at 41. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_include_lean_lean.h,v 1.2 2026/07/25 11:24:52 wiz Exp $ | |Call compiler-provided alloca(). Fixes |Warning: reference to the libc supplied alloca(3); this most likely will not work. Please use the compiler provided version of alloca(3), by supplying the appropriate compiler flags (e.g. -std=gnu99). |https://github.com/leanprover/lean4/pull/14543 | |--- src/include/lean/lean.h.orig 2026-07-25 09:24:11.724804692 +0000 |+++ src/include/lean/lean.h -------------------------- Patching file src/include/lean/lean.h using Plan A... Hunk #1 succeeded at 37. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_lake_Lake_Build_Common.lean => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_lake_Lake_Build_Common.lean Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_lake_Lake_Build_Common.lean,v 1.1 2026/07/24 18:39:20 wiz Exp $ | |Use linker flags during linking (for rpath). | |--- src/lake/Lake/Build/Common.lean.orig 2026-07-22 17:50:04.000000000 +0000 |+++ src/lake/Lake/Build/Common.lean -------------------------- Patching file src/lake/Lake/Build/Common.lean using Plan A... Hunk #1 succeeded at 930. Hunk #2 succeeded at 955. Hunk #3 succeeded at 977. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_runtime_process.cpp,v 1.2 2026/07/24 21:26:20 wiz Exp $ | |Set proper thread id on NetBSD. |clearenv() does not exist on NetBSD. |https://github.com/leanprover/lean4/pull/14543 | |--- src/runtime/process.cpp.orig 2026-07-23 16:38:08.850506865 +0000 |+++ src/runtime/process.cpp -------------------------- Patching file src/runtime/process.cpp using Plan A... Hunk #1 succeeded at 341. Hunk #2 succeeded at 433. Hunk #3 succeeded at 456. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-stage0_src_CMakeLists.txt,v 1.2 2026/07/24 21:26:20 wiz Exp $ | |Treat NetBSD like Linux. |https://github.com/leanprover/lean4/pull/14543 | |--- stage0/src/CMakeLists.txt.orig 2026-07-22 17:50:04.000000000 +0000 |+++ stage0/src/CMakeLists.txt -------------------------- Patching file stage0/src/CMakeLists.txt using Plan A... Hunk #1 succeeded at 502. Hunk #2 succeeded at 549. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-stage0_src_include_lean_lean.h,v 1.2 2026/07/25 11:24:52 wiz Exp $ | |Call compiler-provided alloca(). Fixes |Warning: reference to the libc supplied alloca(3); this most likely will not work. Please use the compiler provided version of alloca(3), by supplying the appropriate compiler flags (e.g. -std=gnu99). |https://github.com/leanprover/lean4/pull/14543 | |--- stage0/src/include/lean/lean.h.orig 2026-07-22 17:50:04.000000000 +0000 |+++ stage0/src/include/lean/lean.h -------------------------- Patching file stage0/src/include/lean/lean.h using Plan A... Hunk #1 succeeded at 37. done => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-stage0_src_runtime_process.cpp,v 1.2 2026/07/24 21:26:20 wiz Exp $ | |Set proper thread id on NetBSD. |clearenv() does not exist on NetBSD. |https://github.com/leanprover/lean4/pull/14543 | |--- stage0/src/runtime/process.cpp.orig 2025-07-31 11:25:32.645020915 +0000 |+++ stage0/src/runtime/process.cpp -------------------------- Patching file stage0/src/runtime/process.cpp using Plan A... Hunk #1 succeeded at 341 (offset 1 line). Hunk #2 succeeded at 433 (offset 1 line). Hunk #3 succeeded at 455 (offset 7 lines). done ===> Creating toolchain wrappers for lean4-4.32.1nb1 ===> Configuring for lean4-4.32.1nb1 => Setting compiler path. => Replacing bash interpreter in src/bin/leanmake stage0/src/bin/leanmake. => Checking for portability problems in extracted files CMake Warning (policy) at CMakeLists.txt:35 (list): Policy CMP0218 is not set: The CMAKE_WARN_DEPRECATED and CMAKE_ERROR_DEPRECATED variables are ignored. Run "cmake --help-policy CMP0218" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-author or -Wno-policy to suppress it. CMake Warning (policy) at CMakeLists.txt:35 (list): Policy CMP0218 is not set: The CMAKE_WARN_DEPRECATED and CMAKE_ERROR_DEPRECATED variables are ignored. Run "cmake --help-policy CMP0218" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-author or -Wno-policy to suppress it. -- The CXX compiler identification is GNU 12.5.0 -- The C compiler identification is GNU 12.5.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /tmp/math/lean4/work/.cwrapper/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /tmp/math/lean4/work/.cwrapper/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Configuring done (2.2s) -- Generating done (0.1s) -- Build files have been written to: /tmp/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build