>>> z3: Building community/z3 4.12.2-r0 (using abuild 3.12.0-r0) started Mon, 23 Oct 2023 19:32:04 +0000
>>> z3: Checking sanity of /home/buildozer/aports/community/z3/APKBUILD...
>>> z3: Analyzing dependencies...
>>> z3: Installing for build: build-base cmake python3 samurai
(1/18) Installing libbz2 (1.0.8-r6)
(2/18) Installing xz-libs (5.4.4-r0)
(3/18) Installing libarchive (3.7.2-r0)
(4/18) Installing rhash-libs (1.4.4-r0)
(5/18) Installing libuv (1.46.0-r0)
(6/18) Installing cmake (3.27.7-r2)
(7/18) Installing libffi (3.4.4-r3)
(8/18) Installing gdbm (1.23-r1)
(9/18) Installing mpdecimal (2.5.1-r2)
(10/18) Installing libpanelw (6.4_p20231007-r0)
(11/18) Installing readline (8.2.1-r2)
(12/18) Installing sqlite-libs (3.43.2-r0)
(13/18) Installing python3 (3.11.6-r1)
(14/18) Installing python3-pycache-pyc0 (3.11.6-r1)
(15/18) Installing pyc (3.11.6-r1)
(16/18) Installing python3-pyc (3.11.6-r1)
(17/18) Installing samurai (1.2-r5)
(18/18) Installing .makedepends-z3 (20231023.193213)
Executing busybox-1.36.1-r13.trigger
OK: 570 MiB in 123 packages
>>> z3: Cleaning up srcdir
>>> z3: Cleaning up pkgdir
>>> z3: Cleaning up tmpdir
>>> z3: Fetching https://distfiles.alpinelinux.org/distfiles/v3.19//z3-4.12.2.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0   146    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
curl: (22) The requested URL returned error: 404
>>> z3: Fetching https://github.com/Z3Prover/z3/archive/z3-4.12.2.tar.gz
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0

  0 5274k    0   512    0     0   1365      0  1:05:56 --:--:--  1:05:56  1365
