------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- PYTHON="/usr/local/bin/python3.9" XDG_DATA_HOME=/construction/math/boolector XDG_CONFIG_HOME=/construction/math/boolector XDG_CACHE_HOME=/construction/math/boolector/.cache HOME=/construction/math/boolector TMPDIR="/tmp" PATH=/construction/math/boolector/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/boolector/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/boolector XDG_CONFIG_HOME=/construction/math/boolector XDG_CACHE_HOME=/construction/math/boolector/.cache HOME=/construction/math/boolector TMPDIR="/tmp" PATH=/construction/math/boolector/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/boolector/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/boolector/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/boolector" EXAMPLESDIR="share/examples/boolector" DATADIR="share/boolector" WWWDIR="www/boolector" ETCDIR="etc/boolector" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/boolector DOCSDIR=/usr/local/share/doc/boolector EXAMPLESDIR=/usr/local/share/examples/boolector WWWDIR=/usr/local/www/boolector ETCDIR=/usr/local/etc/boolector SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/cadical-1.6.0.pkg Installing /packages/All/lingeling-g20220515.pkg Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/libuv-1.46.0.pkg Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/rhash-1.4.3.pkg Installing /packages/All/pkg-1.19.2.pkg Installing /packages/All/liblz4-1.9.4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/zstd-1.5.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libarchive-3.6.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ncurses-6.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/cmake-core-3.26.1_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ccache-3.7.12_4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. Installing /packages/All/btor2tools-g20190418.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/png-1.6.39.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/M4RI-20200125.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/icu-73.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/boost-libs-1.82.0_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from boost-libs-1.82.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. Installing /packages/All/cryptominisat-5.11.11.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/minisat-2.2.1_2.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/picosat-965.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/gmp-6.2.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required SUCCEEDED 00:00:11 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> boolector-3.2.2_2 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> boolector-3.2.2_2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by boolector-3.2.2_2 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> boolector-3.2.2_2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by boolector-3.2.2_2 for building => SHA256 Checksum OK for Boolector-boolector-3.2.2_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> boolector-3.2.2_2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by boolector-3.2.2_2 for building ===> Extracting for boolector-3.2.2_2 => SHA256 Checksum OK for Boolector-boolector-3.2.2_GH0.tar.gz. Extracted Memory Use: 20.06M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for boolector-3.2.2_2 ===> Applying ports patches for boolector-3.2.2_2 from /xports/math/boolector/files SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> boolector-3.2.2_2 depends on file: /usr/local/lib/libcadical.a - found ===> boolector-3.2.2_2 depends on file: /usr/local/lib/liblgl.a - found ===> boolector-3.2.2_2 depends on file: /usr/local/bin/cmake - found ===> boolector-3.2.2_2 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> boolector-3.2.2_2 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> boolector-3.2.2_2 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> boolector-3.2.2_2 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> boolector-3.2.2_2 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) ===> boolector-3.2.2_2 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> boolector-3.2.2_2 depends on file: /usr/local/lib/libcadical.a - found ===> boolector-3.2.2_2 depends on file: /usr/local/lib/liblgl.a - found ===> boolector-3.2.2_2 depends on file: /usr/local/bin/cmake - found ===> boolector-3.2.2_2 depends on file: /usr/local/bin/ccache - found ===> boolector-3.2.2_2 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> boolector-3.2.2_2 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> boolector-3.2.2_2 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> boolector-3.2.2_2 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) ===> boolector-3.2.2_2 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> Configuring for boolector-3.2.2_2 ===> 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 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/libexec/ccache/c++ - skipped -- 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 -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Found Threads: TRUE -- Found GMP: /usr/local/include -- Found GMP libs: /usr/local/lib/libgmp.so -- Found Lingeling: /usr/local/include -- Found Lingeling library: /usr/local/lib/liblgl.a -- Found CaDiCaL: /usr/local/include -- Found CaDiCaL library: /usr/local/lib/libcadical.a -- Found CryptoMiniSat: /usr/local/include -- Found CryptoMiniSat library: /usr/local/lib/libcryptominisat5.so -- 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: yes -- Configuring done (5.6s) -- Generating done (0.4s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_MODULE_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED Python_ADDITIONAL_VERSIONS -- Build files have been written to: /construction/math/boolector/.build SUCCEEDED 00:00:06 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for boolector-3.2.2_2 /usr/local/bin/cmake -S/construction/math/boolector/boolector-3.2.2 -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.2 /construction/math/boolector/boolector-3.2.2/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 --- src/CMakeFiles/boolector.dir/aigprop.c.o --- --- src/CMakeFiles/boolector.dir/boolector.c.o --- --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- --- src/CMakeFiles/boolector.dir/btorabort.c.o --- --- src/CMakeFiles/boolector.dir/btoraig.c.o --- --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- --- src/CMakeFiles/boolector.dir/btorass.c.o --- --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- --- src/CMakeFiles/boolector.dir/btorbv.c.o --- --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- --- src/CMakeFiles/boolector.dir/btorchkfailed.c.o --- --- src/CMakeFiles/boolector.dir/btorclone.c.o --- --- src/CMakeFiles/boolector.dir/btoraig.c.o --- [ 1%] Building C object src/CMakeFiles/boolector.dir/btoraig.c.o --- src/CMakeFiles/boolector.dir/boolector.c.o --- [ 1%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o --- src/CMakeFiles/boolector.dir/aigprop.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o --- src/CMakeFiles/boolector.dir/boolector.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/boolector.c.o -MF CMakeFiles/boolector.dir/boolector.c.o.d -o CMakeFiles/boolector.dir/boolector.c.o -c /construction/math/boolector/boolector-3.2.2/src/boolector.c --- src/CMakeFiles/boolector.dir/btoraig.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoraig.c.o -MF CMakeFiles/boolector.dir/btoraig.c.o.d -o CMakeFiles/boolector.dir/btoraig.c.o -c /construction/math/boolector/boolector-3.2.2/src/btoraig.c --- src/CMakeFiles/boolector.dir/btorabort.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btorabort.c.o --- src/CMakeFiles/boolector.dir/btorbv.c.o --- [ 6%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- [ 6%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o --- src/CMakeFiles/boolector.dir/aigprop.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/aigprop.c.o -MF CMakeFiles/boolector.dir/aigprop.c.o.d -o CMakeFiles/boolector.dir/aigprop.c.o -c /construction/math/boolector/boolector-3.2.2/src/aigprop.c --- src/CMakeFiles/boolector.dir/btorabort.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorabort.c.o -MF CMakeFiles/boolector.dir/btorabort.c.o.d -o CMakeFiles/boolector.dir/btorabort.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorabort.c --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoraigvec.c.o -MF CMakeFiles/boolector.dir/btoraigvec.c.o.d -o CMakeFiles/boolector.dir/btoraigvec.c.o -c /construction/math/boolector/boolector-3.2.2/src/btoraigvec.c --- src/CMakeFiles/boolector.dir/btorbv.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorbv.c.o -MF CMakeFiles/boolector.dir/btorbv.c.o.d -o CMakeFiles/boolector.dir/btorbv.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorbv.c --- src/CMakeFiles/boolector.dir/btorchkfailed.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorchkfailed.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkfailed.c.o -MF CMakeFiles/boolector.dir/btorchkfailed.c.o.d -o CMakeFiles/boolector.dir/btorchkfailed.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorchkfailed.c --- src/CMakeFiles/boolector.dir/btorclone.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorclone.c.o -MF CMakeFiles/boolector.dir/btorclone.c.o.d -o CMakeFiles/boolector.dir/btorclone.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorclone.c --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- [ 12%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o --- src/CMakeFiles/boolector.dir/btorass.c.o --- [ 12%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorbeta.c.o -MF CMakeFiles/boolector.dir/btorbeta.c.o.d -o CMakeFiles/boolector.dir/btorbeta.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorbeta.c --- src/CMakeFiles/boolector.dir/btorass.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorass.c.o -MF CMakeFiles/boolector.dir/btorass.c.o.d -o CMakeFiles/boolector.dir/btorass.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorass.c --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkclone.c.o -MF CMakeFiles/boolector.dir/btorchkclone.c.o.d -o CMakeFiles/boolector.dir/btorchkclone.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorchkclone.c --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- [ 13%] Building C object src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- src/CMakeFiles/boolector.dir/btorcore.c.o --- --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkmodel.c.o -MF CMakeFiles/boolector.dir/btorchkmodel.c.o.d -o CMakeFiles/boolector.dir/btorchkmodel.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorchkmodel.c --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- [ 13%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/boolectormc.c.o -MF CMakeFiles/boolector.dir/boolectormc.c.o.d -o CMakeFiles/boolector.dir/boolectormc.c.o -c /construction/math/boolector/boolector-3.2.2/src/boolectormc.c --- src/CMakeFiles/boolector.dir/btordbg.c.o --- [ 13%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btordbg.c.o -MF CMakeFiles/boolector.dir/btordbg.c.o.d -o CMakeFiles/boolector.dir/btordbg.c.o -c /construction/math/boolector/boolector-3.2.2/src/btordbg.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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorcore.c.o -MF CMakeFiles/boolector.dir/btorcore.c.o.d -o CMakeFiles/boolector.dir/btorcore.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorcore.c --- src/CMakeFiles/boolector.dir/btordcr.c.o --- [ 17%] Building C object src/CMakeFiles/boolector.dir/btordcr.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btordcr.c.o -MF CMakeFiles/boolector.dir/btordcr.c.o.d -o CMakeFiles/boolector.dir/btordcr.c.o -c /construction/math/boolector/boolector-3.2.2/src/btordcr.c --- src/CMakeFiles/boolector.dir/btorexp.c.o --- --- src/CMakeFiles/boolector.dir/btorlsutils.c.o --- --- 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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorexp.c.o -MF CMakeFiles/boolector.dir/btorexp.c.o.d -o CMakeFiles/boolector.dir/btorexp.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorlsutils.c.o -MF CMakeFiles/boolector.dir/btorlsutils.c.o.d -o CMakeFiles/boolector.dir/btorlsutils.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormc.c.o -MF CMakeFiles/boolector.dir/btormc.c.o.d -o CMakeFiles/boolector.dir/btormc.c.o -c /construction/math/boolector/boolector-3.2.2/src/btormc.c --- src/CMakeFiles/boolector.dir/btormodel.c.o --- --- src/CMakeFiles/boolector.dir/btormsg.c.o --- --- src/CMakeFiles/boolector.dir/btormodel.c.o --- [ 20%] Building C object src/CMakeFiles/boolector.dir/btormodel.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormodel.c.o -MF CMakeFiles/boolector.dir/btormodel.c.o.d -o CMakeFiles/boolector.dir/btormodel.c.o -c /construction/math/boolector/boolector-3.2.2/src/btormodel.c --- src/CMakeFiles/boolector.dir/btornode.c.o --- --- src/CMakeFiles/boolector.dir/btoropt.c.o --- --- src/CMakeFiles/boolector.dir/btorparse.c.o --- --- src/CMakeFiles/boolector.dir/btormsg.c.o --- [ 24%] Building C object src/CMakeFiles/boolector.dir/btormsg.c.o --- src/CMakeFiles/boolector.dir/btornode.c.o --- [ 24%] Building C object src/CMakeFiles/boolector.dir/btornode.c.o --- src/CMakeFiles/boolector.dir/btormsg.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormsg.c.o -MF CMakeFiles/boolector.dir/btormsg.c.o.d -o CMakeFiles/boolector.dir/btormsg.c.o -c /construction/math/boolector/boolector-3.2.2/src/btormsg.c --- src/CMakeFiles/boolector.dir/btornode.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btornode.c.o -MF CMakeFiles/boolector.dir/btornode.c.o.d -o CMakeFiles/boolector.dir/btornode.c.o -c /construction/math/boolector/boolector-3.2.2/src/btornode.c --- src/CMakeFiles/boolector.dir/btoropt.c.o --- [ 24%] Building C object src/CMakeFiles/boolector.dir/btoropt.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoropt.c.o -MF CMakeFiles/boolector.dir/btoropt.c.o.d -o CMakeFiles/boolector.dir/btoropt.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorparse.c.o -MF CMakeFiles/boolector.dir/btorparse.c.o.d -o CMakeFiles/boolector.dir/btorparse.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorprintmodel.c.o -MF CMakeFiles/boolector.dir/btorprintmodel.c.o.d -o CMakeFiles/boolector.dir/btorprintmodel.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorproputils.c.o -MF CMakeFiles/boolector.dir/btorproputils.c.o.d -o CMakeFiles/boolector.dir/btorproputils.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorproputils.c --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- [ 29%] Building C object src/CMakeFiles/boolector.dir/btorrwcache.c.o --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- [ 29%] Building C object src/CMakeFiles/boolector.dir/btorrewrite.c.o --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorrwcache.c.o -MF CMakeFiles/boolector.dir/btorrwcache.c.o.d -o CMakeFiles/boolector.dir/btorrwcache.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorrwcache.c --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorrewrite.c.o -MF CMakeFiles/boolector.dir/btorrewrite.c.o.d -o CMakeFiles/boolector.dir/btorrewrite.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorrewrite.c --- src/CMakeFiles/boolector.dir/btorsat.c.o --- [ 31%] Building C object src/CMakeFiles/boolector.dir/btorsat.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsat.c.o -MF CMakeFiles/boolector.dir/btorsat.c.o.d -o CMakeFiles/boolector.dir/btorsat.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslsutils.c.o -MF CMakeFiles/boolector.dir/btorslsutils.c.o.d -o CMakeFiles/boolector.dir/btorslsutils.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvaigprop.c.o -MF CMakeFiles/boolector.dir/btorslvaigprop.c.o.d -o CMakeFiles/boolector.dir/btorslvaigprop.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorslvaigprop.c --- src/CMakeFiles/boolector.dir/btorslvfun.c.o --- [ 34%] Building C object src/CMakeFiles/boolector.dir/btorslvfun.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvfun.c.o -MF CMakeFiles/boolector.dir/btorslvfun.c.o.d -o CMakeFiles/boolector.dir/btorslvfun.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorslvfun.c --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- [ 34%] Building C object src/CMakeFiles/boolector.dir/btorslvprop.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvprop.c.o -MF CMakeFiles/boolector.dir/btorslvprop.c.o.d -o CMakeFiles/boolector.dir/btorslvprop.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorslvprop.c --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvquant.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvquant.c.o -MF CMakeFiles/boolector.dir/btorslvquant.c.o.d -o CMakeFiles/boolector.dir/btorslvquant.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorslvquant.c --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- [ 37%] Building C object src/CMakeFiles/boolector.dir/btorslvsls.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvsls.c.o -MF CMakeFiles/boolector.dir/btorslvsls.c.o.d -o CMakeFiles/boolector.dir/btorslvsls.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorslvsls.c --- src/CMakeFiles/boolector.dir/btorsort.c.o --- --- src/CMakeFiles/boolector.dir/btorsubst.c.o --- --- src/CMakeFiles/boolector.dir/btorsort.c.o --- [ 37%] Building C object src/CMakeFiles/boolector.dir/btorsort.c.o --- src/CMakeFiles/boolector.dir/btorsubst.c.o --- [ 39%] Building C object src/CMakeFiles/boolector.dir/btorsubst.c.o --- src/CMakeFiles/boolector.dir/btorsort.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsort.c.o -MF CMakeFiles/boolector.dir/btorsort.c.o.d -o CMakeFiles/boolector.dir/btorsort.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorsort.c --- src/CMakeFiles/boolector.dir/btorsubst.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsubst.c.o -MF CMakeFiles/boolector.dir/btorsubst.c.o.d -o CMakeFiles/boolector.dir/btorsubst.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorsubst.c --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- [ 39%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsynth.c.o -MF CMakeFiles/boolector.dir/btorsynth.c.o.d -o CMakeFiles/boolector.dir/btorsynth.c.o -c /construction/math/boolector/boolector-3.2.2/src/btorsynth.c --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- --- src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- [ 41%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btortrapi.c.o -MF CMakeFiles/boolector.dir/btortrapi.c.o.d -o CMakeFiles/boolector.dir/btortrapi.c.o -c /construction/math/boolector/boolector-3.2.2/src/btortrapi.c --- src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- [ 43%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpaig.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -c /construction/math/boolector/boolector-3.2.2/src/dumper/btordumpaig.c --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- --- 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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -c /construction/math/boolector/boolector-3.2.2/src/dumper/btordumpsmt.c --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- [ 44%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- [ 44%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -c /construction/math/boolector/boolector-3.2.2/src/dumper/btordumpbtor.c --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorbtor.c.o -MF CMakeFiles/boolector.dir/parser/btorbtor.c.o.d -o CMakeFiles/boolector.dir/parser/btorbtor.c.o -c /construction/math/boolector/boolector-3.2.2/src/parser/btorbtor.c --- src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o --- [ 46%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o -MF CMakeFiles/boolector.dir/parser/btorbtor2.c.o.d -o CMakeFiles/boolector.dir/parser/btorbtor2.c.o -c /construction/math/boolector/boolector-3.2.2/src/parser/btorbtor2.c --- src/CMakeFiles/boolector.dir/parser/btorsmt.c.o --- [ 48%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorsmt.c.o -MF CMakeFiles/boolector.dir/parser/btorsmt.c.o.d -o CMakeFiles/boolector.dir/parser/btorsmt.c.o -c /construction/math/boolector/boolector-3.2.2/src/parser/btorsmt.c --- src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o --- [ 48%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o -MF CMakeFiles/boolector.dir/parser/btorsmt2.c.o.d -o CMakeFiles/boolector.dir/parser/btorsmt2.c.o -c /construction/math/boolector/boolector-3.2.2/src/parser/btorsmt2.c --- src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o --- [ 50%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o -MF CMakeFiles/boolector.dir/preprocess/btorpputils.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorpputils.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorack.c.o -MF CMakeFiles/boolector.dir/preprocess/btorack.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorack.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorack.c --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- [ 51%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorder.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorder.c.o -MF CMakeFiles/boolector.dir/preprocess/btorder.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorder.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorder.c --- src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o --- [ 53%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o -MF CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorelimapplies.c --- src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o --- [ 53%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o -MF CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorelimslices.c --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o --- [ 55%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o -MF CMakeFiles/boolector.dir/preprocess/btorembed.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorembed.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorembed.c --- 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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o -MF CMakeFiles/boolector.dir/preprocess/btorextract.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorextract.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorextract.c --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- [ 56%] Building C object src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o -MF CMakeFiles/boolector.dir/preprocess/btormerge.c.o.d -o CMakeFiles/boolector.dir/preprocess/btormerge.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btormerge.c --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- [ 58%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o -MF CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorminiscope.c --- src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o --- [ 58%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o -MF CMakeFiles/boolector.dir/preprocess/btornormadd.c.o.d -o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btornormadd.c --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- [ 58%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o -MF CMakeFiles/boolector.dir/preprocess/btorskel.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorskel.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorskel.c --- src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o --- [ 60%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o -MF CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorpreprocess.c --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- [ 62%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o -MF CMakeFiles/boolector.dir/preprocess/btornormquant.c.o.d -o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btornormquant.c --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o -MF CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorskolemize.c --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorcadical.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o --- [ 65%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o -MF CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorvarsubst.c --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- [ 65%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o -MF CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o -c /construction/math/boolector/boolector-3.2.2/src/preprocess/btorunconstrained.c --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- [ 65%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorcms.cc.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorcms.cc.o -MF CMakeFiles/boolector.dir/sat/btorcms.cc.o.d -o CMakeFiles/boolector.dir/sat/btorcms.cc.o -c /construction/math/boolector/boolector-3.2.2/src/sat/btorcms.cc --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- --- src/CMakeFiles/boolector.dir/sat/btorcadical.c.o --- [ 67%] Building C object src/CMakeFiles/boolector.dir/sat/btorcadical.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorcadical.c.o -MF CMakeFiles/boolector.dir/sat/btorcadical.c.o.d -o CMakeFiles/boolector.dir/sat/btorcadical.c.o -c /construction/math/boolector/boolector-3.2.2/src/sat/btorcadical.c --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- [ 68%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorlgl.c.o -MF CMakeFiles/boolector.dir/sat/btorlgl.c.o.d -o CMakeFiles/boolector.dir/sat/btorlgl.c.o -c /construction/math/boolector/boolector-3.2.2/src/sat/btorlgl.c --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- [ 68%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o -MF CMakeFiles/boolector.dir/sat/btorminisat.cc.o.d -o CMakeFiles/boolector.dir/sat/btorminisat.cc.o -c /construction/math/boolector/boolector-3.2.2/src/sat/btorminisat.cc --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- --- src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- [ 70%] Building C object src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o -MF CMakeFiles/boolector.dir/sat/btorpicosat.c.o.d -o CMakeFiles/boolector.dir/sat/btorpicosat.c.o -c /construction/math/boolector/boolector-3.2.2/src/sat/btorpicosat.c --- src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o --- [ 72%] Building C object src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -MF CMakeFiles/boolector.dir/utils/boolectornodemap.c.o.d -o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o -MF CMakeFiles/boolector.dir/utils/btoraigmap.c.o.d -o CMakeFiles/boolector.dir/utils/btoraigmap.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btoraigmap.c --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- [ 74%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashint.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorhashint.c.o -MF CMakeFiles/boolector.dir/utils/btorhashint.c.o.d -o CMakeFiles/boolector.dir/utils/btorhashint.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o -MF CMakeFiles/boolector.dir/utils/btorhashptr.c.o.d -o CMakeFiles/boolector.dir/utils/btorhashptr.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btorhashptr.c --- src/CMakeFiles/boolector.dir/utils/btormem.c.o --- [ 75%] Building C object src/CMakeFiles/boolector.dir/utils/btormem.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btormem.c.o -MF CMakeFiles/boolector.dir/utils/btormem.c.o.d -o CMakeFiles/boolector.dir/utils/btormem.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btormem.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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o -MF CMakeFiles/boolector.dir/utils/btornodeiter.c.o.d -o CMakeFiles/boolector.dir/utils/btornodeiter.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btornodeiter.c --- 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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btornodemap.c.o -MF CMakeFiles/boolector.dir/utils/btornodemap.c.o.d -o CMakeFiles/boolector.dir/utils/btornodemap.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o --- [ 79%] Building C object src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o -MF CMakeFiles/boolector.dir/utils/btoroptparse.c.o.d -o CMakeFiles/boolector.dir/utils/btoroptparse.c.o -c /construction/math/boolector/boolector-3.2.2/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/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o -MF CMakeFiles/boolector.dir/utils/btorpartgen.c.o.d -o CMakeFiles/boolector.dir/utils/btorpartgen.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btorpartgen.c --- src/CMakeFiles/boolector.dir/utils/btorrng.c.o --- [ 81%] Building C object src/CMakeFiles/boolector.dir/utils/btorrng.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorrng.c.o -MF CMakeFiles/boolector.dir/utils/btorrng.c.o.d -o CMakeFiles/boolector.dir/utils/btorrng.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btorrng.c --- src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o -MF CMakeFiles/boolector.dir/utils/btorunionfind.c.o.d -o CMakeFiles/boolector.dir/utils/btorunionfind.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btorunionfind.c --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btorutil.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorutil.c.o -MF CMakeFiles/boolector.dir/utils/btorutil.c.o.d -o CMakeFiles/boolector.dir/utils/btorutil.c.o -c /construction/math/boolector/boolector-3.2.2/src/utils/btorutil.c --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- /construction/math/boolector/boolector-3.2.2/src/sat/btorcms.cc: In member function 'int32_t BtorCMS::deref(int32_t)': /construction/math/boolector/boolector-3.2.2/src/sat/btorcms.cc:145:14: warning: unused variable 'v' [-Wunused-variable] uint32_t v = l.var (); ^ --- lib/libboolector.so --- [ 84%] 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/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG -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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /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/boolector-bin.dir/all --- --- 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.2 /construction/math/boolector/boolector-3.2.2/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/boolector-bin.dir/DependInfo.cmake --- src/CMakeFiles/btormbt.dir/all --- --- 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.2 /construction/math/boolector/boolector-3.2.2/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btormbt.dir/DependInfo.cmake --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/depend --- --- 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.2 /construction/math/boolector/boolector-3.2.2/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormc.dir/depend --- --- 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.2 /construction/math/boolector/boolector-3.2.2/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btorimc.dir/DependInfo.cmake --- src/CMakeFiles/boolector-bin.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/build --- src/CMakeFiles/btormc.dir/all --- cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.2.2 /construction/math/boolector/boolector-3.2.2/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btormc.dir/DependInfo.cmake --- src/CMakeFiles/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build --- src/CMakeFiles/btoruntrace.dir/all --- /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build --- 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 --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o --- --- src/CMakeFiles/btormbt.dir/all --- [ 84%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -MD -MT src/CMakeFiles/btormbt.dir/btormbt.c.o -MF CMakeFiles/btormbt.dir/btormbt.c.o.d -o CMakeFiles/btormbt.dir/btormbt.c.o -c /construction/math/boolector/boolector-3.2.2/src/btormbt.c --- src/CMakeFiles/boolector-bin.dir/all --- [ 86%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -MD -MT src/CMakeFiles/boolector-bin.dir/btormain.c.o -MF CMakeFiles/boolector-bin.dir/btormain.c.o.d -o CMakeFiles/boolector-bin.dir/btormain.c.o -c /construction/math/boolector/boolector-3.2.2/src/btormain.c --- src/CMakeFiles/btoruntrace.dir/all --- [ 86%] Building C object src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -MD -MT src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o -MF CMakeFiles/btoruntrace.dir/btoruntrace.c.o.d -o CMakeFiles/btoruntrace.dir/btoruntrace.c.o -c /construction/math/boolector/boolector-3.2.2/src/btoruntrace.c --- src/CMakeFiles/btormbt.dir/all --- --- bin/btormbt --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- [ 87%] Building C object src/CMakeFiles/boolector-bin.dir/boolectormain.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -MD -MT src/CMakeFiles/boolector-bin.dir/boolectormain.c.o -MF CMakeFiles/boolector-bin.dir/boolectormain.c.o.d -o CMakeFiles/boolector-bin.dir/boolectormain.c.o -c /construction/math/boolector/boolector-3.2.2/src/boolectormain.c --- src/CMakeFiles/btormbt.dir/all --- [ 89%] 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/local/libexec/ccache/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG 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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 89%] Built target btormbt --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- [ 89%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -MD -MT src/CMakeFiles/btorimc.dir/btoribv.cc.o -MF CMakeFiles/btorimc.dir/btoribv.cc.o.d -o CMakeFiles/btorimc.dir/btoribv.cc.o -c /construction/math/boolector/boolector-3.2.2/src/btoribv.cc --- src/CMakeFiles/btormc.dir/all --- /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 --- --- 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/local/libexec/ccache/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -MD -MT src/CMakeFiles/btorimc.dir/btorimc.cc.o -MF CMakeFiles/btorimc.dir/btorimc.cc.o.d -o CMakeFiles/btorimc.dir/btorimc.cc.o -c /construction/math/boolector/boolector-3.2.2/src/btorimc.cc --- src/CMakeFiles/btormc.dir/all --- [ 93%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o cd /construction/math/boolector/.build/src && /usr/local/libexec/ccache/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/construction/math/boolector/boolector-3.2.2/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 -DNDEBUG -MD -MT src/CMakeFiles/btormc.dir/btormcmain.c.o -MF CMakeFiles/btormc.dir/btormcmain.c.o.d -o CMakeFiles/btormc.dir/btormcmain.c.o -c /construction/math/boolector/boolector-3.2.2/src/btormcmain.c --- src/CMakeFiles/btorimc.dir/all --- --- bin/btorimc --- [ 94%] 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/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG 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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 94%] Built target btorimc --- src/CMakeFiles/btoruntrace.dir/all --- --- bin/btoruntrace --- [ 96%] 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/local/libexec/ccache/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG 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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 96%] Built target btoruntrace --- src/CMakeFiles/boolector-bin.dir/all --- --- bin/boolector --- [ 96%] Linking C executable ../bin/boolector cd /construction/math/boolector/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector-bin.dir/link.txt --verbose=1 /usr/local/libexec/ccache/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG "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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 98%] Built target boolector-bin --- src/CMakeFiles/btormc.dir/all --- --- bin/btormc --- [ 98%] 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/local/libexec/ccache/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG 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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [100%] Built target btormc /usr/local/bin/cmake -E cmake_progress_start /construction/math/boolector/.build/CMakeFiles 0 SUCCEEDED 00:00:16 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for boolector-3.2.2_2 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/boolector/boolector-3.2.2 -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.2 /construction/math/boolector/boolector-3.2.2/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.2 /construction/math/boolector/boolector-3.2.2/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.2 /construction/math/boolector/boolector-3.2.2/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 [ 93%] 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.2 /construction/math/boolector/boolector-3.2.2/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.2 /construction/math/boolector/boolector-3.2.2/src /construction/math/boolector/.build /construction/math/boolector/.build/src /construction/math/boolector/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build [ 96%] Built target btoruntrace /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend cd /construction/math/boolector/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/boolector/boolector-3.2.2 /construction/math/boolector/boolector-3.2.2/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.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/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG -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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so /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/local/libexec/ccache/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG "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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /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/local/libexec/ccache/cc -pipe -O2 -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -pipe -O2 -fno-strict-aliasing -DNDEBUG 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/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.a /usr/local/lib/libcryptominisat5.so /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:03 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for boolector-3.2.2_2 file sizes/checksums [9]: 0% file sizes/checksums [9]: 100% Service unavailablepacking files [9]: 0% packing files [9]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:00:40