=> Building math/boolector Started : Saturday, 15 FEB 2020 at 15:00:08 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.1432.g9cd86-DEVELOPMENT #23: Thu Feb 13 14:43:04 PST 2020 root@sting.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.7-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.7-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.7 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=LiveSystem 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=15 DPORTS_BUILDER= yes DISABLE_LICENSES= yes DEFAULT_VERSIONS= ssl=openssl FORCE_PACKAGE= yes DEVELOPER= yes HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.30.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500709 OSVERSION=9999999 OSREL=5.7 _OSRELEASE=5.7-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0_1.txz Installing pkg-1.12.0_1... Extracting pkg-1.12.0_1: .......... done ===> boolector-3.2.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of boolector-3.2.0 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- => Boolector-boolector-3.2.0_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/Boolector/boolector/tar.gz/3.2.0?dummy=/Boolector-boolector-3.2.0_GH0.tar.gz fetch: https://codeload.github.com/Boolector/boolector/tar.gz/3.2.0?dummy=/Boolector-boolector-3.2.0_GH0.tar.gz: size unknown fetch: https://codeload.github.com/Boolector/boolector/tar.gz/3.2.0?dummy=/Boolector-boolector-3.2.0_GH0.tar.gz: size of remote file is not known Boolector-boolector-3.2.0_GH0.tar.gz 1521 kB 1719 kBps 00s ===> Fetching all distfiles required by boolector-3.2.0 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> Fetching all distfiles required by boolector-3.2.0 for building => SHA256 Checksum OK for Boolector-boolector-3.2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> Fetching all distfiles required by boolector-3.2.0 for building ===> Extracting for boolector-3.2.0 => SHA256 Checksum OK for Boolector-boolector-3.2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for boolector-3.2.0 ===> Applying ports patches for boolector-3.2.0 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on package: cadical>0 - not found ===> Installing existing package /packages/All/cadical-1.0.3_1.txz Installing cadical-1.0.3_1... Extracting cadical-1.0.3_1: .... done ===> boolector-3.2.0 depends on package: cadical>0 - found ===> Returning to build of boolector-3.2.0 ===> boolector-3.2.0 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.16.4.txz Installing cmake-3.16.4... `-- Installing curl-7.68.0... | `-- Installing ca_root_nss-3.50... | `-- Extracting ca_root_nss-3.50: ..... done | `-- Installing libnghttp2-1.40.0... | `-- Extracting libnghttp2-1.40.0: ....... done | `-- Installing openssl-1.1.1d,1... | `-- Extracting openssl-1.1.1d,1: .......... done `-- Extracting curl-7.68.0: .......... done `-- Installing expat-2.2.8... `-- Extracting expat-2.2.8: .......... done `-- Installing jsoncpp-1.9.2... `-- Extracting jsoncpp-1.9.2: .......... done `-- Installing libarchive-3.4.0,1... | `-- Installing liblz4-1.9.2_1,1... | `-- Extracting liblz4-1.9.2_1,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.4.0,1: .......... done `-- Installing libuv-1.34.2... `-- Extracting libuv-1.34.2: .......... 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.16.4: .......... done ===== Message from ca_root_nss-3.50: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem ===> boolector-3.2.0 depends on file: /usr/local/bin/cmake - found ===> Returning to build of boolector-3.2.0 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> boolector-3.2.0 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.2.0 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> Returning to build of boolector-3.2.0 ===> boolector-3.2.0 depends on shared library: libminisat.so - not found ===> Installing existing package /packages/All/minisat-2.2.1_2.txz Installing minisat-2.2.1_2... Extracting minisat-2.2.1_2: .......... done ===> boolector-3.2.0 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> Returning to build of boolector-3.2.0 ===> boolector-3.2.0 depends on shared library: libpicosat.so - not found ===> Installing existing package /packages/All/picosat-965.txz Installing picosat-965... Extracting picosat-965: ....... done ===> boolector-3.2.0 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) ===> Returning to build of boolector-3.2.0 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for boolector-3.2.0 ===> 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 -- Performing Test HAVE_NO_EXPORT_DYNAMIC -- Performing Test HAVE_NO_EXPORT_DYNAMIC - 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) -- Found CaDiCaL: /usr/local/include -- Found CaDiCaL library: /usr/local/lib/libcadical.a -- Could NOT find CryptoMiniSat (missing: CryptoMiniSat_INCLUDE_DIR CryptoMiniSat_LIBRARIES) -- Found PicoSAT: /usr/local/include -- Found PicoSAT library: /usr/local/lib/libpicosat.so -- Found MiniSat: /usr/local/include -- Found MiniSat library: /usr/local/lib/libminisat.so -- Could NOT find Git (missing: GIT_EXECUTABLE) -- Build type: Release -- Shared build: yes -- ASAN support: no -- UBSAN support: no -- Assertions enabled: no -- gcov support: no -- gprof support: no -- Logging support: no -- Python bindings: no -- Time statistics: no -- CaDiCaL: yes -- CryptoMiniSat: yes -- Lingeling: yes -- MiniSat: yes -- PicoSAT: yes -- GMP: no -- 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 -- Build files have been written to: /construction/math/boolector/.build -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for boolector-3.2.0 /usr/local/bin/cmake -S/construction/math/boolector/boolector-3.2.0 -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.2.0 /construction/math/boolector/boolector-3.2.0/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/btoraigvec.c.o --- --- src/CMakeFiles/boolector.dir/btorass.c.o --- --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- --- src/CMakeFiles/boolector.dir/btorbv.c.o --- --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- --- src/CMakeFiles/boolector.dir/btorchkfailed.c.o --- --- src/CMakeFiles/boolector.dir/btorclone.c.o --- --- src/CMakeFiles/boolector.dir/btorcore.c.o --- --- src/CMakeFiles/boolector.dir/btordbg.c.o --- --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o --- src/CMakeFiles/boolector.dir/aigprop.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o --- src/CMakeFiles/boolector.dir/boolector.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/boolectormc.c.o -c /construction/math/boolector/boolector-3.2.0/src/boolectormc.c --- src/CMakeFiles/boolector.dir/aigprop.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/aigprop.c.o -c /construction/math/boolector/boolector-3.2.0/src/aigprop.c --- src/CMakeFiles/boolector.dir/boolector.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/boolector.c.o -c /construction/math/boolector/boolector-3.2.0/src/boolector.c --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- [ 6%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorbeta.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorbeta.c --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btoraigvec.c.o -c /construction/math/boolector/boolector-3.2.0/src/btoraigvec.c --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- [ 6%] Building C object src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- src/CMakeFiles/boolector.dir/btorass.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o --- src/CMakeFiles/boolector.dir/btorabort.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorabort.c.o --- src/CMakeFiles/boolector.dir/btorclone.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorchkclone.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorchkclone.c --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorchkmodel.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorchkmodel.c --- src/CMakeFiles/boolector.dir/btorass.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorass.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorass.c --- src/CMakeFiles/boolector.dir/btorcore.c.o --- [ 11%] Building C object src/CMakeFiles/boolector.dir/btorcore.c.o --- src/CMakeFiles/boolector.dir/btorclone.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorclone.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorclone.c --- src/CMakeFiles/boolector.dir/btorabort.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorabort.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorabort.c --- src/CMakeFiles/boolector.dir/btorbv.c.o --- [ 15%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o --- src/CMakeFiles/boolector.dir/btordbg.c.o --- [ 15%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o --- src/CMakeFiles/boolector.dir/btorcore.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorcore.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorcore.c --- src/CMakeFiles/boolector.dir/btorbv.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorbv.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorbv.c --- src/CMakeFiles/boolector.dir/btordbg.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btordbg.c.o -c /construction/math/boolector/boolector-3.2.0/src/btordbg.c --- src/CMakeFiles/boolector.dir/btorchkfailed.c.o --- [ 16%] Building C object src/CMakeFiles/boolector.dir/btorchkfailed.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorchkfailed.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorchkfailed.c --- src/CMakeFiles/boolector.dir/btoraig.c.o --- [ 16%] Building C object src/CMakeFiles/boolector.dir/btoraig.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btoraig.c.o -c /construction/math/boolector/boolector-3.2.0/src/btoraig.c --- src/CMakeFiles/boolector.dir/btordcr.c.o --- --- src/CMakeFiles/boolector.dir/btorexp.c.o --- --- 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btordcr.c.o -c /construction/math/boolector/boolector-3.2.0/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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorexp.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorexp.c --- src/CMakeFiles/boolector.dir/btorlsutils.c.o --- [ 18%] Building C object src/CMakeFiles/boolector.dir/btorlsutils.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorlsutils.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorlsutils.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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btormc.c.o -c /construction/math/boolector/boolector-3.2.0/src/btormc.c --- src/CMakeFiles/boolector.dir/btormodel.c.o --- [ 22%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btormodel.c.o -c /construction/math/boolector/boolector-3.2.0/src/btormodel.c --- src/CMakeFiles/boolector.dir/btormsg.c.o --- --- src/CMakeFiles/boolector.dir/btornode.c.o --- --- src/CMakeFiles/boolector.dir/btormsg.c.o --- [ 22%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btormsg.c.o -c /construction/math/boolector/boolector-3.2.0/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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btornode.c.o -c /construction/math/boolector/boolector-3.2.0/src/btornode.c --- src/CMakeFiles/boolector.dir/btoropt.c.o --- [ 25%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btoropt.c.o -c /construction/math/boolector/boolector-3.2.0/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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorparse.c.o -c /construction/math/boolector/boolector-3.2.0/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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorprintmodel.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorprintmodel.c --- src/CMakeFiles/boolector.dir/btorproputils.c.o --- [ 27%] Building C object src/CMakeFiles/boolector.dir/btorproputils.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorproputils.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorproputils.c --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- [ 28%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorrewrite.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorrewrite.c --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- [ 30%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorrwcache.c.o -c /construction/math/boolector/boolector-3.2.0/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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorsat.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorsat.c --- src/CMakeFiles/boolector.dir/btorslsutils.c.o --- [ 32%] Building C object src/CMakeFiles/boolector.dir/btorslsutils.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorslsutils.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorslsutils.c --- src/CMakeFiles/boolector.dir/btorslvaigprop.c.o --- [ 32%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorslvaigprop.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorslvaigprop.c --- src/CMakeFiles/boolector.dir/btorslvfun.c.o --- [ 33%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorslvfun.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorslvfun.c --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- [ 35%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorslvprop.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorslvprop.c --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- [ 35%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorslvquant.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorslvquant.c --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- [ 37%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorslvsls.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorslvsls.c --- src/CMakeFiles/boolector.dir/btorsort.c.o --- [ 37%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorsort.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorsort.c --- src/CMakeFiles/boolector.dir/btorsubst.c.o --- [ 38%] Building C object src/CMakeFiles/boolector.dir/btorsubst.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorsubst.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorsubst.c --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btorsynth.c.o -c /construction/math/boolector/boolector-3.2.0/src/btorsynth.c --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/btortrapi.c.o -c /construction/math/boolector/boolector-3.2.0/src/btortrapi.c --- src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- [ 42%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- --- 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -c /construction/math/boolector/boolector-3.2.0/src/dumper/btordumpaig.c --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- [ 44%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -c /construction/math/boolector/boolector-3.2.0/src/dumper/btordumpbtor.c --- src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o --- [ 44%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -c /construction/math/boolector/boolector-3.2.0/src/dumper/btordumpsmt.c --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- [ 45%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/parser/btorbtor.c.o -c /construction/math/boolector/boolector-3.2.0/src/parser/btorbtor.c --- src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o --- [ 45%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/parser/btorbtor2.c.o -c /construction/math/boolector/boolector-3.2.0/src/parser/btorbtor2.c --- src/CMakeFiles/boolector.dir/parser/btorsmt.c.o --- --- src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o --- [ 47%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/parser/btorsmt2.c.o -c /construction/math/boolector/boolector-3.2.0/src/parser/btorsmt2.c --- src/CMakeFiles/boolector.dir/parser/btorsmt.c.o --- [ 49%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/parser/btorsmt.c.o -c /construction/math/boolector/boolector-3.2.0/src/parser/btorsmt.c --- src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorpputils.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorpputils.c --- src/CMakeFiles/boolector.dir/preprocess/btorack.c.o --- [ 50%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorack.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorack.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorack.c --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- [ 50%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorder.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorder.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorder.c --- src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o --- [ 52%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorelimapplies.c --- src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o --- [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorelimslices.c --- src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o --- [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorembed.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorembed.c --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- [ 55%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorextract.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorextract.c --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btormerge.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btormerge.c --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorminiscope.c --- src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o --- [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btornormadd.c --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btornormquant.c --- src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o --- [ 61%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorpreprocess.c --- src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- [ 62%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorskel.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorskel.c --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- [ 62%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorskolemize.c --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o --- [ 62%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorvarsubst.c --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o -c /construction/math/boolector/boolector-3.2.0/src/preprocess/btorunconstrained.c --- src/CMakeFiles/boolector.dir/sat/btorcadical.c.o --- [ 66%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/sat/btorcadical.c.o -c /construction/math/boolector/boolector-3.2.0/src/sat/btorcadical.c --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- [ 67%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- [ 67%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- cd /construction/math/boolector/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/sat/btorcms.cc.o -c /construction/math/boolector/boolector-3.2.0/src/sat/btorcms.cc --- 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/sat/btorlgl.c.o -c /construction/math/boolector/boolector-3.2.0/src/sat/btorlgl.c --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- [ 69%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/sat/btorminisat.cc.o -c /construction/math/boolector/boolector-3.2.0/src/sat/btorminisat.cc --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- [ 71%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/sat/btorpicosat.c.o -c /construction/math/boolector/boolector-3.2.0/src/sat/btorpicosat.c --- src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o --- [ 71%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/boolectornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o --- [ 72%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btoraigmap.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btoraigmap.c --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- [ 72%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btorhashint.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btorhashint.c --- src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o --- [ 74%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btorhashptr.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btorhashptr.c --- src/CMakeFiles/boolector.dir/utils/btormem.c.o --- [ 76%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btormem.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btormem.c --- src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o --- [ 76%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btornodeiter.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btornodeiter.c --- src/CMakeFiles/boolector.dir/utils/btornodemap.c.o --- --- src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- --- src/CMakeFiles/boolector.dir/utils/btornodemap.c.o --- [ 77%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btornodemap.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btornodemap.c --- src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- [ 79%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btorpartgen.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btorpartgen.c --- src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o --- [ 79%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btoroptparse.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btoroptparse.c --- src/CMakeFiles/boolector.dir/utils/btorrng.c.o --- [ 81%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btorrng.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btorrng.c --- src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- [ 81%] Building C object src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btorunionfind.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btorunionfind.c --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- [ 83%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.0/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 -fPIC -o CMakeFiles/boolector.dir/utils/btorutil.c.o -c /construction/math/boolector/boolector-3.2.0/src/utils/btorutil.c --- lib/libboolector.so --- [ 83%] Linking CXX shared library ../lib/libboolector.so cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -shared -Wl,-soname,libboolector.so -o ../lib/libboolector.so 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/btorchkmodel.c.o CMakeFiles/boolector.dir/btorchkfailed.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/btorlsutils.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/btorproputils.c.o CMakeFiles/boolector.dir/btorrewrite.c.o CMakeFiles/boolector.dir/btorrwcache.c.o CMakeFiles/boolector.dir/btorsat.c.o CMakeFiles/boolector.dir/btorslsutils.c.o CMakeFiles/boolector.dir/btorslvaigprop.c.o CMakeFiles/boolector.dir/btorslvfun.c.o CMakeFiles/boolector.dir/btorslvprop.c.o CMakeFiles/boolector.dir/btorslvquant.c.o CMakeFiles/boolector.dir/btorslvsls.c.o CMakeFiles/boolector.dir/btorsort.c.o CMakeFiles/boolector.dir/btorsubst.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/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/preprocess/btorpputils.c.o CMakeFiles/boolector.dir/preprocess/btorack.c.o CMakeFiles/boolector.dir/preprocess/btorder.c.o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o CMakeFiles/boolector.dir/preprocess/btorembed.c.o CMakeFiles/boolector.dir/preprocess/btorextract.c.o CMakeFiles/boolector.dir/preprocess/btormerge.c.o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o CMakeFiles/boolector.dir/preprocess/btorskel.c.o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o CMakeFiles/boolector.dir/sat/btorcadical.c.o CMakeFiles/boolector.dir/sat/btorcms.cc.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/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/btorunionfind.c.o CMakeFiles/boolector.dir/utils/btorutil.c.o -Wl,-z,origin,-rpath,/usr/local/lib -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 84%] 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/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend --- 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/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/btormbt.dir/all --- --- src/CMakeFiles/btormbt.dir/depend --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/depend --- --- src/CMakeFiles/btormbt.dir/all --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.2.0 /construction/math/boolector/boolector-3.2.0/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btormbt.dir/DependInfo.cmake --- 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.2.0 /construction/math/boolector/boolector-3.2.0/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 --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.2.0 /construction/math/boolector/boolector-3.2.0/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 --- --- src/CMakeFiles/btorimc.dir/depend --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.2.0 /construction/math/boolector/boolector-3.2.0/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btorimc.dir/DependInfo.cmake --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btoruntrace.dir/depend --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.2.0 /construction/math/boolector/boolector-3.2.0/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake --- src/CMakeFiles/boolector-bin.dir/all --- Scanning dependencies of target boolector-bin /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/build --- src/CMakeFiles/btormc.dir/all --- Scanning dependencies of target btormc /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build --- src/CMakeFiles/btormbt.dir/all --- Scanning dependencies of target btormbt --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- --- src/CMakeFiles/boolector-bin.dir/btormain.c.o --- --- src/CMakeFiles/btorimc.dir/all --- Scanning dependencies of target btorimc --- src/CMakeFiles/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build --- src/CMakeFiles/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormc.dir/btormcmain.c.o --- --- src/CMakeFiles/btormbt.dir/all --- --- src/CMakeFiles/btormbt.dir/btormbt.c.o --- --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- --- src/CMakeFiles/boolector-bin.dir/all --- [ 84%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o --- src/CMakeFiles/btormc.dir/all --- [ 84%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- [ 86%] Building C object src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.0/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.2.0/src/btormain.c --- 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.0/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.2.0/src/boolectormain.c --- src/CMakeFiles/btormc.dir/all --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.0/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.2.0/src/btormcmain.c --- src/CMakeFiles/btormbt.dir/all --- [ 88%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- [ 88%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o --- src/CMakeFiles/btormbt.dir/all --- cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.0/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.2.0/src/btormbt.c --- src/CMakeFiles/btorimc.dir/all --- cd /construction/math/boolector/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.0/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.2.0/src/btoribv.cc --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- [ 89%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.0/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.2.0/src/btorimc.cc --- 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/btoruntrace.dir/btoruntrace.c.o --- [ 91%] 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_CADICAL -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.0/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.2.0/src/btoruntrace.c --- src/CMakeFiles/btormc.dir/all --- --- bin/btormc --- [ 93%] Linking C 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/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btormc.dir/btormcmain.c.o -o ../bin/btormc -Wl,-z,origin,-rpath,/construction/math/boolector/.build/lib:/usr/local/lib ../lib/libboolector.so /usr/local/lib/libbtor2parser.so -pthread /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 93%] Built target btormc --- src/CMakeFiles/btoruntrace.dir/all --- --- bin/btoruntrace --- [ 94%] Linking C 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/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btoruntrace.dir/btoruntrace.c.o -o ../bin/btoruntrace -Wl,-z,origin,-rpath,/construction/math/boolector/.build/lib:/usr/local/lib ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 94%] Built target btoruntrace --- src/CMakeFiles/boolector-bin.dir/all --- --- bin/boolector --- [ 96%] Linking C 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/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/boolector-bin.dir/boolectormain.c.o CMakeFiles/boolector-bin.dir/btormain.c.o -o ../bin/boolector -Wl,-z,origin,-rpath,/construction/math/boolector/.build/lib:/usr/local/lib ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 98%] Built target boolector-bin --- src/CMakeFiles/btormbt.dir/all --- --- bin/btormbt --- [100%] Linking C 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/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing CMakeFiles/btormbt.dir/btormbt.c.o -o ../bin/btormbt -Wl,-z,origin,-rpath,/construction/math/boolector/.build/lib:/usr/local/lib ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [100%] 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,/construction/math/boolector/.build/lib:/usr/local/lib ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [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.2.0 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/boolector/boolector-3.2.0 -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.2.0 /construction/math/boolector/boolector-3.2.0/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 [ 84%] 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.2.0 /construction/math/boolector/boolector-3.2.0/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 [ 89%] 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.2.0 /construction/math/boolector/boolector-3.2.0/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 [ 91%] 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.2.0 /construction/math/boolector/boolector-3.2.0/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 [ 94%] 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.2.0 /construction/math/boolector/boolector-3.2.0/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 [ 98%] 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.2.0 /construction/math/boolector/boolector-3.2.0/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 C 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/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing 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.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/preinstall Linking CXX shared library CMakeFiles/CMakeRelink.dir/libboolector.so cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector.dir/relink.txt --verbose=1 /usr/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -shared -Wl,-soname,libboolector.so -o CMakeFiles/CMakeRelink.dir/libboolector.so 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/btorchkmodel.c.o CMakeFiles/boolector.dir/btorchkfailed.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/btorlsutils.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/btorproputils.c.o CMakeFiles/boolector.dir/btorrewrite.c.o CMakeFiles/boolector.dir/btorrwcache.c.o CMakeFiles/boolector.dir/btorsat.c.o CMakeFiles/boolector.dir/btorslsutils.c.o CMakeFiles/boolector.dir/btorslvaigprop.c.o CMakeFiles/boolector.dir/btorslvfun.c.o CMakeFiles/boolector.dir/btorslvprop.c.o CMakeFiles/boolector.dir/btorslvquant.c.o CMakeFiles/boolector.dir/btorslvsls.c.o CMakeFiles/boolector.dir/btorsort.c.o CMakeFiles/boolector.dir/btorsubst.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/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/preprocess/btorpputils.c.o CMakeFiles/boolector.dir/preprocess/btorack.c.o CMakeFiles/boolector.dir/preprocess/btorder.c.o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o CMakeFiles/boolector.dir/preprocess/btorembed.c.o CMakeFiles/boolector.dir/preprocess/btorextract.c.o CMakeFiles/boolector.dir/preprocess/btormerge.c.o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o CMakeFiles/boolector.dir/preprocess/btorskel.c.o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o CMakeFiles/boolector.dir/sat/btorcadical.c.o CMakeFiles/boolector.dir/sat/btorcms.cc.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/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/btorunionfind.c.o CMakeFiles/boolector.dir/utils/btorutil.c.o -Wl,-z,origin,-rpath,/usr/local/lib -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/preinstall Linking C 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/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -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.so /usr/local/lib/libbtor2parser.so -pthread /usr/local/lib/libcadical.a /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so 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.so -- 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) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for boolector-3.2.0 file sizes/checksums [9]: . done packing files [9]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Saturday, 15 FEB 2020 at 15:00:41 UTC Duration: 00:00:33