******************************************************************************** conan test cci-945907b4/recipes/z3/all/test_package/conanfile.py z3/4.12.2@#1656786b1e9d82e0a0d091fd3b72fb07 -pr /Users/jenkins/w/prod-v1/bsr/80441/badbb/profile_osx_130_libcpp_apple-clang_release_armv8.z3-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True -c tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk ******************************************************************************** Configuration: [settings] arch=armv8 build_type=Release compiler=apple-clang compiler.libcxx=libc++ compiler.version=13.0 os=Macos [options] z3:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk z3/4.12.2 (test package): Installing package Requirements z3/4.12.2 from local cache - Cache Packages z3/4.12.2:2edf7e7cc4e5686cdf3ebe147e7c545157beeb41 - Cache Installing (downloading, building) binaries... z3/4.12.2: Already installed! z3/4.12.2 (test package): Generator 'CMakeDeps' calling 'generate()' z3/4.12.2 (test package): Generator 'VirtualRunEnv' calling 'generate()' z3/4.12.2 (test package): Generator txt created conanbuildinfo.txt z3/4.12.2 (test package): Generator 'CMakeToolchain' calling 'generate()' z3/4.12.2 (test package): Preset 'release' added to CMakePresets.json. Invoke it manually using 'cmake --preset release' z3/4.12.2 (test package): If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE=/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release/generators/conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW -DCMAKE_BUILD_TYPE=Release' z3/4.12.2 (test package): Aggregating env generators z3/4.12.2 (test package): Generated conaninfo.txt z3/4.12.2 (test package): Generated graphinfo Using lockfile: '/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release/generators/conan.lock' Using cached profile from lockfile [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] 'fPIC' option not found [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.12.2 (test package): Calling build() z3/4.12.2 (test package): CMake command: cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release/generators/conan_toolchain.cmake" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Release" "/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/." ----Running------ > cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release/generators/conan_toolchain.cmake" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Release" "/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/." ----------------- -- Using Conan toolchain: /Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release/generators/conan_toolchain.cmake -- The CXX compiler identification is AppleClang 13.0.0.13000029 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: Component target declared 'z3::libz3' -- Configuring done -- Generating done -- Build files have been written to: /Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release z3/4.12.2 (test package): CMake command: cmake --build "/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release" '--' '-j8' ----Running------ > cmake --build "/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release" '--' '-j8' ----------------- [ 50%] Building CXX object CMakeFiles/test_package.dir/test_package.cpp.o [100%] Linking CXX executable test_package [100%] Built target test_package z3/4.12.2 (test package): Running test() ----Running------ > . "/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_package/build/Release/generators/conanrun.sh" && ./test_package ----------------- simple_example z3/4.12.2 (test package): 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.12.2 (test package): 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 ******************************************************************************** conan test cci-945907b4/recipes/z3/all/test_v1_package/conanfile.py z3/4.12.2@#1656786b1e9d82e0a0d091fd3b72fb07 -pr /Users/jenkins/w/prod-v1/bsr/80441/badbb/profile_osx_130_libcpp_apple-clang_release_armv8.z3-shared-False.txt -c tools.system.package_manager:mode=install -c tools.system.package_manager:sudo=True -c tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk ******************************************************************************** Configuration: [settings] arch=armv8 build_type=Release compiler=apple-clang compiler.libcxx=libc++ compiler.version=13.0 os=Macos [options] z3:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk z3/4.12.2 (test package): Installing package Requirements z3/4.12.2 from local cache - Cache Packages z3/4.12.2:2edf7e7cc4e5686cdf3ebe147e7c545157beeb41 - Cache Installing (downloading, building) binaries... z3/4.12.2: Already installed! z3/4.12.2 (test package): Generator txt created conanbuildinfo.txt z3/4.12.2 (test package): Generator cmake_find_package_multi created Z3ConfigVersion.cmake z3/4.12.2 (test package): Generator cmake_find_package_multi created Z3Target-release.cmake z3/4.12.2 (test package): Generator cmake_find_package_multi created Z3Targets.cmake z3/4.12.2 (test package): Generator cmake_find_package_multi created Z3Config.cmake z3/4.12.2 (test package): Generator cmake created conanbuildinfo.cmake z3/4.12.2 (test package): Aggregating env generators z3/4.12.2 (test package): Generated conaninfo.txt z3/4.12.2 (test package): Generated graphinfo Using lockfile: '/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package/build/87f6edd3c16db76d8e55e30221699d7fff23acae/conan.lock' Using cached profile from lockfile [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] 'fPIC' option not found [HOOK - conan-center.py] pre_build(): [FPIC MANAGEMENT (KB-H007)] OK z3/4.12.2 (test package): Calling build() ----Running------ > cd '/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package/build/87f6edd3c16db76d8e55e30221699d7fff23acae' && cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE="Release" -DCMAKE_OSX_ARCHITECTURES="arm64" -DCONAN_IN_LOCAL_CACHE="OFF" -DCONAN_COMPILER="apple-clang" -DCONAN_COMPILER_VERSION="13.0" -DCONAN_LIBCXX="libc++" -DCMAKE_INSTALL_PREFIX="/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package/build/87f6edd3c16db76d8e55e30221699d7fff23acae/package" -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" -DCMAKE_PREFIX_PATH="/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package/build/87f6edd3c16db76d8e55e30221699d7fff23acae" -DCMAKE_MODULE_PATH="/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package/build/87f6edd3c16db76d8e55e30221699d7fff23acae" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -Wno-dev '/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package' ----------------- -- The C compiler identification is AppleClang 13.0.0.13000029 -- The CXX compiler identification is AppleClang 13.0.0.13000029 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/cc - 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: /Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: called by CMake conan helper -- Conan: Adjusting output directories -- Conan: Using cmake targets configuration -- Library z3 found /Users/jenkins/w/prod-v1/bsr/80441/babbf/.conan/data/z3/4.12.2/_/_/package/2edf7e7cc4e5686cdf3ebe147e7c545157beeb41/lib/libz3.a -- Conan: Adjusting default RPATHs Conan policies -- Conan: Adjusting language standard -- Conan: C++ stdlib: libc++ -- Library z3 found /Users/jenkins/w/prod-v1/bsr/80441/babbf/.conan/data/z3/4.12.2/_/_/package/2edf7e7cc4e5686cdf3ebe147e7c545157beeb41/lib/libz3.a -- Found: /Users/jenkins/w/prod-v1/bsr/80441/babbf/.conan/data/z3/4.12.2/_/_/package/2edf7e7cc4e5686cdf3ebe147e7c545157beeb41/lib/libz3.a -- Library z3 found /Users/jenkins/w/prod-v1/bsr/80441/babbf/.conan/data/z3/4.12.2/_/_/package/2edf7e7cc4e5686cdf3ebe147e7c545157beeb41/lib/libz3.a -- Found: /Users/jenkins/w/prod-v1/bsr/80441/babbf/.conan/data/z3/4.12.2/_/_/package/2edf7e7cc4e5686cdf3ebe147e7c545157beeb41/lib/libz3.a -- Configuring done -- Generating done -- Build files have been written to: /Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package/build/87f6edd3c16db76d8e55e30221699d7fff23acae ----Running------ > cmake --build '/Users/jenkins/w/prod-v1/bsr/cci-945907b4/recipes/z3/all/test_v1_package/build/87f6edd3c16db76d8e55e30221699d7fff23acae' '--' '-j8' ----------------- [ 50%] Building CXX object test_package/CMakeFiles/test_package.dir/test_package.cpp.o [100%] Linking CXX executable ../bin/test_package [100%] Built target test_package z3/4.12.2 (test package): Running test() ----Running------ > DYLD_LIBRARY_PATH="/Users/jenkins/w/prod-v1/bsr/80441/babbf/.conan/data/z3/4.12.2/_/_/package/2edf7e7cc4e5686cdf3ebe147e7c545157beeb41/lib" DYLD_FRAMEWORK_PATH="" bin/test_package ----------------- simple_example CMake Warning: Manually-specified variables were not used by the project: CMAKE_EXPORT_NO_PACKAGE_REGISTRY CMAKE_INSTALL_BINDIR CMAKE_INSTALL_DATAROOTDIR CMAKE_INSTALL_INCLUDEDIR CMAKE_INSTALL_LIBDIR CMAKE_INSTALL_LIBEXECDIR CMAKE_INSTALL_OLDINCLUDEDIR CMAKE_INSTALL_SBINDIR z3/4.12.2 (test package): WARN: ************************************************ The 'cmake_find_package_multi' generator is deprecated. Please update your code and remove it. ************************************************* z3/4.12.2 (test package): WARN: ************************************************ The 'cmake' generator is deprecated. Please update your code and remove it. ************************************************* z3/4.12.2 (test package): WARN: **** The 'from conans import CMake' helper is deprecated. Please update your code and remove it. ****