100 5274k  100 5274k    0     0  7674k      0 --:--:-- --:--:-- --:--:-- 16.5M
>>> z3: Fetching https://distfiles.alpinelinux.org/distfiles/v3.19//z3-4.12.2.tar.gz
>>> z3: Checking sha512sums...
z3-4.12.2.tar.gz: OK
>>> z3: Unpacking /var/cache/distfiles/z3-4.12.2.tar.gz...
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 13.2.1
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/g++ - 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: Ninja
-- Build type: MinSizeRel
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: /usr/bin/python3 (found suitable version "3.11.6", minimum required is "3") 
-- PYTHON_EXECUTABLE: /usr/bin/python3
-- Detected target architecture: arm64
-- Not using libgmp
-- Not using Z3_API_LOG_SYNC
-- Thread-safe build
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD
-- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
-- 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 - Success
-- CMAKE_CXX_FLAGS: "-Os -fstack-clash-protection -Wformat -Werror=format-security -D_GLIBCXX_ASSERTIONS=1 -D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1 -D_LIBCPP_ENABLE_HARDENED_MODE=1 -Werror=odr "
-- CMAKE_EXE_LINKER_FLAGS: "-Wl,--as-needed,-O1,--sort-common"
-- CMAKE_STATIC_LINKER_FLAGS: ""
-- CMAKE_SHARED_LINKER_FLAGS: "-Wl,--as-needed,-O1,--sort-common"
-- CMAKE_CXX_FLAGS_MINSIZEREL: "-Os -DNDEBUG"
-- CMAKE_EXE_LINKER_FLAGS_MINSIZEREL: ""
-- CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL: ""
-- CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL: ""
-- Z3_COMPONENT_CXX_DEFINES: $<$<CONFIG:Debug>:Z3DEBUG>;$<$<CONFIG:Release>:_EXTERNAL_RELEASE>;$<$<CONFIG:RelWithDebInfo>:_EXTERNAL_RELEASE>;-D_MP_INTERNAL;$<$<CONFIG:Debug>:_TRACE>
-- Z3_COMPONENT_CXX_FLAGS: -Wall
-- Z3_DEPENDENT_LIBS: Threads::Threads
-- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/src;/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src
-- Z3_DEPENDENT_EXTRA_CXX_LINK_FLAGS: 
-- CMAKE_INSTALL_LIBDIR: "lib"
-- CMAKE_INSTALL_BINDIR: "bin"
-- CMAKE_INSTALL_INCLUDEDIR: "include"
-- CMAKE_INSTALL_PKGCONFIGDIR: "lib/pkgconfig"
-- CMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR: "lib/cmake/z3"
-- Adding component util
-- Adding component polynomial
-- Adding rule to generate "algebraic_params.hpp"
-- Adding component dd
-- Adding component hilbert
-- Adding component simplex
-- Adding component automata
-- Adding component interval
-- Adding component realclosure
-- Adding rule to generate "rcf_params.hpp"
-- Adding component subpaving
-- Adding component ast
-- Adding rule to generate "pp_params.hpp"
-- Adding component params
-- Adding rule to generate "arith_rewriter_params.hpp"
-- Adding rule to generate "array_rewriter_params.hpp"
-- Adding rule to generate "bool_rewriter_params.hpp"
-- Adding rule to generate "bv_rewriter_params.hpp"
-- Adding rule to generate "fpa_rewriter_params.hpp"
-- Adding rule to generate "fpa2bv_rewriter_params.hpp"
-- Adding rule to generate "pattern_inference_params_helper.hpp"
-- Adding rule to generate "poly_rewriter_params.hpp"
-- Adding rule to generate "rewriter_params.hpp"
-- Adding rule to generate "seq_rewriter_params.hpp"
-- Adding rule to generate "solver_params.hpp"
-- Adding rule to generate "tactic_params.hpp"
-- Adding component rewriter
-- Adding component bit_blaster
-- Adding component normal_forms
-- Adding rule to generate "nnf_params.hpp"
-- Adding component macros
-- Adding component model
-- Adding rule to generate "model_evaluator_params.hpp"
-- Adding rule to generate "model_params.hpp"
-- Adding component euf
-- Adding component converters
-- Adding component substitution
-- Adding component simplifiers
-- Adding component tactic
-- Adding component mbp
-- Adding component qe_lite
-- Adding component smt_params
-- Adding rule to generate "smt_params_helper.hpp"
-- Adding component parser_util
-- Adding rule to generate "parser_params.hpp"
-- Adding component grobner
-- Adding component sat
-- Adding rule to generate "sat_asymm_branch_params.hpp"
-- Adding rule to generate "sat_params.hpp"
-- Adding rule to generate "sat_scc_params.hpp"
-- Adding rule to generate "sat_simplifier_params.hpp"
-- Adding component nlsat
-- Adding rule to generate "nlsat_params.hpp"
-- Adding component core_tactics
-- Adding component subpaving_tactic
-- Adding component aig_tactic
-- Adding component arith_tactics
-- Adding component solver
-- Adding rule to generate "combined_solver_params.hpp"
-- Adding rule to generate "parallel_params.hpp"
-- Adding component cmd_context
-- Adding component extra_cmds
-- Adding component smt2parser
-- Adding component solver_assertions
-- Adding component pattern
-- Adding component lp
-- Adding component sat_smt
-- Adding component sat_tactic
-- Adding component nlsat_tactic
-- Adding component ackermannization
-- Adding rule to generate "ackermannization_params.hpp"
-- Adding rule to generate "ackermannize_bv_tactic_params.hpp"
-- Adding component proofs
-- Adding component fpa
-- Adding component proto_model
-- Adding component smt
-- Adding component bv_tactics
-- Adding component smt_tactic
-- Adding component sls_tactic
-- Adding rule to generate "sls_params.hpp"
-- Adding component qe
-- Adding component muz
-- Adding rule to generate "fp_params.hpp"
-- Adding component dataflow
-- Adding component transforms
-- Adding component rel
-- Adding component clp
-- Adding component tab
-- Adding component bmc
-- Adding component ddnf
-- Adding component spacer
-- Adding component fp
-- Adding component ufbv_tactic
-- Adding component sat_solver
-- Adding component smtlogic_tactics
-- Adding rule to generate "qfufbv_tactic_params.hpp"
-- Adding component fpa_tactics
-- Adding component fd_solver
-- Adding component portfolio
-- Adding component opt
-- Adding rule to generate "opt_params.hpp"
-- Adding component api
-- Adding component api_dll
-- Adding component fuzzing
-- Emitting rules to build Z3 python bindings
-- Emitting rules to install Z3 python bindings
-- CMAKE_INSTALL_PYTHON_PKG_DIR not set. Trying to guess
-- Detected Python package directory: "/usr/lib/python3.11/site-packages"
-- Python bindings will be installed to "/usr/lib/python3.11/site-packages"
-- Building documentation disabled
-- Configuring done (0.7s)
-- Generating done (0.1s)
-- Build files have been written to: /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build
[1/861] Copying "visitor.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/visitor.py
[2/861] Copying "socrates.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/socrates.py
[3/861] Copying "mus/mss.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/mss.py
[4/861] Copying "mus/marco.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/marco.py
[5/861] Copying "hamiltonian/hamiltonian.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/hamiltonian.py
[6/861] Copying "example.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/example.py
[7/861] Copying "complex/complex.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/complex.py
[8/861] Copying "all_interval_series.py" to /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/python/all_interval_series.py
[9/861] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpq.cpp.o
[10/861] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpfx.cpp.o
[11/861] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpff.cpp.o
[12/861] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_mpf.cpp.o
[13/861] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving_hwf.cpp.o
[14/861] Building CXX object src/math/subpaving/CMakeFiles/subpaving.dir/subpaving.cpp.o
[15/861] Building CXX object src/math/interval/CMakeFiles/interval.dir/dep_intervals.cpp.o
[16/861] Building CXX object src/math/interval/CMakeFiles/interval.dir/interval_mpq.cpp.o
[17/861] Building CXX object src/math/automata/CMakeFiles/automata.dir/automaton.cpp.o
[18/861] Building CXX object src/math/simplex/CMakeFiles/simplex.dir/bit_matrix.cpp.o
[19/861] Building CXX object src/math/simplex/CMakeFiles/simplex.dir/model_based_opt.cpp.o
[20/861] Building CXX object src/math/simplex/CMakeFiles/simplex.dir/simplex.cpp.o
[21/861] Building CXX object src/math/hilbert/CMakeFiles/hilbert.dir/hilbert_basis.cpp.o
[22/861] Building CXX object src/math/dd/CMakeFiles/dd.dir/dd_pdd.cpp.o
[23/861] Building CXX object src/math/dd/CMakeFiles/dd.dir/dd_fdd.cpp.o
[24/861] Building CXX object src/math/dd/CMakeFiles/dd.dir/dd_bdd.cpp.o
[25/861] Building CXX object src/util/CMakeFiles/util.dir/zstring.cpp.o
[26/861] Building CXX object src/util/CMakeFiles/util.dir/z3_exception.cpp.o
[27/861] Building CXX object src/util/CMakeFiles/util.dir/warning.cpp.o
[28/861] Building CXX object src/util/CMakeFiles/util.dir/util.cpp.o
[29/861] Building CXX object src/util/CMakeFiles/util.dir/trace.cpp.o
[30/861] Building CXX object src/util/CMakeFiles/util.dir/timeout.cpp.o
[31/861] Building CXX object src/util/CMakeFiles/util.dir/timeit.cpp.o
[32/861] Building CXX object src/util/CMakeFiles/util.dir/tbv.cpp.o
[33/861] Building CXX object src/util/CMakeFiles/util.dir/symbol.cpp.o
[34/861] Building CXX object src/util/CMakeFiles/util.dir/statistics.cpp.o
[35/861] Building CXX object src/util/CMakeFiles/util.dir/state_graph.cpp.o
[36/861] Building CXX object src/util/CMakeFiles/util.dir/stack.cpp.o
[37/861] Building CXX object src/util/CMakeFiles/util.dir/smt2_util.cpp.o
[38/861] Building CXX object src/util/CMakeFiles/util.dir/small_object_allocator.cpp.o
[39/861] Building CXX object src/util/CMakeFiles/util.dir/s_integer.cpp.o
[40/861] Building CXX object src/util/CMakeFiles/util.dir/sexpr.cpp.o
[41/861] Building CXX object src/util/CMakeFiles/util.dir/scoped_timer.cpp.o
[42/861] Building CXX object src/util/CMakeFiles/util.dir/scoped_ctrl_c.cpp.o
[43/861] Building CXX object src/util/CMakeFiles/util.dir/rlimit.cpp.o
[44/861] Building CXX object src/util/CMakeFiles/util.dir/region.cpp.o
[45/861] Building CXX object src/util/CMakeFiles/util.dir/rational.cpp.o
[46/861] Building CXX object src/util/CMakeFiles/util.dir/prime_generator.cpp.o
[47/861] Building CXX object src/util/CMakeFiles/util.dir/permutation.cpp.o
[48/861] Building CXX object src/util/CMakeFiles/util.dir/params.cpp.o
[49/861] Building CXX object src/util/CMakeFiles/util.dir/page.cpp.o
[50/861] Building CXX object src/util/CMakeFiles/util.dir/mpz.cpp.o
[51/861] Building CXX object src/util/CMakeFiles/util.dir/mpq_inf.cpp.o
[52/861] Building CXX object src/util/CMakeFiles/util.dir/mpq.cpp.o
[53/861] Building CXX object src/util/CMakeFiles/util.dir/mpn.cpp.o
[54/861] Building CXX object src/util/CMakeFiles/util.dir/mpfx.cpp.o
[55/861] Building CXX object src/util/CMakeFiles/util.dir/mpff.cpp.o
[56/861] Building CXX object src/util/CMakeFiles/util.dir/mpf.cpp.o
[57/861] Building CXX object src/util/CMakeFiles/util.dir/mpbq.cpp.o
[58/861] Building CXX object src/util/CMakeFiles/util.dir/min_cut.cpp.o
[59/861] Building CXX object src/util/CMakeFiles/util.dir/memory_manager.cpp.o
[60/861] Building CXX object src/util/CMakeFiles/util.dir/luby.cpp.o
[61/861] Building CXX object src/util/CMakeFiles/util.dir/lbool.cpp.o
[62/861] Building CXX object src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o
[63/861] Building CXX object src/util/CMakeFiles/util.dir/inf_rational.cpp.o
[64/861] Building CXX object src/util/CMakeFiles/util.dir/inf_int_rational.cpp.o
[65/861] Building CXX object src/util/CMakeFiles/util.dir/hwf.cpp.o
[66/861] Building CXX object src/util/CMakeFiles/util.dir/hash.cpp.o
[67/861] Building CXX object src/util/CMakeFiles/util.dir/gparams.cpp.o
[68/861] Building CXX object src/util/CMakeFiles/util.dir/fixed_bit_vector.cpp.o
[69/861] Building CXX object src/util/CMakeFiles/util.dir/env_params.cpp.o
[70/861] Building CXX object src/util/CMakeFiles/util.dir/debug.cpp.o
[71/861] Building CXX object src/util/CMakeFiles/util.dir/common_msgs.cpp.o
[72/861] Building CXX object src/util/CMakeFiles/util.dir/cmd_context_types.cpp.o
[73/861] Building CXX object src/util/CMakeFiles/util.dir/bit_vector.cpp.o
[74/861] Building CXX object src/util/CMakeFiles/util.dir/bit_util.cpp.o
[75/861] Building CXX object src/util/CMakeFiles/util.dir/approx_set.cpp.o
[76/861] Building CXX object src/util/CMakeFiles/util.dir/approx_nat.cpp.o
ninja: job failed: /usr/bin/g++ -D_MP_INTERNAL -I/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/src -I/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src -Os -fstack-clash-protection -Wformat -Werror=format-security -D_GLIBCXX_ASSERTIONS=1 -D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1 -D_LIBCPP_ENABLE_HARDENED_MODE=1 -Werror=odr  -Os -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wall -MD -MT src/util/CMakeFiles/util.dir/stack.cpp.o -MF src/util/CMakeFiles/util.dir/stack.cpp.o.d -o src/util/CMakeFiles/util.dir/stack.cpp.o -c /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp
In file included from /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:20:
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp: In member function 'void* stack::allocate_small(size_t, bool)':
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:29:62: error: 'uintptr_t' does not name a type
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:99:22: note: in expansion of macro 'ALIGN'
   99 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:21:1: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   20 | #include "util/tptr.h"
  +++ |+#include <cstdint>
   21 | 
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:99:22: note: in expansion of macro 'ALIGN'
   99 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:99:22: note: in expansion of macro 'ALIGN'
   99 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:99:22: note: in expansion of macro 'ALIGN'
   99 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:99:22: note: in expansion of macro 'ALIGN'
   99 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:29:62: error: 'uintptr_t' does not name a type
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:105:22: note: in expansion of macro 'ALIGN'
  105 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:29:62: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:105:22: note: in expansion of macro 'ALIGN'
  105 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:105:22: note: in expansion of macro 'ALIGN'
  105 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:105:22: note: in expansion of macro 'ALIGN'
  105 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:105:22: note: in expansion of macro 'ALIGN'
  105 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/stack.cpp:105:22: note: in expansion of macro 'ALIGN'
  105 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
