[HOOK - conan-center.py] pre_export(): [DEPRECATED GLOBAL CPPSTD (KB-H001)] OK
[HOOK - conan-center.py] pre_export(): [REFERENCE LOWERCASE (KB-H002)] OK
[HOOK - conan-center.py] pre_export(): [RECIPE METADATA (KB-H003)] OK
[HOOK - conan-center.py] pre_export(): [HEADER_ONLY, NO COPY SOURCE (KB-H005)] OK
[HOOK - conan-center.py] pre_export(): [FPIC OPTION (KB-H006)] OK
[HOOK - conan-center.py] pre_export(): [VERSION RANGES (KB-H008)] OK
[HOOK - conan-center.py] pre_export(): [RECIPE FOLDER SIZE (KB-H009)] Total recipe size: 7.572265625 KB
[HOOK - conan-center.py] pre_export(): [RECIPE FOLDER SIZE (KB-H009)] OK
[HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] exports: None
[HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] exports: CMakeLists.txt
[HOOK - conan-center.py] pre_export(): [EXPORT LICENSE (KB-H023)] OK
[HOOK - conan-center.py] pre_export(): [TEST PACKAGE FOLDER (KB-H024)] OK
[HOOK - conan-center.py] pre_export(): [META LINES (KB-H025)] OK
[HOOK - conan-center.py] pre_export(): [CONAN CENTER INDEX URL (KB-H027)] OK
[HOOK - conan-center.py] pre_export(): [CMAKE MINIMUM VERSION (KB-H028)] OK
[HOOK - conan-center.py] pre_export(): [TEST PACKAGE - RUN ENVIRONMENT (KB-H029)] OK
[HOOK - conan-center.py] pre_export(): [SYSTEM REQUIREMENTS (KB-H032)] OK
[HOOK - conan-center.py] pre_export(): [CONANDATA.YML FORMAT (KB-H030)] OK
[HOOK - conan-center.py] pre_export(): [TEST PACKAGE - NO IMPORTS() (KB-H034)] OK
[HOOK - conan-center.py] pre_export(): [NO AUTHOR (KB-H037)] OK
[HOOK - conan-center.py] pre_export(): [NO TARGET NAME (KB-H040)] OK
[HOOK - conan-center.py] pre_export(): [NO FINAL ENDLINE (KB-H041)] OK
[HOOK - conan-center.py] pre_export(): [NO REQUIRES.ADD() (KB-H044)] OK
[HOOK - conan-center.py] pre_export(): [DELETE OPTIONS (KB-H045)] OK
[HOOK - conan-center.py] pre_export(): [NO ASCII CHARACTERS (KB-H047)] OK
[HOOK - conan-center.py] pre_export(): [CMAKE VERBOSE MAKEFILE (KB-H046)] OK
[HOOK - conan-center.py] pre_export(): [CMAKE VERSION REQUIRED (KB-H048)] OK
Exporting package recipe
z3/4.8.8 exports: File 'conandata.yml' found. Exporting it...
z3/4.8.8 exports: Copied 1 '.yml' file: conandata.yml
z3/4.8.8 exports_sources: Copied 1 '.txt' file: CMakeLists.txt
[HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] Saving conandata.yml: {'sources': {'4.8.8': {'url': 'https://github.com/Z3Prover/z3/archive/z3-4.8.8.tar.gz', 'sha256': '6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff'}}}
[HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] New conandata.yml contents: sources:
  4.8.8:
    sha256: 6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff
    url: https://github.com/Z3Prover/z3/archive/z3-4.8.8.tar.gz

[HOOK - conan-center.py] post_export(): [CONANDATA.YML REDUCE (KB-H031)] OK
z3/4.8.8: The stored package has not changed
z3/4.8.8: Using the exported files summary hash as the recipe revision: ef36ec7bb0ead29303de2c45f5f95966 
z3/4.8.8: Exported revision: ef36ec7bb0ead29303de2c45f5f95966
Configuration:
[settings]
arch=x86_64
arch_build=x86_64
build_type=Debug
compiler=Visual Studio
compiler.runtime=MTd
compiler.version=14
os=Windows
os_build=Windows
[options]
z3:shared=False
[build_requires]
[env]

z3/4.8.8: Forced build from source
z3/4.8.8 (test package): Installing package
Requirements
    mpir/3.0.0 from 'central' - Cache
    z3/4.8.8 from local cache - Cache
