>>> z3 4.12.0 Downloading
wget --passive-ftp -nd -t 3 -O '/home/autobuild/autobuild/instance-18/output-1/build/.z3-4.12.0.tar.gz.q7oeLy/output' 'https://github.com/Z3Prover/z3/archive/z3-4.12.0/z3-4.12.0.tar.gz' 
--2023-01-22 04:36:04--  https://github.com/Z3Prover/z3/archive/z3-4.12.0/z3-4.12.0.tar.gz
Resolving github.com (github.com)... 20.248.137.48
Connecting to github.com (github.com)|20.248.137.48|:443... connected.
HTTP request sent, awaiting response... 302 Found
Location: https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-4.12.0 [following]
--2023-01-22 04:36:05--  https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-4.12.0
Resolving codeload.github.com (codeload.github.com)... 140.82.112.9
Connecting to codeload.github.com (codeload.github.com)|140.82.112.9|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: unspecified [application/x-gzip]
Saving to: '/home/autobuild/autobuild/instance-18/output-1/build/.z3-4.12.0.tar.gz.q7oeLy/output'

     0K .......... .......... .......... .......... ..........  508K
    50K .......... .......... .......... .......... .......... 1.01M
   100K .......... .......... .......... .......... .......... 1020K
   150K .......... .......... .......... .......... .......... 39.9M
   200K .......... .......... .......... .......... .......... 1.07M
   250K .......... .......... .......... .......... .......... 26.1M
   300K .......... .......... .......... .......... .......... 47.9M
   350K .......... .......... .......... .......... .......... 62.7M
   400K .......... .......... .......... .......... .......... 74.1M
   450K .......... .......... .......... .......... .......... 1.15M
   500K .......... .......... .......... .......... .......... 63.9M
   550K .......... .......... .......... .......... .......... 63.6M
   600K .......... .......... .......... .......... .......... 65.0M
   650K .......... .......... .......... .......... .......... 70.6M
   700K .......... .......... .......... .......... .......... 67.3M
   750K .......... .......... .......... .......... ..........  993K
   800K .......... .......... .......... .......... .......... 69.0M
   850K .......... .......... .......... .......... .......... 72.4M
   900K .......... .......... .......... .......... .......... 1.18M
   950K .......... .......... .......... .......... .......... 46.4M
  1000K .......... .......... .......... .......... .......... 58.3M
  1050K .......... .......... .......... .......... .......... 61.8M
  1100K .......... .......... .......... .......... .......... 55.3M
  1150K .......... .......... .......... .......... .......... 9.47M
  1200K .......... .......... .......... .......... .......... 72.2M
  1250K .......... .......... .......... .......... .......... 67.2M
  1300K .......... .......... .......... .......... .......... 77.3M
  1350K .......... .......... .......... .......... .......... 64.7M
  1400K .......... .......... .......... .......... .......... 10.2M
  1450K .......... .......... .......... .......... .......... 70.1M
  1500K .......... .......... .......... .......... .......... 67.4M
  1550K .......... .......... .......... .......... .......... 60.8M
  1600K .......... .......... .......... .......... .......... 71.9M
  1650K .......... .......... .......... .......... .......... 67.8M
  1700K .......... .......... .......... .......... .......... 10.3M
  1750K .......... .......... .......... .......... .......... 61.2M
  1800K .......... .......... .......... .......... .......... 71.6M
  1850K .......... .......... .......... .......... .......... 45.8M
  1900K .......... .......... .......... .......... .......... 1.44M
  1950K .......... .......... .......... .......... .......... 40.8M
  2000K .......... .......... .......... .......... .......... 35.0M
  2050K .......... .......... .......... .......... .......... 38.3M
  2100K .......... .......... .......... .......... .......... 35.9M
  2150K .......... .......... .......... .......... .......... 36.8M
  2200K .......... .......... .......... .......... .......... 1.34M
  2250K .......... .......... .......... .......... .......... 29.0M
  2300K .......... .......... .......... .......... .......... 35.7M
  2350K .......... .......... .......... .......... .......... 8.74M
  2400K .......... .......... .......... .......... .......... 33.0M
  2450K .......... .......... .......... .......... .......... 38.5M
  2500K .......... .......... .......... .......... .......... 9.14M
  2550K .......... .......... .......... .......... .......... 36.3M
  2600K .......... .......... .......... .......... .......... 40.6M
  2650K .......... .......... .......... .......... .......... 9.12M
  2700K .......... .......... .......... .......... .......... 38.5M
  2750K .......... .......... .......... .......... .......... 2.68M
  2800K .......... .......... .......... .......... .......... 32.8M
  2850K .......... .......... .......... .......... .......... 30.5M
  2900K .......... .......... .......... .......... .......... 29.2M
  2950K .......... .......... .......... .......... .......... 33.1M
  3000K .......... .......... .......... .......... .......... 36.1M
  3050K .......... .......... .......... .......... .......... 5.12M
  3100K .......... .......... .......... .......... .......... 40.2M
  3150K .......... .......... .......... .......... .......... 1.62M
  3200K .......... .......... .......... .......... .......... 28.6M
  3250K .......... .......... .......... .......... .......... 27.1M
  3300K .......... .......... .......... .......... .......... 34.2M
  3350K .......... .......... .......... .......... .......... 7.32M
  3400K .......... .......... .......... .......... .......... 5.02M
  3450K .......... .......... .......... .......... .......... 4.70M
  3500K .......... .......... .......... .......... .......... 2.94M
  3550K .......... .......... .......... .......... .......... 32.1M
  3600K .......... .......... .......... .......... .......... 7.13M
  3650K .......... .......... .......... .......... .......... 3.41M
  3700K .......... .......... .......... .......... .......... 7.65M
  3750K .......... .......... .......... .......... .......... 3.90M
  3800K .......... .......... .......... .......... .......... 4.10M
  3850K .......... .......... .......... .......... .......... 38.2M
  3900K .......... .......... .......... .......... .......... 5.61M
  3950K .......... .......... .......... .......... .......... 4.29M
  4000K .......... .......... .......... .......... .......... 4.36M
  4050K .......... .......... .......... .......... .......... 4.72M
  4100K .......... .......... .......... .......... .......... 4.44M
  4150K .......... .......... .......... .......... .......... 35.5M
  4200K .......... .......... .......... .......... .......... 4.32M
  4250K .......... .......... .......... .......... .......... 4.69M
  4300K .......... .......... .......... .......... .......... 4.07M
  4350K .......... .......... .......... .......... .......... 4.74M
  4400K .......... .......... .......... .......... .......... 4.32M
  4450K .......... .......... .......... .......... .......... 4.06M
  4500K .......... .......... .......... .......... .......... 30.4M
  4550K .......... .......... .......... .......... .......... 3.65M
  4600K .......... .......... .......... .......... .......... 3.85M
  4650K .......... .......... .......... .......... .......... 4.39M
  4700K .......... .......... .......... .......... .......... 3.22M
  4750K .......... .......... .......... .......... .......... 32.9M
  4800K .......... .......... .......... .......... .......... 8.12M
  4850K .......... .......... .......... .......... .......... 4.15M
  4900K .......... .......... .......... .......... .......... 4.26M
  4950K .......... .......... .......... .......... .......... 5.20M
  5000K .......... .......... .......... .......... .......... 4.86M
  5050K .......... .......... .......... .......... .......... 3.67M
  5100K .......... .......... .......... .......... .......... 6.33M
  5150K .......... .......... .......... .......... .......... 35.4M
  5200K .......... .......... .......... .......... .......... 2.06M
  5250K .......... .......... .......... .......... .......... 30.6M
  5300K .......... .......... .......... ..........            34.1M=1.0s

