=> 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
=> 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
===> 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.
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: /pbulk/work/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: /pbulk/work/math/lean4/work/.cwrapper/bin/gcc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Configuring done (0.7s)
-- Generating done (0.0s)
-- Build files have been written to: /pbulk/work/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build