ninja: job failed: /usr/bin/g++ -D_MP_INTERNAL -I/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/build/src -I/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src -Os -fstack-clash-protection -Wformat -Werror=format-security -D_GLIBCXX_ASSERTIONS=1 -D_LIBCPP_ENABLE_THREAD_SAFETY_ANNOTATIONS=1 -D_LIBCPP_ENABLE_HARDENED_MODE=1 -Werror=odr  -Os -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wall -MD -MT src/util/CMakeFiles/util.dir/region.cpp.o -MF src/util/CMakeFiles/util.dir/region.cpp.o.d -o src/util/CMakeFiles/util.dir/region.cpp.o -c /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp
In file included from /home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:53:
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp: In member function 'void* region::allocate(size_t)':
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:29:62: error: 'uintptr_t' does not name a type
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:82:22: note: in expansion of macro 'ALIGN'
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:57:1: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   56 | #include "util/page.h"
  +++ |+#include <cstdint>
   57 | 
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:82:22: note: in expansion of macro 'ALIGN'
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:82:22: note: in expansion of macro 'ALIGN'
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:82:22: note: in expansion of macro 'ALIGN'
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:82:22: note: in expansion of macro 'ALIGN'
   82 |         m_curr_ptr = ALIGN(char *, new_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:29:62: error: 'uintptr_t' does not name a type
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:89:22: note: in expansion of macro 'ALIGN'
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:29:62: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   29 | #define ALIGN(T, PTR) reinterpret_cast<T>(((reinterpret_cast<uintptr_t>(PTR) >> PTR_ALIGNMENT) + \
      |                                                              ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:89:22: note: in expansion of macro 'ALIGN'
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:89:22: note: in expansion of macro 'ALIGN'
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:38: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                      ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:89:22: note: in expansion of macro 'ALIGN'
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: error: 'uintptr_t' does not name a type
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:89:22: note: in expansion of macro 'ALIGN'
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/tptr.h:30:67: note: 'uintptr_t' is defined in header '<cstdint>'; did you forget to '#include <cstdint>'?
   30 |                          static_cast<uintptr_t>((reinterpret_cast<uintptr_t>(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT)
      |                                                                   ^~~~~~~~~
/home/buildozer/aports/community/z3/src/z3-z3-4.12.2/src/util/region.cpp:89:22: note: in expansion of macro 'ALIGN'
   89 |         m_curr_ptr = ALIGN(char *, m_curr_ptr);
      |                      ^~~~~
ninja: subcommands failed
>>> ERROR: z3: build failed
>>> z3: Uninstalling dependencies...
(1/18) Purging .makedepends-z3 (20231023.193213)
(2/18) Purging cmake (3.27.7-r2)
(3/18) Purging samurai (1.2-r5)
(4/18) Purging libarchive (3.7.2-r0)
(5/18) Purging libuv (1.46.0-r0)
(6/18) Purging python3-pyc (3.11.6-r1)
(7/18) Purging python3-pycache-pyc0 (3.11.6-r1)
(8/18) Purging pyc (3.11.6-r1)
(9/18) Purging rhash-libs (1.4.4-r0)
(10/18) Purging python3 (3.11.6-r1)
(11/18) Purging gdbm (1.23-r1)
(12/18) Purging libbz2 (1.0.8-r6)
(13/18) Purging libffi (3.4.4-r3)
(14/18) Purging libpanelw (6.4_p20231007-r0)
(15/18) Purging mpdecimal (2.5.1-r2)
(16/18) Purging readline (8.2.1-r2)
(17/18) Purging sqlite-libs (3.43.2-r0)
(18/18) Purging xz-libs (5.4.4-r0)
Executing busybox-1.36.1-r13.trigger
OK: 473 MiB in 105 packages