2023-01-22 04:36:06 (5.43 MB/s) - '/home/autobuild/autobuild/instance-18/output-1/build/.z3-4.12.0.tar.gz.q7oeLy/output' saved [5468532]

z3-4.12.0.tar.gz: OK (sha256: 5f575f0a3950760436217da1cc1a714569b6d4f664a75bb6775876328cf0a580)
>>> z3 4.12.0 Extracting
gzip -d -c /home/autobuild/autobuild/instance-18/dl/z3/z3-4.12.0.tar.gz | tar --strip-components=1 -C /home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0   -xf -
>>> z3 4.12.0 Patching
>>> z3 4.12.0 Configuring
(mkdir -p /home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0//buildroot-build && cd /home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0//buildroot-build && rm -f CMakeCache.txt && PATH="/home/autobuild/autobuild/instance-18/output-1/host/bin:/home/autobuild/autobuild/instance-18/output-1/host/sbin:/home/autobuild/make:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"  /home/autobuild/autobuild/instance-18/output-1/host/bin/cmake /home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/ -G"Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/autobuild/autobuild/instance-18/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/autobuild/autobuild/instance-18/output-1/host/bin/or1k-linux-g++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Z3 version 4.12.0.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/autobuild/autobuild/instance-18/output-1/host/bin/python3 (found suitable version "3.11.1", minimum required is "3") 
-- PYTHON_EXECUTABLE: /home/autobuild/autobuild/instance-18/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 -g2 -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/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build/src;/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/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 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 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/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build
>>> z3 4.12.0 Building
PATH="/home/autobuild/autobuild/instance-18/output-1/host/bin:/home/autobuild/autobuild/instance-18/output-1/host/sbin:/home/autobuild/make:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"  /home/autobuild/make/make -j1  -C /home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0//buildroot-build
make[1]: Entering directory '/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build'
[  0%] Building CXX object src/util/CMakeFiles/util.dir/approx_nat.cpp.o
[  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/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
/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/src/util/hwf.cpp: In member function 'void hwf_manager::set_rounding_mode(mpf_rounding_mode)':
/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/src/util/hwf.cpp:601:15: error: 'FE_UPWARD' was not declared in this scope
  601 |         SETRM(FE_UPWARD);
      |               ^~~~~~~~~
/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/src/util/hwf.cpp:543:30: note: in definition of macro 'SETRM'
  543 | #define SETRM(RM) fesetround(RM)
      |                              ^~
/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/src/util/hwf.cpp:604:15: error: 'FE_DOWNWARD' was not declared in this scope
  604 |         SETRM(FE_DOWNWARD);
      |               ^~~~~~~~~~~
/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/src/util/hwf.cpp:543:30: note: in definition of macro 'SETRM'
  543 | #define SETRM(RM) fesetround(RM)
      |                              ^~
/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/src/util/hwf.cpp:607:15: error: 'FE_TOWARDZERO' was not declared in this scope
  607 |         SETRM(FE_TOWARDZERO);
      |               ^~~~~~~~~~~~~
/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/src/util/hwf.cpp:543:30: note: in definition of macro 'SETRM'
  543 | #define SETRM(RM) fesetround(RM)
      |                              ^~
make[3]: *** [src/util/CMakeFiles/util.dir/build.make:230: src/util/CMakeFiles/util.dir/hwf.cpp.o] Error 1
make[2]: *** [CMakeFiles/Makefile2:1571: src/util/CMakeFiles/util.dir/all] Error 2
make[1]: *** [Makefile:136: all] Error 2
make[1]: Leaving directory '/home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/buildroot-build'
make: *** [package/pkg-generic.mk:293: /home/autobuild/autobuild/instance-18/output-1/build/z3-4.12.0/.stamp_built] Error 2
make: Leaving directory '/home/autobuild/autobuild/instance-18/buildroot'