=> Building math/boolector Started : Thursday, 25 JUL 2019 at 22:53:02 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.83.g49866-DEVELOPMENT #40: Sun Jun 30 03:00:04 PDT 2019 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.6-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.6-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/boolector XDG_CONFIG_HOME=/construction/math/boolector HOME=/construction/math/boolector TMPDIR="/tmp" PATH=/construction/math/boolector/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/boolector XDG_CONFIG_HOME=/construction/math/boolector HOME=/construction/math/boolector TMPDIR="/tmp" PATH=/construction/math/boolector/.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=gcc80 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/boolector/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- CMAKE_BUILD_TYPE="release" OSREL=5.6 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/boolector" EXAMPLESDIR="share/examples/boolector" DATADIR="share/boolector" WWWDIR="www/boolector" ETCDIR="etc/boolector" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/boolector DOCSDIR=/usr/local/share/doc/boolector EXAMPLESDIR=/usr/local/share/examples/boolector WWWDIR=/usr/local/www/boolector ETCDIR=/usr/local/etc/boolector -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-5.6 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.28.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500601 OSVERSION=9999999 OSREL=5.6 _OSRELEASE=5.6-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License MIT accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> boolector-3.0.0.239 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.11.1.txz Installing pkg-1.11.1... Extracting pkg-1.11.1: .......... done ===> boolector-3.0.0.239 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of boolector-3.0.0.239 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by boolector-3.0.0.239 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by boolector-3.0.0.239 for building => SHA256 Checksum OK for Boolector-boolector-3.0.0-239-g0b4b8540_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by boolector-3.0.0.239 for building ===> Extracting for boolector-3.0.0.239 => SHA256 Checksum OK for Boolector-boolector-3.0.0-239-g0b4b8540_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for boolector-3.0.0.239 ===> Applying ports patches for boolector-3.0.0.239 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> boolector-3.0.0.239 depends on package: picosat>0 - not found ===> Installing existing package /packages/All/picosat-965.txz Installing picosat-965... Extracting picosat-965: .......... done ===> boolector-3.0.0.239 depends on package: picosat>0 - found ===> Returning to build of boolector-3.0.0.239 ===> boolector-3.0.0.239 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.14.5.txz Installing cmake-3.14.5... `-- Installing curl-7.65.1_1... | `-- Installing ca_root_nss-3.45... | `-- Extracting ca_root_nss-3.45: ........ done | `-- Installing libnghttp2-1.39.1... | `-- Extracting libnghttp2-1.39.1: .......... done | `-- Installing libressl-2.9.2... | `-- Extracting libressl-2.9.2: .......... done `-- Extracting curl-7.65.1_1: .......... done `-- Installing expat-2.2.6_1... `-- Extracting expat-2.2.6_1: .......... done `-- Installing jsoncpp-1.8.1_6... `-- Extracting jsoncpp-1.8.1_6: .......... done `-- Installing libarchive-3.3.3_1,1... | `-- Installing liblz4-1.9.1,1... | `-- Extracting liblz4-1.9.1,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.3.3_1,1: .......... done `-- Installing libuv-1.30.1... `-- Extracting libuv-1.30.1: .......... done `-- Installing ncurses-6.1.20190525... `-- Extracting ncurses-6.1.20190525: .......... done `-- Installing rhash-1.3.5... `-- Extracting rhash-1.3.5: .......... done Extracting cmake-3.14.5: .......... done Message from ca_root_nss-3.45: ********************************* 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 *************************************************************************** ===> boolector-3.0.0.239 depends on file: /usr/local/bin/cmake - found ===> Returning to build of boolector-3.0.0.239 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> boolector-3.0.0.239 depends on shared library: libbtor2parser.so - not found ===> Installing existing package /packages/All/btor2tools-g20190418.txz Installing btor2tools-g20190418... Extracting btor2tools-g20190418: ....... done ===> boolector-3.0.0.239 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> Returning to build of boolector-3.0.0.239 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for boolector-3.0.0.239 ===> Performing out-of-source build /bin/mkdir -p /construction/math/boolector/.build -- The C compiler identification is GNU 8.3.0 -- The CXX compiler identification is GNU 8.3.0 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '/construction/math/boolector/.build/lib' -- BIN directory is '/construction/math/boolector/.build/bin' -- Performing Test HAVE_FLAG_std_gnu99 -- Performing Test HAVE_FLAG_std_gnu99 - Success -- Configuring with C flag '-std=gnu99' -- Configuring with CXX flag '-std=gnu++11' -- Performing Test HAVE_FLAG_W -- Performing Test HAVE_FLAG_W - Success -- Configuring with C flag '-W' -- Configuring with CXX flag '-W' -- Performing Test HAVE_FLAG_Wall -- Performing Test HAVE_FLAG_Wall - Success -- Configuring with C flag '-Wall' -- Configuring with CXX flag '-Wall' -- Performing Test HAVE_FLAG_Wextra -- Performing Test HAVE_FLAG_Wextra - Success -- Configuring with C flag '-Wextra' -- Configuring with CXX flag '-Wextra' -- Performing Test HAVE_FLAG_Wredundant_decls -- Performing Test HAVE_FLAG_Wredundant_decls - Success -- Configuring with C flag '-Wredundant-decls' -- Configuring with CXX flag '-Wredundant-decls' -- Building Release build -- Performing Test HAVE_FLAG_O3 -- Performing Test HAVE_FLAG_O3 - Success -- Configuring with C flag '-O3' -- Configuring with CXX flag '-O3' -- Performing Test HAVE_SIGNALS -- Performing Test HAVE_SIGNALS - Success -- Performing Test HAVE_TIME_UTILS -- Performing Test HAVE_TIME_UTILS - Success -- Found Btor2Tools: /usr/local/include -- Found Btor2Tools library: /usr/local/lib/libbtor2parser.so -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- Could NOT find Lingeling (missing: Lingeling_INCLUDE_DIR Lingeling_LIBRARIES) -- Could NOT find CaDiCaL (missing: CaDiCaL_INCLUDE_DIR CaDiCaL_LIBRARIES) -- Found PicoSAT: /usr/local/include -- Found PicoSAT library: /usr/local/lib/libpicosat.a -- Could NOT find MiniSat (missing: MiniSat_INCLUDE_DIR MiniSat_LIBRARIES) -- Could NOT find Git (missing: GIT_EXECUTABLE) -- Configuring done -- Generating done CMake Warning: Manually-specified variables were not used by the project: CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_MODULE_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS -- Build files have been written to: /construction/math/boolector/.build -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for boolector-3.0.0.239 /usr/local/bin/cmake -S/construction/math/boolector/boolector-3.0.0-239-g0b4b8540 -B/construction/math/boolector/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/boolector/.build/CMakeFiles /construction/math/boolector/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- src/CMakeFiles/boolector.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/depend --- src/CMakeFiles/boolector.dir/depend --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/boolector.dir/DependInfo.cmake Scanning dependencies of target boolector /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/build --- src/CMakeFiles/boolector.dir/aigprop.c.o --- --- src/CMakeFiles/boolector.dir/boolector.c.o --- --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- --- src/CMakeFiles/boolector.dir/btorabort.c.o --- --- src/CMakeFiles/boolector.dir/btoraig.c.o --- --- src/CMakeFiles/boolector.dir/boolector.c.o --- [ 0%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/boolector.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/boolector.c --- src/CMakeFiles/boolector.dir/aigprop.c.o --- [ 1%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/aigprop.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/aigprop.c --- src/CMakeFiles/boolector.dir/btorabort.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/btorabort.c.o --- src/CMakeFiles/boolector.dir/btoraig.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/btoraig.c.o --- src/CMakeFiles/boolector.dir/btorabort.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorabort.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorabort.c --- src/CMakeFiles/boolector.dir/btoraig.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btoraig.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btoraig.c --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/boolectormc.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/boolectormc.c --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- [ 7%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btoraigvec.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btoraigvec.c --- src/CMakeFiles/boolector.dir/btorass.c.o --- [ 9%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorass.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorass.c --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- [ 9%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorbeta.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorbeta.c --- src/CMakeFiles/boolector.dir/btorbv.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorbv.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorbv.c --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- [ 12%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorchkclone.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorchkclone.c --- src/CMakeFiles/boolector.dir/btorclone.c.o --- [ 12%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorclone.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorclone.c --- src/CMakeFiles/boolector.dir/btorcore.c.o --- [ 14%] Building C object src/CMakeFiles/boolector.dir/btorcore.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorcore.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorcore.c --- src/CMakeFiles/boolector.dir/btordbg.c.o --- [ 16%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btordbg.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btordbg.c --- src/CMakeFiles/boolector.dir/btordcr.c.o --- [ 16%] Building C object src/CMakeFiles/boolector.dir/btordcr.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btordcr.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btordcr.c --- src/CMakeFiles/boolector.dir/btorexp.c.o --- [ 18%] Building C object src/CMakeFiles/boolector.dir/btorexp.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorexp.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorexp.c --- src/CMakeFiles/boolector.dir/btormc.c.o --- [ 20%] Building C object src/CMakeFiles/boolector.dir/btormc.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btormc.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormc.c --- src/CMakeFiles/boolector.dir/btormodel.c.o --- [ 20%] Building C object src/CMakeFiles/boolector.dir/btormodel.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btormodel.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormodel.c --- src/CMakeFiles/boolector.dir/btormsg.c.o --- [ 21%] Building C object src/CMakeFiles/boolector.dir/btormsg.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btormsg.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormsg.c --- src/CMakeFiles/boolector.dir/btornode.c.o --- [ 23%] Building C object src/CMakeFiles/boolector.dir/btornode.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btornode.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btornode.c --- src/CMakeFiles/boolector.dir/btoropt.c.o --- [ 23%] Building C object src/CMakeFiles/boolector.dir/btoropt.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btoropt.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btoropt.c --- src/CMakeFiles/boolector.dir/btorparse.c.o --- [ 25%] Building C object src/CMakeFiles/boolector.dir/btorparse.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorparse.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorparse.c --- src/CMakeFiles/boolector.dir/btorprintmodel.c.o --- [ 27%] Building C object src/CMakeFiles/boolector.dir/btorprintmodel.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorprintmodel.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorprintmodel.c --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- [ 27%] Building C object src/CMakeFiles/boolector.dir/btorrewrite.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorrewrite.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorrewrite.c --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- [ 29%] Building C object src/CMakeFiles/boolector.dir/btorrwcache.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorrwcache.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorrwcache.c --- src/CMakeFiles/boolector.dir/btorsat.c.o --- [ 30%] Building C object src/CMakeFiles/boolector.dir/btorsat.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorsat.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorsat.c --- src/CMakeFiles/boolector.dir/btorslvaigprop.c.o --- [ 30%] Building C object src/CMakeFiles/boolector.dir/btorslvaigprop.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorslvaigprop.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorslvaigprop.c --- src/CMakeFiles/boolector.dir/btorslvfun.c.o --- [ 32%] Building C object src/CMakeFiles/boolector.dir/btorslvfun.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorslvfun.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorslvfun.c --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- [ 34%] Building C object src/CMakeFiles/boolector.dir/btorslvprop.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorslvprop.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorslvprop.c --- src/CMakeFiles/boolector.dir/btorslvpropsls.c.o --- [ 34%] Building C object src/CMakeFiles/boolector.dir/btorslvpropsls.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorslvpropsls.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorslvpropsls.c --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvquant.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorslvquant.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorslvquant.c --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- [ 38%] Building C object src/CMakeFiles/boolector.dir/btorslvsls.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorslvsls.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorslvsls.c --- src/CMakeFiles/boolector.dir/btorsort.c.o --- [ 38%] Building C object src/CMakeFiles/boolector.dir/btorsort.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorsort.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorsort.c --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btorsynth.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorsynth.c --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- [ 41%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/btortrapi.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btortrapi.c --- src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- [ 41%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/dumper/btordumpaig.c --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- [ 43%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/dumper/btordumpbtor.c --- src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o --- [ 45%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/dumper/btordumpsmt.c --- src/CMakeFiles/boolector.dir/normalizer/btornormquant.c.o --- [ 45%] Building C object src/CMakeFiles/boolector.dir/normalizer/btornormquant.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/normalizer/btornormquant.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/normalizer/btornormquant.c --- src/CMakeFiles/boolector.dir/normalizer/btorskolemize.c.o --- [ 47%] Building C object src/CMakeFiles/boolector.dir/normalizer/btorskolemize.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/normalizer/btorskolemize.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/normalizer/btorskolemize.c --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/parser/btorbtor.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/parser/btorbtor.c --- src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/parser/btorbtor2.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/parser/btorbtor2.c --- src/CMakeFiles/boolector.dir/parser/btorsmt.c.o --- [ 50%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/parser/btorsmt.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/parser/btorsmt.c --- src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o --- [ 52%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/parser/btorsmt2.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/parser/btorsmt2.c --- src/CMakeFiles/boolector.dir/sat/btorcadical.c.o --- [ 52%] Building C object src/CMakeFiles/boolector.dir/sat/btorcadical.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/sat/btorcadical.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/sat/btorcadical.c --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- [ 54%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/sat/btorlgl.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/sat/btorlgl.c --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- [ 56%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o cd /construction/math/boolector/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/sat/btorminisat.cc.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/sat/btorminisat.cc --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- [ 56%] Building C object src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/sat/btorpicosat.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/sat/btorpicosat.c --- src/CMakeFiles/boolector.dir/simplifier/btorack.c.o --- [ 58%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorack.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorack.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorack.c --- src/CMakeFiles/boolector.dir/simplifier/btorder.c.o --- [ 60%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorder.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorder.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorder.c --- src/CMakeFiles/boolector.dir/simplifier/btorelimapplies.c.o --- [ 60%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorelimapplies.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorelimapplies.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorelimapplies.c --- src/CMakeFiles/boolector.dir/simplifier/btorelimslices.c.o --- [ 61%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorelimslices.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorelimslices.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorelimslices.c --- src/CMakeFiles/boolector.dir/simplifier/btorextract.c.o --- [ 63%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorextract.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorextract.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorextract.c --- src/CMakeFiles/boolector.dir/simplifier/btormerge.c.o --- [ 63%] Building C object src/CMakeFiles/boolector.dir/simplifier/btormerge.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btormerge.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btormerge.c --- src/CMakeFiles/boolector.dir/simplifier/btorminiscope.c.o --- [ 65%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorminiscope.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorminiscope.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorminiscope.c --- src/CMakeFiles/boolector.dir/simplifier/btorskel.c.o --- [ 67%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorskel.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorskel.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorskel.c --- src/CMakeFiles/boolector.dir/simplifier/btorunconstrained.c.o --- [ 67%] Building C object src/CMakeFiles/boolector.dir/simplifier/btorunconstrained.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/simplifier/btorunconstrained.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/simplifier/btorunconstrained.c --- src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o --- [ 69%] Building C object src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/boolectornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o --- [ 70%] Building C object src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btoraigmap.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btoraigmap.c --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- [ 70%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashint.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btorhashint.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btorhashint.c --- src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o --- [ 72%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btorhashptr.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btorhashptr.c --- src/CMakeFiles/boolector.dir/utils/btormem.c.o --- [ 74%] Building C object src/CMakeFiles/boolector.dir/utils/btormem.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btormem.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btormem.c --- src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o --- [ 74%] Building C object src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btornodeiter.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btornodeiter.c --- src/CMakeFiles/boolector.dir/utils/btornodemap.c.o --- [ 76%] Building C object src/CMakeFiles/boolector.dir/utils/btornodemap.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btornodemap.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o --- [ 78%] Building C object src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btoroptparse.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btoroptparse.c --- src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- [ 78%] Building C object src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btorpartgen.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btorpartgen.c --- src/CMakeFiles/boolector.dir/utils/btorrng.c.o --- [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btorrng.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btorrng.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btorrng.c --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- [ 81%] Building C object src/CMakeFiles/boolector.dir/utils/btorutil.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector.dir/utils/btorutil.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/utils/btorutil.c --- lib/libboolector.a --- [ 81%] Linking CXX static library ../lib/libboolector.a cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -P CMakeFiles/boolector.dir/cmake_clean_target.cmake cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector.dir/link.txt --verbose=1 /usr/bin/ar qc ../lib/libboolector.a CMakeFiles/boolector.dir/aigprop.c.o CMakeFiles/boolector.dir/boolector.c.o CMakeFiles/boolector.dir/boolectormc.c.o CMakeFiles/boolector.dir/btorabort.c.o CMakeFiles/boolector.dir/btoraig.c.o CMakeFiles/boolector.dir/btoraigvec.c.o CMakeFiles/boolector.dir/btorass.c.o CMakeFiles/boolector.dir/btorbeta.c.o CMakeFiles/boolector.dir/btorbv.c.o CMakeFiles/boolector.dir/btorchkclone.c.o CMakeFiles/boolector.dir/btorclone.c.o CMakeFiles/boolector.dir/btorcore.c.o CMakeFiles/boolector.dir/btordbg.c.o CMakeFiles/boolector.dir/btordcr.c.o CMakeFiles/boolector.dir/btorexp.c.o CMakeFiles/boolector.dir/btormc.c.o CMakeFiles/boolector.dir/btormodel.c.o CMakeFiles/boolector.dir/btormsg.c.o CMakeFiles/boolector.dir/btornode.c.o CMakeFiles/boolector.dir/btoropt.c.o CMakeFiles/boolector.dir/btorparse.c.o CMakeFiles/boolector.dir/btorprintmodel.c.o CMakeFiles/boolector.dir/btorrewrite.c.o CMakeFiles/boolector.dir/btorrwcache.c.o CMakeFiles/boolector.dir/btorsat.c.o CMakeFiles/boolector.dir/btorslvaigprop.c.o CMakeFiles/boolector.dir/btorslvfun.c.o CMakeFiles/boolector.dir/btorslvprop.c.o CMakeFiles/boolector.dir/btorslvpropsls.c.o CMakeFiles/boolector.dir/btorslvquant.c.o CMakeFiles/boolector.dir/btorslvsls.c.o CMakeFiles/boolector.dir/btorsort.c.o CMakeFiles/boolector.dir/btorsynth.c.o CMakeFiles/boolector.dir/btortrapi.c.o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o CMakeFiles/boolector.dir/normalizer/btornormquant.c.o CMakeFiles/boolector.dir/normalizer/btorskolemize.c.o CMakeFiles/boolector.dir/parser/btorbtor.c.o CMakeFiles/boolector.dir/parser/btorbtor2.c.o CMakeFiles/boolector.dir/parser/btorsmt.c.o CMakeFiles/boolector.dir/parser/btorsmt2.c.o CMakeFiles/boolector.dir/sat/btorcadical.c.o CMakeFiles/boolector.dir/sat/btorlgl.c.o CMakeFiles/boolector.dir/sat/btorminisat.cc.o CMakeFiles/boolector.dir/sat/btorpicosat.c.o CMakeFiles/boolector.dir/simplifier/btorack.c.o CMakeFiles/boolector.dir/simplifier/btorder.c.o CMakeFiles/boolector.dir/simplifier/btorelimapplies.c.o CMakeFiles/boolector.dir/simplifier/btorelimslices.c.o CMakeFiles/boolector.dir/simplifier/btorextract.c.o CMakeFiles/boolector.dir/simplifier/btormerge.c.o CMakeFiles/boolector.dir/simplifier/btorminiscope.c.o CMakeFiles/boolector.dir/simplifier/btorskel.c.o CMakeFiles/boolector.dir/simplifier/btorunconstrained.c.o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o CMakeFiles/boolector.dir/utils/btoraigmap.c.o CMakeFiles/boolector.dir/utils/btorhashint.c.o CMakeFiles/boolector.dir/utils/btorhashptr.c.o CMakeFiles/boolector.dir/utils/btormem.c.o CMakeFiles/boolector.dir/utils/btornodeiter.c.o CMakeFiles/boolector.dir/utils/btornodemap.c.o CMakeFiles/boolector.dir/utils/btoroptparse.c.o CMakeFiles/boolector.dir/utils/btorpartgen.c.o CMakeFiles/boolector.dir/utils/btorrng.c.o CMakeFiles/boolector.dir/utils/btorutil.c.o /usr/bin/ranlib ../lib/libboolector.a [ 81%] Built target boolector --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormbt.dir/all --- --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/boolector-bin.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/depend --- src/CMakeFiles/btormc.dir/all --- /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/depend --- src/CMakeFiles/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend --- src/CMakeFiles/btoruntrace.dir/all --- /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/depend --- src/CMakeFiles/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/depend --- --- src/CMakeFiles/btormbt.dir/all --- --- src/CMakeFiles/btormbt.dir/depend --- --- src/CMakeFiles/boolector-bin.dir/all --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/boolector-bin.dir/DependInfo.cmake --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormc.dir/depend --- --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/depend --- --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btoruntrace.dir/depend --- --- src/CMakeFiles/btormc.dir/all --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btormc.dir/DependInfo.cmake --- src/CMakeFiles/btorimc.dir/all --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btorimc.dir/DependInfo.cmake --- src/CMakeFiles/btormbt.dir/all --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btormbt.dir/DependInfo.cmake --- src/CMakeFiles/btoruntrace.dir/all --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake --- src/CMakeFiles/btormc.dir/all --- Scanning dependencies of target btormc --- src/CMakeFiles/btoruntrace.dir/all --- Scanning dependencies of target btoruntrace /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build --- src/CMakeFiles/btormc.dir/all --- /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build --- src/CMakeFiles/btorimc.dir/all --- Scanning dependencies of target btorimc --- src/CMakeFiles/boolector-bin.dir/all --- Scanning dependencies of target boolector-bin --- src/CMakeFiles/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build --- src/CMakeFiles/boolector-bin.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/build --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o --- --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormc.dir/btormcmain.c.o --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- --- src/CMakeFiles/btorimc.dir/all --- [ 83%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o cd /construction/math/boolector/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/btorimc.dir/btoribv.cc.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btoribv.cc --- src/CMakeFiles/boolector-bin.dir/all --- [ 87%] Building C object src/CMakeFiles/boolector-bin.dir/boolectormain.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector-bin.dir/boolectormain.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/boolectormain.c --- src/CMakeFiles/btormc.dir/all --- [ 85%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/btormc.dir/btormcmain.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormcmain.c --- src/CMakeFiles/btoruntrace.dir/all --- [ 89%] Building C object src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/btoruntrace.dir/btoruntrace.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btoruntrace.c --- src/CMakeFiles/btormbt.dir/all --- Scanning dependencies of target btormbt /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build --- src/CMakeFiles/btormbt.dir/btormbt.c.o --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/btormain.c.o --- --- src/CMakeFiles/btormbt.dir/all --- [ 90%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/btormbt.dir/btormbt.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormbt.c --- src/CMakeFiles/boolector-bin.dir/all --- [ 92%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/boolector-bin.dir/btormain.c.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormain.c --- src/CMakeFiles/btormbt.dir/all --- /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormbt.c: In function 'btormbt_print_stats': /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormbt.c:1210:7: warning: iteration 67 invokes undefined behavior [-Waggressive-loop-optimizations] btormbt_msg (" %u %s", g_btormbtstats->num_ops[i], g_op2str[i]); ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btormbt.c:1209:5: note: within this loop for (i = 0; i < BTORMBT_NUM_OPS; i++) ^~~ --- src/CMakeFiles/btormc.dir/all --- --- bin/btormc --- [ 94%] Linking CXX executable ../bin/btormc cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btormc.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btormc.dir/btormcmain.c.o -o ../bin/btormc -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libboolector.a /usr/local/lib/libbtor2parser.so -pthread /usr/local/lib/libpicosat.a [ 94%] Built target btormc --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- [ 94%] Building CXX object src/CMakeFiles/btorimc.dir/btorimc.cc.o cd /construction/math/boolector/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src -I/construction/math/boolector/.build/src -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -o CMakeFiles/btorimc.dir/btorimc.cc.o -c /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src/btorimc.cc --- src/CMakeFiles/boolector-bin.dir/all --- --- bin/boolector --- [ 94%] Linking CXX executable ../bin/boolector cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector-bin.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -static -Wl,--no-export-dynamic CMakeFiles/boolector-bin.dir/boolectormain.c.o CMakeFiles/boolector-bin.dir/btormain.c.o -o ../bin/boolector -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libboolector.a -pthread -Wl,-Bdynamic /usr/local/lib/libbtor2parser.so -Wl,-Bstatic /usr/local/lib/libpicosat.a [ 96%] Built target boolector-bin --- src/CMakeFiles/btoruntrace.dir/all --- --- bin/btoruntrace --- [ 98%] Linking CXX executable ../bin/btoruntrace cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btoruntrace.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btoruntrace.dir/btoruntrace.c.o -o ../bin/btoruntrace -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libboolector.a -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libpicosat.a [ 98%] Built target btoruntrace --- src/CMakeFiles/btormbt.dir/all --- --- bin/btormbt --- [ 98%] Linking CXX executable ../bin/btormbt cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btormbt.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btormbt.dir/btormbt.c.o -o ../bin/btormbt -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libboolector.a -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libpicosat.a [ 98%] Built target btormbt --- src/CMakeFiles/btorimc.dir/all --- --- bin/btorimc --- [100%] Linking CXX executable ../bin/btorimc cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btorimc.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btorimc.dir/btoribv.cc.o CMakeFiles/btorimc.dir/btorimc.cc.o -o ../bin/btorimc -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libboolector.a -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libpicosat.a [100%] Built target btorimc /usr/local/bin/cmake -E cmake_progress_start /construction/math/boolector/.build/CMakeFiles 0 -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for boolector-3.0.0.239 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/boolector/boolector-3.0.0-239-g0b4b8540 -B/construction/math/boolector/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/boolector/.build/CMakeFiles /construction/math/boolector/.build/CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/depend cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/boolector.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/build [ 81%] Built target boolector /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/depend cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/boolector-bin.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/build [ 87%] Built target boolector-bin /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/depend cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btormc.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build [ 90%] Built target btormc /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btormbt.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build [ 92%] Built target btormbt /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/depend cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build [ 96%] Built target btoruntrace /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.0.0-239-g0b4b8540 /construction/math/boolector/boolector-3.0.0-239-g0b4b8540/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btorimc.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build [100%] Built target btorimc /usr/local/bin/cmake -E cmake_progress_start /construction/math/boolector/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/boolector cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector-bin.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -static -Wl,--no-export-dynamic CMakeFiles/boolector-bin.dir/boolectormain.c.o CMakeFiles/boolector-bin.dir/btormain.c.o -o CMakeFiles/CMakeRelink.dir/boolector -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libboolector.a -pthread -Wl,-Bdynamic /usr/local/lib/libbtor2parser.so -Wl,-Bstatic /usr/local/lib/libpicosat.a /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/btormc cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btormc.dir/relink.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btormc.dir/btormcmain.c.o -o CMakeFiles/CMakeRelink.dir/btormc -Wl,-z,origin,-rpath,/usr/local/lib ../lib/libboolector.a /usr/local/lib/libbtor2parser.so -pthread /usr/local/lib/libpicosat.a Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/boolector/stage/usr/local/lib/cmake/Boolector/BoolectorConfig.cmake -- Installing: /construction/math/boolector/stage/usr/local/lib/cmake/Boolector/BoolectorConfigVersion.cmake -- Installing: /construction/math/boolector/stage/usr/local/lib/libboolector.a -- Installing: /construction/math/boolector/stage/usr/local/lib/cmake/Boolector/BoolectorTargets.cmake -- Installing: /construction/math/boolector/stage/usr/local/lib/cmake/Boolector/BoolectorTargets-release.cmake -- Installing: /construction/math/boolector/stage/usr/local/include/boolector/boolector.h -- Installing: /construction/math/boolector/stage/usr/local/include/boolector/btortypes.h -- Installing: /construction/math/boolector/stage/usr/local/bin/boolector -- Installing: /construction/math/boolector/stage/usr/local/bin/btormc ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for boolector-3.0.0.239 file sizes/checksums [12]: . done packing files [12]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 25 JUL 2019 at 22:53:45 UTC Duration: 00:00:42