=> Bootstrap dependency digest>=20211023: found digest-20220214
=> Checksum BLAKE2s OK for z3-4.12.2.tar.gz
=> Checksum SHA512 OK for z3-4.12.2.tar.gz
===> Installing dependencies for z3-4.12.2nb1
==========================================================================
The following variables will affect the build process of this package,
z3-4.12.2nb1.  Their current value is shown below:

        * PYTHON_VERSION_DEFAULT = 311

Based on these variables, the following variables have been set:

        * PYPACKAGE = python311

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 python311>=3.11: found python311-3.11.7
=> Tool dependency cmake>=0: found cmake-3.28.1
=> Tool dependency mktools-[0-9]*: found mktools-20220614
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
===> 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 z3-4.12.2nb1
===> Extracting for z3-4.12.2nb1
===> Patching for z3-4.12.2nb1
=> Applying pkgsrc patches for z3-4.12.2nb1
===> Creating toolchain wrappers for z3-4.12.2nb1
===> Configuring for z3-4.12.2nb1
CMake Deprecation Warning at CMakeLists.txt:2 (cmake_minimum_required):
  Compatibility with CMake < 3.5 will be removed from a future version of
  CMake.

  Update the VERSION argument <min> value or use a ...<max> suffix to tell
  CMake that the project does not need compatibility with older versions.


-- The CXX compiler identification is GNU 7.5.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /pbulk/work/math/z3/work/.cwrapper/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Z3 version 4.12.2.0
-- Failed to find git directory.
CMake Warning at CMakeLists.txt:44 (message):
  Disabling Z3_INCLUDE_GIT_DESCRIBE
Call Stack (most recent call first):
  CMakeLists.txt:93 (disable_git_describe)


CMake Warning at CMakeLists.txt:48 (message):
  Disabling Z3_INCLUDE_GIT_HASH
Call Stack (most recent call first):
  CMakeLists.txt:94 (disable_git_hash)


-- CMake generator: Unix Makefiles
-- CMAKE_BUILD_TYPE is not set. Setting default
-- The available build types are: Debug;Release;RelWithDebInfo;MinSizeRel
-- Build type: RelWithDebInfo
CMake Warning (dev) at CMakeLists.txt:156 (find_package):
  Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules
  are removed.  Run "cmake --help-policy CMP0148" for policy details.  Use
  the cmake_policy command to set the policy and suppress this warning.

This warning is for project developers.  Use -Wno-dev to suppress it.

-- Found PythonInterp: /pbulk/work/math/z3/work/.buildlink/bin/python (found suitable version "3.11.7", minimum required is "3") 
-- PYTHON_EXECUTABLE: /pbulk/work/math/z3/work/.buildlink/bin/python
-- Detected target architecture: i686
-- Not using libgmp
-- Not using Z3_API_LOG_SYNC
-- Thread-safe build
-- Performing Test HAS_SSE2
-- Performing Test HAS_SSE2 - Success
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed
-- Check if compiler accepts -pthread
-- Check if compiler accepts -pthread - yes
-- Found Threads: TRUE  
-- Performing Test HAS__Wall
-- Performing Test HAS__Wall - Success
-- C++ compiler supports -Wall
-- Treating only serious compiler warnings as errors
-- Performing Test HAS__Werror_odr
-- Performing Test HAS__Werror_odr - Success
-- C++ compiler supports -Werror=odr
-- LTO disabled
-- Performing Test BUILTIN_ATOMIC
-- Performing Test BUILTIN_ATOMIC - Failed
-- Performing Test ATOMICS_REQUIRE_LIBATOMIC
-- Performing Test ATOMICS_REQUIRE_LIBATOMIC - Failed
CMake Error at cmake/check_link_atomic.cmake:21 (message):
  Host compiler must support std::atomic!
Call Stack (most recent call first):
  CMakeLists.txt:376 (include)


-- Configuring incomplete, errors occurred!
*** Error code 1

Stop.
make[1]: stopped in /usr/pkgsrc/math/z3
*** Error code 1

Stop.
make: stopped in /usr/pkgsrc/math/z3