>>> z3 4.12.2 Extracting
gzip -d -c /home/thomas/autobuild/instance-2/dl/z3/z3-4.12.2.tar.gz | tar --strip-components=1 -C /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2   -xf -
>>> z3 4.12.2 Patching
>>> z3 4.12.2 Configuring
(mkdir -p /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2//buildroot-build && cd /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2//buildroot-build && rm -f CMakeCache.txt && PATH="/home/thomas/autobuild/instance-2/output-1/host/bin:/home/thomas/autobuild/instance-2/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin"  /home/thomas/autobuild/instance-2/output-1/host/bin/cmake /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/ -G"Unix Makefiles" -DCMAKE_MAKE_PROGRAM="/usr/bin/make" -DCMAKE_TOOLCHAIN_FILE="/home/thomas/autobuild/instance-2/output-1/host/share/buildroot/toolchainfile.cmake" -DCMAKE_INSTALL_PREFIX="/usr" -DCMAKE_INSTALL_RUNSTATEDIR="/run" -DCMAKE_COLOR_MAKEFILE=OFF -DBUILD_DOC=OFF -DBUILD_DOCS=OFF -DBUILD_EXAMPLE=OFF -DBUILD_EXAMPLES=OFF -DBUILD_TEST=OFF -DBUILD_TESTS=OFF -DBUILD_TESTING=OFF -DBUILD_SHARED_LIBS=ON  -DZ3_BUILD_PYTHON_BINDINGS=OFF )
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.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /home/thomas/autobuild/instance-2/output-1/host/bin/sparc64-linux-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: Unix Makefiles
-- Build type: Debug
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: /home/thomas/autobuild/instance-2/output-1/host/bin/python3 (found suitable version "3.11.6", minimum required is "3") 
-- PYTHON_EXECUTABLE: /home/thomas/autobuild/instance-2/output-1/host/bin/python3
-- Detected target architecture: unknown
-- 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: "-D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -O1 -g0 -D_FORTIFY_SOURCE=2 -Werror=odr "
-- CMAKE_EXE_LINKER_FLAGS: ""
-- CMAKE_STATIC_LINKER_FLAGS: ""
-- CMAKE_SHARED_LINKER_FLAGS: ""
-- CMAKE_CXX_FLAGS_DEBUG: ""
-- CMAKE_EXE_LINKER_FLAGS_DEBUG: ""
-- CMAKE_SHARED_LINKER_FLAGS_DEBUG: ""
-- CMAKE_STATIC_LINKER_FLAGS_DEBUG: ""
-- 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/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build/src;/home/thomas/autobuild/instance-2/output-1/build/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
-- Building documentation disabled
-- Configuring done (0.5s)
-- Generating done (0.3s)
CMake Warning:
  Manually-specified variables were not used by the project:

    BUILD_DOC
    BUILD_DOCS
    BUILD_EXAMPLE
    BUILD_EXAMPLES
    BUILD_TEST
    BUILD_TESTING
    BUILD_TESTS


-- Build files have been written to: /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build
>>> z3 4.12.2 Building
PATH="/home/thomas/autobuild/instance-2/output-1/host/bin:/home/thomas/autobuild/instance-2/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin"  /home/thomas/autobuild/instance-2/output-1/host/bin/cmake --build /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2//buildroot-build -j4 -- 
make[1]: Entering directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
make[2]: Entering directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
make[3]: Entering directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
make[3]: Leaving directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
make[3]: Entering directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
[  0%] Building CXX object src/util/CMakeFiles/util.dir/approx_set.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/approx_nat.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/bit_util.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/bit_vector.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/cmd_context_types.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/common_msgs.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/debug.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/env_params.cpp.o
[  0%] Building CXX object src/util/CMakeFiles/util.dir/fixed_bit_vector.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/gparams.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/hash.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/hwf.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/inf_int_rational.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/inf_rational.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/lbool.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/luby.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/memory_manager.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/min_cut.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpbq.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpf.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpff.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpfx.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpn.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpq.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpq_inf.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/mpz.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/page.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/params.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/permutation.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/prime_generator.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/rational.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/region.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/rlimit.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/scoped_ctrl_c.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/scoped_timer.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/sexpr.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/s_integer.cpp.o
[  3%] Building CXX object src/util/CMakeFiles/util.dir/small_object_allocator.cpp.o
[  4%] Building CXX object src/util/CMakeFiles/util.dir/smt2_util.cpp.o
[  4%] Building CXX object src/util/CMakeFiles/util.dir/stack.cpp.o
[  4%] Building CXX object src/util/CMakeFiles/util.dir/state_graph.cpp.o
[  4%] Building CXX object src/util/CMakeFiles/util.dir/statistics.cpp.o
[  4%] Building CXX object src/util/CMakeFiles/util.dir/symbol.cpp.o
In file included from /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/src/util/stack.cpp:20:
/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/src/util/stack.cpp: In member function 'void* stack::allocate_small(size_t, bool)':
/home/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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/thomas/autobuild/instance-2/output-1/build/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);
      |                      ^~~~~
make[3]: *** [src/util/CMakeFiles/util.dir/build.make:636: src/util/CMakeFiles/util.dir/stack.cpp.o] Error 1
make[3]: *** Waiting for unfinished jobs....
make[3]: Leaving directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
make[2]: *** [CMakeFiles/Makefile2:1571: src/util/CMakeFiles/util.dir/all] Error 2
make[2]: Leaving directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
make[1]: *** [Makefile:136: all] Error 2
make[1]: Leaving directory '/home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/buildroot-build'
make: *** [package/pkg-generic.mk:283: /home/thomas/autobuild/instance-2/output-1/build/z3-4.12.2/.stamp_built] Error 2
make: Leaving directory '/home/thomas/autobuild/instance-2/buildroot'