******************************************************************************** conan install minisat/2.2.0@#4fb3a84622b52800cac54d3b03928bcf --build=minisat -pr C:/J2/w/prod-v1/bsr@3/10053/eebac/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:\J2\w\prod-v1\bsr@3\10053\acecf\.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:\J2\w\prod-v1\bsr@3\10053\acecf\.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.3: Not found in local cache, looking in remotes... zlib/1.3: Trying with 'conan-center'... Downloading conanmanifest.txt Downloading conanfile.py Downloading conan_export.tgz zlib/1.3: Downloaded recipe revision 06023034579559bb64357db3a53f88a4 minisat/2.2.0: Forced build from source Version ranges solved zlib/* versions found in 'conan-center' remote Version range '>=1.2.11 <2' required by 'minisat/2.2.0' resolved to 'zlib/1.3' in remote 'conan-center' Installing package: minisat/2.2.0 Requirements minisat/2.2.0 from local cache - Cache zlib/1.3 from 'conan-center' - Downloaded Packages minisat/2.2.0:6acf24cd4adf2df742e006cc0e5f0329e3b6e60b - Build zlib/1.3:d057732059ea44a47760900cb5e4855d2bea8714 - Download Installing (downloading, building) binaries... zlib/1.3: Retrieving package d057732059ea44a47760900cb5e4855d2bea8714 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz zlib/1.3: Package installed d057732059ea44a47760900cb5e4855d2bea8714 zlib/1.3: Downloaded package revision 4daaef26f8e56bd052ac83174f4d559d [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK minisat/2.2.0: Configuring sources in C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\source\src 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:\J2\w\prod-v1\bsr@3\10053\acecf\.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:\J2\w\prod-v1\bsr@3\10053\acecf\.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): drop default argument in friend declaration 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:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\.." ----Running------ > cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\src\.." ----------------- -- Using Conan toolchain: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build/generators/conan_toolchain.cmake -- Conan toolchain: Setting BUILD_SHARED_LIBS = OFF -- The CXX compiler identification is MSVC 19.29.30148.0 -- 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:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/build minisat/2.2.0: CMake command: cmake --build "C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build" --config Debug ----Running------ > cmake --build "C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build" --config Debug ----------------- 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:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/CMakeLists.txt Solver.cc SimpSolver.cc Options.cc System.cc minisat.vcxproj -> C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build\Debug\minisat.lib Building Custom Rule C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/build/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/CMakeLists.txt minisat/2.2.0: Package '6acf24cd4adf2df742e006cc0e5f0329e3b6e60b' built minisat/2.2.0: Build folder C:\J2\w\prod-v1\bsr@3\10053\acecf\.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:\J2\w\prod-v1\bsr@3\10053\acecf\.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: CMake command: cmake --install "C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build" --config Debug --prefix "C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b" ----Running------ > cmake --install "C:\J2\w\prod-v1\bsr@3\10053\acecf\.conan\data\minisat\2.2.0\_\_\build\6acf24cd4adf2df742e006cc0e5f0329e3b6e60b\build" --config Debug --prefix "C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b" ----------------- -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/lib/minisat.lib -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/Alg.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/Alloc.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/Heap.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/IntTypes.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/Map.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/Queue.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/Sort.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/Vec.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/mtl/XAlloc.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/utils -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/utils/Options.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/utils/ParseUtils.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/utils/System.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/core -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/core/Dimacs.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/core/Solver.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/core/SolverTypes.h -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/simp -- Installing: C:/J2/w/prod-v1/bsr@3/10053/acecf/.conan/data/minisat/2.2.0/_/_/package/6acf24cd4adf2df742e006cc0e5f0329e3b6e60b/include/minisat/simp/SimpSolver.h [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 16 '.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 fd20b5b6b70ea5153f58967196674fa2 [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 Warning: Manually-specified variables were not used by the project: CMAKE_POLICY_DEFAULT_CMP0091 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