******************************************************************************** conan install z3/4.9.1@#0e341f306fa36289c7e7b0ff9f8433bf --build=z3 -pr /home/conan/w/prod/BuildSingleReference/60041/4b96eed3-2272-4823-97b8-d649de32ed05/profile_linux_5_libstdcpp_gcc_release_64.z3-shared-False.txt ******************************************************************************** Auto detecting your dev setup to initialize the default profile (/home/conan/w/prod/BuildSingleReference/.conan/profiles/default) CC and CXX: /usr/bin/gcc, /usr/bin/g++ Found gcc 5.4 gcc>=5, using the major as version ************************* WARNING: GCC OLD ABI COMPATIBILITY *********************** Conan detected a GCC version > 5 but has adjusted the 'compiler.libcxx' setting to 'libstdc++' for backwards compatibility. Your compiler is likely using the new CXX11 ABI by default (libstdc++11). If you want Conan to use the new ABI for the default profile, run: $ conan profile update settings.compiler.libcxx=libstdc++11 default Or edit '/home/conan/w/prod/BuildSingleReference/.conan/profiles/default' and set compiler.libcxx=libstdc++11 ************************************************************************************ Default settings os=Linux os_build=Linux arch=x86_64 arch_build=x86_64 compiler=gcc compiler.version=5 compiler.libcxx=libstdc++ build_type=Release *** You can change them in /home/conan/w/prod/BuildSingleReference/.conan/profiles/default *** *** Or override with -s compiler='other' -s ...s*** Configuration: [settings] arch=x86_64 build_type=Release compiler=gcc compiler.libcxx=libstdc++ compiler.version=5 os=Linux [options] z3:shared=False [build_requires] [env] z3/4.9.1: Forced build from source Installing package: z3/4.9.1 Requirements z3/4.9.1 from local cache - Cache Packages z3/4.9.1:b3e0ab1e53399163c1a16f2e12858e263b2e9e55 - Build Installing (downloading, building) binaries... [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK z3/4.9.1: Configuring sources in /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/source {'patches': {'4.9.1': [{'base_path': 'source_subfolder', 'patch_file': 'patches/0001-cmake-use-conan-mpir-4.9.1.patch'}, {'base_path': 'source_subfolder', 'patch_file': 'patches/0002-python-is-optional-4.9.1.patch'}]}, 'sources': {'4.9.1': {'sha256': 'ca08ba933481242507b2f8b303c3ebdf5d16b0005d397fb45018321dc639a0d7', 'url': 'https://github.com/Z3Prover/z3/archive/z3-4.9.1.tar.gz'}}} [HOOK - conan-center.py] post_source(): [LIBCXX MANAGEMENT (KB-H011)] OK [HOOK - conan-center.py] post_source(): [CPPSTD MANAGEMENT (KB-H022)] OK [HOOK - conan-center.py] post_source(): [SHORT_PATHS USAGE (KB-H066)] OK z3/4.9.1: Copying sources to build folder z3/4.9.1: Building your package in /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55 z3/4.9.1: Generator cmake created conanbuildinfo.cmake z3/4.9.1: Aggregating env generators [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK. 'fPIC' option found and apparently well managed [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.9.1: Calling build() ----Running------ > cd '/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55/build_subfolder' && cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE="Release" -DCONAN_IN_LOCAL_CACHE="ON" -DCONAN_COMPILER="gcc" -DCONAN_COMPILER_VERSION="5" -DCONAN_CXX_FLAGS="-m64" -DCONAN_SHARED_LINKER_FLAGS="-m64" -DCONAN_C_FLAGS="-m64" -DCONAN_LIBCXX="libstdc++" -DBUILD_SHARED_LIBS="OFF" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/package/b3e0ab1e53399163c1a16f2e12858e263b2e9e55" -DCMAKE_INSTALL_BINDIR="bin" -DCMAKE_INSTALL_SBINDIR="bin" -DCMAKE_INSTALL_LIBEXECDIR="bin" -DCMAKE_INSTALL_LIBDIR="lib" -DCMAKE_INSTALL_INCLUDEDIR="include" -DCMAKE_INSTALL_OLDINCLUDEDIR="include" -DCMAKE_INSTALL_DATAROOTDIR="share" -DCONAN_CMAKE_POSITION_INDEPENDENT_CODE="ON" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -DZ3_USE_LIB_GMP="False" -DZ3_USE_LIB_MPIR="False" -DSINGLE_THREADED="False" -DZ3_BUILD_LIBZ3_SHARED="False" -DZ3_INCLUDE_GIT_HASH="False" -DZ3_INCLUDE_GIT_DESCRIBE="False" -DZ3_ENABLE_EXAMPLE_TARGETS="False" -DZ3_BUILD_DOCUMENTATION="False" -Wno-dev '/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55' ----------------- -- The C compiler identification is GNU 5.4.0 -- The CXX compiler identification is GNU 5.4.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/g++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: called by CMake conan helper -- Conan: called inside local cache -- Conan: Adjusting output directories -- Conan: Using cmake targets configuration -- Conan: Adjusting language standard -- Conan: Adjusting fPIC flag (ON) -- Conan: Compiler GCC>=5, checking major version 5 -- Conan: Checking correct version: 5 -- Conan: C++ stdlib: libstdc++ -- Z3 version 4.9.1.0 -- Failed to find git directory. -- CMake generator: Unix Makefiles -- Build type: Release -- Found PythonInterp: /opt/pyenv/versions/3.7.13/bin/python3 (found suitable version "3.7.13", minimum required is "3") -- PYTHON_EXECUTABLE: /opt/pyenv/versions/3.7.13/bin/python3 -- Detected target architecture: x86_64 -- Platform: Linux -- Not using libgmp -- Not using Z3_API_LOG_SYNC -- Thread-safe build -- Performing Test HAS_SSE2 -- Performing Test HAS_SSE2 - Success -- Looking for pthread.h -- Looking for pthread.h - found -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Check if compiler accepts -pthread -- Check if compiler accepts -pthread - yes -- 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 -- Performing Test HAS__fvisibility_hidden -- Performing Test HAS__fvisibility_hidden - Success -- C++ compiler supports -fvisibility=hidden -- Performing Test HAS__fvisibility_inlines_hidden -- Performing Test HAS__fvisibility_inlines_hidden - Success -- C++ compiler supports -fvisibility-inlines-hidden -- Performing Test HAS__fPIC -- Performing Test HAS__fPIC - Success -- C++ compiler supports -fPIC -- LTO disabled -- Performing Test BUILTIN_ATOMIC -- Performing Test BUILTIN_ATOMIC - Failed -- Performing Test ATOMICS_REQUIRE_LIBATOMIC -- Performing Test ATOMICS_REQUIRE_LIBATOMIC - Failed -- Configuring incomplete, errors occurred! See also "/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55/build_subfolder/CMakeFiles/CMakeOutput.log". See also "/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55/build_subfolder/CMakeFiles/CMakeError.log". z3/4.9.1: CMake Warning at source_subfolder/CMakeLists.txt:51 (message): Disabling Z3_INCLUDE_GIT_DESCRIBE Call Stack (most recent call first): source_subfolder/CMakeLists.txt:100 (disable_git_describe) CMake Warning at source_subfolder/CMakeLists.txt:55 (message): Disabling Z3_INCLUDE_GIT_HASH Call Stack (most recent call first): source_subfolder/CMakeLists.txt:101 (disable_git_hash) CMake Error at source_subfolder/cmake/check_link_atomic.cmake:21 (message): Host compiler must support std::atomic! Call Stack (most recent call first): source_subfolder/CMakeLists.txt:445 (include) z3/4.9.1: ERROR: Package 'b3e0ab1e53399163c1a16f2e12858e263b2e9e55' build failed z3/4.9.1: WARN: Build folder /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55 ERROR: z3/4.9.1: Error in build() method, line 95 cmake = self._configure_cmake() while calling '_configure_cmake', line 82 self._cmake.configure(build_folder=self._build_subfolder) ConanException: Error 1 while executing cd '/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55/build_subfolder' && cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE="Release" -DCONAN_IN_LOCAL_CACHE="ON" -DCONAN_COMPILER="gcc" -DCONAN_COMPILER_VERSION="5" -DCONAN_CXX_FLAGS="-m64" -DCONAN_SHARED_LINKER_FLAGS="-m64" -DCONAN_C_FLAGS="-m64" -DCONAN_LIBCXX="libstdc++" -DBUILD_SHARED_LIBS="OFF" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/package/b3e0ab1e53399163c1a16f2e12858e263b2e9e55" -DCMAKE_INSTALL_BINDIR="bin" -DCMAKE_INSTALL_SBINDIR="bin" -DCMAKE_INSTALL_LIBEXECDIR="bin" -DCMAKE_INSTALL_LIBDIR="lib" -DCMAKE_INSTALL_INCLUDEDIR="include" -DCMAKE_INSTALL_OLDINCLUDEDIR="include" -DCMAKE_INSTALL_DATAROOTDIR="share" -DCONAN_CMAKE_POSITION_INDEPENDENT_CODE="ON" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -DZ3_USE_LIB_GMP="False" -DZ3_USE_LIB_MPIR="False" -DSINGLE_THREADED="False" -DZ3_BUILD_LIBZ3_SHARED="False" -DZ3_INCLUDE_GIT_HASH="False" -DZ3_INCLUDE_GIT_DESCRIBE="False" -DZ3_ENABLE_EXAMPLE_TARGETS="False" -DZ3_BUILD_DOCUMENTATION="False" -Wno-dev '/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/build/b3e0ab1e53399163c1a16f2e12858e263b2e9e55'