>>> z3 4.11.2 Downloading
wget --passive-ftp -nd -t 3 -O '/tmp/instance-0/output-1/build/.z3-4.11.2.tar.gz.5wfHpA/output' 'https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-4.11.2.tar.gz' 
--2022-12-12 10:04:49--  https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-4.11.2.tar.gz
Resolving github.com (github.com)... 140.82.112.4
Connecting to github.com (github.com)|140.82.112.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 10:04:49--  https://codeload.github.com/Z3Prover/z3/tar.gz/refs/tags/z3-4.11.2
Resolving codeload.github.com (codeload.github.com)... 140.82.113.9
Connecting to codeload.github.com (codeload.github.com)|140.82.113.9|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 5428273 (5.2M) [application/x-gzip]
Saving to: '/tmp/instance-0/output-1/build/.z3-4.11.2.tar.gz.5wfHpA/output'

     0K .......... .......... .......... .......... ..........  0%  516K 10s
    50K .......... .......... .......... .......... ..........  1% 1.01M 8s
   100K .......... .......... .......... .......... ..........  2% 1.18M 6s
   150K .......... .......... .......... .......... ..........  3% 6.44M 5s
   200K .......... .......... .......... .......... ..........  4% 1.18M 5s
   250K .......... .......... .......... .......... ..........  5% 80.5M 4s
   300K .......... .......... .......... .......... ..........  6% 5.22M 3s
   350K .......... .......... .......... .......... ..........  7%  151M 3s
   400K .......... .......... .......... .......... ..........  8% 1.23M 3s
   450K .......... .......... .......... .......... ..........  9%  187M 3s
   500K .......... .......... .......... .......... .......... 10%  199M 2s
   550K .......... .......... .......... .......... .......... 11% 1021K 3s
   600K .......... .......... .......... .......... .......... 12% 13.0M 2s
   650K .......... .......... .......... .......... .......... 13%  124M 2s
   700K .......... .......... .......... .......... .......... 14%  150M 2s
   750K .......... .......... .......... .......... .......... 15%  107M 2s
   800K .......... .......... .......... .......... .......... 16%  117M 2s
   850K .......... .......... .......... .......... .......... 16% 1.15M 2s
   900K .......... .......... .......... .......... .......... 17%  104M 2s
   950K .......... .......... .......... .......... .......... 18%  142M 2s
  1000K .......... .......... .......... .......... .......... 19%  161M 2s
  1050K .......... .......... .......... .......... .......... 20%  179M 1s
  1100K .......... .......... .......... .......... .......... 21%  206M 1s
  1150K .......... .......... .......... .......... .......... 22%  169M 1s
  1200K .......... .......... .......... .......... .......... 23%  216M 1s
  1250K .......... .......... .......... .......... .......... 24%  215M 1s
  1300K .......... .......... .......... .......... .......... 25%  226M 1s
  1350K .......... .......... .......... .......... .......... 26%  191M 1s
  1400K .......... .......... .......... .......... .......... 27%  223M 1s
  1450K .......... .......... .......... .......... .......... 28%  225M 1s
  1500K .......... .......... .......... .......... .......... 29% 11.3M 1s
  1550K .......... .......... .......... .......... .......... 30%  171M 1s
  1600K .......... .......... .......... .......... .......... 31% 1.25M 1s
  1650K .......... .......... .......... .......... .......... 32% 57.5M 1s
  1700K .......... .......... .......... .......... .......... 33%  137M 1s
  1750K .......... .......... .......... .......... .......... 33% 16.8M 1s
  1800K .......... .......... .......... .......... .......... 34%  203M 1s
  1850K .......... .......... .......... .......... .......... 35%  203M 1s
  1900K .......... .......... .......... .......... .......... 36% 14.3M 1s
  1950K .......... .......... .......... .......... .......... 37%  195M 1s
  2000K .......... .......... .......... .......... .......... 38% 16.4M 1s
  2050K .......... .......... .......... .......... .......... 39% 1.29M 1s
  2100K .......... .......... .......... .......... .......... 40%  168M 1s
  2150K .......... .......... .......... .......... .......... 41% 98.4M 1s
  2200K .......... .......... .......... .......... .......... 42% 13.9M 1s
  2250K .......... .......... .......... .......... .......... 43%  210M 1s
  2300K .......... .......... .......... .......... .......... 44%  532K 1s
  2350K .......... .......... .......... .......... .......... 45%  174M 1s
  2400K .......... .......... .......... .......... .......... 46%  133M 1s
  2450K .......... .......... .......... .......... .......... 47%  223M 1s
  2500K .......... .......... .......... .......... .......... 48%  204M 1s
  2550K .......... .......... .......... .......... .......... 49%  214M 1s
  2600K .......... .......... .......... .......... .......... 49%  216M 1s
  2650K .......... .......... .......... .......... .......... 50%  219M 1s
  2700K .......... .......... .......... .......... .......... 51%  177M 1s
  2750K .......... .......... .......... .......... .......... 52%  221M 1s
  2800K .......... .......... .......... .......... .......... 53%  220M 0s
  2850K .......... .......... .......... .......... .......... 54%  225M 0s
  2900K .......... .......... .......... .......... .......... 55%  204M 0s
  2950K .......... .......... .......... .......... .......... 56%  217M 0s
  3000K .......... .......... .......... .......... .......... 57% 79.8M 0s
  3050K .......... .......... .......... .......... .......... 58% 10.9M 0s
  3100K .......... .......... .......... .......... .......... 59%  165M 0s
  3150K .......... .......... .......... .......... .......... 60% 25.7M 0s
  3200K .......... .......... .......... .......... .......... 61% 1.28M 0s
  3250K .......... .......... .......... .......... .......... 62%  105M 0s
  3300K .......... .......... .......... .......... .......... 63% 14.2M 0s
  3350K .......... .......... .......... .......... .......... 64% 10.8M 0s
  3400K .......... .......... .......... .......... .......... 65% 41.3M 0s
  3450K .......... .......... .......... .......... .......... 66% 26.8M 0s
  3500K .......... .......... .......... .......... .......... 66% 1.32M 0s
  3550K .......... .......... .......... .......... .......... 67% 21.2M 0s
  3600K .......... .......... .......... .......... .......... 68% 8.81M 0s
  3650K .......... .......... .......... .......... .......... 69%  107M 0s
  3700K .......... .......... .......... .......... .......... 70% 98.1M 0s
  3750K .......... .......... .......... .......... .......... 71% 10.8M 0s
  3800K .......... .......... .......... .......... .......... 72% 1.46M 0s
  3850K .......... .......... .......... .......... .......... 73% 12.0M 0s
  3900K .......... .......... .......... .......... .......... 74% 5.89M 0s
  3950K .......... .......... .......... .......... .......... 75%  198M 0s
  4000K .......... .......... .......... .......... .......... 76%  208M 0s
  4050K .......... .......... .......... .......... .......... 77% 12.2M 0s
  4100K .......... .......... .......... .......... .......... 78%  206M 0s
  4150K .......... .......... .......... .......... .......... 79% 1.38M 0s
  4200K .......... .......... .......... .......... .......... 80% 7.94M 0s
  4250K .......... .......... .......... .......... .......... 81% 15.1M 0s
  4300K .......... .......... .......... .......... .......... 82%  138M 0s
  4350K .......... .......... .......... .......... .......... 83% 10.1M 0s
  4400K .......... .......... .......... .......... .......... 83%  194M 0s
  4450K .......... .......... .......... .......... .......... 84% 1.55M 0s
  4500K .......... .......... .......... .......... .......... 85% 17.9M 0s
  4550K .......... .......... .......... .......... .......... 86% 5.30M 0s
  4600K .......... .......... .......... .......... .......... 87%  171M 0s
  4650K .......... .......... .......... .......... .......... 88% 11.8M 0s
  4700K .......... .......... .......... .......... .......... 89%  144M 0s
  4750K .......... .......... .......... .......... .......... 90% 1.49M 0s
  4800K .......... .......... .......... .......... .......... 91% 30.1M 0s
  4850K .......... .......... .......... .......... .......... 92% 5.47M 0s
  4900K .......... .......... .......... .......... .......... 93%  164M 0s
  4950K .......... .......... .......... .......... .......... 94% 43.7M 0s
  5000K .......... .......... .......... .......... .......... 95% 9.48M 0s
  5050K .......... .......... .......... .......... .......... 96%  121M 0s
  5100K .......... .......... .......... .......... .......... 97% 1.53M 0s
  5150K .......... .......... .......... .......... .......... 98% 4.82M 0s
  5200K .......... .......... .......... .......... .......... 99%  179M 0s
  5250K .......... .......... .......... .......... .......... 99%  123M 0s
  5300K .                                                     100% 1.95T=0.9s

