+ 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