******************************************************************************** conan install minisat/2.2.0@#fcac6e79a15ac73c5a44f9b5375a36a0 --build=minisat -pr /home/conan/w/prod/BuildSingleReference/206862/6096fd6d-eb85-4a9e-b908-4a845bb00891/profile_linux_9_libstdcpp_gcc_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 (/home/conan/w/prod/BuildSingleReference/.conan/profiles/default) CC and CXX: /usr/bin/gcc, /usr/bin/g++ Found gcc 9 gcc>=5, using the major as version ************************* WARNING: GCC OLD ABI COMPATIBILITY *********************** Conan detected a GCC version > 5 but has adjusted the 'compiler.libcxx' setting to 'libstdc++' for backwards compatibility. Your compiler is likely using the new CXX11 ABI by default (libstdc++11). If you want Conan to use the new ABI for the default profile, run: $ conan profile update settings.compiler.libcxx=libstdc++11 default Or edit '/home/conan/w/prod/BuildSingleReference/.conan/profiles/default' and set compiler.libcxx=libstdc++11 ************************************************************************************ Default settings os=Linux os_build=Linux arch=x86_64 arch_build=x86_64 compiler=gcc compiler.version=9 compiler.libcxx=libstdc++ build_type=Release *** You can change them in /home/conan/w/prod/BuildSingleReference/.conan/profiles/default *** *** Or override with -s compiler='other' -s ...s*** Configuration: [settings] arch=x86_64 build_type=Release compiler=gcc compiler.libcxx=libstdc++ compiler.version=9 os=Linux [options] minisat:shared=True [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:c48a08a331b33ab7f697f9e8a222ff6db00bdca5 - Build zlib/1.2.13:6af9cc7cb931c5ad942174fd7838eb655717c709 - Download Installing (downloading, building) binaries... zlib/1.2.13: Retrieving package 6af9cc7cb931c5ad942174fd7838eb655717c709 from remote 'conan-center' Downloading conanmanifest.txt Downloading conaninfo.txt Downloading conan_package.tgz zlib/1.2.13: Package installed 6af9cc7cb931c5ad942174fd7838eb655717c709 zlib/1.2.13: Downloaded package revision 8a2a71e825f57656fe51ba076a5a867c [HOOK - conan-center.py] pre_source(): [IMMUTABLE SOURCES (KB-H010)] OK minisat/2.2.0: Configuring sources in /home/conan/w/prod/BuildSingleReference/.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 /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5 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=/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/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="/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Release" "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/src/.." ----Running------ > cmake -G "Unix Makefiles" -DCMAKE_TOOLCHAIN_FILE="/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release/generators/conan_toolchain.cmake" -DCMAKE_INSTALL_PREFIX="/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5" -DCMAKE_POLICY_DEFAULT_CMP0091="NEW" -DCMAKE_BUILD_TYPE="Release" "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/src/.." ----------------- -- Using Conan toolchain: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release/generators/conan_toolchain.cmake -- Conan toolchain: Setting BUILD_SHARED_LIBS = ON -- The CXX compiler identification is GNU 9.2.1 -- 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: Target declared 'ZLIB::ZLIB' -- Configuring done -- Generating done -- Build files have been written to: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release minisat/2.2.0: CMake command: cmake --build "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release" '--' '-j3' ----Running------ > cmake --build "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release" '--' '-j3' ----------------- Scanning dependencies of target minisat [ 20%] Building CXX object CMakeFiles/minisat.dir/src/core/Solver.cc.o [ 40%] Building CXX object CMakeFiles/minisat.dir/src/simp/SimpSolver.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.so [100%] Built target minisat minisat/2.2.0: Package 'c48a08a331b33ab7f697f9e8a222ff6db00bdca5' built minisat/2.2.0: Build folder /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/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 /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5 minisat/2.2.0: Calling package() minisat/2.2.0: Copied 1 file: LICENSE minisat/2.2.0: CMake command: cmake --install "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release" --prefix "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5" ----Running------ > cmake --install "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/build/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/build/Release" --prefix "/home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5" ----------------- -- Install configuration: "Release" -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/lib/libminisat.so -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/Vec.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/IntTypes.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/Heap.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/Alloc.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/Queue.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/XAlloc.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/Map.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/Alg.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/mtl/Sort.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/utils -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/utils/ParseUtils.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/utils/Options.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/utils/System.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/core -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/core/Solver.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/core/Dimacs.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/core/SolverTypes.h -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/include/minisat/simp -- Installing: /home/conan/w/prod/BuildSingleReference/.conan/data/minisat/2.2.0/_/_/package/c48a08a331b33ab7f697f9e8a222ff6db00bdca5/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 '.so' file: libminisat.so minisat/2.2.0 package(): Packaged 1 file: LICENSE minisat/2.2.0 package(): Packaged 16 '.h' files minisat/2.2.0: Package 'c48a08a331b33ab7f697f9e8a222ff6db00bdca5' created minisat/2.2.0: Created package revision fc18b4a046f2ff9a89ad3f10b553c8fa [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 [HOOK - conan-center.py] post_package(): WARN: [MISSING SYSTEM LIBS (KB-H043)] Library './lib/libminisat.so' links to system library 'm' but it is not in cpp_info.system_libs.