------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/cadical-1.0.3_1.txz Installing /packages/All/libnghttp2-1.40.0.txz Installing /packages/All/ca_root_nss-3.51.txz ===== Message from ca_root_nss-3.51: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/openssl-1.1.1d,1.txz Installing /packages/All/curl-7.68.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/jsoncpp-1.9.2.txz Installing /packages/All/libuv-1.35.0.txz Installing /packages/All/rhash-1.3.5.txz Installing /packages/All/liblz4-1.9.2_1,1.txz Installing /packages/All/lzo2-2.10_1.txz Installing /packages/All/libarchive-3.4.2,1.txz Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/cmake-3.16.5.txz Installing /packages/All/btor2tools-g20190418.txz Installing /packages/All/minisat-2.2.1_2.txz Installing /packages/All/picosat-965.txz SUCCEEDED 00:00:08 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by boolector-3.2.0 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by boolector-3.2.0 for building => SHA256 Checksum OK for Boolector-boolector-3.2.0_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on file: /usr/local/sbin/pkg - found ===> 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. Extracted Memory Use: 20.00M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for boolector-3.2.0 ===> Applying ports patches for boolector-3.2.0 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on package: cadical>0 - found ===> boolector-3.2.0 depends on file: /usr/local/bin/cmake - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> boolector-3.2.0 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> boolector-3.2.0 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> boolector-3.2.0 depends on package: cadical>0 - found ===> boolector-3.2.0 depends on file: /usr/local/bin/cmake - found ===> boolector-3.2.0 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> boolector-3.2.0 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> boolector-3.2.0 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) ===> 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 SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- 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/aigprop.c.o --- [ 1%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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/btorabort.c.o --- [ 3%] Building C object 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/boolector.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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/btoraigvec.c.o --- [ 6%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o --- src/CMakeFiles/boolector.dir/btorass.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o --- src/CMakeFiles/boolector.dir/btorbv.c.o --- [ 11%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o --- 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/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/btorbeta.c.o --- [ 11%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o --- 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/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/boolectormc.c.o --- [ 11%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o --- 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/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/btoraig.c.o --- [ 11%] 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/btorchkmodel.c.o --- [ 11%] Building C object 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/btorchkfailed.c.o --- [ 13%] 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/btorclone.c.o --- [ 13%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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/btorcore.c.o --- [ 15%] Building C object src/CMakeFiles/boolector.dir/btorcore.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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/btordbg.c.o --- [ 16%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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/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 --- --- src/CMakeFiles/boolector.dir/btorproputils.c.o --- --- 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 --- --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- --- 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 --- [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvprop.c.o --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- --- 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 --- --- src/CMakeFiles/boolector.dir/btorsort.c.o --- --- 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 --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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 --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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 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 --- [ 47%] 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/parser/btorsmt2.c.o --- [ 49%] 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/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 --- [ 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 --- [ 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 --- [ 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/preprocess/btorvarsubst.c.o --- [ 64%] 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/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 --- [ 67%] Building CXX object 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 --- [ 67%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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 --- [ 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 --- [ 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 --- --- 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/btornodeiter.c.o --- [ 77%] 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/btoroptparse.c.o --- [ 77%] 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/btorpartgen.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorrng.c.o --- --- 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/btorunionfind.c.o --- --- 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/boolector-bin.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/depend --- src/CMakeFiles/btormc.dir/all --- /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/depend --- src/CMakeFiles/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend --- src/CMakeFiles/btoruntrace.dir/all --- /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/depend --- src/CMakeFiles/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend --- src/CMakeFiles/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/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/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/depend --- --- 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 --- 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 --- 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 --- --- 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/btormc.dir/btormcmain.c.o --- --- src/CMakeFiles/btorimc.dir/all --- Scanning dependencies of target btorimc --- src/CMakeFiles/btoruntrace.dir/all --- [ 86%] 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/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build --- src/CMakeFiles/btormbt.dir/all --- Scanning dependencies of target btormbt /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build --- src/CMakeFiles/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/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- --- src/CMakeFiles/boolector-bin.dir/btormain.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 --- [ 86%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o cd /construction/math/boolector/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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/btormc.dir/all --- [ 86%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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/boolector-bin.dir/all --- [ 86%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- [ 88%] 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/btormbt.dir/all --- [ 89%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o cd /construction/math/boolector/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_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 --- --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- [ 91%] 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/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/boolector-bin.dir/all --- --- bin/boolector --- [ 94%] 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 [ 96%] Built target boolector-bin --- src/CMakeFiles/btoruntrace.dir/all --- --- bin/btoruntrace --- [ 98%] 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 [ 98%] Built target btoruntrace --- 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 SUCCEEDED 00:00:42 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- 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 SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for boolector-3.2.0 file sizes/checksums [9]: 0% file sizes/checksums [9]: 100% packing files [9]: 0% packing files [9]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:02 TOTAL TIME 00:01:00