******************************************************************************** conan test conan-center-index/recipes/z3/all/test_package/conanfile.py z3/4.9.1@#5dcd0acb86991590249c44a792f72f12 -pr /home/conan/w/prod/BuildSingleReference/65088/60cd40ed-4622-40db-9052-236639034a5e/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 ******************************************************************************** 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.9.1 (test package): Installing package Requirements gmp/6.2.1 from 'conan-center' - Cache z3/4.9.1 from local cache - Cache Packages gmp/6.2.1:7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a - Cache z3/4.9.1:11e7ac2f4367d082019a41575ce044130dff5eab - Cache Installing (downloading, building) binaries... gmp/6.2.1: Already installed! z3/4.9.1: Already installed! z3/4.9.1 (test package): Generator cmake_find_package_multi created Z3ConfigVersion.cmake z3/4.9.1 (test package): Generator cmake_find_package_multi created Z3Target-release.cmake z3/4.9.1 (test package): Generator cmake_find_package_multi created Z3Targets.cmake z3/4.9.1 (test package): Generator cmake_find_package_multi created Z3Config.cmake z3/4.9.1 (test package): Generator cmake_find_package_multi created gmp-config-version.cmake z3/4.9.1 (test package): Generator cmake_find_package_multi created gmpTarget-release.cmake z3/4.9.1 (test package): Generator cmake_find_package_multi created gmpTargets.cmake z3/4.9.1 (test package): Generator cmake_find_package_multi created gmp-config.cmake z3/4.9.1 (test package): Generator cmake created conanbuildinfo.cmake z3/4.9.1 (test package): Generator txt created conanbuildinfo.txt z3/4.9.1 (test package): Aggregating env generators z3/4.9.1 (test package): Generated conaninfo.txt z3/4.9.1 (test package): Generated graphinfo Using lockfile: '/home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package/build/f1388db21eacaa359cbba6d9526c65bf20566944/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.9.1 (test package): Calling build() ----Running------ > cd '/home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package/build/f1388db21eacaa359cbba6d9526c65bf20566944' && cmake -G "Unix Makefiles" -DCMAKE_BUILD_TYPE="Release" -DCONAN_IN_LOCAL_CACHE="OFF" -DCONAN_COMPILER="gcc" -DCONAN_COMPILER_VERSION="7" -DCONAN_CXX_FLAGS="-m64" -DCONAN_SHARED_LINKER_FLAGS="-m64" -DCONAN_C_FLAGS="-m64" -DCONAN_LIBCXX="libstdc++11" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package/build/f1388db21eacaa359cbba6d9526c65bf20566944/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="/home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package/build/f1388db21eacaa359cbba6d9526c65bf20566944" -DCMAKE_MODULE_PATH="/home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package/build/f1388db21eacaa359cbba6d9526c65bf20566944" -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY="ON" -DCONAN_EXPORTED="1" -Wno-dev '/home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package' ----------------- -- The C compiler identification is GNU 7.2.0 -- The CXX compiler identification is GNU 7.2.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/gcc - 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: /usr/bin/g++ - 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 /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/package/11e7ac2f4367d082019a41575ce044130dff5eab/lib/libz3.a -- Library gmpxx found /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmpxx.a -- Library gmp found /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmp.a -- Conan: Adjusting default RPATHs Conan policies -- Conan: Adjusting language standard -- Conan: Compiler GCC>=5, checking major version 7 -- Conan: Checking correct version: 7 -- Conan: C++ stdlib: libstdc++11 -- Library z3 found /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/package/11e7ac2f4367d082019a41575ce044130dff5eab/lib/libz3.a -- Found: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/package/11e7ac2f4367d082019a41575ce044130dff5eab/lib/libz3.a -- Library z3 found /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/package/11e7ac2f4367d082019a41575ce044130dff5eab/lib/libz3.a -- Found: /home/conan/w/prod/BuildSingleReference/.conan/data/z3/4.9.1/_/_/package/11e7ac2f4367d082019a41575ce044130dff5eab/lib/libz3.a -- Library gmpxx found /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmpxx.a -- Found: /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmpxx.a -- Library gmp found /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmp.a -- Found: /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmp.a -- Library gmp found /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmp.a -- Found: /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmp.a -- Library gmpxx found /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmpxx.a -- Found: /home/conan/w/prod/BuildSingleReference/.conan/data/gmp/6.2.1/_/_/package/7ea0064b3a6b403d4640540ffc7d2b11f0a84b8a/lib/libgmpxx.a -- Configuring done -- Generating done -- Build files have been written to: /home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package/build/f1388db21eacaa359cbba6d9526c65bf20566944 ----Running------ > cmake --build '/home/conan/w/prod/BuildSingleReference/conan-center-index/recipes/z3/all/test_package/build/f1388db21eacaa359cbba6d9526c65bf20566944' '--' '-j3' ----------------- Scanning dependencies of target test_package [ 50%] Building CXX object CMakeFiles/test_package.dir/test_package.cpp.o [100%] Linking CXX executable bin/test_package [100%] Built target test_package z3/4.9.1 (test package): Running test() ----Running------ > bin/test_package ----------------- simple_example DeMorgan DeMorgan is valid 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