+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /usr/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/z3-4.12.2/work.log
+ su pbulk -c '"$@"' make /usr/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/z3-4.12.2/work.log
=> 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.2
==========================================================================
The following variables will affect the build process of this package,
z3-4.12.2.  Their current value is shown below:

        * PYTHON_VERSION_DEFAULT = 310

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

        * PYPACKAGE = python310

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/pkg/bin/bmake clean' after the changes.
==========================================================================
=> Tool dependency cmake>=0: found cmake-3.26.4
=> Tool dependency mktools-[0-9]*: found mktools-20220614
=> Tool dependency nbpatch-[0-9]*: found nbpatch-20151107
=> Tool dependency cwrappers>=20150314: found cwrappers-20220403
=> Tool dependency checkperms>=1.1: found checkperms-1.12
=> Full dependency python310>=3.10.0: found python310-3.10.12
===> Overriding tools for z3-4.12.2
===> Extracting for z3-4.12.2
===> Patching for z3-4.12.2
=> Applying pkgsrc patches for z3-4.12.2
=> Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-scripts_mk__util.py
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-scripts_mk__util.py
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-scripts_mk__util.py,v 1.8 2023/05/11 06:43:43 adam Exp $
|
|Try to at least be slightly more portable.
|
|--- scripts/mk_util.py.orig	2023-01-18 03:10:26.000000000 +0000
|+++ scripts/mk_util.py
--------------------------
Patching file scripts/mk_util.py using Plan A...
Hunk #1 succeeded at 1858.
Hunk #2 succeeded at 2577.
Hunk #3 succeeded at 2648.
Hunk #4 succeeded at 2698.
done
=> Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_api_python_setup.py
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_api_python_setup.py
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_api_python_setup.py,v 1.1 2023/05/11 06:43:43 adam Exp $
|
|Some platforms do not support LTO.
|
|--- src/api/python/setup.py.orig	2023-05-10 16:39:33.324575995 +0000
|+++ src/api/python/setup.py
--------------------------
Patching file src/api/python/setup.py using Plan A...
Hunk #1 succeeded at 110.
done
=> Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_ast_rewriter_seq__eq__solver.cpp
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_ast_rewriter_seq__eq__solver.cpp
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_ast_rewriter_seq__eq__solver.cpp,v 1.1 2023/05/25 10:53:24 jperkin Exp $
|
|Avoid ambiguous function call.
|
|--- src/ast/rewriter/seq_eq_solver.cpp.orig	2023-05-12 19:59:04.000000000 +0000
|+++ src/ast/rewriter/seq_eq_solver.cpp
--------------------------
Patching file src/ast/rewriter/seq_eq_solver.cpp using Plan A...
Hunk #1 succeeded at 284.
done
=> Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_sat_sat__lookahead.cpp
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_sat_sat__lookahead.cpp
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_sat_sat__lookahead.cpp,v 1.1 2022/05/13 10:41:38 jperkin Exp $
|
|Avoid ambiguous function call.
|
|--- src/sat/sat_lookahead.cpp.orig	2018-11-19 20:21:17.000000000 +0000
|+++ src/sat/sat_lookahead.cpp
--------------------------
Patching file src/sat/sat_lookahead.cpp using Plan A...
Hunk #1 succeeded at 26 (offset -1 lines).
done
=> Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_sat_sat__solver.cpp
=> Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3/../../math/z3/patches/patch-src_sat_sat__solver.cpp
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_sat_sat__solver.cpp,v 1.2 2023/05/11 06:43:43 adam Exp $
|
|Avoid ambiguous function call.
|
|--- src/sat/sat_solver.cpp.orig	2023-05-08 13:23:26.000000000 +0000
|+++ src/sat/sat_solver.cpp
--------------------------
Patching file src/sat/sat_solver.cpp using Plan A...
Hunk #1 succeeded at 37.
done
===> Creating toolchain wrappers for z3-4.12.2
===> Configuring for z3-4.12.2
=> Checking for portability problems in extracted files
-- The CXX compiler identification is GNU 4.8.5
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /home/pbulk/build/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
-- Found PythonInterp: /home/pbulk/build/math/z3/work/.buildlink/bin/python (found suitable version "3.10.12", minimum required is "3") 
-- PYTHON_EXECUTABLE: /home/pbulk/build/math/z3/work/.buildlink/bin/python
-- Detected target architecture: x86_64
-- 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 - Failed
-- C++ compiler does not support -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.
bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3
*** Error code 1

Stop.
bmake: stopped in /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/math/z3