=> Bootstrap dependency digest>=20211023: found digest-20220214
===> 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'.
===> Building for lean4-4.32.1nb1
[  6%] Creating directories for 'stage0'
[ 12%] No download step for 'stage0'
[ 18%] No update step for 'stage0'
[ 25%] No patch step for 'stage0'
[ 31%] Performing configure step for 'stage0'
CMake Warning:
  Ignoring extra path from command line:

   "/tmp/math/lean4/work/lean4-4.32.1/cmake-pkgsrc-build/stage0/CMD_DEPRECATED=WARN"


CMake Warning:
  Ignoring extra path from command line:

   "CMD_UNUSED_CLI=WARN"


The CMAKE_ERROR_DEPRECATED variable is deprecated.  Use -W[no-]error=deprecated instead.
The CMAKE_WARN_DEPRECATED variable is deprecated.  Use -W[no-]deprecated instead.
-- 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
gcc: error: unrecognized command-line option '--print-target-triple'
gcc: fatal error: no input files
compilation terminated.
-- No build type selected, default to Release
-- 64-bit machine detected
-- Found GMP: /tmp/math/lean4/work/.buildlink/include (Required is at least version "5.0.5")
-- Found PkgConfig: /tmp/math/lean4/work/.tools/bin/pkg-config (found version "3.0.4")
-- Checking for one of the modules 'libuv'
-- LIBUV_LDFLAGS: -L/usr/pkg/lib-luv-lkvm
-- LIBUV_INCLUDE_DIRS: /usr/pkg/include
-- Found LibUV: TRUE (Required is at least version "1.0.0")
CMake Error at /usr/pkg/share/cmake-4.4/Modules/FindPackageHandleStandardArgs.cmake:290 (message):
  Could NOT find OpenSSL, try to set the path to OpenSSL root folder in the
  system variable OPENSSL_ROOT_DIR: Found unsuitable version "1.1.1k", but
  required is at least "3" (found /usr/lib/libcrypto.so, found components:
  Crypto SSL)
Call Stack (most recent call first):
  /usr/pkg/share/cmake-4.4/Modules/FindPackageHandleStandardArgs.cmake:652 (_FPHSA_FAILURE_MESSAGE)
  /usr/pkg/share/cmake-4.4/Modules/FindOpenSSL.cmake:752 (find_package_handle_standard_args)
  CMakeLists.txt:373 (find_package)


-- Configuring incomplete, errors occurred!
gmake[2]: *** [CMakeFiles/stage0.dir/build.make:100: stage0-prefix/src/stage0-stamp/stage0-configure] Error 1
gmake[1]: *** [CMakeFiles/Makefile2:104: CMakeFiles/stage0.dir/all] Error 2
gmake: *** [Makefile:136: all] Error 2
*** Error code 2

Stop.
make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4
*** Error code 1

Stop.
make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/lean4