>>> z3 4.11.2 Downloading wget --passive-ftp -nd -t 3 -O '/home/buildroot/autobuild/instance-1/output-1/build/.z3-4.11.2.tar.gz.vG5fpa/output' 'https://github.com/Z3Prover/z3/archive/z3-4.11.2/z3-4.11.2.tar.gz' --2022-12-18 18:43:15-- 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-18 18:43:15-- 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-1/output-1/build/.z3-4.11.2.tar.gz.vG5fpa/output' 0K .......... .......... .......... .......... .......... 382K 50K .......... .......... .......... .......... .......... 763K 100K .......... .......... .......... .......... .......... 72.3M 150K .......... .......... .......... .......... .......... 772K 200K .......... .......... .......... .......... .......... 68.0M 250K .......... .......... .......... .......... .......... 81.4M 300K .......... .......... .......... .......... .......... 778K 350K .......... .......... .......... .......... .......... 128M 400K .......... .......... .......... .......... .......... 155M 450K .......... .......... .......... .......... .......... 173M 500K .......... .......... .......... .......... .......... 772K 550K .......... .......... .......... .......... .......... 139M 600K .......... .......... .......... .......... .......... 174M 650K .......... .......... .......... .......... .......... 172M 700K .......... .......... .......... .......... .......... 180M 750K .......... .......... .......... .......... .......... 147M 800K .......... .......... .......... .......... .......... 173M 850K .......... .......... .......... .......... .......... 183M 900K .......... .......... .......... .......... .......... 787K 950K .......... .......... .......... .......... .......... 110M 1000K .......... .......... .......... .......... .......... 175M 1050K .......... .......... .......... .......... .......... 183M 1100K .......... .......... .......... .......... .......... 141M 1150K .......... .......... .......... .......... .......... 147M 1200K .......... .......... .......... .......... .......... 173M 1250K .......... .......... .......... .......... .......... 175M 1300K .......... .......... .......... .......... .......... 782K 1350K .......... .......... .......... .......... .......... 146M 1400K .......... .......... .......... .......... .......... 177M 1450K .......... .......... .......... .......... .......... 172M 1500K .......... .......... .......... .......... .......... 189M 1550K .......... .......... .......... .......... .......... 151M 1600K .......... .......... .......... .......... .......... 175M 1650K .......... .......... .......... .......... .......... 179M 1700K .......... .......... .......... .......... .......... 159M 1750K .......... .......... .......... .......... .......... 184M 1800K .......... .......... .......... .......... .......... 177M 1850K .......... .......... .......... .......... .......... 149M 1900K .......... .......... .......... .......... .......... 149M 1950K .......... .......... .......... .......... .......... 174M 2000K .......... .......... .......... .......... .......... 189M 2050K .......... .......... .......... .......... .......... 166M 2100K .......... .......... .......... .......... .......... 809K 2150K .......... .......... .......... .......... .......... 166M 2200K .......... .......... .......... .......... .......... 75.1M 2250K .......... .......... .......... .......... .......... 79.0M 2300K .......... .......... .......... .......... .......... 79.3M 2350K .......... .......... .......... .......... .......... 77.9M 2400K .......... .......... .......... .......... .......... 74.4M 2450K .......... .......... .......... .......... .......... 84.0M 2500K .......... .......... .......... .......... .......... 91.0M 2550K .......... .......... .......... .......... .......... 72.4M 2600K .......... .......... .......... .......... .......... 78.7M 2650K .......... .......... .......... .......... .......... 81.4M 2700K .......... .......... .......... .......... .......... 64.6M 2750K .......... .......... .......... .......... .......... 78.4M 2800K .......... .......... .......... .......... .......... 78.1M 2850K .......... .......... .......... .......... .......... 75.1M 2900K .......... .......... .......... .......... .......... 81.1M 2950K .......... .......... .......... .......... .......... 67.6M 3000K .......... .......... .......... .......... .......... 76.9M 3050K .......... .......... .......... .......... .......... 80.9M 3100K .......... .......... .......... .......... .......... 81.2M 3150K .......... .......... .......... .......... .......... 78.0M 3200K .......... .......... .......... .......... .......... 81.1M 3250K .......... .......... .......... .......... .......... 83.9M 3300K .......... .......... .......... .......... .......... 78.1M 3350K .......... .......... .......... .......... .......... 81.3M 3400K .......... .......... .......... .......... .......... 994K 3450K .......... .......... .......... .......... .......... 49.7M 3500K .......... .......... .......... .......... .......... 51.4M 3550K .......... .......... .......... .......... .......... 54.7M 3600K .......... .......... .......... .......... .......... 47.9M 3650K .......... .......... .......... .......... .......... 39.6M 3700K .......... .......... .......... .......... .......... 50.7M 3750K .......... .......... .......... .......... .......... 53.9M 3800K .......... .......... .......... .......... .......... 48.7M 3850K .......... .......... .......... .......... .......... 51.3M 3900K .......... .......... .......... .......... .......... 47.1M 3950K .......... .......... .......... .......... .......... 49.6M 4000K .......... .......... .......... .......... .......... 10.8M 4050K .......... .......... .......... .......... .......... 47.1M 4100K .......... .......... .......... .......... .......... 4.81M 4150K .......... .......... .......... .......... .......... 4.78M 4200K .......... .......... .......... .......... .......... 4.62M 4250K .......... .......... .......... .......... .......... 4.43M 4300K .......... .......... .......... .......... .......... 71.6M 4350K .......... .......... .......... .......... .......... 4.61M 4400K .......... .......... .......... .......... .......... 4.07M 4450K .......... .......... .......... .......... .......... 4.32M 4500K .......... .......... .......... .......... .......... 4.54M 4550K .......... .......... .......... .......... .......... 4.40M 4600K .......... .......... .......... .......... .......... 70.3M 4650K .......... .......... .......... .......... .......... 4.81M 4700K .......... .......... .......... .......... .......... 4.73M 4750K .......... .......... .......... .......... .......... 4.47M 4800K .......... .......... .......... .......... .......... 4.31M 4850K .......... .......... .......... .......... .......... 6.74M 4900K .......... .......... .......... .......... .......... 5.18M 4950K .......... .......... .......... .......... .......... 57.6M 5000K .......... .......... .......... .......... .......... 5.26M 5050K .......... .......... .......... .......... .......... 5.01M 5100K .......... .......... .......... .......... .......... 4.73M 5150K .......... .......... .......... .......... .......... 4.35M 5200K .......... .......... .......... .......... .......... 4.73M 5250K .......... .......... .......... .......... .......... 6.13M 5300K . 28.4M=0.9s 2022-12-18 18:43:16 (5.81 MB/s) - '/home/buildroot/autobuild/instance-1/output-1/build/.z3-4.11.2.tar.gz.vG5fpa/output' saved [5428273] z3-4.11.2.tar.gz: OK (sha256: e3a82431b95412408a9c994466fad7252135c8ed3f719c986cd75c8c5f234c7e) >>> z3 4.11.2 Extracting gzip -d -c /home/buildroot/autobuild/instance-1/dl/z3/z3-4.11.2.tar.gz | tar --strip-components=1 -C /home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2 -xf - >>> z3 4.11.2 Patching >>> z3 4.11.2 Configuring (mkdir -p /home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2//buildroot-build && cd /home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2//buildroot-build && rm -f CMakeCache.txt && PATH="/home/buildroot/autobuild/instance-1/output-1/host/bin:/home/buildroot/autobuild/instance-1/output-1/host/sbin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" /home/buildroot/autobuild/instance-1/output-1/host/bin/cmake /home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/ -G"Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/buildroot/autobuild/instance-1/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=OFF -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-1/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-1/output-1/host/bin/python3 (found suitable version "3.11.1", minimum required is "3") -- PYTHON_EXECUTABLE: /home/buildroot/autobuild/instance-1/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 -Og -g0 -static -static -Werror=odr " -- CMAKE_EXE_LINKER_FLAGS: "-static" -- CMAKE_STATIC_LINKER_FLAGS: "" -- CMAKE_SHARED_LINKER_FLAGS: "-static" -- 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-1/output-1/build/z3-4.11.2/buildroot-build/src;/home/buildroot/autobuild/instance-1/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-1/output-1/build/z3-4.11.2/buildroot-build >>> z3 4.11.2 Building PATH="/home/buildroot/autobuild/instance-1/output-1/host/bin:/home/buildroot/autobuild/instance-1/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-1/output-1/build/z3-4.11.2//buildroot-build make[1]: Entering directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build' make[2]: Entering directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build' make[3]: Leaving directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build' make[3]: Entering directory '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/buildroot-build' [ 1%] Building CXX object src/util/CMakeFiles/util.dir/approx_set.cpp.o [ 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/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-1/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-1/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-1/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-1/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-1/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-1/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-1/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-1/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-1/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-1/output-1/build/z3-4.11.2/buildroot-build' package/pkg-generic.mk:290: recipe for target '/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/.stamp_built' failed make: *** [/home/buildroot/autobuild/instance-1/output-1/build/z3-4.11.2/.stamp_built] Error 2 make: Leaving directory '/home/buildroot/autobuild/instance-1/buildroot'