>>> z3 4.11.2 Downloading
wget --passive-ftp -nd -t 3 -O '/home/buildroot/autobuild/instance-0/output-1/build/.z3-4.11.2.tar.gz.kvU1Yb/output' 'https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-4.11.2.tar.gz' 
--2022-12-12 18:00:35--  https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-4.11.2.tar.gz
Resolving github.com (github.com)... 140.82.113.4
Connecting to github.com (github.com)|140.82.113.4|:443... connected.
HTTP request sent, awaiting response... 302 Found
Location: https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-4.11.2 [following]
--2022-12-12 18:00:36--  https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-4.11.2
Resolving codeload.github.com (codeload.github.com)... 140.82.114.10
Connecting to codeload.github.com (codeload.github.com)|140.82.114.10|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: unspecified [application/x-gzip]
Saving to: '/home/buildroot/autobuild/instance-0/output-1/build/.z3-4.11.2.tar.gz.kvU1Yb/output'

     0K .......... .......... .......... .......... ..........  380K
    50K .......... .......... .......... .......... ..........  761K
   100K .......... .......... .......... .......... .......... 45.7M
   150K .......... .......... .......... .......... .......... 1.10M
   200K .......... .......... .......... .......... .......... 2.34M
   250K .......... .......... .......... .......... .......... 71.2M
   300K .......... .......... .......... .......... .......... 1.09M
   350K .......... .......... .......... .......... .......... 2.40M
   400K .......... .......... .......... .......... ..........  164M
   450K .......... .......... .......... .......... ..........  143M
   500K .......... .......... .......... .......... ..........  177M
   550K .......... .......... .......... .......... ..........  152M
   600K .......... .......... .......... .......... ..........  186M
   650K .......... .......... .......... .......... .......... 1.11M
   700K .......... .......... .......... .......... ..........  173M
   750K .......... .......... .......... .......... .......... 2.40M
   800K .......... .......... .......... .......... ..........  123M
   850K .......... .......... .......... .......... ..........  185M
   900K .......... .......... .......... .......... ..........  182M
   950K .......... .......... .......... .......... ..........  164M
  1000K .......... .......... .......... .......... ..........  147M
  1050K .......... .......... .......... .......... ..........  192M
  1100K .......... .......... .......... .......... ..........  189M
  1150K .......... .......... .......... .......... ..........  156M
  1200K .......... .......... .......... .......... ..........  177M
  1250K .......... .......... .......... .......... .......... 1.15M
  1300K .......... .......... .......... .......... ..........  176M
  1350K .......... .......... .......... .......... ..........  131M
  1400K .......... .......... .......... .......... .......... 4.40M
  1450K .......... .......... .......... .......... .......... 5.68M
  1500K .......... .......... .......... .......... ..........  138M
  1550K .......... .......... .......... .......... ..........  125M
  1600K .......... .......... .......... .......... ..........  163M
  1650K .......... .......... .......... .......... ..........  164M
  1700K .......... .......... .......... .......... ..........  139M
  1750K .......... .......... .......... .......... ..........  190M
  1800K .......... .......... .......... .......... ..........  187M
  1850K .......... .......... .......... .......... ..........  188M
  1900K .......... .......... .......... .......... ..........  157M
  1950K .......... .......... .......... .......... ..........  102M
  2000K .......... .......... .......... .......... .......... 86.7M
  2050K .......... .......... .......... .......... .......... 81.3M
  2100K .......... .......... .......... .......... .......... 86.4M
  2150K .......... .......... .......... .......... .......... 93.6M
  2200K .......... .......... .......... .......... ..........  193M
  2250K .......... .......... .......... .......... ..........  189M
  2300K .......... .......... .......... .......... ..........  122M
  2350K .......... .......... .......... .......... .......... 84.6M
  2400K .......... .......... .......... .......... .......... 84.1M
  2450K .......... .......... .......... .......... .......... 79.1M
  2500K .......... .......... .......... .......... .......... 1.29M
  2550K .......... .......... .......... .......... .......... 85.6M
  2600K .......... .......... .......... .......... .......... 85.1M
  2650K .......... .......... .......... .......... .......... 84.1M
  2700K .......... .......... .......... .......... .......... 75.4M
  2750K .......... .......... .......... .......... .......... 80.7M
  2800K .......... .......... .......... .......... .......... 7.91M
  2850K .......... .......... .......... .......... .......... 25.1M
  2900K .......... .......... .......... .......... .......... 4.64M
  2950K .......... .......... .......... .......... .......... 4.47M
  3000K .......... .......... .......... .......... .......... 4.25M
  3050K .......... .......... .......... .......... .......... 4.13M
  3100K .......... .......... .......... .......... .......... 59.1M
  3150K .......... .......... .......... .......... .......... 4.08M
  3200K .......... .......... .......... .......... .......... 4.25M
  3250K .......... .......... .......... .......... .......... 4.11M
  3300K .......... .......... .......... .......... .......... 3.87M
  3350K .......... .......... .......... .......... .......... 4.18M
  3400K .......... .......... .......... .......... .......... 54.4M
  3450K .......... .......... .......... .......... .......... 4.46M
  3500K .......... .......... .......... .......... .......... 4.38M
  3550K .......... .......... .......... .......... .......... 3.42M
  3600K .......... .......... .......... .......... .......... 4.88M
  3650K .......... .......... .......... .......... .......... 4.12M
  3700K .......... .......... .......... .......... .......... 48.7M
  3750K .......... .......... .......... .......... .......... 4.14M
  3800K .......... .......... .......... .......... .......... 4.32M
  3850K .......... .......... .......... .......... .......... 4.64M
  3900K .......... .......... .......... .......... .......... 4.49M
  3950K .......... .......... .......... .......... .......... 39.7M
  4000K .......... .......... .......... .......... .......... 2.28M
  4050K .......... .......... .......... .......... .......... 52.0M
  4100K .......... .......... .......... .......... .......... 4.15M
  4150K .......... .......... .......... .......... .......... 4.24M
  4200K .......... .......... .......... .......... .......... 4.29M
  4250K .......... .......... .......... .......... .......... 4.22M
  4300K .......... .......... .......... .......... .......... 36.1M
  4350K .......... .......... .......... .......... .......... 4.20M
  4400K .......... .......... .......... .......... .......... 3.58M
  4450K .......... .......... .......... .......... .......... 4.02M
  4500K .......... .......... .......... .......... .......... 3.93M
  4550K .......... .......... .......... .......... .......... 3.64M
  4600K .......... .......... .......... .......... .......... 77.7M
  4650K .......... .......... .......... .......... .......... 5.35M
  4700K .......... .......... .......... .......... .......... 4.29M
  4750K .......... .......... .......... .......... .......... 4.41M
  4800K .......... .......... .......... .......... .......... 4.41M
  4850K .......... .......... .......... .......... .......... 4.54M
  4900K .......... .......... .......... .......... .......... 4.64M
  4950K .......... .......... .......... .......... .......... 56.1M
  5000K .......... .......... .......... .......... .......... 4.77M
  5050K .......... .......... .......... .......... .......... 4.31M
  5100K .......... .......... .......... .......... .......... 4.28M
  5150K .......... .......... .......... .......... .......... 4.32M
  5200K .......... .......... .......... .......... .......... 4.36M
  5250K .......... .......... .......... .......... .......... 4.02M
  5300K .                                                      14.3M=1.0s

