********************************************************************************
conan install z3/4.8.8@ --build=z3 --profile:host=/Users/jenkins/w/BuildSingleReference@2/20034/1634056f-95a9-423b-84df-a0b49f6f2d7e/profile_host.txt --profile:build=default
********************************************************************************
Configuration (profile_host):
[settings]
arch=armv8
build_type=Release
compiler=apple-clang
compiler.libcxx=libc++
compiler.version=12.0
os=Macos
[options]
z3:shared=True
[build_requires]
[env]

Configuration (profile_build):
[settings]
arch=x86_64
arch_build=x86_64
build_type=Release
compiler=apple-clang
compiler.libcxx=libc++
compiler.version=12.0
os=Macos
os_build=Macos
[options]
[build_requires]
[env]

z3/4.8.8: Forced build from source
Installing package: z3/4.8.8
Requirements
    mpir/3.0.0 from 'conan-center' - Cache
    z3/4.8.8 from 'TapaholesList-183' - Cache
Packages
    mpir/3.0.0:8de955df93ca5be0dbb49f3b41ec22c038f9c280 - Missing
    z3/4.8.8:19ac73050ae196491468c2690e415882dedd20a6 - Build

Cross-build from 'Macos:x86_64' to 'Macos:armv8'
Installing (downloading, building) binaries...

1