=>> Building math/boolector build started at Sun Apr 7 12:33:46 BST 2024 port directory: /usr/ports/math/boolector package name: boolector-3.2.3 building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 939 Nov 6 13:35 /usr/ports/math/boolector/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: 2d361fb615 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.99.20240122_1 Host OSVERSION: 1400097 Jail OSVERSION: 1302001 Job Id: 10 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE-p10 UNAME_r=13.2-RELEASE-p10 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.99.20240122_1 MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/10/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13-amd64-default-dan SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1 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.9" 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=/ccache/libexec/ccache:/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 CCACHE_DIR="/root/.ccache" --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=/ccache/libexec/ccache:/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 -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CCACHE_DIR="/root/.ccache" 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.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=13.2 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.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/boolector DOCSDIR=/usr/local/share/doc/boolector EXAMPLESDIR=/usr/local/share/examples/boolector WWWDIR=/usr/local/www/boolector ETCDIR=/usr/local/etc/boolector --End SUB_LIST-- ---Begin make.conf--- 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 #### #### CCACHE_CPP2=1 WITH_SSP_PORTS=yes WITH_SSP=yes #WITH_LTO=yes DISABLE_LICENSES=yes LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak NO_LICENSES_DIALOGS=yes #### #### NO_IGNORE=yes DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18 WITH_SETID_MODE=force PHP_ZTS=enabled OPTIONS_UNSET+=OPENJPEG OPTIONS_UNSET+=GSSAPI_BASE OPTIONS_SET+=ZTS OPTIONS_SET+=GSSAPI_NONE WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache NO_CCACHE_DEPEND=1 CCACHE_WRAPPER_PATH= /ccache/libexec/ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---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 --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.3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.9_1.pkg [pkg-builder.dan.net.uk] Installing pkg-1.20.9_1... [pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done ===> boolector-3.2.3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of boolector-3.2.3 =========================================================================== =================================================== ===== 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.3 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by boolector-3.2.3 for building => SHA256 Checksum OK for Boolector-boolector-3.2.3_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.3 for building ===> Extracting for boolector-3.2.3 => SHA256 Checksum OK for Boolector-boolector-3.2.3_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.3 ===> Applying FreeBSD patches for boolector-3.2.3 from /usr/ports/math/boolector/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> boolector-3.2.3 depends on file: /usr/local/lib/libcadical.a - not found ===> Installing existing package /packages/All/cadical-1.9.5.pkg [pkg-builder.dan.net.uk] Installing cadical-1.9.5... [pkg-builder.dan.net.uk] Extracting cadical-1.9.5: ..... done ===> boolector-3.2.3 depends on file: /usr/local/lib/libcadical.a - found ===> Returning to build of boolector-3.2.3 ===> boolector-3.2.3 depends on file: /usr/local/lib/liblgl.a - not found ===> Installing existing package /packages/All/lingeling-1.0.0.pkg [pkg-builder.dan.net.uk] Installing lingeling-1.0.0... [pkg-builder.dan.net.uk] Extracting lingeling-1.0.0: ......... done ===> boolector-3.2.3 depends on file: /usr/local/lib/liblgl.a - found ===> Returning to build of boolector-3.2.3 ===> boolector-3.2.3 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.28.3.pkg [pkg-builder.dan.net.uk] Installing cmake-core-3.28.3... [pkg-builder.dan.net.uk] `-- Installing expat-2.6.1... [pkg-builder.dan.net.uk] `-- Extracting expat-2.6.1: .......... done [pkg-builder.dan.net.uk] `-- Installing jsoncpp-1.9.5... [pkg-builder.dan.net.uk] `-- Extracting jsoncpp-1.9.5: .......... done [pkg-builder.dan.net.uk] `-- Installing libuv-1.48.0... [pkg-builder.dan.net.uk] `-- Extracting libuv-1.48.0: .......... done [pkg-builder.dan.net.uk] `-- Installing openssl-3.0.13_1,1... [pkg-builder.dan.net.uk] `-- Extracting openssl-3.0.13_1,1: .......... done [pkg-builder.dan.net.uk] `-- Installing rhash-1.4.4_1... [pkg-builder.dan.net.uk] | `-- Installing gettext-runtime-0.22.3_1... [pkg-builder.dan.net.uk] | | `-- Installing indexinfo-0.3.1... [pkg-builder.dan.net.uk] | | `-- Extracting indexinfo-0.3.1: . done [pkg-builder.dan.net.uk] | `-- Extracting gettext-runtime-0.22.3_1: .......... done [pkg-builder.dan.net.uk] `-- Extracting rhash-1.4.4_1: .......... done [pkg-builder.dan.net.uk] Extracting cmake-core-3.28.3: .......... done ===> boolector-3.2.3 depends on file: /usr/local/bin/cmake - found ===> Returning to build of boolector-3.2.3 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> boolector-3.2.3 depends on shared library: libbtor2parser.so - not found ===> Installing existing package /packages/All/btor2tools-g20320816.pkg [pkg-builder.dan.net.uk] Installing btor2tools-g20320816... [pkg-builder.dan.net.uk] Extracting btor2tools-g20320816: ..... done ===> boolector-3.2.3 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> Returning to build of boolector-3.2.3 ===> boolector-3.2.3 depends on shared library: libcryptominisat5.so - not found ===> Installing existing package /packages/All/cryptominisat-5.11.21_1.pkg [pkg-builder.dan.net.uk] Installing cryptominisat-5.11.21_1... [pkg-builder.dan.net.uk] `-- Installing M4RI-20200125... [pkg-builder.dan.net.uk] | `-- Installing png-1.6.43... [pkg-builder.dan.net.uk] | `-- Extracting png-1.6.43: .......... done [pkg-builder.dan.net.uk] `-- Extracting M4RI-20200125: .......... done [pkg-builder.dan.net.uk] `-- Installing boost-libs-1.84.0... [pkg-builder.dan.net.uk] | `-- Installing icu-74.2,1... [pkg-builder.dan.net.uk] | `-- Extracting icu-74.2,1: .......... done [pkg-builder.dan.net.uk] `-- Extracting boost-libs-1.84.0: .......... done [pkg-builder.dan.net.uk] Extracting cryptominisat-5.11.21_1: .......... done ===== Message from boost-libs-1.84.0: -- 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.3 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> Returning to build of boolector-3.2.3 ===> boolector-3.2.3 depends on shared library: libminisat.so - not found ===> Installing existing package /packages/All/minisat-2.2.1_2.pkg [pkg-builder.dan.net.uk] Installing minisat-2.2.1_2... [pkg-builder.dan.net.uk] Extracting minisat-2.2.1_2: .......... done ===> boolector-3.2.3 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> Returning to build of boolector-3.2.3 ===> boolector-3.2.3 depends on shared library: libpicosat.so - not found ===> Installing existing package /packages/All/picosat-965.pkg [pkg-builder.dan.net.uk] Installing picosat-965... [pkg-builder.dan.net.uk] Extracting picosat-965: ....... done ===> boolector-3.2.3 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) ===> Returning to build of boolector-3.2.3 ===> boolector-3.2.3 depends on shared library: libgmp.so - not found ===> Installing existing package /packages/All/gmp-6.3.0.pkg [pkg-builder.dan.net.uk] Installing gmp-6.3.0... [pkg-builder.dan.net.uk] Extracting gmp-6.3.0: .......... done ===> boolector-3.2.3 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> Returning to build of boolector-3.2.3 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for boolector-3.2.3 ===> 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.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The C compiler identification is Clang 14.0.5 -- The CXX compiler identification is Clang 14.0.5 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /ccache/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: /ccache/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++11' -- Performing Test HAVE_FLAG_W -- Performing Test HAVE_FLAG_W - Success -- Configuring with C flag '-W' -- Configuring with CXX flag '-W' -- Performing Test HAVE_FLAG_Wall -- Performing Test HAVE_FLAG_Wall - Success -- Configuring with C flag '-Wall' -- Configuring with CXX flag '-Wall' -- Performing Test HAVE_FLAG_Wextra -- Performing Test HAVE_FLAG_Wextra - Success -- Configuring with C flag '-Wextra' -- Configuring with CXX flag '-Wextra' -- Performing Test HAVE_FLAG_Wredundant_decls -- Performing Test HAVE_FLAG_Wredundant_decls - Success -- Configuring with C flag '-Wredundant-decls' -- Configuring with CXX flag '-Wredundant-decls' -- Building Release build -- Performing Test HAVE_FLAG_O3 -- Performing Test HAVE_FLAG_O3 - Success -- Configuring with C flag '-O3' -- Configuring with CXX flag '-O3' -- Performing Test HAVE_SIGNALS -- Performing Test HAVE_SIGNALS - Success -- Performing Test HAVE_TIME_UTILS -- Performing Test HAVE_TIME_UTILS - Success -- Performing Test HAVE_NO_EXPORT_DYNAMIC -- Performing Test HAVE_NO_EXPORT_DYNAMIC - Success -- Found Btor2Tools: /usr/local/include -- Found Btor2Tools library: /usr/local/lib/libbtor2parser.so -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Found Threads: TRUE -- Found GMP: /usr/local/include -- Found GMP libs: /usr/local/lib/libgmp.so -- Found Lingeling: /usr/local/include -- Found Lingeling library: /usr/local/lib/liblgl.a -- Found CaDiCaL: /usr/local/include -- Found CaDiCaL library: /usr/local/lib/libcadical.a -- Found CryptoMiniSat: /usr/local/include -- Found CryptoMiniSat library: /usr/local/lib/libcryptominisat5.so -- Found PicoSAT: /usr/local/include -- Found PicoSAT library: /usr/local/lib/libpicosat.so -- Found MiniSat: /usr/local/include -- Found MiniSat library: /usr/local/lib/libminisat.so -- Could NOT find Git (missing: GIT_EXECUTABLE) -- Build type: Release -- Shared build: yes -- ASAN support: no -- UBSAN support: no -- Assertions enabled: no -- 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 (9.8s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_CXX_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG CMAKE_MODULE_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED 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.3 /usr/local/bin/cmake -S/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3 -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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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 [ 1%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/aigprop.c [ 3%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/boolector.c [ 3%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/boolectormc.c [ 5%] Building C object src/CMakeFiles/boolector.dir/btorabort.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorabort.c [ 7%] Building C object src/CMakeFiles/boolector.dir/btoraig.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btoraig.c [ 7%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btoraigvec.c [ 8%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorass.c [ 8%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorbeta.c [ 10%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorbv.c [ 12%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorchkclone.c [ 12%] Building C object src/CMakeFiles/boolector.dir/btorchkmodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorchkmodel.c [ 14%] Building C object src/CMakeFiles/boolector.dir/btorchkfailed.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorchkfailed.c [ 14%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorclone.c [ 15%] Building C object src/CMakeFiles/boolector.dir/btorcore.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorcore.c [ 17%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btordbg.c [ 17%] Building C object src/CMakeFiles/boolector.dir/btordcr.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btordcr.c [ 19%] Building C object src/CMakeFiles/boolector.dir/btorexp.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorexp.c [ 21%] Building C object src/CMakeFiles/boolector.dir/btorlsutils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorlsutils.c [ 21%] Building C object src/CMakeFiles/boolector.dir/btormc.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btormc.c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btormc.c:900:10: warning: variable 'i' set but not used [-Wunused-but-set-variable] size_t i; ^ 1 warning generated. [ 22%] Building C object src/CMakeFiles/boolector.dir/btormodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btormodel.c [ 22%] Building C object src/CMakeFiles/boolector.dir/btormsg.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btormsg.c [ 24%] Building C object src/CMakeFiles/boolector.dir/btornode.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btornode.c [ 26%] Building C object src/CMakeFiles/boolector.dir/btoropt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btoropt.c [ 26%] Building C object src/CMakeFiles/boolector.dir/btorparse.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorparse.c [ 28%] Building C object src/CMakeFiles/boolector.dir/btorprintmodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorprintmodel.c [ 28%] Building C object src/CMakeFiles/boolector.dir/btorproputils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorproputils.c [ 29%] Building C object src/CMakeFiles/boolector.dir/btorrewrite.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorrewrite.c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btorrewrite.c:3266:1: warning: unused function 'applies_push_ite_and' [-Wunused-function] applies_push_ite_and (Btor *btor, BtorNode *e0, BtorNode *e1) ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btorrewrite.c:3277:1: warning: unused function 'apply_push_ite_and' [-Wunused-function] apply_push_ite_and (Btor *btor, BtorNode *e0, BtorNode *e1) ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btorrewrite.c:3650:1: warning: unused function 'applies_sll_add' [-Wunused-function] applies_sll_add (Btor *btor, BtorNode *e0, BtorNode *e1) ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btorrewrite.c:3660:1: warning: unused function 'apply_sll_add' [-Wunused-function] apply_sll_add (Btor *btor, BtorNode *e0, BtorNode *e1) ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btorrewrite.c:4617:1: warning: unused function 'applies_same_srl' [-Wunused-function] applies_same_srl (Btor *btor, BtorNode *e0, BtorNode *e1) ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btorrewrite.c:4624:1: warning: unused function 'apply_same_srl' [-Wunused-function] apply_same_srl (Btor *btor, BtorNode *e0, BtorNode *e1) ^ 6 warnings generated. [ 31%] Building C object src/CMakeFiles/boolector.dir/btorrwcache.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorrwcache.c [ 31%] Building C object src/CMakeFiles/boolector.dir/btorsat.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorsat.c [ 33%] Building C object src/CMakeFiles/boolector.dir/btorslsutils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorslsutils.c [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvaigprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorslvaigprop.c [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvfun.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorslvfun.c [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorslvprop.c [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvquant.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorslvquant.c [ 38%] Building C object src/CMakeFiles/boolector.dir/btorslvsls.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorslvsls.c [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsort.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorsort.c [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsubst.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorsubst.c [ 42%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btorsynth.c [ 43%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btortrapi.c [ 43%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/dumper/btordumpaig.c [ 45%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/dumper/btordumpbtor.c [ 45%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/dumper/btordumpsmt.c [ 47%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/parser/btorbtor.c [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/parser/btorbtor2.c [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/parser/btorsmt.c [ 50%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/parser/btorsmt2.c [ 50%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorpputils.c [ 52%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorack.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorack.c [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorder.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorder.c [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorelimapplies.c [ 56%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorelimslices.c [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorembed.c [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorextract.c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/preprocess/btorextract.c:476:1: warning: unused function 'is_copy_pattern' [-Wunused-function] is_copy_pattern (BtorNode *index, ^ 1 warning generated. [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btormerge.c [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorminiscope.c [ 61%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btornormadd.c [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btornormquant.c [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorpreprocess.c [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorskel.c [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorskolemize.c [ 66%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorunconstrained.c [ 68%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/preprocess/btorvarsubst.c [ 68%] Building C object src/CMakeFiles/boolector.dir/sat/btorcadical.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/sat/btorcadical.c [ 70%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorcms.cc.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorcms.cc.o -MF CMakeFiles/boolector.dir/sat/btorcms.cc.o.d -o CMakeFiles/boolector.dir/sat/btorcms.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/sat/btorcms.cc /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/sat/btorcms.cc:145:14: warning: unused variable 'v' [-Wunused-variable] uint32_t v = l.var (); ^ 1 warning generated. [ 71%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/sat/btorlgl.c [ 71%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o -MF CMakeFiles/boolector.dir/sat/btorminisat.cc.o.d -o CMakeFiles/boolector.dir/sat/btorminisat.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/sat/btorminisat.cc [ 73%] Building C object src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/sat/btorpicosat.c [ 73%] Building C object src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/boolectornodemap.c [ 75%] Building C object src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btoraigmap.c [ 77%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashint.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btorhashint.c [ 77%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btorhashptr.c [ 78%] Building C object src/CMakeFiles/boolector.dir/utils/btormem.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btormem.c [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btornodeiter.c [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btornodemap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btornodemap.c [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btoroptparse.c [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btorpartgen.c [ 84%] Building C object src/CMakeFiles/boolector.dir/utils/btorrng.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btorrng.c [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btorunionfind.c [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorutil.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/utils/btorutil.c [ 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 /ccache/libexec/ccache/c++ -fPIC -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong -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.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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 [ 87%] Building C object src/CMakeFiles/boolector-bin.dir/boolectormain.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/boolectormain.c [ 89%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btormain.c [ 91%] 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 /ccache/libexec/ccache/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong "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.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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 [ 91%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btormcmain.c [ 92%] 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 /ccache/libexec/ccache/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong 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.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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 [ 92%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btormbt.c [ 94%] 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 /ccache/libexec/ccache/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong 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.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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%] Building C object src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -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.3/src/btoruntrace.c [ 96%] Linking C executable ../bin/btoruntrace cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btoruntrace.dir/link.txt --verbose=1 /ccache/libexec/ccache/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong 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.a /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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 [ 96%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btorimc.dir/btoribv.cc.o -MF CMakeFiles/btorimc.dir/btoribv.cc.o.d -o CMakeFiles/btorimc.dir/btoribv.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btoribv.cc /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btoribv.cc:683:19: warning: variable 'sum' set but not used [-Wunused-but-set-variable] uint32_t n = 0, sum = 0; ^ 1 warning generated. [ 98%] Building CXX object src/CMakeFiles/btorimc.dir/btorimc.cc.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /ccache/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.3/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btorimc.dir/btorimc.cc.o -MF CMakeFiles/btorimc.dir/btorimc.cc.o.d -o CMakeFiles/btorimc.dir/btorimc.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/src/btorimc.cc [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 /ccache/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++11 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong 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.a /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.3 ===> Generating temporary packing list /usr/local/bin/cmake -S/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3 -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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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.3 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.3/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=2024-04-07T11:33:46+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=2d361fb615' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for boolector-3.2.3 ===> Building boolector-3.2.3 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for boolector-3.2.3 build of math/boolector | boolector-3.2.3 ended at Sun Apr 7 12:35:21 BST 2024 build time: 00:01:37