Packages
    mpir/3.0.0:c3aadd2473ce0035053a7d2ea29df40793b9f241 - Cache
    z3/4.8.8:d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70 - Build

Installing (downloading, building) binaries...
mpir/3.0.0: Already installed!
[HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK
z3/4.8.8: Copying sources to build folder
z3/4.8.8: Building your package in C:\J\workspace\cci_PR-1451\5\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70
z3/4.8.8: Generator cmake created conanbuildinfo.cmake
[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.8.8: Calling build()

----Running------
> cd C:\J\workspace\cci_PR-1451\5\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70\build_subfolder && cmake -G "Visual Studio 14 2015 Win64" -DCONAN_LINK_RUNTIME="/MTd" -DCONAN_IN_LOCAL_CACHE="ON" -DCONAN_COMPILER="Visual Studio" -DCONAN_COMPILER_VERSION="14" -DCONAN_CXX_FLAGS="/MP1" -DCONAN_C_FLAGS="/MP1" -DBUILD_SHARED_LIBS="OFF" -DCMAKE_INSTALL_PREFIX="C:\J\workspace\cci_PR-1451\5\0_2\.conan\data\z3\4.8.8\_\_\package\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70" -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_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -DZ3_USE_LIB_GMP="True" -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 C:\J\workspace\cci_PR-1451\5\0_2\.conan\data\z3\4.8.8\_\_\build\d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70
-----------------
-- Selecting Windows SDK version 10.0.14393.0 to target Windows 10.0.17763.
-- The C compiler identification is MSVC 19.0.24215.1
-- The CXX compiler identification is MSVC 19.0.24215.1
-- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe
-- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe
-- Check for working CXX compiler: C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/bin/x86_amd64/cl.exe -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- 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 global configuration
-- Conan: Adjusting default RPATHs Conan policies
-- Conan: Adjusting language standard
-- Z3 version 4.8.8.0
-- Failed to find git directory.
CMake Warning at source_subfolder/CMakeLists.txt:60 (message):
  Disabling Z3_INCLUDE_GIT_DESCRIBE
Call Stack (most recent call first):
  source_subfolder/CMakeLists.txt:109 (disable_git_describe)


CMake Warning at source_subfolder/CMakeLists.txt:64 (message):
  Disabling Z3_INCLUDE_GIT_HASH
Call Stack (most recent call first):
  source_subfolder/CMakeLists.txt:110 (disable_git_hash)


-- CMake generator: Visual Studio 14 2015 Win64
-- Available configurations: Debug;Release;MinSizeRel;RelWithDebInfo
-- Found PythonInterp: C:/Python36/python.exe (found version "3.6.7") 
-- PYTHON_EXECUTABLE: C:/Python36/python.exe
-- Detected target architecture: x86_64
-- Platform: Windows
-- Could not find GMP C library
-- Could not find GMP C++ library
-- Found GMP C include path: "C:/J/workspace/cci_PR-1451/5/0_2/.conan/data/mpir/3.0.0/_/_/package/c3aadd2473ce0035053a7d2ea29df40793b9f241/include"
-- Found GMP C++ include path: "C:/J/workspace/cci_PR-1451/5/0_2/.conan/data/mpir/3.0.0/_/_/package/c3aadd2473ce0035053a7d2ea29df40793b9f241/include"
-- Could not find GMP
CMake Error at C:/Program Files/CMake/share/cmake-3.16/Modules/FindPackageHandleStandardArgs.cmake:146 (message):
  Could NOT find GMP (missing: GMP_INCLUDE_DIRS GMP_C_LIBRARIES
  GMP_CXX_LIBRARIES)
Call Stack (most recent call first):
  C:/Program Files/CMake/share/cmake-3.16/Modules/FindPackageHandleStandardArgs.cmake:393 (_FPHSA_FAILURE_MESSAGE)
  source_subfolder/cmake/modules/FindGMP.cmake:64 (find_package_handle_standard_args)
  source_subfolder/CMakeLists.txt:249 (find_package)


-- Configuring incomplete, errors occurred!
See also "C:/J/workspace/cci_PR-1451/5/0_2/.conan/data/z3/4.8.8/_/_/build/d12ae2f1d7d20a7cf8c20e49e0bdcf049bf8aa70/build_subfolder/CMakeFiles/CMakeOutput.log".
z3/4.8.8: 

JSON file created at 'C:\J\workspace\cci_PR-1451/5/co_0_2/_create.json'