=>> Building math/boolector build started at Tue Mar 17 05:55:58 EDT 2026 port directory: /usr/ports/math/boolector package name: boolector-3.2.4_1 building for: FreeBSD pkg.DaveG.ca 15.0-RELEASE-p3 FreeBSD 15.0-RELEASE-p3 1500068 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1097 Nov 8 22:00 /usr/ports/math/boolector/Makefile Ports top last git commit: 8c988f802ea2 Ports top unclean checkout: no Port dir last git commit: 993547c78121 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1500068 Job Id: 02 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500068 UNAME_v=FreeBSD 15.0-RELEASE-p3 1500068 UNAME_r=15.0-RELEASE-p3 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/02/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_0_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/boolector/work/.cache HOME=/wrkdirs/usr/ports/math/boolector/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/boolector/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/boolector/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/boolector/work/.cache HOME=/wrkdirs/usr/ports/math/boolector/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/boolector/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/boolector/work/.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 PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical " 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" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/boolector" EXAMPLESDIR="share/examples/boolector" DATADIR="share/boolector" WWWDIR="www/boolector" ETCDIR="etc/boolector" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.11 PYTHON_LIBDIR=/usr/local/lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=/usr/local/lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 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 --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> boolector-3.2.4_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.6.2.pkg [pkg.DaveG.ca] Installing pkg-2.6.2... [pkg.DaveG.ca] Extracting pkg-2.6.2: .......... done ===> boolector-3.2.4_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of boolector-3.2.4_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by boolector-3.2.4_1 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by boolector-3.2.4_1 for building => SHA256 Checksum OK for Boolector-boolector-3.2.4_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by boolector-3.2.4_1 for building ===> Extracting for boolector-3.2.4_1 => SHA256 Checksum OK for Boolector-boolector-3.2.4_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for boolector-3.2.4_1 ===> Applying FreeBSD patches for boolector-3.2.4_1 from /usr/ports/math/boolector/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> boolector-3.2.4_1 depends on file: /usr/local/lib/liblgl.a - not found ===> Installing existing package /packages/All/lingeling-1.0.0.pkg [pkg.DaveG.ca] Installing lingeling-1.0.0... [pkg.DaveG.ca] Extracting lingeling-1.0.0: ......... done ===> boolector-3.2.4_1 depends on file: /usr/local/lib/liblgl.a - found ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.10_1.pkg [pkg.DaveG.ca] Installing cmake-core-3.31.10_1... [pkg.DaveG.ca] `-- Installing expat-2.7.4... [pkg.DaveG.ca] `-- Extracting expat-2.7.4: .......... done [pkg.DaveG.ca] `-- Installing jsoncpp-1.9.6_1... [pkg.DaveG.ca] `-- Extracting jsoncpp-1.9.6_1: .......... done [pkg.DaveG.ca] `-- Installing libidn2-2.3.8... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] | `-- Installing libunistring-1.4.2... [pkg.DaveG.ca] | `-- Extracting libunistring-1.4.2: .......... done [pkg.DaveG.ca] `-- Extracting libidn2-2.3.8: .......... done [pkg.DaveG.ca] `-- Installing libuv-1.52.0... [pkg.DaveG.ca] `-- Extracting libuv-1.52.0: .......... done [pkg.DaveG.ca] `-- Installing rhash-1.4.6... [pkg.DaveG.ca] | `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] `-- Extracting rhash-1.4.6: .......... done [pkg.DaveG.ca] Extracting cmake-core-3.31.10_1: .......... done ===> boolector-3.2.4_1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on file: /usr/local/bin/python3.11 - not found ===> Installing existing package /packages/All/python311-3.11.15.pkg [pkg.DaveG.ca] Installing python311-3.11.15... [pkg.DaveG.ca] `-- Installing libffi-3.5.1... [pkg.DaveG.ca] `-- Extracting libffi-3.5.1: .......... done [pkg.DaveG.ca] `-- Installing mpdecimal-4.0.1... [pkg.DaveG.ca] `-- Extracting mpdecimal-4.0.1: .......... done [pkg.DaveG.ca] `-- Installing readline-8.3.3... [pkg.DaveG.ca] `-- Extracting readline-8.3.3: .......... done [pkg.DaveG.ca] Extracting python311-3.11.15: .......... done ===== Message from python311-3.11.15: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> boolector-3.2.4_1 depends on file: /usr/local/bin/python3.11 - found ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done 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 clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> boolector-3.2.4_1 depends on file: /usr/local/bin/ccache - found ===> Returning to build of boolector-3.2.4_1 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> boolector-3.2.4_1 depends on shared library: libbtor2parser.so - not found ===> Installing existing package /packages/All/btor2tools-g20320816.pkg [pkg.DaveG.ca] Installing btor2tools-g20320816... [pkg.DaveG.ca] Extracting btor2tools-g20320816: ..... done ===> boolector-3.2.4_1 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on shared library: libcadical.so - not found ===> Installing existing package /packages/All/cadical-2.1.3_1.pkg [pkg.DaveG.ca] Installing cadical-2.1.3_1... [pkg.DaveG.ca] Extracting cadical-2.1.3_1: ........ done ===> boolector-3.2.4_1 depends on shared library: libcadical.so - found (/usr/local/lib/libcadical.so) ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on shared library: libcryptominisat5.so - not found ===> Installing existing package /packages/All/cryptominisat-5.11.21_6.pkg [pkg.DaveG.ca] Installing cryptominisat-5.11.21_6... [pkg.DaveG.ca] `-- Installing M4RI-20240729... [pkg.DaveG.ca] | `-- Installing png-1.6.55... [pkg.DaveG.ca] | `-- Extracting png-1.6.55: .......... done [pkg.DaveG.ca] `-- Extracting M4RI-20240729: .......... done [pkg.DaveG.ca] `-- Installing boost-libs-1.89.0_2... [pkg.DaveG.ca] | `-- Installing icu-76.1,1... [pkg.DaveG.ca] | `-- Extracting icu-76.1,1: .......... done [pkg.DaveG.ca] | `-- Installing zstd-1.5.7_1... [pkg.DaveG.ca] | `-- Extracting zstd-1.5.7_1: .......... done [pkg.DaveG.ca] `-- Extracting boost-libs-1.89.0_2: .......... done [pkg.DaveG.ca] Extracting cryptominisat-5.11.21_6: .......... done ===== Message from M4RI-20240729: -- ===> NOTICE: The M4RI port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing ===== Message from boost-libs-1.89.0_2: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> boolector-3.2.4_1 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on shared library: libminisat.so - not found ===> Installing existing package /packages/All/minisat-2.2.1_2.pkg [pkg.DaveG.ca] Installing minisat-2.2.1_2... [pkg.DaveG.ca] Extracting minisat-2.2.1_2: .......... done ===> boolector-3.2.4_1 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on shared library: libpicosat.so - not found ===> Installing existing package /packages/All/picosat-965.pkg [pkg.DaveG.ca] Installing picosat-965... [pkg.DaveG.ca] Extracting picosat-965: ....... done ===> boolector-3.2.4_1 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) ===> Returning to build of boolector-3.2.4_1 ===> boolector-3.2.4_1 depends on shared library: libgmp.so - not found ===> Installing existing package /packages/All/gmp-6.3.0.pkg [pkg.DaveG.ca] Installing gmp-6.3.0... [pkg.DaveG.ca] Extracting gmp-6.3.0: .......... done ===> boolector-3.2.4_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> Returning to build of boolector-3.2.4_1 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for boolector-3.2.4_1 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/boolector/work/.build CMake Deprecation Warning at CMakeLists.txt:8 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. -- The C compiler identification is Clang 19.1.7 -- The CXX compiler identification is Clang 19.1.7 -- 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 '/wrkdirs/usr/ports/math/boolector/work/.build/lib' -- BIN directory is '/wrkdirs/usr/ports/math/boolector/work/.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++14' -- 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.so -- 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 -- Testing: 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 (13.4s) -- Generating done (0.2s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_MODULE_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED Python3_EXECUTABLE Python_ADDITIONAL_VERSIONS Python_EXECUTABLE -- Build files have been written to: /wrkdirs/usr/ports/math/boolector/work/.build =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for boolector-3.2.4_1 /usr/local/bin/cmake -S/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 -B/wrkdirs/usr/ports/math/boolector/work/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles /wrkdirs/usr/ports/math/boolector/work/.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 /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.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/btorcore.c.o --- --- src/CMakeFiles/boolector.dir/btordbg.c.o --- --- src/CMakeFiles/boolector.dir/btordcr.c.o --- --- src/CMakeFiles/boolector.dir/btorexp.c.o --- --- src/CMakeFiles/boolector.dir/btorlsutils.c.o --- --- src/CMakeFiles/boolector.dir/btormc.c.o --- --- src/CMakeFiles/boolector.dir/btormodel.c.o --- --- src/CMakeFiles/boolector.dir/btormsg.c.o --- --- 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/btorprintmodel.c.o --- --- src/CMakeFiles/boolector.dir/btorproputils.c.o --- --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- --- src/CMakeFiles/boolector.dir/btorsat.c.o --- --- src/CMakeFiles/boolector.dir/btorslsutils.c.o --- --- src/CMakeFiles/boolector.dir/btorslvaigprop.c.o --- --- src/CMakeFiles/boolector.dir/btorslvfun.c.o --- --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- --- src/CMakeFiles/boolector.dir/btorsort.c.o --- --- src/CMakeFiles/boolector.dir/btorsubst.c.o --- --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- --- src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- --- src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o --- --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- --- src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o --- --- src/CMakeFiles/boolector.dir/parser/btorsmt.c.o --- --- src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorack.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- --- 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/btorslsutils.c.o --- [ 33%] Building C object src/CMakeFiles/boolector.dir/btorslsutils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslsutils.c --- src/CMakeFiles/boolector.dir/btorsat.c.o --- [ 31%] Building C object src/CMakeFiles/boolector.dir/btorsat.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsat.c --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- [ 31%] Building C object src/CMakeFiles/boolector.dir/btorrwcache.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrwcache.c --- src/CMakeFiles/boolector.dir/btorprintmodel.c.o --- [ 28%] Building C object src/CMakeFiles/boolector.dir/btorprintmodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorprintmodel.c --- src/CMakeFiles/boolector.dir/btorparse.c.o --- [ 28%] Building C object src/CMakeFiles/boolector.dir/btorparse.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorparse.c --- src/CMakeFiles/boolector.dir/btormsg.c.o --- [ 22%] Building C object src/CMakeFiles/boolector.dir/btormsg.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormsg.c --- src/CMakeFiles/boolector.dir/btorlsutils.c.o --- [ 21%] Building C object src/CMakeFiles/boolector.dir/btorlsutils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorlsutils.c --- src/CMakeFiles/boolector.dir/btordcr.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btordcr.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btordcr.c --- src/CMakeFiles/boolector.dir/btordbg.c.o --- [ 15%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btordbg.c --- src/CMakeFiles/boolector.dir/btorchkfailed.c.o --- [ 17%] Building C object src/CMakeFiles/boolector.dir/btorchkfailed.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorchkfailed.c --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btorchkmodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorchkmodel.c --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- [ 19%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorchkclone.c --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- [ 22%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorbeta.c --- src/CMakeFiles/boolector.dir/btorass.c.o --- [ 7%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorass.c --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoraigvec.c --- src/CMakeFiles/boolector.dir/btoraig.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btoraig.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoraig.c --- src/CMakeFiles/boolector.dir/btorabort.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btorabort.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorabort.c --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/boolectormc.c --- src/CMakeFiles/boolector.dir/aigprop.c.o --- [ 1%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/aigprop.c --- src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorsmt2.c --- src/CMakeFiles/boolector.dir/boolector.c.o --- [ 3%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/boolector.c --- src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorpputils.c --- src/CMakeFiles/boolector.dir/preprocess/btorack.c.o --- [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorack.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorack.c --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- [ 52%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorder.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorder.c --- src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o --- [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorelimapplies.c --- src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o --- [ 56%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorelimslices.c --- src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o --- [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorembed.c --- src/CMakeFiles/boolector.dir/btorbv.c.o --- [ 14%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorbv.c --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- [ 61%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorextract.c --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- [ 61%] Building C object src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btormerge.c --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorminiscope.c --- src/CMakeFiles/boolector.dir/btorclone.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorclone.c --- src/CMakeFiles/boolector.dir/btorcore.c.o --- [ 22%] Building C object src/CMakeFiles/boolector.dir/btorcore.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorcore.c --- src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o --- [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btornormadd.c --- src/CMakeFiles/boolector.dir/btorexp.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorexp.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorexp.c --- src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o --- [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorpreprocess.c --- src/CMakeFiles/boolector.dir/btormc.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btormc.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormc.c --- src/CMakeFiles/boolector.dir/btormodel.c.o --- [ 12%] Building C object src/CMakeFiles/boolector.dir/btormodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormodel.c --- src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- src/CMakeFiles/boolector.dir/btornode.c.o --- [ 24%] Building C object src/CMakeFiles/boolector.dir/btornode.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btornode.c --- src/CMakeFiles/boolector.dir/btoropt.c.o --- [ 26%] Building C object src/CMakeFiles/boolector.dir/btoropt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoropt.c --- src/CMakeFiles/boolector.dir/btorproputils.c.o --- [ 26%] Building C object src/CMakeFiles/boolector.dir/btorproputils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorproputils.c --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- [ 29%] Building C object src/CMakeFiles/boolector.dir/btorrewrite.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c --- src/CMakeFiles/boolector.dir/btorslvaigprop.c.o --- [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvaigprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvaigprop.c --- src/CMakeFiles/boolector.dir/btorslvfun.c.o --- [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvfun.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvfun.c --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- [ 38%] Building C object src/CMakeFiles/boolector.dir/btorslvprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvprop.c --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- [ 33%] Building C object src/CMakeFiles/boolector.dir/btorslvquant.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvquant.c --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- [ 45%] Building C object src/CMakeFiles/boolector.dir/btorslvsls.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvsls.c --- src/CMakeFiles/boolector.dir/btorsort.c.o --- [ 36%] Building C object src/CMakeFiles/boolector.dir/btorsort.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsort.c --- src/CMakeFiles/boolector.dir/btorsubst.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsubst.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsubst.c --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsynth.c --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- [ 42%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btortrapi.c --- src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/dumper/btordumpaig.c --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- [ 43%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/dumper/btordumpbtor.c --- src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/dumper/btordumpsmt.c --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- [ 47%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorbtor.c --- src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o --- [ 50%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorbtor2.c --- src/CMakeFiles/boolector.dir/parser/btorsmt.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorsmt.c --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- --- src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o --- --- src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o --- --- src/CMakeFiles/boolector.dir/utils/btormem.c.o --- --- src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o --- --- src/CMakeFiles/boolector.dir/utils/btornodemap.c.o --- --- src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorrng.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- --- src/CMakeFiles/boolector.dir/btormc.c.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormc.c:899:11: warning: variable 'nextstates' set but not used [-Wunused-but-set-variable] 899 | int32_t nextstates; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormc.c:900:10: warning: variable 'i' set but not used [-Wunused-but-set-variable] 900 | size_t i; | ^ 2 warnings generated. --- src/CMakeFiles/boolector.dir/utils/btormem.c.o --- [ 73%] Building C object src/CMakeFiles/boolector.dir/utils/btormem.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btormem.c --- src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o --- [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btornodeiter.c --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btornormquant.c --- src/CMakeFiles/boolector.dir/utils/btornodemap.c.o --- [ 78%] Building C object src/CMakeFiles/boolector.dir/utils/btornodemap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o --- [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btoroptparse.c --- src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorskel.c --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- [ 68%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorskolemize.c --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- [ 78%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o --- [ 70%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorvarsubst.c --- src/CMakeFiles/boolector.dir/sat/btorcadical.c.o --- [ 66%] Building C object src/CMakeFiles/boolector.dir/sat/btorcadical.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorcadical.c --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- [ 66%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorcms.cc.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorcms.cc --- src/CMakeFiles/boolector.dir/utils/btorrng.c.o --- [ 84%] Building C object src/CMakeFiles/boolector.dir/utils/btorrng.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorrng.c --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- [ 77%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorlgl.c --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- [ 66%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- [ 68%] Building C object src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorpicosat.c --- src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o --- [ 70%] Building C object src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/boolectornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o --- [ 71%] Building C object src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btoraigmap.c --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- [ 75%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashint.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorhashint.c --- src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o --- [ 73%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorhashptr.c --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorunconstrained.c --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorminisat.cc --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- [ 84%] Building C object src/CMakeFiles/boolector.dir/utils/btorutil.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorutil.c --- src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorunionfind.c --- src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorpartgen.c --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorder.c:320:15: warning: variable 'num_quant_vars' set but not used [-Wunused-but-set-variable] 320 | uint32_t i, num_quant_vars = 0, num_elim_vars = 0, opt_simp_const; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorder.c:320:35: warning: variable 'num_elim_vars' set but not used [-Wunused-but-set-variable] 320 | uint32_t i, num_quant_vars = 0, num_elim_vars = 0, opt_simp_const; | ^ 2 warnings generated. --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorextract.c:1101:27: warning: variable 'num_writes' set but not used [-Wunused-but-set-variable] 1101 | uint32_t num_total = 0, num_writes = 0; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorextract.c:476:1: warning: unused function 'is_copy_pattern' [-Wunused-function] 476 | is_copy_pattern (BtorNode *index, | ^~~~~~~~~~~~~~~ 2 warnings generated. --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3266:1: warning: unused function 'applies_push_ite_and' [-Wunused-function] 3266 | applies_push_ite_and (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3277:1: warning: unused function 'apply_push_ite_and' [-Wunused-function] 3277 | apply_push_ite_and (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3650:1: warning: unused function 'applies_sll_add' [-Wunused-function] 3650 | applies_sll_add (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3660:1: warning: unused function 'apply_sll_add' [-Wunused-function] 3660 | apply_sll_add (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:4617:1: warning: unused function 'applies_same_srl' [-Wunused-function] 4617 | applies_same_srl (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:4624:1: warning: unused function 'apply_same_srl' [-Wunused-function] 4624 | apply_same_srl (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~ 6 warnings generated. --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorcms.cc:145:14: warning: unused variable 'v' [-Wunused-variable] 145 | uint32_t v = l.var (); | ^ 1 warning generated. --- lib/libboolector.so --- [ 87%] Linking CXX shared library ../lib/libboolector.so cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -fPIC -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -DNDEBUG -Xlinker --dependency-file=CMakeFiles/boolector.dir/link.d -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,-rpath,/usr/local/lib: -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 87%] 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/btormbt.dir/depend --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btormbt.dir/DependInfo.cmake --- src/CMakeFiles/btoruntrace.dir/all --- /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/depend --- src/CMakeFiles/btoruntrace.dir/depend --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake --- src/CMakeFiles/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend --- src/CMakeFiles/btorimc.dir/depend --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btorimc.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/depend --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.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 --- src/CMakeFiles/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build --- src/CMakeFiles/btormbt.dir/btormbt.c.o --- --- src/CMakeFiles/btoruntrace.dir/all --- /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build --- src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o --- --- 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 --- [ 87%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoribv.cc --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- [ 89%] Building CXX object src/CMakeFiles/btorimc.dir/btorimc.cc.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorimc.cc --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormc.dir/depend --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- --- src/CMakeFiles/boolector-bin.dir/btormain.c.o --- [ 91%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormain.c --- src/CMakeFiles/btormbt.dir/all --- [ 91%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormbt.c --- src/CMakeFiles/btoruntrace.dir/all --- [ 92%] Building C object src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoruntrace.c --- src/CMakeFiles/btormc.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btormc.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build --- src/CMakeFiles/btormc.dir/btormcmain.c.o --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- [ 92%] Building C object src/CMakeFiles/boolector-bin.dir/boolectormain.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/boolectormain.c --- src/CMakeFiles/btormc.dir/all --- [ 92%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o cd /wrkdirs/usr/ports/math/boolector/work/.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/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -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 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormcmain.c --- bin/btormc --- [ 94%] Linking C executable ../bin/btormc cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btormc.dir/link.txt --verbose=1 --- src/CMakeFiles/boolector-bin.dir/all --- --- bin/boolector --- [ 96%] Linking C executable ../bin/boolector cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector-bin.dir/link.txt --verbose=1 --- src/CMakeFiles/btormc.dir/all --- /usr/local/libexec/ccache/cc -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=CMakeFiles/btormc.dir/link.d CMakeFiles/btormc.dir/btormcmain.c.o -o ../bin/btormc -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.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.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 96%] Built target btormc --- src/CMakeFiles/btoruntrace.dir/all --- --- bin/btoruntrace --- [ 96%] Linking C executable ../bin/btoruntrace --- src/CMakeFiles/boolector-bin.dir/all --- /usr/local/libexec/ccache/cc -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=CMakeFiles/boolector-bin.dir/link.d "CMakeFiles/boolector-bin.dir/boolectormain.c.o" "CMakeFiles/boolector-bin.dir/btormain.c.o" -o ../bin/boolector -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.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.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 96%] Built target boolector-bin --- src/CMakeFiles/btoruntrace.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btoruntrace.dir/link.txt --verbose=1 /usr/local/libexec/ccache/cc -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=CMakeFiles/btoruntrace.dir/link.d CMakeFiles/btoruntrace.dir/btoruntrace.c.o -o ../bin/btoruntrace -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.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.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 96%] Built target btoruntrace --- src/CMakeFiles/btormbt.dir/all --- --- bin/btormbt --- [ 98%] Linking C executable ../bin/btormbt cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btormbt.dir/link.txt --verbose=1 /usr/local/libexec/ccache/cc -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=CMakeFiles/btormbt.dir/link.d CMakeFiles/btormbt.dir/btormbt.c.o -o ../bin/btormbt -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.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.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 98%] Built target btormbt --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoribv.cc:683:19: warning: variable 'sum' set but not used [-Wunused-but-set-variable] 683 | uint32_t n = 0, sum = 0; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoribv.cc:1278:12: warning: variable 'forwarding' set but not used [-Wunused-but-set-variable] 1278 | uint32_t forwarding = 0, forwarded = 0; | ^ 2 warnings generated. --- bin/btorimc --- [100%] Linking CXX executable ../bin/btorimc cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btorimc.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -fno-strict-aliasing -I/usr/local/include/cadical -DNDEBUG -Xlinker --dependency-file=CMakeFiles/btorimc.dir/link.d CMakeFiles/btorimc.dir/btoribv.cc.o CMakeFiles/btorimc.dir/btorimc.cc.o -o ../bin/btorimc -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.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.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [100%] Built target btorimc /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles 0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for boolector-3.2.4_1 ===> Generating temporary packing list /usr/local/bin/cmake -S/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 -B/wrkdirs/usr/ports/math/boolector/work/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles /wrkdirs/usr/ports/math/boolector/work/.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 /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/boolector.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/build [ 87%] Built target boolector /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.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 [ 91%] Built target boolector-bin /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btormc.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build [ 92%] Built target btormc /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.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 /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.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 /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.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 /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorConfig.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorConfigVersion.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/libboolector.so -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/libboolector.so" to "/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorTargets.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorTargets-release.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/include/boolector/boolector.h -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/include/boolector/btortypes.h -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/boolector -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/boolector" to "/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/btormc -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/btormc" to "/usr/local/lib" ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-03-17T09:55:58+0000' 'PKG_NOTE_ports_top_git_hash=8c988f802ea2' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=993547c78121' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for boolector-3.2.4_1 ===> Building boolector-3.2.4_1 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for boolector-3.2.4_1 build of math/boolector | boolector-3.2.4_1 ended at Tue Mar 17 05:56:54 EDT 2026 build time: 00:00:56