******************************************************************************** conan install minisat/2.2.0@#0087a91ccb8f7c11e0ab4ad1321ad1fe --build=minisat -pr C:\J\w\prod\BuildSingleReference@5\181683\59c1fd75-466c-4535-9a46-de62786d62e7/profile_windows_16_mdd_vs_debug_64.minisat-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 (C:\J\w\prod\BuildSingleReference@5\.conan\profiles\default) Found Visual Studio 17 Default settings os=Windows os_build=Windows arch=x86_64 arch_build=x86_64 compiler=Visual Studio compiler.version=17 build_type=Release *** You can change them in C:\J\w\prod\BuildSingleReference@5\.conan\profiles\default *** *** Or override with -s compiler='other' -s ...s*** Configuration: [settings] arch=x86_64 build_type=Debug compiler=Visual Studio compiler.runtime=MDd compiler.version=16 os=Windows [options] minisat:shared=False [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True zlib/1.2.13: Not found in local cache, looking in remotes... zlib/1.2.13: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz zlib/1.2.13: Downloaded recipe revision 13c96f538b52e1600c40b88994de240f minisat/2.2.0: Forced build from source Installing package: minisat/2.2.0 Requirements minisat/2.2.0 from local cache - Cache zlib/1.2.13 from 'conan-center' - Downloaded Packages minisat/2.2.0:6acf24cd4adf2df742e006cc0e5f0329e3b6e60b - Build zlib/1.2.13:d057732059ea44a47760900cb5e4855d2bea8714 - Download Installing (downloading, building) binaries... zlib/1.2.13: Retrieving package d057732059ea44a47760900cb5e4855d2bea8714 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz zlib/1.2.13: Package installed d057732059ea44a47760900cb5e4855d2bea8714 zlib/1.2.13: Downloaded package revision 6a8178567957ca667bfe170445d5bf47 [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK minisat/2.2.0: Configuring sources in C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\source\src minisat/2.2.0: minisat/2.2.0: Unzipping 216.0KB, this can take a while minisat/2.2.0: [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 minisat/2.2.0: Copying sources to build folder minisat/2.2.0: Building your package in C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b minisat/2.2.0: Generator txt created conanbuildinfo.txt minisat/2.2.0: Calling generate() minisat/2.2.0: Preset 'default' added to CMakePresets.json. Invoke it manually using 'cmake --preset default' minisat/2.2.0: If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE=C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\generators\conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW' minisat/2.2.0: Aggregating env generators [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 minisat/2.2.0: Calling build() minisat/2.2.0: Apply patch (portability): Add spaces before user literals minisat/2.2.0: CMake command: cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J/w/prod/BuildSingleReference@5/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J/w/prod/BuildSingleReference@5/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src" ----Running------ > cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J/w/prod/BuildSingleReference@5/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J/w/prod/BuildSingleReference@5/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src" ----------------- -- Using Conan toolchain: C:/J/w/prod/BuildSingleReference@5/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build/generators/conan_toolchain.cmake -- Conan toolchain: Setting BUILD_SHARED_LIBS = OFF -- The C compiler identification is MSVC 19.29.30147.0 -- The CXX compiler identification is MSVC 19.29.30147.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.29.30133/bin/Hostx64/x64/cl.exe - 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: C:/Program Files (x86)/Microsoft Visual Studio/2019/Community/VC/Tools/MSVC/14.29.30133/bin/Hostx64/x64/cl.exe - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Conan: Target declared 'ZLIB::ZLIB' -- Configuring done -- Generating done -- Build files have been written to: C:/J/w/prod/BuildSingleReference@5/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build minisat/2.2.0: CMake command: cmake --build "C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build" --config Debug --target minisat-lib-static ----Running------ > cmake --build "C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build" --config Debug --target minisat-lib-static ----------------- Microsoft (R) Build Engine version 16.11.2+f32259642 for .NET Framework Copyright (C) Microsoft Corporation. All rights reserved. Checking Build System Building Custom Rule C:/J/w/prod/BuildSingleReference@5/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/src/CMakeLists.txt Options.cc System.cc Solver.cc SimpSolver.cc C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/SolverTypes.h(144,59): warning C4200: nonstandard extension used: zero-sized array in struct/union (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/SolverTypes.h(144,59): message : This member will be ignored by a defaulted constructor or copy/move assignment operator (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/SolverTypes.h(144,59): warning C4200: nonstandard extension used: zero-sized array in struct/union (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\simp\SimpSolver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/SolverTypes.h(144,59): message : This member will be ignored by a defaulted constructor or copy/move assignment operator (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\simp\SimpSolver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(324,12): warning C4244: '+=': conversion from 'double' to 'float', possible loss of data (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\simp\SimpSolver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(327,51): warning C4305: '*=': truncation from 'double' to 'float' (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\simp\SimpSolver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(355,64): warning C4244: 'return': conversion from 'const uint64_t' to 'int', possible loss of data (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\simp\SimpSolver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(324,12): warning C4244: '+=': conversion from 'double' to 'float', possible loss of data (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(356,64): warning C4244: 'return': conversion from 'const uint64_t' to 'int', possible loss of data (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\simp\SimpSolver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(327,51): warning C4305: '*=': truncation from 'double' to 'float' (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(355,64): warning C4244: 'return': conversion from 'const uint64_t' to 'int', possible loss of data (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat/core/Solver.h(356,64): warning C4244: 'return': conversion from 'const uint64_t' to 'int', possible loss of data (compiling source file C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc) [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc(558,21): warning C4244: 'argument': conversion from '__int64' to 'int', possible loss of data [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc(866,35): warning C4244: 'argument': conversion from 'double' to 'int', possible loss of data [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\minisat\core\Solver.cc(941,15): warning C4996: 'fopen': This function or variable may be unsafe. Consider using fopen_s instead. To disable deprecation, use _CRT_SECURE_NO_WARNINGS. See online help for details. [C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\minisat-lib-static.vcxproj] minisat-lib-static.vcxproj -> C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\Debug\minisat.lib minisat/2.2.0: Package '6acf24cd4adf2df742e006cc0e5f0329e3b6e60b' built minisat/2.2.0: Build folder C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build minisat/2.2.0: Generated conaninfo.txt minisat/2.2.0: Generated conanbuildinfo.txt minisat/2.2.0: Generating the package minisat/2.2.0: Package folder C:\J\w\prod\BuildSingleReference@5\.conan\data\minisat\2.2.0\_\_\package\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b minisat/2.2.0: Calling package() minisat/2.2.0: Copied 1 file: LICENSE minisat/2.2.0: Copied 18 '.h' files minisat/2.2.0: Copied 1 '.lib' file: minisat.lib [HOOK - conan-center.py] post_package(): [PACKAGE LICENSE (KB-H012)] OK [HOOK - conan-center.py] post_package(): [DEFAULT PACKAGE LAYOUT (KB-H013)] OK [HOOK - conan-center.py] post_package(): [MATCHING CONFIGURATION (KB-H014)] OK [HOOK - conan-center.py] post_package(): [SHARED ARTIFACTS (KB-H015)] OK [HOOK - conan-center.py] post_package(): [STATIC ARTIFACTS (KB-H074)] OK [HOOK - conan-center.py] post_package(): [EITHER STATIC OR SHARED OF EACH LIB (KB-H076)] OK [HOOK - conan-center.py] post_package(): [PC-FILES (KB-H020)] OK [HOOK - conan-center.py] post_package(): [CMAKE-MODULES-CONFIG-FILES (KB-H016)] OK [HOOK - conan-center.py] post_package(): [PDB FILES NOT ALLOWED (KB-H017)] OK [HOOK - conan-center.py] post_package(): [LIBTOOL FILES PRESENCE (KB-H018)] OK [HOOK - conan-center.py] post_package(): [MS RUNTIME FILES (KB-H021)] OK [HOOK - conan-center.py] post_package(): [SHORT_PATHS USAGE (KB-H066)] OK [HOOK - conan-center.py] post_package(): [MISSING SYSTEM LIBS (KB-H043)] OK [HOOK - conan-center.py] post_package(): [APPLE RELOCATABLE SHARED LIBS (KB-H077)] OK minisat/2.2.0 package(): Packaged 18 '.h' files minisat/2.2.0 package(): Packaged 1 '.lib' file: minisat.lib minisat/2.2.0 package(): Packaged 1 file: LICENSE minisat/2.2.0: Package '6acf24cd4adf2df742e006cc0e5f0329e3b6e60b' created minisat/2.2.0: Created package revision ee17372ce851b831069cd4c6c237e780 [HOOK - conan-center.py] post_package_info(): [CMAKE FILE NOT IN BUILD FOLDERS (KB-H019)] OK [HOOK - conan-center.py] post_package_info(): [LIBRARY DOES NOT EXIST (KB-H054)] OK [HOOK - conan-center.py] post_package_info(): [INCLUDE PATH DOES NOT EXIST (KB-H071)] OK Aggregating env generators CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 2.8.12 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. minisat/2.2.0: 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 minisat/2.2.0: 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