******************************************************************************** conan install minisat/2.2.0@#4fb3a84622b52800cac54d3b03928bcf --build=minisat -pr:h /Users/jenkins/w/prod-v1/bsr@2/10047/cadbf/profile_osx_130_libcpp_apple-clang_release_armv8.minisat-shared-True.txt -c:h tools.system.package_manager:mode=install -c:h tools.system.package_manager:sudo=True -c:h tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk -pr:b /Users/jenkins/w/prod-v1/bsr@2/10047/cadbf/profile_osx_130_libcpp_apple-clang_release_64..txt -c:b tools.system.package_manager:mode=install -c:b tools.system.package_manager:sudo=True -c:b tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk ******************************************************************************** Auto detecting your dev setup to initialize the default profile (/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/profiles/default) Found apple-clang 13.0 apple-clang>=13, using the major as version Default settings os=Macos os_build=Macos arch=x86_64 arch_build=x86_64 compiler=apple-clang compiler.version=13 compiler.libcxx=libc++ build_type=Release *** You can change them in /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/profiles/default *** *** Or override with -s compiler='other' -s ...s*** Configuration (profile_host): [settings] arch=armv8 build_type=Release compiler=apple-clang compiler.libcxx=libc++ compiler.version=13.0 os=Macos [options] minisat:shared=True [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk Configuration (profile_build): [settings] arch=x86_64 build_type=Release compiler=apple-clang compiler.libcxx=libc++ compiler.version=13.0 os=Macos [options] [build_requires] [env] [conf] tools.system.package_manager:mode=install tools.system.package_manager:sudo=True tools.apple:sdk_path=/Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk 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:e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e - Build zlib/1.3:095512ed878f14a09dd732e9f6868729dd437529 - Download Cross-build from 'Macos:x86_64' to 'Macos:armv8' Installing (downloading, building) binaries... zlib/1.3: Retrieving package 095512ed878f14a09dd732e9f6868729dd437529 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz zlib/1.3: Package installed 095512ed878f14a09dd732e9f6868729dd437529 zlib/1.3: Downloaded package revision e460603ba9f76eb22286bc0a826fb359 [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK minisat/2.2.0: Configuring sources in /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.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 /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e minisat/2.2.0: Generator txt created conanbuildinfo.txt minisat/2.2.0: Calling generate() minisat/2.2.0: Preset 'release' added to CMakePresets.json. Invoke it manually using 'cmake --preset release' minisat/2.2.0: If your CMake version is not compatible with CMakePresets (<3.19) call cmake like: 'cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE=/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release/generators/conan_toolchain.cmake -DCMAKE_POLICY_DEFAULT_CMP0091=NEW -DCMAKE_BUILD_TYPE=Release' 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 "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Release" "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/src/.." ----Running------ > cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Release" "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/src/.." ----------------- -- Using Conan toolchain: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release/generators/conan_toolchain.cmake -- Conan toolchain: Setting BUILD_SHARED_LIBS = ON -- The CXX compiler identification is AppleClang 13.0.0.13000029 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /Applications/conan/xcode/13.0/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/c++ - 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: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release minisat/2.2.0: CMake command: cmake --build "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release" '--' '-j4' ----Running------ > cmake --build "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release" '--' '-j4' ----------------- [ 20%] Building CXX object CMakeFiles/minisat.dir/src/simp/SimpSolver.cc.o [ 40%] Building CXX object CMakeFiles/minisat.dir/src/core/Solver.cc.o [ 60%] Building CXX object CMakeFiles/minisat.dir/src/utils/Options.cc.o [ 80%] Building CXX object CMakeFiles/minisat.dir/src/utils/System.cc.o [100%] Linking CXX shared library libminisat.dylib [100%] Built target minisat minisat/2.2.0: Package 'e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e' built minisat/2.2.0: Build folder /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release 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 /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e minisat/2.2.0: Calling package() minisat/2.2.0: Copied 1 file: LICENSE minisat/2.2.0: CMake command: cmake --install "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release" --prefix "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e" ----Running------ > cmake --install "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/build/Release" --prefix "/Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e" ----------------- -- Install configuration: "Release" -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/lib/libminisat.dylib -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/IntTypes.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/Map.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/Vec.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/Alg.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/XAlloc.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/Heap.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/Sort.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/Alloc.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/mtl/Queue.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/utils -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/utils/Options.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/utils/System.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/utils/ParseUtils.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/core -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/core/Solver.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/core/SolverTypes.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/core/Dimacs.h -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/include/minisat/simp -- Installing: /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/package/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/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 1 file: LICENSE minisat/2.2.0 package(): Packaged 16 '.h' files minisat/2.2.0 package(): Packaged 1 '.dylib' file: libminisat.dylib minisat/2.2.0: Package 'e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e' created minisat/2.2.0: Created package revision bdf11cffd61458b1cc6cd74a76bb62da [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 /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/src/utils/Options.cc:48:17: warning: add explicit braces to avoid dangling else [-Wdangling-else] else ^ /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/src/simp/SimpSolver.cc:232:21: warning: add explicit braces to avoid dangling else [-Wdangling-else] else ^ /Users/jenkins/w/prod-v1/bsr@2/10047/ffdef/.conan/data/minisat/2.2.0/_/_/build/e71f47eaa09e4952de903e7c8c8c89dec0ad1f1e/src/simp/SimpSolver.cc:266:21: warning: add explicit braces to avoid dangling else [-Wdangling-else] else ^ 1 warning generated. 2 warnings generated.