------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/libnghttp2-1.40.0.txz Installing /packages/All/ca_root_nss-3.52.txz ===== Message from ca_root_nss-3.52: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/openssl-1.1.1g,1.txz Installing /packages/All/curl-7.70.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/jsoncpp-1.9.2.txz Installing /packages/All/libuv-1.37.0.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/rhash-1.3.9.txz Installing /packages/All/liblz4-1.9.2_1,1.txz Installing /packages/All/lzo2-2.10_1.txz Installing /packages/All/libarchive-3.4.2,1.txz Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/cmake-3.17.2.txz Installing /packages/All/icu-67.1,1.txz Installing /packages/All/boost-libs-1.72.0_2.txz ===== Message from boost-libs-1.72.0_2: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. SUCCEEDED 00:00:22 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.6.8_6 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> cryptominisat-5.6.8_6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cryptominisat-5.6.8_6 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> cryptominisat-5.6.8_6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cryptominisat-5.6.8_6 for building => SHA256 Checksum OK for msoos-cryptominisat-5.6.8_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> cryptominisat-5.6.8_6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cryptominisat-5.6.8_6 for building ===> Extracting for cryptominisat-5.6.8_6 => SHA256 Checksum OK for msoos-cryptominisat-5.6.8_GH0.tar.gz. Extracted Memory Use: 3.84M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for cryptominisat-5.6.8_6 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.6.8_6 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.6.8_6 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> cryptominisat-5.6.8_6 depends on file: /usr/local/bin/cmake - found ===> cryptominisat-5.6.8_6 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Configuring for cryptominisat-5.6.8_6 ===> Performing out-of-source build /bin/mkdir -p /construction/math/cryptominisat/.build CMake Warning (dev) at /usr/local/share/cmake/Modules/GNUInstallDirs.cmake:225 (message): Unable to determine default CMAKE_INSTALL_LIBDIR directory because no target architecture is known. Please enable at least one language before including GNUInstallDirs. Call Stack (most recent call first): CMakeLists.txt:26 (include) This warning is for project developers. Use -Wno-dev to suppress it. -- LIB directory is 'lib' -- BIN directory is 'bin' -- Doing a Release build -- The C compiler identification is GNU 8.3.0 -- The CXX compiler identification is GNU 8.3.0 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc - works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ - works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- PROJECT_VERSION: 5.6.8 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 6 -- PROJECT_VERSION_PATCH: 8 -- Found Boost: /usr/local/include (found suitable version "1.72.0", minimum required is "1.46") found components: program_options -- Not compiling detailed statistics. The system is faster without them -- Not on Linux, not creating manpage -- Found ZLIB: /usr/lib/libz.so (found version "1.2.11") -- OK, Found ZLIB! -- Valgrind Prefix: CMake Warning (dev) at /usr/local/share/cmake/Modules/FindPackageHandleStandardArgs.cmake:272 (message): The package name passed to `find_package_handle_standard_args` (VALGRIND) does not match the name of the calling package (Valgrind). This can lead to problems in calling code that expects `find_package` result variables (e.g., `_FOUND`) to follow a certain pattern. Call Stack (most recent call first): cmake/FindValgrind.cmake:18 (find_package_handle_standard_args) CMakeLists.txt:517 (find_package) This warning is for project developers. Use -Wno-dev to suppress it. -- Could NOT find VALGRIND (missing: VALGRIND_INCLUDE_DIR VALGRIND_PROGRAM) -- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined -- All defines at startup: -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_ZLIB -- In case your Python interpreter is not found, or a wrong one is found, please set it with '-DPYTHON_EXECUTABLE:FILEPATH=your path here' -- Could NOT find PythonInterp (missing: PYTHON_EXECUTABLE) (Required is at least version "3") -- Could NOT find PythonLibs (missing: PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) (Required is at least version "3") -- Python 3 not fully found or Python 2 has been forced -- trying Python 2.7 -- Could NOT find PythonInterp (missing: PYTHON_EXECUTABLE) (Required is at least version "2.7") -- Could NOT find PythonLibs (missing: PYTHON_LIBRARIES PYTHON_INCLUDE_DIRS) (Required is at least version "2.7") -- Python 2.7 -- PYTHON_EXECUTABLE=PYTHON_EXECUTABLE-NOTFOUND -- Python 2.7 -- PYTHON_LIBRARIES=PYTHON_LIBRARY-NOTFOUND -- Python 2.7 -- PYTHON_INCLUDE_DIRS= -- Python 2.7 -- PYTHONLIBS_VERSION_STRING= -- Boost -- found at library: /usr/local/lib/libboost_program_options.so -- Boost -- adding '/usr/local/lib' to link directories -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion -- Performing Test HAVE_FLAG_-Wno-bitfield-constant-conversion - Failed -- Performing Test HAVE_FLAG_-Wlogical-op -- Performing Test HAVE_FLAG_-Wlogical-op - Success -- Performing Test HAVE_FLAG_-Wrestrict -- Performing Test HAVE_FLAG_-Wrestrict - Success -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Success -- Performing Test HAVE_FLAG_-Wjump-misses-init -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Success -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:696 (message): Testing is disabled -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_MODULE_LINKER_FLAGS -- Build files have been written to: /construction/math/cryptominisat/.build SUCCEEDED 00:00:05 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for cryptominisat-5.6.8_6 /usr/local/bin/cmake -S/construction/math/cryptominisat/cryptominisat-5.6.8 -B/construction/math/cryptominisat/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles /construction/math/cryptominisat/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/depend --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- Scanning dependencies of target CopyPublicHeaders /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build --- CopyPublicHeaders --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat_c.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/cryptominisat_c.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/cryptominisat.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- Scanning dependencies of target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- Copying solvertypesmini.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/solvertypesmini.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/prober.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- Copying dimacsparser.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.8/src/dimacsparser.h /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- [ 2%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o --- [ 4%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- [ 6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/varreplacer.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/clauseusagestats.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cnf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/cnf.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/subsumestrengthen.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/clauseallocator.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/prober.cpp.o --- [ 12%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/prober.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/prober.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/prober.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o --- [ 14%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/clausecleaner.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o --- [ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/propengine.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/propengine.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/propengine.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying streambuffer.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.8/src/streambuffer.h /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o --- [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/occsimplifier.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- [ 18%] Built target CopyPublicHeaders --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/sccfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.cpp In file included from /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.cpp:24: /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o --- [ 24%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/distillerlong.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o --- [ 26%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/distillerlongwithimpl.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o --- [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/str_impl_w_impl_stamp.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o --- [ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/solutionextender.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o --- [ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/completedetachreattacher.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o --- [ 34%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searcher.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/searcher.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o --- [ 36%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solver.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/solver.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o --- [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/sqlstats.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/implcache.cpp.o --- [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/implcache.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/implcache.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/implcache.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/stamp.cpp.o --- [ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/stamp.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/stamp.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/stamp.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o --- [ 44%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/compfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o --- [ 46%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/comphandler.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o --- [ 48%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/hyperengine.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o --- [ 51%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/subsumeimplicit.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.6.8/src/solvertypes.h:38, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/propby.h:27, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/propengine.h:35, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/searcher.h:28, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/searcher.cpp:23: /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h: In function 'std::__cxx11::string CMSat::getNameOfRestartType(CMSat::Restart)': /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h:89:9: warning: control reaches end of non-void function [-Wreturn-type] default: ^~~~~~~ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o --- [ 53%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/datasync.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/datasync.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o --- [ 55%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/reducedb.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.6.8/src/solvertypes.h:38, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/solver.h:34, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/solver.cpp:23: /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o --- [ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/clausedumper.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o --- [ 59%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/bva.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/bva.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o --- [ 61%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/intree.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/intree.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/features_calc.cpp.o --- [ 63%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_calc.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/features_calc.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o --- [ 65%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/features_to_reconf.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o --- [ 67%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/solvefeatures.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o --- [ 69%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/searchstats.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o --- [ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/xorfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o --- [ 73%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/cryptominisat_c.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o --- [ 75%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/walksat.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o --- [ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o -c /construction/math/cryptominisat/.build/cmsat5-src/GitSHA1.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o --- [ 79%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/cryptominisat.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o --- /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.cpp: In member function 'uint32_t CMSat::WalkSAT::RANDMOD(uint32_t)': /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.cpp:41:37: warning: declaration of 'x' shadows a member of 'CMSat::WalkSAT' [-Wshadow] uint32_t WalkSAT::RANDMOD(uint32_t x) ^ In file included from /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.cpp:29: /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.h:148:13: note: shadowed declaration is here int64_t x; ^ /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.cpp: In member function 'void CMSat::WalkSAT::initprob()': /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.cpp:222:27: warning: format '%i' expects argument of type 'int*', but argument 3 has type 'uint32_t*' {aka 'unsigned int*'} [-Wformat=] if (fscanf(cnfStream, "p cnf %i %i", &numvars, &numclauses) != 2) { ^~~~~~~~~~~~~ ~~~~~~~~ /construction/math/cryptominisat/cryptominisat-5.6.8/src/walksat.cpp:222:27: warning: format '%i' expects argument of type 'int*', but argument 4 has type 'uint32_t*' {aka 'unsigned int*'} [-Wformat=] --- cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.6.8/src/xorfinder.h:33, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/xorfinder.cpp:23: /construction/math/cryptominisat/cryptominisat-5.6.8/src/xor.h: In member function 'std::vector CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector&)': /construction/math/cryptominisat/cryptominisat-5.6.8/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ /construction/math/cryptominisat/cryptominisat-5.6.8/src/xor.h:37:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.6.8/src/solvertypes.h:38, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/solver.h:34, from /construction/math/cryptominisat/cryptominisat-5.6.8/src/cryptominisat.cpp:25: /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /construction/math/cryptominisat/cryptominisat-5.6.8/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- lib/libcryptominisat5.so.5.6 --- [ 81%] Linking CXX shared library ../lib/libcryptominisat5.so cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.6 -o ../lib/libcryptominisat5.so.5.6 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/cryptominisat5.dir/prober.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/implcache.cpp.o CMakeFiles/cryptominisat5.dir/stamp.cpp.o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so [ 83%] Built target cryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake Scanning dependencies of target cryptominisat5_simple-bin /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o --- [ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/main_simple.cpp --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- Scanning dependencies of target cryptominisat5-bin /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o --- [ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/main_exe.cpp --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o --- [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/signalcode.cpp --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o --- [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.8 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.8/src/main.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- --- cryptominisat5_simple --- [ 93%] Linking CXX executable ../cryptominisat5_simple cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -o ../cryptominisat5_simple -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib:/construction/math/cryptominisat/.build/lib ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so -pthread [ 95%] Built target cryptominisat5_simple-bin --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cryptominisat5 --- [ 97%] Linking CXX executable ../cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5-bin.dir/main.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -o ../cryptominisat5 -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib:/construction/math/cryptominisat/.build/lib ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/local/lib/libboost_program_options.so -pthread [100%] Built target cryptominisat5-bin /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles 0 SUCCEEDED 00:01:17 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for cryptominisat-5.6.8_6 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/cryptominisat/cryptominisat-5.6.8 -B/construction/math/cryptominisat/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles /construction/math/cryptominisat/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat_c.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/cryptominisat_c.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/cryptominisat.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying solvertypesmini.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/solvertypesmini.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying dimacsparser.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.8/src/dimacsparser.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying streambuffer.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.8/src/streambuffer.h /construction/math/cryptominisat/.build/include/cryptominisat5 [ 0%] Built target CopyPublicHeaders /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/build [ 83%] Built target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build [ 89%] Built target cryptominisat5_simple-bin /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.8 /construction/math/cryptominisat/cryptominisat-5.6.8/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build [100%] Built target cryptominisat5-bin /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/preinstall Linking CXX shared library CMakeFiles/CMakeRelink.dir/libcryptominisat5.so cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/relink.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.6 -o CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.6 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/cryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/cryptominisat5.dir/prober.cpp.o CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o CMakeFiles/cryptominisat5.dir/solverconf.cpp.o CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/cryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/cryptominisat5.dir/searcher.cpp.o CMakeFiles/cryptominisat5.dir/solver.cpp.o CMakeFiles/cryptominisat5.dir/sqlstats.cpp.o CMakeFiles/cryptominisat5.dir/implcache.cpp.o CMakeFiles/cryptominisat5.dir/stamp.cpp.o CMakeFiles/cryptominisat5.dir/compfinder.cpp.o CMakeFiles/cryptominisat5.dir/comphandler.cpp.o CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/cryptominisat5.dir/datasync.cpp.o CMakeFiles/cryptominisat5.dir/reducedb.cpp.o CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o CMakeFiles/cryptominisat5.dir/bva.cpp.o CMakeFiles/cryptominisat5.dir/intree.cpp.o CMakeFiles/cryptominisat5.dir/features_calc.cpp.o CMakeFiles/cryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.6 CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.6 CMakeFiles/CMakeRelink.dir/libcryptominisat5.so /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/cryptominisat5_simple cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple-bin.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o -o CMakeFiles/CMakeRelink.dir/cryptominisat5_simple -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so -pthread /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5-bin.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wrestrict -Wnull-dereference -Wdouble-promotion -Wshadow -Wformat=2 -Wextra-semi -pedantic -Wno-class-memaccess -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5-bin.dir/main.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o -o CMakeFiles/CMakeRelink.dir/cryptominisat5 -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/local/lib/libboost_program_options.so -pthread Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so.5.6 -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat_c.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/solvertypesmini.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/dimacsparser.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/streambuffer.h -- Installing: /construction/math/cryptominisat/stage/usr/local/bin/cryptominisat5_simple -- Installing: /construction/math/cryptominisat/stage/usr/local/bin/cryptominisat5 ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for cryptominisat-5.6.8_6 file sizes/checksums [12]: 0% file sizes/checksums [12]: 100% packing files [12]: 0% packing files [12]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:03 TOTAL TIME 00:01:51