******************************************************************************** conan install z3/4.8.8@#dec87dcdbbc26fc5a36b5a3cf12f5ca4 --build=z3 -pr /home/conan/w/prod/BuildSingleReference/204088/b5fde0f3-0f73-4e29-8419-e9e1766e9080/profile_linux_7_libstdcpp11_gcc_release_64.z3-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True ******************************************************************************** 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 7 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=7 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++11 compiler.version=7 os=Linux [options] z3:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True z3/4.8.8: z3 will build using gmp multiprecision implementation. gmp/6.2.1: Not found in local cache, looking in remotes... gmp/6.2.1: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz gmp/6.2.1: Downloaded recipe revision c0aec48648a7dff99f293870b95cad36 z3/4.8.8: Forced build from source Installing package: z3/4.8.8 Requirements gmp/6.2.1 from 'conan-center' - Downloaded z3/4.8.8 from local cache - Cache Packages gmp/6.2.1:7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a - Download z3/4.8.8:11e7ac2f4367d082019a41575ce044130dff5eab - Build Installing (downloading, building) binaries... gmp/6.2.1: Retrieving package 7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz gmp/6.2.1: Package installed 7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a gmp/6.2.1: Downloaded package revision fc4510e55b122ba0625f62615bf70cfe [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK z3/4.8.8: Configuring sources in /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/source/src z3/4.8.8: [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.8.8: Copying sources to build folder z3/4.8.8: Building your package in /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/11e7ac2f4367d082019a41575ce044130dff5eab z3/4.8.8: Generator txt created conanbuildinfo.txt z3/4.8.8: Calling generate() z3/4.8.8: Preset 'release' added to CMakePresets.json. Invoke it manually using 'cmake --preset release' z3/4.8.8: If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE=/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/11e7ac2f4367d082019a41575ce044130dff5eab/build/Release/generators/conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW -DCMAKE_BUILD_TYPE=Release' z3/4.8.8: 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.8.8: Calling build() z3/4.8.8: Apply patch (conan): Support building with MPIR z3/4.8.8: z3/4.8.8: WARN: Using the new toolchains and generators without specifying a build profile (e.g: -pr:b=default) is discouraged and might cause failures and unexpected behavior z3/4.8.8: WARN: Using the new toolchains and generators without specifying a build profile (e.g: -pr:b=default) is discouraged and might cause failures and unexpected behavior z3/4.8.8: ERROR: Package '11e7ac2f4367d082019a41575ce044130dff5eab' build failed z3/4.8.8: WARN: Build folder /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/11e7ac2f4367d082019a41575ce044130dff5eab/build/Release ERROR: z3/4.8.8: Error in build() method, line 94 apply_conandata_patches(self) FileNotFoundError: [Errno 2] No such file or directory: '/home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.8.8/_/_/build/11e7ac2f4367d082019a41575ce044130dff5eab/src/source_subfolder'