2022-12-12 18:00:37 (5.20 MB/s) - '/home/buildroot/autobuild/instance-0/output-1/build/.z3-4.11.2.tar.gz.kvU1Yb/output' saved [5428273]

z3-4.11.2.tar.gz: OK (sha256: e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e)
>>> z3 4.11.2 Extracting
gzip -d -c /home/buildroot/autobuild/instance-0/dl/z3/z3-4.11.2.tar.gz | tar --strip-components=1 -C /home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2   -xf -
>>> z3 4.11.2 Patching
>>> z3 4.11.2 Configuring
(mkdir -p /home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2//buildroot-build && cd /home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2//buildroot-build && rm -f CMakeCache.txt && PATH="/home/buildroot/autobuild/instance-0/output-1/host/bin:/home/buildroot/autobuild/instance-0/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"  /home/buildroot/autobuild/instance-0/output-1/host/bin/cmake /home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/ -G"Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/buildroot/autobuild/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 )
-- The CXX compiler identification is GNU 11.2.0
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /home/buildroot/autobuild/instance-0/output-1/host/bin/microblaze-linux-g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Z3 version 4.11.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
-- Found PythonInterp: /home/buildroot/autobuild/instance-0/output-1/host/bin/python3 (found suitable version "3.11.1", minimum required is "3") 
-- PYTHON_EXECUTABLE: /home/buildroot/autobuild/instance-0/output-1/host/bin/python3
-- Detected target architecture: unknown
-- Not using libgmp
-- Not using Z3_API_LOG_SYNC
-- Thread-safe build
-- Looking for C++ include pthread.h
-- Looking for C++ include pthread.h - found
-- 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 - Failed
-- Performing Test ATOMICS_REQUIRE_LIBATOMIC
-- Performing Test ATOMICS_REQUIRE_LIBATOMIC - Success
-- CMAKE_CXX_FLAGS: "-D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE -D_FILE_OFFSET_BITS=64 -O1 -g0 -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: $<$<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;atomic
-- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build/src;/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.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 component rewriter
-- 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 tactic
-- Adding rule to generate "tactic_params.hpp"
-- Adding component substitution
-- Adding component euf
-- 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 mbp
-- Adding component qe_lite
-- Adding component solver_assertions
-- Adding component pattern
-- Adding component bit_blaster
-- 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
-- Generating done
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/instance-0/output-1/build/z3-4.11.2/buildroot-build
>>> z3 4.11.2 Building
PATH="/home/buildroot/autobuild/instance-0/output-1/host/bin:/home/buildroot/autobuild/instance-0/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"  /usr/bin/make -j4  -C /home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2//buildroot-build
make[1]: Entering directory '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build'
make[2]: Entering directory '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Entering directory '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Leaving directory '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build'
make[3]: Entering directory '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build'
[  1%] Building CXX object src/util/CMakeFiles/util.dir/approx_nat.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/bit_util.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/approx_set.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/bit_vector.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/cmd_context_types.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/common_msgs.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/debug.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/env_params.cpp.o
[  1%] 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
[  2%] Building CXX object src/util/CMakeFiles/util.dir/hash.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/hwf.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/inf_int_rational.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/inf_rational.cpp.o
[  2%] Building CXX object src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o
/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp: In member function 'void hwf_manager::set_rounding_mode(mpf_rounding_mode)':
/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:601:15: error: 'FE_UPWARD' was not declared in this scope; did you mean 'FP_INT_UPWARD'?
  601 |         SETRM(FE_UPWARD);
      |               ^~~~~~~~~
/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:543:30: note: in definition of macro 'SETRM'
  543 | #define SETRM(RM) fesetround(RM)
      |                              ^~
/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:604:15: error: 'FE_DOWNWARD' was not declared in this scope; did you mean 'FP_INT_DOWNWARD'?
  604 |         SETRM(FE_DOWNWARD);
      |               ^~~~~~~~~~~
/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:543:30: note: in definition of macro 'SETRM'
  543 | #define SETRM(RM) fesetround(RM)
      |                              ^~
/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:607:15: error: 'FE_TOWARDZERO' was not declared in this scope; did you mean 'FP_INT_TOWARDZERO'?
  607 |         SETRM(FE_TOWARDZERO);
      |               ^~~~~~~~~~~~~
/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:543:30: note: in definition of macro 'SETRM'
  543 | #define SETRM(RM) fesetround(RM)
      |                              ^~
src/util/CMakeFiles/util.dir/build.make:229: recipe for target 'src/util/CMakeFiles/util.dir/hwf.cpp.o' failed
make[3]: *** [src/util/CMakeFiles/util.dir/hwf.cpp.o] Error 1
make[3]: *** Waiting for unfinished jobs....
make[3]: Leaving directory '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build'
CMakeFiles/Makefile2:1532: 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/instance-0/output-1/build/z3-4.11.2/buildroot-build'
Makefile:135: recipe for target 'all' failed
make[1]: *** [all] Error 2
make[1]: Leaving directory '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/buildroot-build'
package/pkg-generic.mk:290: recipe for target '/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/.stamp_built' failed
make: *** [/home/buildroot/autobuild/instance-0/output-1/build/z3-4.11.2/.stamp_built] Error 2
make: Leaving directory '/home/buildroot/autobuild/instance-0/buildroot'