>>> z3 4.11.2 Downloading wget --passive-ftp -nd -t 3 -O '/home/buildroot/autobuild/instance-2/output-1/build/.z3-4.11.2.tar.gz.oj2ucy/output' 'https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-4.11.2.tar.gz' --2022-12-10 09:04:04-- https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-4.11.2.tar.gz Resolving github.com (github.com)... 140.82.114.4 Connecting to github.com (github.com)|140.82.114.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-10 09:04:04-- 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: unspecified [application/x-gzip] Saving to: '/home/buildroot/autobuild/instance-2/output-1/build/.z3-4.11.2.tar.gz.oj2ucy/output' 0K .......... .......... .......... .......... .......... 381K 50K .......... .......... .......... .......... .......... 763K 100K .......... .......... .......... .......... .......... 73.3M 150K .......... .......... .......... .......... .......... 79.1M 200K .......... .......... .......... .......... .......... 769K 250K .......... .......... .......... .......... .......... 79.9M 300K .......... .......... .......... .......... .......... 776K 350K .......... .......... .......... .......... .......... 104M 400K .......... .......... .......... .......... .......... 142M 450K .......... .......... .......... .......... .......... 169M 500K .......... .......... .......... .......... .......... 168M 550K .......... .......... .......... .......... .......... 154M 600K .......... .......... .......... .......... .......... 782K 650K .......... .......... .......... .......... .......... 157M 700K .......... .......... .......... .......... .......... 143M 750K .......... .......... .......... .......... .......... 141M 800K .......... .......... .......... .......... .......... 170M 850K .......... .......... .......... .......... .......... 191M 900K .......... .......... .......... .......... .......... 182M 950K .......... .......... .......... .......... .......... 786K 1000K .......... .......... .......... .......... .......... 75.0M 1050K .......... .......... .......... .......... .......... 143M 1100K .......... .......... .......... .......... .......... 149M 1150K .......... .......... .......... .......... .......... 154M 1200K .......... .......... .......... .......... .......... 186M 1250K .......... .......... .......... .......... .......... 181M 1300K .......... .......... .......... .......... .......... 191M 1350K .......... .......... .......... .......... .......... 166M 1400K .......... .......... .......... .......... .......... 183M 1450K .......... .......... .......... .......... .......... 185M 1500K .......... .......... .......... .......... .......... 188M 1550K .......... .......... .......... .......... .......... 794K 1600K .......... .......... .......... .......... .......... 169M 1650K .......... .......... .......... .......... .......... 178M 1700K .......... .......... .......... .......... .......... 158M 1750K .......... .......... .......... .......... .......... 180M 1800K .......... .......... .......... .......... .......... 176M 1850K .......... .......... .......... .......... .......... 178M 1900K .......... .......... .......... .......... .......... 149M 1950K .......... .......... .......... .......... .......... 175M 2000K .......... .......... .......... .......... .......... 184M 2050K .......... .......... .......... .......... .......... 144M 2100K .......... .......... .......... .......... .......... 164M 2150K .......... .......... .......... .......... .......... 183M 2200K .......... .......... .......... .......... .......... 101M 2250K .......... .......... .......... .......... .......... 84.8M 2300K .......... .......... .......... .......... .......... 81.1M 2350K .......... .......... .......... .......... .......... 84.7M 2400K .......... .......... .......... .......... .......... 85.9M 2450K .......... .......... .......... .......... .......... 856K 2500K .......... .......... .......... .......... .......... 43.4M 2550K .......... .......... .......... .......... .......... 91.6M 2600K .......... .......... .......... .......... .......... 71.0M 2650K .......... .......... .......... .......... .......... 83.5M 2700K .......... .......... .......... .......... .......... 79.9M 2750K .......... .......... .......... .......... .......... 86.5M 2800K .......... .......... .......... .......... .......... 80.5M 2850K .......... .......... .......... .......... .......... 82.3M 2900K .......... .......... .......... .......... .......... 82.0M 2950K .......... .......... .......... .......... .......... 74.6M 3000K .......... .......... .......... .......... .......... 79.8M 3050K .......... .......... .......... .......... .......... 83.9M 3100K .......... .......... .......... .......... .......... 81.8M 3150K .......... .......... .......... .......... .......... 47.3M 3200K .......... .......... .......... .......... .......... 78.6M 3250K .......... .......... .......... .......... .......... 78.2M 3300K .......... .......... .......... .......... .......... 82.2M 3350K .......... .......... .......... .......... .......... 81.7M 3400K .......... .......... .......... .......... .......... 78.6M 3450K .......... .......... .......... .......... .......... 81.0M 3500K .......... .......... .......... .......... .......... 78.9M 3550K .......... .......... .......... .......... .......... 71.5M 3600K .......... .......... .......... .......... .......... 71.0M 3650K .......... .......... .......... .......... .......... 10.4M 3700K .......... .......... .......... .......... .......... 57.1M 3750K .......... .......... .......... .......... .......... 4.39M 3800K .......... .......... .......... .......... .......... 4.85M 3850K .......... .......... .......... .......... .......... 4.69M 3900K .......... .......... .......... .......... .......... 5.06M 3950K .......... .......... .......... .......... .......... 66.6M 4000K .......... .......... .......... .......... .......... 2.29M 4050K .......... .......... .......... .......... .......... 28.8M 4100K .......... .......... .......... .......... .......... 2.36M 4150K .......... .......... .......... .......... .......... 60.8M 4200K .......... .......... .......... .......... .......... 5.66M 4250K .......... .......... .......... .......... .......... 4.45M 4300K .......... .......... .......... .......... .......... 67.8M 4350K .......... .......... .......... .......... .......... 4.54M 4400K .......... .......... .......... .......... .......... 4.04M 4450K .......... .......... .......... .......... .......... 4.49M 4500K .......... .......... .......... .......... .......... 4.33M 4550K .......... .......... .......... .......... .......... 4.66M 4600K .......... .......... .......... .......... .......... 55.9M 4650K .......... .......... .......... .......... .......... 4.68M 4700K .......... .......... .......... .......... .......... 4.68M 4750K .......... .......... .......... .......... .......... 4.57M 4800K .......... .......... .......... .......... .......... 4.80M 4850K .......... .......... .......... .......... .......... 5.45M 4900K .......... .......... .......... .......... .......... 5.14M 4950K .......... .......... .......... .......... .......... 67.9M 5000K .......... .......... .......... .......... .......... 4.99M 5050K .......... .......... .......... .......... .......... 5.36M 5100K .......... .......... .......... .......... .......... 4.67M 5150K .......... .......... .......... .......... .......... 4.34M 5200K .......... .......... .......... .......... .......... 4.85M 5250K .......... .......... .......... .......... .......... 5.49M 5300K . 33.4M=0.9s 2022-12-10 09:04:06 (5.79 MB/s) - '/home/buildroot/autobuild/instance-2/output-1/build/.z3-4.11.2.tar.gz.oj2ucy/output' saved [5428273] z3-4.11.2.tar.gz: OK (sha256: e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e) >>> z3 4.11.2 Extracting gzip -d -c /home/buildroot/autobuild/instance-2/dl/z3/z3-4.11.2.tar.gz | tar --strip-components=1 -C /home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2 -xf - >>> z3 4.11.2 Patching >>> z3 4.11.2 Configuring (mkdir -p /home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2//buildroot-build && cd /home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2//buildroot-build && rm -f CMakeCache.txt && PATH="/home/buildroot/autobuild/instance-2/output-1/host/bin:/home/buildroot/autobuild/instance-2/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" /home/buildroot/autobuild/instance-2/output-1/host/bin/cmake /home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/ -G"Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/buildroot/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 ) -- 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-2/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: /home/buildroot/autobuild/instance-2/output-1/host/bin/python3 (found suitable version "3.11", minimum required is "3") -- PYTHON_EXECUTABLE: /home/buildroot/autobuild/instance-2/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 -Os -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: $<$:Z3DEBUG>;$<$:_EXTERNAL_RELEASE>;$<$:_EXTERNAL_RELEASE>;-D_MP_INTERNAL;$<$:_TRACE> -- Z3_COMPONENT_CXX_FLAGS: -Wall -- Z3_DEPENDENT_LIBS: Threads::Threads;atomic -- Z3_COMPONENT_EXTRA_INCLUDE_DIRS: /home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/buildroot-build/src;/home/buildroot/autobuild/instance-2/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-2/output-1/build/z3-4.11.2/buildroot-build >>> z3 4.11.2 Building PATH="/home/buildroot/autobuild/instance-2/output-1/host/bin:/home/buildroot/autobuild/instance-2/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-2/output-1/build/z3-4.11.2//buildroot-build make[1]: Entering directory '/home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[2]: Entering directory '/home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Leaving directory '/home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/instance-2/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_vector.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/bit_util.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/gparams.cpp.o [ 1%] Building CXX object src/util/CMakeFiles/util.dir/fixed_bit_vector.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 /home/buildroot/autobuild/instance-2/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-2/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); | ^~~~~~~~~ /home/buildroot/autobuild/instance-2/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-2/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); | ^~~~~~~~~~~ /home/buildroot/autobuild/instance-2/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-2/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); | ^~~~~~~~~~~~~ /home/buildroot/autobuild/instance-2/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) | ^~ [ 2%] Building CXX object src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o 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-2/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-2/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-2/output-1/build/z3-4.11.2/buildroot-build' package/pkg-generic.mk:290: recipe for target '/home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/.stamp_built' failed make: *** [/home/buildroot/autobuild/instance-2/output-1/build/z3-4.11.2/.stamp_built] Error 2 make: Leaving directory '/home/buildroot/autobuild/instance-2/buildroot'