>>> z3 4.12.2 Downloading wget --passive-ftp -nd -t 3 --no-check-certificate -O '/home/buildroot/autobuild/run/instance-0/output-1/build/.z3-4.12.2.tar.gz.pyqGkf/output' 'https://github.com/Z3Prover/z3/archive/z3-4.12.2/z3-4.12.2.tar.gz' --2024-03-30 06:23:16-- https://github.com/Z3Prover/z3/archive/z3-4.12.2/z3-4.12.2.tar.gz Resolving github.com (github.com)... 140.82.121.3 Connecting to github.com (github.com)|140.82.121.3|:443... connected. HTTP request sent, awaiting response... 302 Found Location: https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-4.12.2 [following] --2024-03-30 06:23:17-- https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-4.12.2 Resolving codeload.github.com (codeload.github.com)... 140.82.121.9 Connecting to codeload.github.com (codeload.github.com)|140.82.121.9|:443... connected. HTTP request sent, awaiting response... 200 OK Length: unspecified [application/x-gzip] Saving to: '/home/buildroot/autobuild/run/instance-0/output-1/build/.z3-4.12.2.tar.gz.pyqGkf/output' 0K .......... .......... .......... .......... .......... 2.03M 50K .......... .......... .......... .......... .......... 4.10M 100K .......... .......... .......... .......... .......... 55.3M 150K .......... .......... .......... .......... .......... 4.44M 200K .......... .......... .......... .......... .......... 55.9M 250K .......... .......... .......... .......... .......... 67.4M 300K .......... .......... .......... .......... .......... 4.50M 350K .......... .......... .......... .......... .......... 61.9M 400K .......... .......... .......... .......... .......... 58.4M 450K .......... .......... .......... .......... .......... 57.8M 500K .......... .......... .......... .......... .......... 5.05M 550K .......... .......... .......... .......... .......... 61.5M 600K .......... .......... .......... .......... .......... 67.2M 650K .......... .......... .......... .......... .......... 67.1M 700K .......... .......... .......... .......... .......... 63.8M 750K .......... .......... .......... .......... .......... 9.88M 800K .......... .......... .......... .......... .......... 52.7M 850K .......... .......... .......... .......... .......... 64.9M 900K .......... .......... .......... .......... .......... 4.83M 950K .......... .......... .......... .......... .......... 6.11M 1000K .......... .......... .......... .......... .......... 58.6M 1050K .......... .......... .......... .......... .......... 6.66M 1100K .......... .......... .......... .......... .......... 18.3M 1150K .......... .......... .......... .......... .......... 5.61M 1200K .......... .......... .......... .......... .......... 5.28M 1250K .......... .......... .......... .......... .......... 4.27M 1300K .......... .......... .......... .......... .......... 6.10M 1350K .......... .......... .......... .......... .......... 6.24M 1400K .......... .......... .......... .......... .......... 6.39M 1450K .......... .......... .......... .......... .......... 4.01M 1500K .......... .......... .......... .......... .......... 64.1M 1550K .......... .......... .......... .......... .......... 6.25M 1600K .......... .......... .......... .......... .......... 6.28M 1650K .......... .......... .......... .......... .......... 4.04M 1700K .......... .......... .......... .......... .......... 6.32M 1750K .......... .......... .......... .......... .......... 6.27M 1800K .......... .......... .......... .......... .......... 65.8M 1850K .......... .......... .......... .......... .......... 6.04M 1900K .......... .......... .......... .......... .......... 5.74M 1950K .......... .......... .......... .......... .......... 5.77M 2000K .......... .......... .......... .......... .......... 5.64M 2050K .......... .......... .......... .......... .......... 5.32M 2100K .......... .......... .......... .......... .......... 5.59M 2150K .......... .......... .......... .......... .......... 56.9M 2200K .......... .......... .......... .......... .......... 5.17M 2250K .......... .......... .......... .......... .......... 5.59M 2300K .......... .......... .......... .......... .......... 5.40M 2350K .......... .......... .......... .......... .......... 5.75M 2400K .......... .......... .......... .......... .......... 4.43M 2450K .......... .......... .......... .......... .......... 6.12M 2500K .......... .......... .......... .......... .......... 59.2M 2550K .......... .......... .......... .......... .......... 6.34M 2600K .......... .......... .......... .......... .......... 6.52M 2650K .......... .......... .......... .......... .......... 5.58M 2700K .......... .......... .......... .......... .......... 4.94M 2750K .......... .......... .......... .......... .......... 60.3M 2800K .......... .......... .......... .......... .......... 5.38M 2850K .......... .......... .......... .......... .......... 5.67M 2900K .......... .......... .......... .......... .......... 5.60M 2950K .......... .......... .......... .......... .......... 5.92M 3000K .......... .......... .......... .......... .......... 4.58M 3050K .......... .......... .......... .......... .......... 73.8M 3100K .......... .......... .......... .......... .......... 5.95M 3150K .......... .......... .......... .......... .......... 6.88M 3200K .......... .......... .......... .......... .......... 5.50M 3250K .......... .......... .......... .......... .......... 4.58M 3300K .......... .......... .......... .......... .......... 6.98M 3350K .......... .......... .......... .......... .......... 55.6M 3400K .......... .......... .......... .......... .......... 5.67M 3450K .......... .......... .......... .......... .......... 5.92M 3500K .......... .......... .......... .......... .......... 5.53M 3550K .......... .......... .......... .......... .......... 4.71M 3600K .......... .......... .......... .......... .......... 6.28M 3650K .......... .......... .......... .......... .......... 60.5M 3700K .......... .......... .......... .......... .......... 5.83M 3750K .......... .......... .......... .......... .......... 4.79M 3800K .......... .......... .......... .......... .......... 6.89M 3850K .......... .......... .......... .......... .......... 5.63M 3900K .......... .......... .......... .......... .......... 59.2M 3950K .......... .......... .......... .......... .......... 6.17M 4000K .......... .......... .......... .......... .......... 5.75M 4050K .......... .......... .......... .......... .......... 5.51M 4100K .......... .......... .......... .......... .......... 4.78M 4150K .......... .......... .......... .......... .......... 7.38M 4200K .......... .......... .......... .......... .......... 5.50M 4250K .......... .......... .......... .......... .......... 44.6M 4300K .......... .......... .......... .......... .......... 5.59M 4350K .......... .......... .......... .......... .......... 5.78M 4400K .......... .......... .......... .......... .......... 4.40M 4450K .......... .......... .......... .......... .......... 4.08M 4500K .......... .......... .......... .......... .......... 6.28M 4550K .......... .......... .......... .......... .......... 56.7M 4600K .......... .......... .......... .......... .......... 7.37M 4650K .......... .......... .......... .......... .......... 5.62M 4700K .......... .......... .......... .......... .......... 6.28M 4750K .......... .......... .......... .......... .......... 5.09M 4800K .......... .......... .......... .......... .......... 4.71M 4850K .......... .......... .......... .......... .......... 12.4M 4900K .......... .......... .......... .......... .......... 57.9M 4950K .......... .......... .......... .......... .......... 6.22M 5000K .......... .......... .......... .......... .......... 4.35M 5050K .......... .......... .......... .......... .......... 10.6M 5100K .......... .......... .......... .......... .......... 5.31M 5150K .......... .......... .......... .......... .......... 5.41M 5200K .......... .......... .......... .......... .......... 13.6M 5250K .......... .......... .... 57.5M=0.7s 2024-03-30 06:23:17 (7.09 MB/s) - '/home/buildroot/autobuild/run/instance-0/output-1/build/.z3-4.12.2.tar.gz.pyqGkf/output' saved [5401038] z3-4.12.2.tar.gz: OK (sha256: 9f58f3710bd2094085951a75791550f547903d75fe7e2fcb373c5f03fc761b8f) >>> z3 4.12.2 Extracting gzip -d -c /home/buildroot/autobuild/run/instance-0/dl/z3/z3-4.12.2.tar.gz | tar --strip-components=1 -C /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2 -xf - >>> z3 4.12.2 Patching >>> z3 4.12.2 Configuring (mkdir -p /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2//buildroot-build && cd /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2//buildroot-build && rm -f CMakeCache.txt && PATH="/home/buildroot/autobuild/run/instance-0/output-1/host/bin:/home/buildroot/autobuild/run/instance-0/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin" /home/buildroot/autobuild/run/instance-0/output-1/host/bin/cmake /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/ -G"Unix Makefiles" -DCMAKE_MAKE_PROGRAM="/usr/bin/make" -DCMAKE_TOOLCHAIN_FILE="/home/buildroot/autobuild/run/instance-0/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 value or use a ... 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/buildroot/autobuild/run/instance-0/output-1/host/bin/x86_64-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: Release 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/buildroot/autobuild/run/instance-0/output-1/host/bin/python3 (found suitable version "3.11.8", minimum required is "3") -- PYTHON_EXECUTABLE: /home/buildroot/autobuild/run/instance-0/output-1/host/bin/python3 -- 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 - 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 -Os -g0 -D_FORTIFY_SOURCE=1 -Werror=odr " -- CMAKE_EXE_LINKER_FLAGS: "" -- CMAKE_STATIC_LINKER_FLAGS: "" -- CMAKE_SHARED_LINKER_FLAGS: "" -- CMAKE_CXX_FLAGS_RELEASE: " -DNDEBUG" -- CMAKE_EXE_LINKER_FLAGS_RELEASE: "" -- CMAKE_SHARED_LINKER_FLAGS_RELEASE: "" -- CMAKE_STATIC_LINKER_FLAGS_RELEASE: "" -- Z3_COMPONENT_CXX_DEFINES: $<$:Z3DEBUG>;$<$:_EXTERNAL_RELEASE>;$<$:_EXTERNAL_RELEASE>;-D_MP_INTERNAL;$<$:_TRACE> -- Z3_COMPONENT_CXX_FLAGS: -mfpmath=sse;-msse;-msse2;-Wall -- Z3_DEPENDENT_LIBS: Threads::Threads -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build/src;/home/buildroot/autobuild/run/instance-0/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 (2.1s) -- Generating done (0.5s) 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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build >>> z3 4.12.2 Building GIT_DIR=. PATH="/home/buildroot/autobuild/run/instance-0/output-1/host/bin:/home/buildroot/autobuild/run/instance-0/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin" /home/buildroot/autobuild/run/instance-0/output-1/host/bin/cmake --build /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2//buildroot-build -j4 -- make[1]: Entering directory '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build' make[2]: Entering directory '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build' make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/run/instance-0/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/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/approx_nat.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 In file included from /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/region.cpp:53: /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/region.cpp: In member function 'void* region::allocate(size_t)': /home/buildroot/autobuild/run/instance-0/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(((reinterpret_cast(PTR) >> PTR_ALIGNMENT) + \ | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/region.cpp:57:1: note: 'uintptr_t' is defined in header ''; did you forget to '#include '? 56 | #include "util/page.h" +++ |+#include 57 | /home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:38: error: 'uintptr_t' does not name a type 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:38: note: 'uintptr_t' is defined in header ''; did you forget to '#include '? 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:67: error: 'uintptr_t' does not name a type 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:67: note: 'uintptr_t' is defined in header ''; did you forget to '#include '? 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/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(((reinterpret_cast(PTR) >> PTR_ALIGNMENT) + \ | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:29:62: note: 'uintptr_t' is defined in header ''; did you forget to '#include '? 29 | #define ALIGN(T, PTR) reinterpret_cast(((reinterpret_cast(PTR) >> PTR_ALIGNMENT) + \ | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:38: error: 'uintptr_t' does not name a type 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:38: note: 'uintptr_t' is defined in header ''; did you forget to '#include '? 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:67: error: 'uintptr_t' does not name a type 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/src/util/tptr.h:30:67: note: 'uintptr_t' is defined in header ''; did you forget to '#include '? 30 | static_cast((reinterpret_cast(PTR) & TAG_MASK) != 0)) << PTR_ALIGNMENT) | ^~~~~~~~~ /home/buildroot/autobuild/run/instance-0/output-1/build/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); | ^~~~~ src/util/CMakeFiles/util.dir/build.make:523: recipe for target 'src/util/CMakeFiles/util.dir/region.cpp.o' failed make[3]: *** [src/util/CMakeFiles/util.dir/region.cpp.o] Error 1 make[3]: *** Waiting for unfinished jobs.... make[3]: Leaving directory '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build' CMakeFiles/Makefile2:1570: recipe for target 'src/util/CMakeFiles/util.dir/all' failed make[2]: *** [src/util/CMakeFiles/util.dir/all] Error 2 make[2]: Leaving directory '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build' Makefile:135: recipe for target 'all' failed make[1]: *** [all] Error 2 make[1]: Leaving directory '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/buildroot-build' package/pkg-generic.mk:280: recipe for target '/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/.stamp_built' failed make: *** [/home/buildroot/autobuild/run/instance-0/output-1/build/z3-4.12.2/.stamp_built] Error 2 make: Leaving directory '/home/buildroot/autobuild/run/instance-0/buildroot'