********************************************************************************
conan install z3/4.8.8@#128850eee8400109e15e1bf45afa4518 --build=z3 -pr /home/conan/w/prod/BuildSingleReference/65072/f31292a5-c163-495e-b004-4705cab0b46f/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

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 2011237c81178d014a4c08ae40cfe0cb
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 7d27c7fc8257be07b5d9587957822d69
[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

[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 cmake created conanbuildinfo.cmake
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: 
WARN: patches/0001-cmake-use-conan-mpir-4.8.8.patch: extra lines for hunk no.1 at 23 for target b'CMakeLists.txt'
WARN: patches/0001-cmake-use-conan-mpir-4.8.8.patch: warning: finished with errors, some hunks may be invalid
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
ERROR: z3/4.8.8: Error in build() method, line 109
	tools.patch(**patch)
	ConanException: Failed to parse patch: patches/0001-cmake-use-conan-mpir-4.8.8.patch