------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/libnghttp2-1.41.0.txz Installing /packages/All/ca_root_nss-3.58.txz ===== Message from ca_root_nss-3.58: -- 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.1h_1,1.txz Installing /packages/All/curl-7.73.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/libuv-1.40.0.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.21.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.3,1.txz Installing /packages/All/ncurses-6.2.20201017.txz Installing /packages/All/cmake-3.18.4.txz Installing /packages/All/png-1.6.37.txz Installing /packages/All/M4RI-20200125.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:28 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.8.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> cryptominisat-5.8.0 depends on file: /usr/local/sbin/pkg - found => msoos-cryptominisat-5.8.0_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/msoos/cryptominisat/tar.gz/5.8.0?dummy=/msoos-cryptominisat-5.8.0_GH0.tar.gz fetch: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.8.0?dummy=/msoos-cryptominisat-5.8.0_GH0.tar.gz: size unknown fetch: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.8.0?dummy=/msoos-cryptominisat-5.8.0_GH0.tar.gz: size of remote file is not known msoos-cryptominisat-5.8.0_GH0.tar.gz 0 B 0 Bps msoos-cryptominisat-5.8.0_GH0.tar.gz 921 kB 3660 kBps 00s ===> Fetching all distfiles required by cryptominisat-5.8.0 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> cryptominisat-5.8.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cryptominisat-5.8.0 for building => SHA256 Checksum OK for msoos-cryptominisat-5.8.0_GH0.tar.gz. SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> cryptominisat-5.8.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cryptominisat-5.8.0 for building ===> Extracting for cryptominisat-5.8.0 => SHA256 Checksum OK for msoos-cryptominisat-5.8.0_GH0.tar.gz. Extracted Memory Use: 4.97M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for cryptominisat-5.8.0 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.8.0 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> cryptominisat-5.8.0 depends on shared library: libm4ri.so - found (/usr/local/lib/libm4ri.so) ===> cryptominisat-5.8.0 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> cryptominisat-5.8.0 depends on file: /usr/local/bin/cmake - found ===> cryptominisat-5.8.0 depends on shared library: libm4ri.so - found (/usr/local/lib/libm4ri.so) ===> cryptominisat-5.8.0 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Configuring for cryptominisat-5.8.0 ===> Performing out-of-source build /bin/mkdir -p /construction/math/cryptominisat/.build -- The CXX compiler identification is GNU 8.3.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '' -- BIN directory is '' -- Doing a Release build -- The C compiler identification is GNU 8.3.0 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- Building with GAUSS enabled at every level -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- PROJECT_VERSION: 5.8.0 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 8 -- PROJECT_VERSION_PATCH: 0 -- Found Boost: /usr/local/include (found suitable version "1.72.0", minimum required is "1.46") found components: program_options -- Could NOT find SQLITE3 (missing: SQLITE3_LIBRARY SQLITE3_INCLUDE_DIR) -- WARNING: Did not find SQLITE3, SQLITE3 support will be disabled -- 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! -- Performing Test HAVE__FPU_SETCW -- Performing Test HAVE__FPU_SETCW - Failed -- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE) -- Found M4RI: /usr/local/lib/libm4ri.so -- OK, Found M4RI lib at /usr/local/lib/libm4ri.so and includes at /usr/local/include CMake Warning at CMakeLists.txt:647 (find_package): By not providing "Findbreakid.cmake" in CMAKE_MODULE_PATH this project has asked CMake to find a package configuration file provided by "breakid", but CMake did not find one. Could not find a package configuration file provided by "breakid" with any of the following names: breakidConfig.cmake breakid-config.cmake Add the installation prefix of "breakid" to CMAKE_PREFIX_PATH or set "breakid_DIR" to a directory containing one of the above files. If "breakid" provides a separate development package or SDK, be sure it has been installed. CMake Warning at CMakeLists.txt:649 (message): BreakID NOT found -- Could NOT find MPI_C (missing: MPI_C_LIB_NAMES MPI_C_HEADER_DIR MPI_C_WORKS) -- Could NOT find MPI_CXX (missing: MPI_CXX_LIB_NAMES MPI_CXX_HEADER_DIR MPI_CXX_WORKS) -- Could NOT find MPI (missing: MPI_C_FOUND MPI_CXX_FOUND) Reason given by package: MPI component 'Fortran' was requested, but language Fortran is not enabled. -- No suitable C++ MPI implementation found. CryptoMiniSat will not be distributed. -- 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 -- All defines at startup: -DEXTENDED_FEATURES -DUSE_GAUSS -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_ZLIB -DUSE_M4RI -- 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_-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 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 -- GIT Subprojects not initialized, not building drat-trim CMake Warning at CMakeLists.txt:819 (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:06 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for cryptominisat-5.8.0 /usr/local/bin/cmake -S/construction/math/cryptominisat/cryptominisat-5.8.0 -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 --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/depend --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/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 --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/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 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.8.0/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.8.0/src/streambuffer.h /construction/math/cryptominisat/.build/include/cryptominisat5 [ 0%] Built target CopyPublicHeaders --- 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/cryptominisat5.dir/cnf.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.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/occsimplifier.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- [ 1%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- [ 3%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- [ 6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- [ 6%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- [ 8%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cnf.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/cnf.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/varreplacer.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clauseallocator.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/clauseallocator.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o --- [ 10%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sccfinder.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/sccfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumestrengthen.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/subsumestrengthen.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/drat.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/drat.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/drat.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- [ 11%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o --- [ 15%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/solverconf.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/occsimplifier.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/occsimplifier.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o --- [ 16%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausecleaner.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/clausecleaner.cpp --- 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++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/propengine.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solverconf.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.cpp:24: /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o --- [ 18%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlong.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/distillerlong.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o --- [ 20%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/distillerlongwithimpl.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/distillerlongwithimpl.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o --- [ 22%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/str_impl_w_impl.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/str_impl_w_impl.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o --- [ 23%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solutionextender.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/solutionextender.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o --- [ 25%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/completedetachreattacher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/completedetachreattacher.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o --- [ 27%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/searcher.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o --- [ 28%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/solver.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o --- [ 30%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/compfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/compfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o --- [ 32%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/comphandler.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/comphandler.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o --- [ 33%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/hyperengine.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/hyperengine.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o --- [ 35%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/subsumeimplicit.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/subsumeimplicit.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o --- [ 37%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/datasync.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/datasync.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o --- [ 38%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/reducedb.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/reducedb.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.8.0/src/solvertypes.h:38, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/propby.h:27, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/propengine.h:35, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/searcher.h:28, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/searcher.cpp:23: /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h: In function 'std::__cxx11::string CMSat::polarity_mode_to_short_string(CMSat::PolarityMode)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h:141:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h: In function 'std::__cxx11::string CMSat::getNameOfPolarmodeType(CMSat::PolarityMode)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h:95:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h: In function 'std::__cxx11::string CMSat::getNameOfRestartType(CMSat::Restart)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h:161:9: warning: control reaches end of non-void function [-Wreturn-type] default: ^~~~~~~ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/solver.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.8.0/src/solvertypes.h:38, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/solver.h:35, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/solver.cpp:23: /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o --- [ 40%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/clausedumper.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/clausedumper.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o --- [ 42%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/bva.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/bva.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o --- [ 44%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/intree.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/intree.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o --- [ 45%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/satzilla_features_calc.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/satzilla_features_calc.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o --- [ 47%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/satzilla_features_to_reconf.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o --- [ 49%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/satzilla_features.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searcher.cpp.o --- /construction/math/cryptominisat/cryptominisat-5.8.0/src/searcher.cpp: In member function 'CMSat::ConflictData CMSat::Searcher::find_conflict_level(CMSat::PropBy&)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/searcher.cpp:3817:51: warning: potential null pointer dereference [-Wnull-dereference] data.nHighestLevel = varData[clause[0].var()].level; ~~~~~~~~~~~~~^~ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o --- [ 50%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/searchstats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/searchstats.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o --- [ 52%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/xorfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o --- [ 54%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/cardfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o --- [ 55%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/cryptominisat_c.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o --- [ 57%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/yalsat.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/yalsat.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o --- [ 59%] Building C object cmsat5-src/CMakeFiles/cryptominisat5.dir/yals.c.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/cc -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu99 -o CMakeFiles/cryptominisat5.dir/yals.c.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/yals.c --- cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o --- [ 61%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/walksat.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/walksat.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o --- [ 62%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/sls.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/sls.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/sls.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o --- [ 64%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/vardistgen.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o --- [ 66%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/ccnr.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o --- [ 67%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/ccnr_cms.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o --- [ 69%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/lucky.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/lucky.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/lucky.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o --- [ 71%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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/gaussian.cpp.o --- [ 72%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/gaussian.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/gaussian.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.8.0/src/xorfinder.h:33, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/xorfinder.cpp:23: /construction/math/cryptominisat/cryptominisat-5.8.0/src/xor.h: In member function 'std::vector CMSat::XorFinder::remove_xors_without_connecting_vars(const std::vector&)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/xor.h:38:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ /construction/math/cryptominisat/cryptominisat-5.8.0/src/xor.h:38:7: warning: potential null pointer dereference [-Wnull-dereference] class Xor ^~~ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o --- [ 74%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/packedrow.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/packedrow.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o --- [ 76%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/matrixfinder.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o --- [ 77%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/toplevelgauss.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++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/cryptominisat.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o --- In file included from /usr/local/include/m4ri/mzp.h:31, from /usr/local/include/m4ri/m4ri.h:56, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/toplevelgauss.cpp:28: /usr/local/include/m4ri/mzd.h: In function 'void mzd_col_swap_in_rows(mzd_t*, rci_t, rci_t, rci_t, rci_t)': /usr/local/include/m4ri/mzd.h:510:14: warning: declaration of 'xor_v' shadows a previous local [-Wshadow] word xor_v = *ptr; ^~~~~ /usr/local/include/m4ri/mzd.h:484:12: note: shadowed declaration is here word xor_v[4]; ^~~~~ --- cmsat5-src/CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o --- In file included from /construction/math/cryptominisat/cryptominisat-5.8.0/src/solvertypes.h:38, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/solver.h:35, from /construction/math/cryptominisat/cryptominisat-5.8.0/src/cryptominisat.cpp:25: /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h: In function 'unsigned int CMSat::clean_to_int(CMSat::ClauseClean)': /construction/math/cryptominisat/cryptominisat-5.8.0/src/solverconf.h:54:1: warning: control reaches end of non-void function [-Wreturn-type] } ^ --- lib/libcryptominisat5.so.5.8 --- [ 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 -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.8 -o ../lib/libcryptominisat5.so.5.8 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/drat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.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.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/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/satzilla_features_calc.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o CMakeFiles/cryptominisat5.dir/yals.c.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/lucky.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib /usr/local/lib/libm4ri.so -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.8 ../lib/libcryptominisat5.so.5.8 ../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 --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/DependInfo.cmake --- 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.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/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 --- 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 --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o --- [ 84%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/main_simple.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o --- [ 86%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/main_common.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_common.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 --- [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o --- [ 89%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/main_exe.cpp --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5-bin.dir/main_common.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.8.0/src/main_common.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++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/main.cpp --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o --- [ 93%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/signalcode.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DEXTENDED_FEATURES -DNDEBUG -DUSE_GAUSS -DUSE_M4RI -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.8.0 -I/construction/math/cryptominisat/.build/cmsat5-src -I/construction/math/cryptominisat/cryptominisat-5.8.0/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 -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.8.0/src/signalcode.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple-bin.dir/all --- --- cryptominisat5_simple --- [ 94%] 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 -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.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.8 /usr/lib/libz.so /usr/local/lib/libm4ri.so -pthread [ 96%] Built target cryptominisat5_simple-bin --- cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all --- --- cryptominisat5 --- [ 98%] 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 -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5-bin.dir/main.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_common.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 /usr/local/lib/libboost_program_options.so ../lib/libcryptominisat5.so.5.8 /usr/lib/libz.so /usr/local/lib/libm4ri.so -pthread [100%] Built target cryptominisat5-bin /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles 0 SUCCEEDED 00:01:42 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for cryptominisat-5.8.0 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/cryptominisat/cryptominisat-5.8.0 -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.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/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.8.0/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.8.0/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.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/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.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/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.8.0 /construction/math/cryptominisat/cryptominisat-5.8.0/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 -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.8 -o CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.8 CMakeFiles/cryptominisat5.dir/cnf.cpp.o CMakeFiles/cryptominisat5.dir/drat.cpp.o CMakeFiles/cryptominisat5.dir/propengine.cpp.o CMakeFiles/cryptominisat5.dir/varreplacer.cpp.o CMakeFiles/cryptominisat5.dir/clausecleaner.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.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/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/satzilla_features_calc.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features_to_reconf.cpp.o CMakeFiles/cryptominisat5.dir/satzilla_features.cpp.o CMakeFiles/cryptominisat5.dir/searchstats.cpp.o CMakeFiles/cryptominisat5.dir/xorfinder.cpp.o CMakeFiles/cryptominisat5.dir/cardfinder.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/cryptominisat5.dir/yalsat.cpp.o CMakeFiles/cryptominisat5.dir/yals.c.o CMakeFiles/cryptominisat5.dir/walksat.cpp.o CMakeFiles/cryptominisat5.dir/sls.cpp.o CMakeFiles/cryptominisat5.dir/vardistgen.cpp.o CMakeFiles/cryptominisat5.dir/ccnr.cpp.o CMakeFiles/cryptominisat5.dir/ccnr_cms.cpp.o CMakeFiles/cryptominisat5.dir/lucky.cpp.o CMakeFiles/cryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/cryptominisat5.dir/gaussian.cpp.o CMakeFiles/cryptominisat5.dir/packedrow.cpp.o CMakeFiles/cryptominisat5.dir/matrixfinder.cpp.o CMakeFiles/cryptominisat5.dir/toplevelgauss.cpp.o CMakeFiles/cryptominisat5.dir/cryptominisat.cpp.o -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib /usr/local/lib/libm4ri.so -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.8 CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.8 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 -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5_simple-bin.dir/main_simple.cpp.o CMakeFiles/cryptominisat5_simple-bin.dir/main_common.cpp.o -o CMakeFiles/CMakeRelink.dir/cryptominisat5_simple -L/usr/local/lib -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libcryptominisat5.so.5.8 /usr/lib/libz.so /usr/local/lib/libm4ri.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 -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5-bin.dir/main.cpp.o CMakeFiles/cryptominisat5-bin.dir/main_common.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 /usr/local/lib/libboost_program_options.so ../lib/libcryptominisat5.so.5.8 /usr/lib/libz.so /usr/local/lib/libm4ri.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.8 -- 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) Error: /usr/local/lib/libcryptominisat5.so.5.8 is linked to /usr/local/lib/libpng16.so.16 from graphics/png but it is not declared as a dependency Warning: you need LIB_DEPENDS+=libpng16.so:graphics/png Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for cryptominisat-5.8.0 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:05 TOTAL TIME 00:02:27