2022-12-12 10:04:51 (5.57 MB/s) - '/tmp/instance-0/output-1/build/.z3-4.11.2.tar.gz.5wfHpA/output' saved [5428273/5428273]

z3-4.11.2.tar.gz: OK (sha256: e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e)
>>> z3 4.11.2 Extracting
gzip -d -c /tmp/instance-0/dl/z3/z3-4.11.2.tar.gz | tar --strip-components=1 -C /tmp/instance-0/output-1/build/z3-4.11.2   -xf -
>>> z3 4.11.2 Patching
>>> z3 4.11.2 Configuring
(mkdir -p /tmp/instance-0/output-1/build/z3-4.11.2//buildroot-build && cd /tmp/instance-0/output-1/build/z3-4.11.2//buildroot-build && rm -f CMakeCache.txt && PATH="/tmp/instance-0/output-1/host/bin:/tmp/instance-0/output-1/host/sbin:/home/autobuild/make:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin"  /tmp/instance-0/output-1/host/bin/cmake /tmp/instance-0/output-1/build/z3-4.11.2/ -G"Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/tmp/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: /tmp/instance-0/output-1/host/bin/or1k-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: /tmp/instance-0/output-1/host/bin/python3 (found suitable version "3.11.1", minimum required is "3") 
-- PYTHON_EXECUTABLE: /tmp/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 -O2 -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: /tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build/src;/tmp/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: /tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build
>>> z3 4.11.2 Building
PATH="/tmp/instance-0/output-1/host/bin:/tmp/instance-0/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 /tmp/instance-0/output-1/build/z3-4.11.2//buildroot-build
make[1]: Entering directory '/tmp/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/approx_set.cpp.o
[  1%] Building CXX object src/util/CMakeFiles/util.dir/bit_util.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
/tmp/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)':
/tmp/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:601:15: error: 'FE_UPWARD' was not declared in this scope
  601 |         SETRM(FE_UPWARD);
      |               ^~~~~~~~~
/tmp/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)
      |                              ^~
/tmp/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:604:15: error: 'FE_DOWNWARD' was not declared in this scope
  604 |         SETRM(FE_DOWNWARD);
      |               ^~~~~~~~~~~
/tmp/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)
      |                              ^~
/tmp/instance-0/output-1/build/z3-4.11.2/src/util/hwf.cpp:607:15: error: 'FE_TOWARDZERO' was not declared in this scope
  607 |         SETRM(FE_TOWARDZERO);
      |               ^~~~~~~~~~~~~
/tmp/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)
      |                              ^~
make[3]: *** [src/util/CMakeFiles/util.dir/build.make:230: src/util/CMakeFiles/util.dir/hwf.cpp.o] Error 1
make[2]: *** [CMakeFiles/Makefile2:1533: src/util/CMakeFiles/util.dir/all] Error 2
make[1]: *** [Makefile:136: all] Error 2
make[1]: Leaving directory '/tmp/instance-0/output-1/build/z3-4.11.2/buildroot-build'
make: *** [package/pkg-generic.mk:293: /tmp/instance-0/output-1/build/z3-4.11.2/.stamp_built] Error 2
make: Leaving directory '/tmp/instance-0/buildroot'