******************************************************************************** conan install minisat/2.2.0@#4fb3a84622b52800cac54d3b03928bcf --build=minisat -pr C:/J2/w/prod-v1/bsr@4/10053/ddafc/profile_windows_16_md_vs_release_64.minisat-shared-True.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@4\10053\affdb\.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@4\10053\affdb\.conan\profiles\default *** *** Or override with -s compiler='other' -s ...s*** Configuration: [settings] arch=x86_64 build_type=Release compiler=Visual Studio compiler.runtime=MD compiler.version=16 os=Windows [options] minisat:shared=True [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:3144a0c6dc18aae2e8b769f92faa8398f2022a4b - Build zlib/1.3:3fb49604f9c2f729b85ba3115852006824e72cab - Download Installing (downloading, building) binaries... zlib/1.3: Retrieving package 3fb49604f9c2f729b85ba3115852006824e72cab from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz zlib/1.3: Package installed 3fb49604f9c2f729b85ba3115852006824e72cab zlib/1.3: Downloaded package revision c1e098856ddb1b3ff69e2d075a78bac2 [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK minisat/2.2.0: Configuring sources in C:\J2\w\prod-v1\bsr@4\10053\affdb\.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@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b 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@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\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@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\src\.." ----Running------ > cmake -G "Visual Studio 16 2019" -DCMAKE_TOOLCHAIN_FILE="C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/build/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" "C:\J2\w\prod-v1\bsr@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\src\.." ----------------- -- Using Conan toolchain: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/build/generators/conan_toolchain.cmake -- Conan toolchain: Setting BUILD_SHARED_LIBS = ON -- 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@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/build minisat/2.2.0: CMake command: cmake --build "C:\J2\w\prod-v1\bsr@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\build" --config Release ----Running------ > cmake --build "C:\J2\w\prod-v1\bsr@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\build" --config Release ----------------- 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@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/CMakeLists.txt Solver.cc SimpSolver.cc Options.cc System.cc Auto build dll exports Creating library C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/build/Release/minisat.lib and object C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/build/Release/minisat.exp minisat.vcxproj -> C:\J2\w\prod-v1\bsr@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\build\Release\minisat.dll Building Custom Rule C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/build/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/CMakeLists.txt minisat/2.2.0: Package '3144a0c6dc18aae2e8b769f92faa8398f2022a4b' built minisat/2.2.0: Build folder C:\J2\w\prod-v1\bsr@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\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@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\package\3144a0c6dc18aae2e8b769f92faa8398f2022a4b 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@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\build" --config Release --prefix "C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b" ----Running------ > cmake --install "C:\J2\w\prod-v1\bsr@4\10053\affdb\.conan\data\minisat\2.2.0\_\_\build\3144a0c6dc18aae2e8b769f92faa8398f2022a4b\build" --config Release --prefix "C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b" ----------------- -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/lib/minisat.lib -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/bin/minisat.dll -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/Alg.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/Alloc.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/Heap.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/IntTypes.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/Map.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/Queue.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/Sort.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/Vec.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/mtl/XAlloc.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/utils -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/utils/Options.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/utils/ParseUtils.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/utils/System.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/core -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/core/Dimacs.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/core/Solver.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/core/SolverTypes.h -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/include/minisat/simp -- Installing: C:/J2/w/prod-v1/bsr@4/10053/affdb/.conan/data/minisat/2.2.0/_/_/package/3144a0c6dc18aae2e8b769f92faa8398f2022a4b/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 ********************************************************************** ** Visual Studio 2019 Developer Command Prompt v16.11.26 ** Copyright (c) 2021 Microsoft Corporation ********************************************************************** [vcvarsall.bat] Environment initialized for: 'x64' [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 1 '.dll' file: minisat.dll 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 '3144a0c6dc18aae2e8b769f92faa8398f2022a4b' created minisat/2.2.0: Created package revision 012b9a1c1ac05ee35b7d14f93df4533d [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