=> Building math/cryptominisat Started : Friday, 20 JUL 2018 at 13:34:24 UTC Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.242.g757c0-DEVELOPMENT #30: Tue May 8 14:06:27 PDT 2018 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.2-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.2-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/cryptominisat XDG_CONFIG_HOME=/construction/math/cryptominisat HOME=/construction/math/cryptominisat TMPDIR="/tmp" PATH=/construction/math/cryptominisat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/cryptominisat XDG_CONFIG_HOME=/construction/math/cryptominisat HOME=/construction/math/cryptominisat TMPDIR="/tmp" PATH=/construction/math/cryptominisat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/cryptominisat/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" CMAKE_BUILD_TYPE="release" OSREL=5.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/cryptominisat" EXAMPLESDIR="share/examples/cryptominisat" DATADIR="share/cryptominisat" WWWDIR="www/cryptominisat" ETCDIR="etc/cryptominisat" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cryptominisat DOCSDIR=/usr/local/share/doc/cryptominisat EXAMPLESDIR=/usr/local/share/examples/cryptominisat WWWDIR=/usr/local/www/cryptominisat ETCDIR=/usr/local/etc/cryptominisat -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-5.2 USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.26.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500200 OSVERSION=9999999 OSREL=5.2 _OSRELEASE=5.2-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> cryptominisat-5.6.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_1.txz Installing pkg-1.10.5_1... Extracting pkg-1.10.5_1: .......... done ===> cryptominisat-5.6.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cryptominisat-5.6.1 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user => msoos-cryptominisat-5.6.1_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.1?dummy=/msoos-cryptominisat-5.6.1_GH0.tar.gz fetch: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.1?dummy=/msoos-cryptominisat-5.6.1_GH0.tar.gz: size unknown fetch: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.1?dummy=/msoos-cryptominisat-5.6.1_GH0.tar.gz: size of remote file is not known msoos-cryptominisat-5.6.1_GH0.tar.gz -1 B 0 Bps ===> Fetching all distfiles required by cryptominisat-5.6.1 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.6.1 for building => SHA256 Checksum OK for msoos-cryptominisat-5.6.1_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License MIT LGPL21 accepted by the user ===> Fetching all distfiles required by cryptominisat-5.6.1 for building ===> Extracting for cryptominisat-5.6.1 => SHA256 Checksum OK for msoos-cryptominisat-5.6.1_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for cryptominisat-5.6.1 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> cryptominisat-5.6.1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.11.4_1.txz Installing cmake-3.11.4_1... `-- Installing curl-7.60.0... | `-- Installing ca_root_nss-3.38... | `-- Extracting ca_root_nss-3.38: ........ done | `-- Installing krb5-1.16.1_5... | | `-- Installing gettext-runtime-0.19.8.1_1... | | `-- Installing indexinfo-0.3.1... | | `-- Extracting indexinfo-0.3.1: .... done | | `-- Extracting gettext-runtime-0.19.8.1_1: .......... done | | `-- Installing libressl-2.7.4... | | `-- Extracting libressl-2.7.4: .......... done | | `-- Installing pkgconf-1.4.2,1... | | `-- Extracting pkgconf-1.4.2,1: .......... done | | `-- Installing readline-7.0.3_1... | | `-- Installing ncurses-6.0.0s20171223_1... | | `-- Extracting ncurses-6.0.0s20171223_1: .......... done | | `-- Extracting readline-7.0.3_1: .......... done | `-- Extracting krb5-1.16.1_5: .......... done | `-- Installing libnghttp2-1.32.0... | `-- Extracting libnghttp2-1.32.0: .......... done `-- Extracting curl-7.60.0: .......... done `-- Installing expat-2.2.5... `-- Extracting expat-2.2.5: .......... done `-- Installing jsoncpp-1.8.1_3... `-- Extracting jsoncpp-1.8.1_3: .......... done `-- Installing libarchive-3.3.2,1... | `-- Installing liblz4-1.8.2,1... | `-- Extracting liblz4-1.8.2,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.3.2,1: .......... done `-- Installing libuv-1.21.0... `-- Extracting libuv-1.21.0: .......... done `-- Installing rhash-1.3.5... `-- Extracting rhash-1.3.5: .......... done Extracting cmake-3.11.4_1: .......... done Message from ca_root_nss-3.38: ********************************* WARNING ********************************* 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. *********************************** NOTE ********************************** 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 *************************************************************************** ===> cryptominisat-5.6.1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of cryptominisat-5.6.1 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> cryptominisat-5.6.1 depends on shared library: libboost_program_options.so - not found ===> Installing existing package /packages/All/boost-libs-1.67.0_2.txz Installing boost-libs-1.67.0_2... `-- Installing icu-62.1_1,1... `-- Extracting icu-62.1_1,1: .......... done Extracting boost-libs-1.67.0_2: .......... done Message from boost-libs-1.67.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. ===> cryptominisat-5.6.1 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Returning to build of cryptominisat-5.6.1 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for cryptominisat-5.6.1 ===> Performing out-of-source build /bin/mkdir -p /construction/math/cryptominisat/.build -- LIB directory is 'lib' -- BIN directory is 'bin' -- Doing a Release build -- The C compiler identification is GNU 5.4.1 -- The CXX compiler identification is GNU 5.4.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- build type is Release -- Performing Test HAVE_FLAG_-fno-stack-protector -- Performing Test HAVE_FLAG_-fno-stack-protector - Success -- PROJECT_VERSION: 5.6.1 -- PROJECT_VERSION_MAJOR: 5 -- PROJECT_VERSION_MINOR: 6 -- PROJECT_VERSION_PATCH: 1 -- Boost version: 1.67.0 -- Found the following Boost libraries: -- program_options -- Not compiling detailed statistics. The system is faster without them -- Not on Linux, not creating manpage -- Found ZLIB: /usr/lib/libz.so (found version "1.2.8") -- OK, Found ZLIB! -- Valgrind Prefix: -- Could NOT find VALGRIND (missing: VALGRIND_INCLUDE_DIR VALGRIND_PROGRAM) -- Cannot find valgrind or it's disabled, we will not be able to mark memory pool objects as undefined -- All defines at startup: -DNDEBUG -D_FORTIFY_SOURCE=0 -DUSE_ZLIB -- 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 -- PYTHON_EXECUTABLE=PYTHON_EXECUTABLE-NOTFOUND -- Python 3 -- PYTHON_LIBRARIES=PYTHON_LIBRARY-NOTFOUND -- Python 3 -- PYTHON_INCLUDE_DIRS= -- Python 3 -- PYTHONLIBS_VERSION_STRING= -- 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= -- 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 - Failed -- Performing Test HAVE_FLAG_-Wnull-dereference -- Performing Test HAVE_FLAG_-Wnull-dereference - Failed -- Performing Test HAVE_FLAG_-Wjump-misses-init -- Performing Test HAVE_FLAG_-Wjump-misses-init - Failed -- Performing Test HAVE_FLAG_-Wdouble-promotion -- Performing Test HAVE_FLAG_-Wdouble-promotion - Success -- Performing Test HAVE_FLAG_-Wshadow -- Performing Test HAVE_FLAG_-Wshadow - Success -- Performing Test HAVE_FLAG_-Wformat=2 -- Performing Test HAVE_FLAG_-Wformat=2 - Success -- Performing Test HAVE_FLAG_-Wextra-semi -- Performing Test HAVE_FLAG_-Wextra-semi - Failed -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test HAVE_FLAG_-Wno-class-memaccess -- Performing Test HAVE_FLAG_-Wno-class-memaccess - Failed -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_VISIBILITY - Success -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY -- Performing Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY - Success -- Performing Test COMPILER_HAS_DEPRECATED_ATTR -- Performing Test COMPILER_HAS_DEPRECATED_ATTR - Success CMake Warning at CMakeLists.txt:627 (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 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for cryptominisat-5.6.1 /usr/local/bin/cmake -H/construction/math/cryptominisat/cryptominisat-5.6.1 -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/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend --- 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/CopyPublicHeaders.dir/depend --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/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/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/libcryptominisat5.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 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- Scanning dependencies of target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- 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 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o --- [ 2%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/varreplacer.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o --- [ 4%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cnf.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cnf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/cnf.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o --- [ 6%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/clausecleaner.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o --- [ 8%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/propengine.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/propengine.cpp --- cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/all --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying solvertypesmini.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/solvertypesmini.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying dimacsparser.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.1/src/dimacsparser.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying streambuffer.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.1/src/streambuffer.h /construction/math/cryptominisat/.build/include/cryptominisat5 [ 8%] Built target CopyPublicHeaders --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o --- [ 10%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/clauseusagestats.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o --- [ 12%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/prober.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/prober.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/prober.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o --- [ 14%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/occsimplifier.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o --- [ 16%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/subsumestrengthen.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o --- [ 18%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/clauseallocator.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o --- [ 20%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/sccfinder.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o --- [ 22%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/solverconf.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o --- [ 25%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/distillerlong.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o --- [ 27%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/distillerlongwithimpl.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o --- [ 29%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/str_impl_w_impl_stamp.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o --- [ 31%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/solutionextender.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o --- [ 33%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/completedetachreattacher.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o --- [ 35%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searcher.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/searcher.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o --- [ 37%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solver.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solver.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/solver.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o --- [ 39%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/sqlstats.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o --- [ 41%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/implcache.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/implcache.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o --- [ 43%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/stamp.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/stamp.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o --- [ 45%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/compfinder.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o --- [ 47%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/comphandler.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o --- [ 50%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/hyperengine.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o --- [ 52%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/subsumeimplicit.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o --- [ 54%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/datasync.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/datasync.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o --- [ 56%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/reducedb.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o --- [ 58%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/clausedumper.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o --- [ 60%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/bva.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/bva.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/bva.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o --- [ 62%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/intree.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/intree.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/intree.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o --- [ 64%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/features_calc.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o --- [ 66%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/features_to_reconf.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o --- [ 68%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/solvefeatures.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o --- [ 70%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/searchstats.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o --- [ 72%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/xorfinder.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o --- [ 75%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/cryptominisat_c.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o --- [ 77%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o -c /construction/math/cryptominisat/.build/cmsat5-src/GitSHA1.cpp --- cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o --- [ 79%] Building CXX object cmsat5-src/CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -Dlibcryptominisat5_EXPORTS -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -fPIC -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/cryptominisat.cpp --- lib/libcryptominisat5.so.5.6 --- [ 81%] Linking CXX shared library ../lib/libcryptominisat5.so cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libcryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.6 -o ../lib/libcryptominisat5.so.5.6 CMakeFiles/libcryptominisat5.dir/cnf.cpp.o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/libcryptominisat5.dir/prober.cpp.o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o CMakeFiles/libcryptominisat5.dir/solver.cpp.o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o CMakeFiles/libcryptominisat5.dir/bva.cpp.o CMakeFiles/libcryptominisat5.dir/intree.cpp.o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so.5.6 ../lib/libcryptominisat5.so [ 83%] Built target libcryptominisat5 --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all --- --- 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/cryptominisat5_simple.dir/all --- /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/depend --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all --- --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend --- --- 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.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/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/cryptominisat5_simple.dir/all --- cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake Scanning dependencies of target cryptominisat5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o --- [ 85%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/main_simple.cpp --- 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/main.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o --- [ 87%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main.cpp.o cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/main.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/main.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- [ 91%] Building CXX object cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- cmsat5-src/CMakeFiles/cryptominisat5.dir/signalcode.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/signalcode.cpp --- cmsat5-src/CMakeFiles/cryptominisat5.dir/main_exe.cpp.o --- cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/bin/c++ -DNDEBUG -DUSE_ZLIB -D_FORTIFY_SOURCE=0 -I/construction/math/cryptominisat/cryptominisat-5.6.1 -I/construction/math/cryptominisat/.build/cmsat5-src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -g -pthread -O2 -g0 -mtune=native -fPIC -std=gnu++11 -o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o -c /construction/math/cryptominisat/cryptominisat-5.6.1/src/main_exe.cpp --- cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/all --- --- cryptominisat5_simple --- [ 93%] Linking CXX executable ../cryptominisat5_simple cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5_simple.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -o ../cryptominisat5_simple -Wl,-rpath,/construction/math/cryptominisat/.build/lib ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so -pthread [ 95%] Built target cryptominisat5_simple --- cmsat5-src/CMakeFiles/cryptominisat5.dir/all --- --- cryptominisat5 --- [ 97%] Linking CXX executable ../cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/cryptominisat5.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5.dir/main.cpp.o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -o ../cryptominisat5 -Wl,-rpath,/construction/math/cryptominisat/.build/lib:/usr/local/lib ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/local/lib/libboost_program_options.so -pthread [100%] Built target cryptominisat5 /usr/local/bin/cmake -E cmake_progress_start /construction/math/cryptominisat/.build/CMakeFiles 0 -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for cryptominisat-5.6.1 ===> Generating temporary packing list /usr/local/bin/cmake -H/construction/math/cryptominisat/cryptominisat-5.6.1 -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/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/libcryptominisat5.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.dir/build [ 83%] Built target libcryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/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 [ 93%] Built target cryptominisat5 /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build [100%] Built target cryptominisat5_simple /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/depend cd /construction/math/cryptominisat/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/cryptominisat/cryptominisat-5.6.1 /construction/math/cryptominisat/cryptominisat-5.6.1/src /construction/math/cryptominisat/.build /construction/math/cryptominisat/.build/cmsat5-src /construction/math/cryptominisat/.build/cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/DependInfo.cmake /usr/bin/make -f cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build.make cmsat5-src/CMakeFiles/CopyPublicHeaders.dir/build cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat_c.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat_c.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/cryptominisat_c.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ cryptominisat.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying cryptominisat.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/cryptominisat.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ solvertypesmini.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying solvertypesmini.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/.build/cmsat5-src/cryptominisat5/solvertypesmini.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ dimacsparser.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying dimacsparser.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.1/src/dimacsparser.h /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E make_directory /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E echo Copying\ streambuffer.h\ to\ /construction/math/cryptominisat/.build/include/cryptominisat5 Copying streambuffer.h to /construction/math/cryptominisat/.build/include/cryptominisat5 cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E copy_if_different /construction/math/cryptominisat/cryptominisat-5.6.1/src/streambuffer.h /construction/math/cryptominisat/.build/include/cryptominisat5 [100%] Built target CopyPublicHeaders /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 executable CMakeFiles/CMakeRelink.dir/cryptominisat5 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++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5.dir/main.cpp.o CMakeFiles/cryptominisat5.dir/main_exe.cpp.o CMakeFiles/cryptominisat5.dir/signalcode.cpp.o -o CMakeFiles/CMakeRelink.dir/cryptominisat5 -Wl,-rpath,/usr/local/lib ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so /usr/local/lib/libboost_program_options.so -pthread /usr/bin/make -f cmsat5-src/CMakeFiles/cryptominisat5_simple.dir/build.make cmsat5-src/CMakeFiles/cryptominisat5_simple.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.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -O2 CMakeFiles/cryptominisat5_simple.dir/main_simple.cpp.o -o CMakeFiles/CMakeRelink.dir/cryptominisat5_simple ../lib/libcryptominisat5.so.5.6 /usr/lib/libz.so -pthread /usr/bin/make -f cmsat5-src/CMakeFiles/libcryptominisat5.dir/build.make cmsat5-src/CMakeFiles/libcryptominisat5.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/libcryptominisat5.dir/relink.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -fno-stack-protector -Wlogical-op -Wdouble-promotion -Wshadow -Wformat=2 -pedantic -pipe -O2 -fno-strict-aliasing -O2 -shared -Wl,-soname,libcryptominisat5.so.5.6 -o CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.6 CMakeFiles/libcryptominisat5.dir/cnf.cpp.o CMakeFiles/libcryptominisat5.dir/propengine.cpp.o CMakeFiles/libcryptominisat5.dir/varreplacer.cpp.o CMakeFiles/libcryptominisat5.dir/clausecleaner.cpp.o CMakeFiles/libcryptominisat5.dir/clauseusagestats.cpp.o CMakeFiles/libcryptominisat5.dir/prober.cpp.o CMakeFiles/libcryptominisat5.dir/occsimplifier.cpp.o CMakeFiles/libcryptominisat5.dir/subsumestrengthen.cpp.o CMakeFiles/libcryptominisat5.dir/clauseallocator.cpp.o CMakeFiles/libcryptominisat5.dir/sccfinder.cpp.o CMakeFiles/libcryptominisat5.dir/solverconf.cpp.o CMakeFiles/libcryptominisat5.dir/distillerlong.cpp.o CMakeFiles/libcryptominisat5.dir/distillerlongwithimpl.cpp.o CMakeFiles/libcryptominisat5.dir/str_impl_w_impl_stamp.cpp.o CMakeFiles/libcryptominisat5.dir/solutionextender.cpp.o CMakeFiles/libcryptominisat5.dir/completedetachreattacher.cpp.o CMakeFiles/libcryptominisat5.dir/searcher.cpp.o CMakeFiles/libcryptominisat5.dir/solver.cpp.o CMakeFiles/libcryptominisat5.dir/sqlstats.cpp.o CMakeFiles/libcryptominisat5.dir/implcache.cpp.o CMakeFiles/libcryptominisat5.dir/stamp.cpp.o CMakeFiles/libcryptominisat5.dir/compfinder.cpp.o CMakeFiles/libcryptominisat5.dir/comphandler.cpp.o CMakeFiles/libcryptominisat5.dir/hyperengine.cpp.o CMakeFiles/libcryptominisat5.dir/subsumeimplicit.cpp.o CMakeFiles/libcryptominisat5.dir/datasync.cpp.o CMakeFiles/libcryptominisat5.dir/reducedb.cpp.o CMakeFiles/libcryptominisat5.dir/clausedumper.cpp.o CMakeFiles/libcryptominisat5.dir/bva.cpp.o CMakeFiles/libcryptominisat5.dir/intree.cpp.o CMakeFiles/libcryptominisat5.dir/features_calc.cpp.o CMakeFiles/libcryptominisat5.dir/features_to_reconf.cpp.o CMakeFiles/libcryptominisat5.dir/solvefeatures.cpp.o CMakeFiles/libcryptominisat5.dir/searchstats.cpp.o CMakeFiles/libcryptominisat5.dir/xorfinder.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat_c.cpp.o CMakeFiles/libcryptominisat5.dir/GitSHA1.cpp.o CMakeFiles/libcryptominisat5.dir/cryptominisat.cpp.o -pthread cd /construction/math/cryptominisat/.build/cmsat5-src && /usr/local/bin/cmake -E cmake_symlink_library CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.6 CMakeFiles/CMakeRelink.dir/libcryptominisat5.so.5.6 CMakeFiles/CMakeRelink.dir/libcryptominisat5.so Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Config.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/cmake/cryptominisat5/cryptominisat5Targets-release.cmake -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so.5.6 -- Installing: /construction/math/cryptominisat/stage/usr/local/lib/libcryptominisat5.so -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat_c.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/cryptominisat.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/solvertypesmini.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/dimacsparser.h -- Installing: /construction/math/cryptominisat/stage/usr/local/include/cryptominisat5/streambuffer.h -- Installing: /construction/math/cryptominisat/stage/usr/local/bin/cryptominisat5_simple -- Installing: /construction/math/cryptominisat/stage/usr/local/bin/cryptominisat5 ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for cryptominisat-5.6.1 file sizes/checksums [16]: . done packing files [16]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Friday, 20 JUL 2018 at 13:36:58 UTC Duration: 00:02:34