=>> Building math/bitwuzla build started at Mon Mar 16 19:29:20 EDT 2026 port directory: /usr/ports/math/bitwuzla package name: bitwuzla-0.8.2 building for: FreeBSD pkg.DaveG.ca 15.0-RELEASE-p3 FreeBSD 15.0-RELEASE-p3 1500068 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1244 Nov 8 22:00 /usr/ports/math/bitwuzla/Makefile Ports top last git commit: 8c988f802ea2 Ports top unclean checkout: no Port dir last git commit: cd1ce46df01f Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1500068 Job Id: 15 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500068 UNAME_v=FreeBSD 15.0-RELEASE-p3 1500068 UNAME_r=15.0-RELEASE-p3 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/15/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_0_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --prefix /usr/local --localstatedir /var --infodir share/info --auto-features=enabled -Dpython.bytecompile=-1 -Db_colorout=never --buildtype release --optimization plain --strip -Ddefault_library=shared -Dtesting=disabled _build --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/math/bitwuzla/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/bitwuzla/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/bitwuzla/work/.cache HOME=/wrkdirs/usr/ports/math/bitwuzla/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/bitwuzla/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/bitwuzla/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local" --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/bitwuzla/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/bitwuzla/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/bitwuzla/work/.cache HOME=/wrkdirs/usr/ports/math/bitwuzla/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/bitwuzla/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/bitwuzla/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 DESTDIR=/wrkdirs/usr/ports/math/bitwuzla/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" -lcadical -L/usr/local/lib " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -I/usr/local/include/cadical -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -I/usr/local/include/cadical -isystem /usr/local/include " 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-- PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/bitwuzla" EXAMPLESDIR="share/examples/bitwuzla" DATADIR="share/bitwuzla" WWWDIR="www/bitwuzla" ETCDIR="etc/bitwuzla" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.11 PYTHON_LIBDIR=/usr/local/lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=/usr/local/lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/bitwuzla DOCSDIR=/usr/local/share/doc/bitwuzla EXAMPLESDIR=/usr/local/share/examples/bitwuzla WWWDIR=/usr/local/www/bitwuzla ETCDIR=/usr/local/etc/bitwuzla --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bitwuzla-0.8.2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.6.2.pkg [pkg.DaveG.ca] Installing pkg-2.6.2... [pkg.DaveG.ca] Extracting pkg-2.6.2: .......... done ===> bitwuzla-0.8.2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of bitwuzla-0.8.2 =========================================================================== =================================================== ===== 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 bitwuzla-0.8.2 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by bitwuzla-0.8.2 for building => SHA256 Checksum OK for bitwuzla-bitwuzla-0.8.2_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 bitwuzla-0.8.2 for building ===> Extracting for bitwuzla-0.8.2 => SHA256 Checksum OK for bitwuzla-bitwuzla-0.8.2_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 bitwuzla-0.8.2 ===> Applying FreeBSD patches for bitwuzla-0.8.2 from /usr/ports/math/bitwuzla/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bitwuzla-0.8.2 depends on package: gmp>0 - not found ===> Installing existing package /packages/All/gmp-6.3.0.pkg [pkg.DaveG.ca] Installing gmp-6.3.0... [pkg.DaveG.ca] `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] Extracting gmp-6.3.0: .......... done ===> bitwuzla-0.8.2 depends on package: gmp>0 - found ===> Returning to build of bitwuzla-0.8.2 ===> bitwuzla-0.8.2 depends on file: /usr/local/lib/symfpu.a - not found ===> Installing existing package /packages/All/symfpu-g20190517.pkg [pkg.DaveG.ca] Installing symfpu-g20190517... [pkg.DaveG.ca] Extracting symfpu-g20190517: .......... done ===> bitwuzla-0.8.2 depends on file: /usr/local/lib/symfpu.a - found ===> Returning to build of bitwuzla-0.8.2 ===> bitwuzla-0.8.2 depends on executable: meson - not found ===> Installing existing package /packages/All/meson-1.7.0.pkg [pkg.DaveG.ca] Installing meson-1.7.0... [pkg.DaveG.ca] `-- Installing ninja-1.13.2,4... [pkg.DaveG.ca] | `-- Installing python311-3.11.15... [pkg.DaveG.ca] | | `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | | `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] | | `-- Installing libffi-3.5.1... [pkg.DaveG.ca] | | `-- Extracting libffi-3.5.1: .......... done [pkg.DaveG.ca] | | `-- Installing mpdecimal-4.0.1... [pkg.DaveG.ca] | | `-- Extracting mpdecimal-4.0.1: .......... done [pkg.DaveG.ca] | | `-- Installing readline-8.3.3... [pkg.DaveG.ca] | | `-- Extracting readline-8.3.3: .......... done [pkg.DaveG.ca] | `-- Extracting python311-3.11.15: .......... done [pkg.DaveG.ca] `-- Extracting ninja-1.13.2,4: ..... done [pkg.DaveG.ca] Extracting meson-1.7.0: .......... done ===== Message from python311-3.11.15: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> bitwuzla-0.8.2 depends on executable: meson - found ===> Returning to build of bitwuzla-0.8.2 ===> bitwuzla-0.8.2 depends on executable: ninja - found ===> bitwuzla-0.8.2 depends on package: pkgconf>=1.3.0_1 - not found ===> Installing existing package /packages/All/pkgconf-2.4.3,1.pkg [pkg.DaveG.ca] Installing pkgconf-2.4.3,1... [pkg.DaveG.ca] Extracting pkgconf-2.4.3,1: .......... done ===> bitwuzla-0.8.2 depends on package: pkgconf>=1.3.0_1 - found ===> Returning to build of bitwuzla-0.8.2 ===> bitwuzla-0.8.2 depends on file: /usr/local/bin/python3.11 - found ===> bitwuzla-0.8.2 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> bitwuzla-0.8.2 depends on file: /usr/local/bin/ccache - found ===> Returning to build of bitwuzla-0.8.2 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bitwuzla-0.8.2 depends on shared library: libcadical.so - not found ===> Installing existing package /packages/All/cadical-2.1.3_1.pkg [pkg.DaveG.ca] Installing cadical-2.1.3_1... [pkg.DaveG.ca] Extracting cadical-2.1.3_1: ........ done ===> bitwuzla-0.8.2 depends on shared library: libcadical.so - found (/usr/local/lib/libcadical.so) ===> Returning to build of bitwuzla-0.8.2 ===> bitwuzla-0.8.2 depends on shared library: libcryptominisat5.so - not found ===> Installing existing package /packages/All/cryptominisat-5.11.21_6.pkg [pkg.DaveG.ca] Installing cryptominisat-5.11.21_6... [pkg.DaveG.ca] `-- Installing M4RI-20240729... [pkg.DaveG.ca] | `-- Installing png-1.6.55... [pkg.DaveG.ca] | `-- Extracting png-1.6.55: .......... done [pkg.DaveG.ca] `-- Extracting M4RI-20240729: .......... done [pkg.DaveG.ca] `-- Installing boost-libs-1.89.0_2... [pkg.DaveG.ca] | `-- Installing icu-76.1,1... [pkg.DaveG.ca] | `-- Extracting icu-76.1,1: .......... done [pkg.DaveG.ca] | `-- Installing zstd-1.5.7_1... [pkg.DaveG.ca] | `-- Extracting zstd-1.5.7_1: .......... done [pkg.DaveG.ca] `-- Extracting boost-libs-1.89.0_2: .......... done [pkg.DaveG.ca] Extracting cryptominisat-5.11.21_6: .......... done ===== Message from M4RI-20240729: -- ===> NOTICE: The M4RI port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing ===== Message from boost-libs-1.89.0_2: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> bitwuzla-0.8.2 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> Returning to build of bitwuzla-0.8.2 ===> bitwuzla-0.8.2 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for bitwuzla-0.8.2 WARNING: Recommend using either -Dbuildtype or -Doptimization + -Ddebug. Using both is redundant since they override each other. See: https://mesonbuild.com/Builtin-options.html#build-type-options The Meson build system Version: 1.7.0 Source dir: /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2 Build dir: /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build Build type: native build Project name: bitwuzla Project version: 0.8.2 C compiler for the host machine: cc (clang 19.1.7 "FreeBSD clang version 19.1.7 (https://github.com/llvm/llvm-project.git llvmorg-19.1.7-0-gcd708029e0b2)") C linker for the host machine: cc ld.lld 19.1.7 C++ compiler for the host machine: c++ (clang 19.1.7 "FreeBSD clang version 19.1.7 (https://github.com/llvm/llvm-project.git llvmorg-19.1.7-0-gcd708029e0b2)") C++ linker for the host machine: c++ ld.lld 19.1.7 Host machine cpu family: x86_64 Host machine cpu: x86_64 Found pkg-config: YES (/usr/local/bin/pkgconf) 2.4.3 Run-time dependency gmp found: YES 6.3.0 Did not find CMake 'cmake' Found CMake: NO Run-time dependency cryptominisat5 found: NO (tried pkgconfig and cmake) Has header "kissat.h" : NO Run-time dependency kissat found: NO (tried pkgconfig and cmake) Checking for function "getrusage" : YES Configuring config.h.in using configuration Program python3 found: YES Run-time dependency aiger found: NO (tried pkgconfig and cmake) Run-time dependency threads found: YES Build targets in project: 8 bitwuzla 0.8.2 User defined options auto_features : enabled b_colorout : never buildtype : release default_library : shared infodir : share/info localstatedir : /var optimization : plain prefix : /usr/local python.bytecompile: -1 strip : true testing : disabled Found ninja-1.13.2 at /usr/local/bin/ninja WARNING: Running the setup command as `meson [options]` instead of `meson setup [options]` is ambiguous and deprecated. =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for bitwuzla-0.8.2 [ 0% 25/116] /usr/local/bin/meson --internal vcstagger /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/src/config.h.in src/config.h 0.8.2 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/src @git_id@ '(.*)' /usr/local/bin/python3.11 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/src/get_git_id.py /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2 [ 1% 65/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_util.cpp.o -MF src/libbzlautil.a.p/util_util.cpp.o.d -o src/libbzlautil.a.p/util_util.cpp.o -c ../src/util/util.cpp [ 2% 66/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_logger.cpp.o -MF src/libbzlautil.a.p/util_logger.cpp.o.d -o src/libbzlautil.a.p/util_logger.cpp.o -c ../src/util/logger.cpp [ 3% 67/116] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_node.cpp.o -MF src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_node.cpp.o.d -o src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_node.cpp.o -c ../src/lib/bitblast/aig/aig_node.cpp [ 4% 68/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_resources.cpp.o -MF src/libbzlautil.a.p/util_resources.cpp.o.d -o src/libbzlautil.a.p/util_resources.cpp.o -c ../src/util/resources.cpp [ 5% 69/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_gmp_utils.cpp.o -MF src/libbzlautil.a.p/util_gmp_utils.cpp.o.d -o src/libbzlautil.a.p/util_gmp_utils.cpp.o -c ../src/util/gmp_utils.cpp [ 6% 70/116] c++ -Isrc/lib/libbzlarng.a.p -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbzlarng.a.p/rng_rng.cpp.o -MF src/lib/libbzlarng.a.p/rng_rng.cpp.o.d -o src/lib/libbzlarng.a.p/rng_rng.cpp.o -c ../src/lib/rng/rng.cpp [ 6% 71/116] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabv.so.p/bv_domain_wheel_factorizer.cpp.o -MF src/lib/libbitwuzlabv.so.p/bv_domain_wheel_factorizer.cpp.o.d -o src/lib/libbitwuzlabv.so.p/bv_domain_wheel_factorizer.cpp.o -c ../src/lib/bv/domain/wheel_factorizer.cpp [ 7% 72/116] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabv.so.p/bv_bounds_bitvector_bounds.cpp.o -MF src/lib/libbitwuzlabv.so.p/bv_bounds_bitvector_bounds.cpp.o.d -o src/lib/libbitwuzlabv.so.p/bv_bounds_bitvector_bounds.cpp.o -c ../src/lib/bv/bounds/bitvector_bounds.cpp [ 8% 73/116] rm -f src/lib/libbzlarng.a && llvm-ar csrDT src/lib/libbzlarng.a src/lib/libbzlarng.a.p/rng_rng.cpp.o [ 9% 74/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_hash.cpp.o -MF src/libbzlautil.a.p/util_hash.cpp.o.d -o src/libbzlautil.a.p/util_hash.cpp.o -c ../src/util/hash.cpp [ 10% 75/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_integer.cpp.o -MF src/libbzlautil.a.p/util_integer.cpp.o.d -o src/libbzlautil.a.p/util_integer.cpp.o -c ../src/util/integer.cpp [ 11% 76/116] c++ -Isrc/main/bitwuzla.p -Isrc/main -I../src/main -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -pthread -MD -MQ src/main/bitwuzla.p/time_limit.cpp.o -MF src/main/bitwuzla.p/time_limit.cpp.o.d -o src/main/bitwuzla.p/time_limit.cpp.o -c ../src/main/time_limit.cpp [ 12% 77/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/backtrack_backtrackable.cpp.o -MF src/libbitwuzla.so.0.p/backtrack_backtrackable.cpp.o.d -o src/libbitwuzla.so.0.p/backtrack_backtrackable.cpp.o -c ../src/backtrack/backtrackable.cpp [ 12% 78/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_printer.cpp.o -MF src/libbzlautil.a.p/util_printer.cpp.o.d -o src/libbzlautil.a.p/util_printer.cpp.o -c ../src/util/printer.cpp [ 13% 79/116] c++ -Isrc/main/bitwuzla.p -Isrc/main -I../src/main -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -pthread -MD -MQ src/main/bitwuzla.p/main.cpp.o -MF src/main/bitwuzla.p/main.cpp.o.d -o src/main/bitwuzla.p/main.cpp.o -c ../src/main/main.cpp [ 14% 80/116] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbzlautil.a.p/util_statistics.cpp.o -MF src/libbzlautil.a.p/util_statistics.cpp.o.d -o src/libbzlautil.a.p/util_statistics.cpp.o -c ../src/util/statistics.cpp [ 15% 81/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/api_c_bitwuzla_structs.cpp.o -MF src/libbitwuzla.so.0.p/api_c_bitwuzla_structs.cpp.o.d -o src/libbitwuzla.so.0.p/api_c_bitwuzla_structs.cpp.o -c ../src/api/c/bitwuzla_structs.cpp [ 16% 82/116] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_printer.cpp.o -MF src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_printer.cpp.o.d -o src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_printer.cpp.o -c ../src/lib/bitblast/aig/aig_printer.cpp [ 17% 83/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/api_checks.cpp.o -MF src/libbitwuzla.so.0.p/api_checks.cpp.o.d -o src/libbitwuzla.so.0.p/api_checks.cpp.o -c ../src/api/checks.cpp [ 18% 84/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/node_kind_info.cpp.o -MF src/libbitwuzla.so.0.p/node_kind_info.cpp.o.d -o src/libbitwuzla.so.0.p/node_kind_info.cpp.o -c ../src/node/kind_info.cpp [ 18% 85/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/node_node_kind.cpp.o -MF src/libbitwuzla.so.0.p/node_node_kind.cpp.o.d -o src/libbitwuzla.so.0.p/node_node_kind.cpp.o -c ../src/node/node_kind.cpp [ 19% 86/116] rm -f src/libbzlautil.a && llvm-ar csrDT src/libbzlautil.a src/libbzlautil.a.p/util_hash.cpp.o src/libbzlautil.a.p/util_logger.cpp.o src/libbzlautil.a.p/util_resources.cpp.o src/libbzlautil.a.p/util_printer.cpp.o src/libbzlautil.a.p/util_statistics.cpp.o src/libbzlautil.a.p/util_util.cpp.o src/libbzlautil.a.p/util_integer.cpp.o src/libbzlautil.a.p/util_gmp_utils.cpp.o [ 20% 87/116] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_cnf.cpp.o -MF src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_cnf.cpp.o.d -o src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_cnf.cpp.o -c ../src/lib/bitblast/aig/aig_cnf.cpp [ 21% 88/116] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_manager.cpp.o -MF src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_manager.cpp.o.d -o src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_manager.cpp.o -c ../src/lib/bitblast/aig/aig_manager.cpp [ 22% 89/116] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DBZLA_ENABLE_UNIT_TESTING -MD -MQ src/lib/libbitwuzlals.so.p/ls_ls_bv.cpp.o -MF src/lib/libbitwuzlals.so.p/ls_ls_bv.cpp.o.d -o src/lib/libbitwuzlals.so.p/ls_ls_bv.cpp.o -c ../src/lib/ls/ls_bv.cpp [ 23% 90/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/parser_smt2_token.cpp.o -MF src/libbitwuzla.so.0.p/parser_smt2_token.cpp.o.d -o src/libbitwuzla.so.0.p/parser_smt2_token.cpp.o -c ../src/parser/smt2/token.cpp [ 24% 91/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/sat_kissat.cpp.o -MF src/libbitwuzla.so.0.p/sat_kissat.cpp.o.d -o src/libbitwuzla.so.0.p/sat_kissat.cpp.o -c ../src/sat/kissat.cpp [ 25% 92/116] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DBZLA_ENABLE_UNIT_TESTING -MD -MQ src/lib/libbitwuzlals.so.p/ls_node_node.cpp.o -MF src/lib/libbitwuzlals.so.p/ls_node_node.cpp.o.d -o src/lib/libbitwuzlals.so.p/ls_node_node.cpp.o -c ../src/lib/ls/node/node.cpp [ 25% 93/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/node_node.cpp.o -MF src/libbitwuzla.so.0.p/node_node.cpp.o.d -o src/libbitwuzla.so.0.p/node_node.cpp.o -c ../src/node/node.cpp [ 26% 94/116] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabv.so.p/bv_domain_bitvector_domain.cpp.o -MF src/lib/libbitwuzlabv.so.p/bv_domain_bitvector_domain.cpp.o.d -o src/lib/libbitwuzlabv.so.p/bv_domain_bitvector_domain.cpp.o -c ../src/lib/bv/domain/bitvector_domain.cpp [ 27% 95/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/sat_cryptominisat.cpp.o -MF src/libbitwuzla.so.0.p/sat_cryptominisat.cpp.o.d -o src/libbitwuzla.so.0.p/sat_cryptominisat.cpp.o -c ../src/sat/cryptominisat.cpp [ 28% 96/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/parser_smt2_lexer.cpp.o -MF src/libbitwuzla.so.0.p/parser_smt2_lexer.cpp.o.d -o src/libbitwuzla.so.0.p/parser_smt2_lexer.cpp.o -c ../src/parser/smt2/lexer.cpp [ 29% 97/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/node_node_data.cpp.o -MF src/libbitwuzla.so.0.p/node_node_data.cpp.o.d -o src/libbitwuzla.so.0.p/node_node_data.cpp.o -c ../src/node/node_data.cpp [ 30% 98/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/backtrack_assertion_stack.cpp.o -MF src/libbitwuzla.so.0.p/backtrack_assertion_stack.cpp.o.d -o src/libbitwuzla.so.0.p/backtrack_assertion_stack.cpp.o -c ../src/backtrack/assertion_stack.cpp [ 31% 99/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/parser_btor2_lexer.cpp.o -MF src/libbitwuzla.so.0.p/parser_btor2_lexer.cpp.o.d -o src/libbitwuzla.so.0.p/parser_btor2_lexer.cpp.o -c ../src/parser/btor2/lexer.cpp [ 31% 100/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/parser_btor2_token.cpp.o -MF src/libbitwuzla.so.0.p/parser_btor2_token.cpp.o.d -o src/libbitwuzla.so.0.p/parser_btor2_token.cpp.o -c ../src/parser/btor2/token.cpp [ 32% 101/116] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -MD -MQ src/lib/libbitwuzlabv.so.p/bv_bitvector.cpp.o -MF src/lib/libbitwuzlabv.so.p/bv_bitvector.cpp.o.d -o src/lib/libbitwuzlabv.so.p/bv_bitvector.cpp.o -c ../src/lib/bv/bitvector.cpp [ 33% 102/116] c++ -Isrc/main/bitwuzla.p -Isrc/main -I../src/main -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -pthread -MD -MQ src/main/bitwuzla.p/options.cpp.o -MF src/main/bitwuzla.p/options.cpp.o.d -o src/main/bitwuzla.p/options.cpp.o -c ../src/main/options.cpp [ 34% 103/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/node_node_unique_table.cpp.o -MF src/libbitwuzla.so.0.p/node_node_unique_table.cpp.o.d -o src/libbitwuzla.so.0.p/node_node_unique_table.cpp.o -c ../src/node/node_unique_table.cpp [ 35% 104/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/parser_smt2_symbol_table.cpp.o -MF src/libbitwuzla.so.0.p/parser_smt2_symbol_table.cpp.o.d -o src/libbitwuzla.so.0.p/parser_smt2_symbol_table.cpp.o -c ../src/parser/smt2/symbol_table.cpp [ 36% 105/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_fp_symfpu_nm.cpp.o -MF src/libbitwuzla.so.0.p/solver_fp_symfpu_nm.cpp.o.d -o src/libbitwuzla.so.0.p/solver_fp_symfpu_nm.cpp.o -c ../src/solver/fp/symfpu_nm.cpp [ 37% 106/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/api_cpp_parser.cpp.o -MF src/libbitwuzla.so.0.p/api_cpp_parser.cpp.o.d -o src/libbitwuzla.so.0.p/api_cpp_parser.cpp.o -c ../src/api/cpp/parser.cpp [ 37% 107/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/check_check_unsat_core.cpp.o -MF src/libbitwuzla.so.0.p/check_check_unsat_core.cpp.o.d -o src/libbitwuzla.so.0.p/check_check_unsat_core.cpp.o -c ../src/check/check_unsat_core.cpp [ 38% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_rewrite.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_rewrite.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_rewrite.cpp.o -c ../src/preprocess/pass/rewrite.cpp [ 39% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/api_c_parser.cpp.o -MF src/libbitwuzla.so.0.p/api_c_parser.cpp.o.d -o src/libbitwuzla.so.0.p/api_c_parser.cpp.o -c ../src/api/c/parser.cpp [ 40% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/node_node_manager.cpp.o -MF src/libbitwuzla.so.0.p/node_node_manager.cpp.o.d -o src/libbitwuzla.so.0.p/node_node_manager.cpp.o -c ../src/node/node_manager.cpp [ 41% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_assertion_vector.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_assertion_vector.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_assertion_vector.cpp.o -c ../src/preprocess/assertion_vector.cpp [ 42% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_evaluator.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_evaluator.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_evaluator.cpp.o -c ../src/rewrite/evaluator.cpp [ 43% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_assertion_tracker.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_assertion_tracker.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_assertion_tracker.cpp.o -c ../src/preprocess/assertion_tracker.cpp [ 43% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/resource_terminator.cpp.o -MF src/libbitwuzla.so.0.p/resource_terminator.cpp.o.d -o src/libbitwuzla.so.0.p/resource_terminator.cpp.o -c ../src/resource_terminator.cpp [ 44% 108/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/check_check_model.cpp.o -MF src/libbitwuzla.so.0.p/check_check_model.cpp.o.d -o src/libbitwuzla.so.0.p/check_check_model.cpp.o -c ../src/check/check_model.cpp [ 45% 108/116] c++ -o src/lib/libbitwuzlabv.so src/lib/libbitwuzlabv.so.p/bv_bitvector.cpp.o src/lib/libbitwuzlabv.so.p/bv_bounds_bitvector_bounds.cpp.o src/lib/libbitwuzlabv.so.p/bv_domain_bitvector_domain.cpp.o src/lib/libbitwuzlabv.so.p/bv_domain_wheel_factorizer.cpp.o -L/usr/local/lib -I/usr/local/include/cadical -Wl,--as-needed -Wl,--no-undefined -shared -fPIC -Wl,-soname,libbitwuzlabv.so -Wl,--whole-archive -Wl,--start-group src/lib/libbzlarng.a -Wl,--no-whole-archive -lcadical -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -Wl,-rpath,/usr/local/lib -Wl,-rpath-link,/usr/local/lib src/libbzlautil.a /usr/local/lib/libgmp.so -Wl,--end-group [ 46% 109/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/env.cpp.o -MF src/libbitwuzla.so.0.p/env.cpp.o.d -o src/libbitwuzla.so.0.p/env.cpp.o -c ../src/env.cpp [ 47% 109/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/sat_cadical.cpp.o -MF src/libbitwuzla.so.0.p/sat_cadical.cpp.o.d -o src/libbitwuzla.so.0.p/sat_cadical.cpp.o -c ../src/sat/cadical.cpp [ 48% 109/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/node_node_utils.cpp.o -MF src/libbitwuzla.so.0.p/node_node_utils.cpp.o.d -o src/libbitwuzla.so.0.p/node_node_utils.cpp.o -c ../src/node/node_utils.cpp [ 49% 109/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_elim_lambda.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_elim_lambda.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_elim_lambda.cpp.o -c ../src/preprocess/pass/elim_lambda.cpp [ 50% 109/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_preprocessing_pass.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_preprocessing_pass.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_preprocessing_pass.cpp.o -c ../src/preprocess/preprocessing_pass.cpp [ 50% 109/116] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DBZLA_ENABLE_UNIT_TESTING -MD -MQ src/lib/libbitwuzlals.so.p/ls_ls.cpp.o -MF src/lib/libbitwuzlals.so.p/ls_ls.cpp.o.d -o src/lib/libbitwuzlals.so.p/ls_ls.cpp.o -c ../src/lib/ls/ls.cpp [ 51% 109/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewrites_array.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewrites_array.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewrites_array.cpp.o -c ../src/rewrite/rewrites_array.cpp [ 52% 109/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewrites_bv_norm.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewrites_bv_norm.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewrites_bv_norm.cpp.o -c ../src/rewrite/rewrites_bv_norm.cpp [ 53% 109/116] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DBZLA_ENABLE_UNIT_TESTING -MD -MQ src/lib/libbitwuzlals.so.p/ls_bv_bitvector_node.cpp.o -MF src/lib/libbitwuzlals.so.p/ls_bv_bitvector_node.cpp.o.d -o src/lib/libbitwuzlals.so.p/ls_bv_bitvector_node.cpp.o -c ../src/lib/ls/bv/bitvector_node.cpp [ 54% 109/116] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build src/lib/libbitwuzlabv.so src/lib/libbitwuzlabv.so src/lib/libbitwuzlabv.so.p/libbitwuzlabv.so.symbols [ 55% 111/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewrite_utils.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewrite_utils.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewrite_utils.cpp.o -c ../src/rewrite/rewrite_utils.cpp [ 56% 111/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_elim_extract.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_elim_extract.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_elim_extract.cpp.o -c ../src/preprocess/pass/elim_extract.cpp [ 56% 111/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_elim_uninterpreted.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_elim_uninterpreted.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_elim_uninterpreted.cpp.o -c ../src/preprocess/pass/elim_uninterpreted.cpp [ 57% 111/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_skeleton_preproc.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_skeleton_preproc.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_skeleton_preproc.cpp.o -c ../src/preprocess/pass/skeleton_preproc.cpp [ 58% 111/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_embedded_constraints.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_embedded_constraints.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_embedded_constraints.cpp.o -c ../src/preprocess/pass/embedded_constraints.cpp [ 59% 111/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/check_check_term.cpp.o -MF src/libbitwuzla.so.0.p/check_check_term.cpp.o.d -o src/libbitwuzla.so.0.p/check_check_term.cpp.o -c ../src/check/check_term.cpp [ 60% 111/116] c++ -o src/lib/libbitwuzlals.so src/lib/libbitwuzlals.so.p/ls_ls.cpp.o src/lib/libbitwuzlals.so.p/ls_ls_bv.cpp.o src/lib/libbitwuzlals.so.p/ls_bv_bitvector_node.cpp.o src/lib/libbitwuzlals.so.p/ls_node_node.cpp.o -L/usr/local/lib -I/usr/local/include/cadical -Wl,--as-needed -Wl,--no-undefined -shared -fPIC -Wl,-soname,libbitwuzlals.so -Wl,--whole-archive -Wl,--start-group src/lib/libbzlarng.a -Wl,--no-whole-archive -lcadical -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include '-Wl,-rpath,$ORIGIN/:/usr/local/lib' -Wl,-rpath-link,/wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/src/lib -Wl,-rpath-link,/usr/local/lib src/lib/libbitwuzlabv.so src/libbzlautil.a /usr/local/lib/libgmp.so -Wl,--end-group [ 61% 112/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_elim_udiv.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_elim_udiv.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_elim_udiv.cpp.o -c ../src/preprocess/pass/elim_udiv.cpp [ 62% 112/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/sat_sat_solver_factory.cpp.o -MF src/libbitwuzla.so.0.p/sat_sat_solver_factory.cpp.o.d -o src/libbitwuzla.so.0.p/sat_sat_solver_factory.cpp.o -c ../src/sat/sat_solver_factory.cpp [ 62% 112/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_flatten_and.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_flatten_and.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_flatten_and.cpp.o -c ../src/preprocess/pass/flatten_and.cpp [ 63% 112/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewrites_bool.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewrites_bool.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewrites_bool.cpp.o -c ../src/rewrite/rewrites_bool.cpp [ 64% 112/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_fp_rounding_mode.cpp.o -MF src/libbitwuzla.so.0.p/solver_fp_rounding_mode.cpp.o.d -o src/libbitwuzla.so.0.p/solver_fp_rounding_mode.cpp.o -c ../src/solver/fp/rounding_mode.cpp [ 65% 112/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewrites_fp.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewrites_fp.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewrites_fp.cpp.o -c ../src/rewrite/rewrites_fp.cpp [ 66% 112/116] c++ -o src/lib/libbitwuzlabb.so src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_cnf.cpp.o src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_manager.cpp.o src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_node.cpp.o src/lib/libbitwuzlabb.so.p/bitblast_aig_aig_printer.cpp.o -L/usr/local/lib -I/usr/local/include/cadical -Wl,--as-needed -Wl,--no-undefined -shared -fPIC -Wl,-soname,libbitwuzlabb.so -Wl,--start-group -lcadical -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include '-Wl,-rpath,$ORIGIN/:/usr/local/lib' -Wl,-rpath-link,/wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/src/lib -Wl,-rpath-link,/usr/local/lib src/lib/libbitwuzlabv.so /usr/local/lib/libgmp.so -Wl,--end-group [ 67% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/parser_btor2_parser.cpp.o -MF src/libbitwuzla.so.0.p/parser_btor2_parser.cpp.o.d -o src/libbitwuzla.so.0.p/parser_btor2_parser.cpp.o -c ../src/parser/btor2/parser.cpp [ 68% 113/116] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build src/lib/libbitwuzlals.so src/lib/libbitwuzlals.so src/lib/libbitwuzlals.so.p/libbitwuzlals.so.symbols [ 68% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_contradicting_ands.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_contradicting_ands.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_contradicting_ands.cpp.o -c ../src/preprocess/pass/contradicting_ands.cpp [ 69% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewrites_core.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewrites_core.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewrites_core.cpp.o -c ../src/rewrite/rewrites_core.cpp [ 70% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/option_option.cpp.o -MF src/libbitwuzla.so.0.p/option_option.cpp.o.d -o src/libbitwuzla.so.0.p/option_option.cpp.o -c ../src/option/option.cpp [ 71% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/api_c_bitwuzla.cpp.o -MF src/libbitwuzla.so.0.p/api_c_bitwuzla.cpp.o.d -o src/libbitwuzla.so.0.p/api_c_bitwuzla.cpp.o -c ../src/api/c/bitwuzla.cpp [ 72% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/type_type_data.cpp.o -MF src/libbitwuzla.so.0.p/type_type_data.cpp.o.d -o src/libbitwuzla.so.0.p/type_type_data.cpp.o -c ../src/type/type_data.cpp [ 73% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_bv_bv_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_bv_bv_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_bv_bv_solver.cpp.o -c ../src/solver/bv/bv_solver.cpp [ 74% 113/116] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build src/lib/libbitwuzlabb.so src/lib/libbitwuzlabb.so src/lib/libbitwuzlabb.so.p/libbitwuzlabb.so.symbols [ 75% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/printer_printer.cpp.o -MF src/libbitwuzla.so.0.p/printer_printer.cpp.o.d -o src/libbitwuzla.so.0.p/printer_printer.cpp.o -c ../src/printer/printer.cpp [ 75% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_solver.cpp.o -c ../src/solver/solver.cpp [ 76% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/type_type_manager.cpp.o -MF src/libbitwuzla.so.0.p/type_type_manager.cpp.o.d -o src/libbitwuzla.so.0.p/type_type_manager.cpp.o -c ../src/type/type_manager.cpp [ 77% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_result.cpp.o -MF src/libbitwuzla.so.0.p/solver_result.cpp.o.d -o src/libbitwuzla.so.0.p/solver_result.cpp.o -c ../src/solver/result.cpp [ 78% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_fp_floating_point.cpp.o -MF src/libbitwuzla.so.0.p/solver_fp_floating_point.cpp.o.d -o src/libbitwuzla.so.0.p/solver_fp_floating_point.cpp.o -c ../src/solver/fp/floating_point.cpp [ 79% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_fp_fp_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_fp_fp_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_fp_fp_solver.cpp.o -c ../src/solver/fp/fp_solver.cpp [ 80% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/type_type.cpp.o -MF src/libbitwuzla.so.0.p/type_type.cpp.o.d -o src/libbitwuzla.so.0.p/type_type.cpp.o -c ../src/type/type.cpp [ 81% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_fp_symfpu_wrapper.cpp.o -MF src/libbitwuzla.so.0.p/solver_fp_symfpu_wrapper.cpp.o.d -o src/libbitwuzla.so.0.p/solver_fp_symfpu_wrapper.cpp.o -c ../src/solver/fp/symfpu_wrapper.cpp [ 81% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_bv_bv_prop_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_bv_bv_prop_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_bv_bv_prop_solver.cpp.o -c ../src/solver/bv/bv_prop_solver.cpp [ 82% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_bv_bv_bitblast_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_bv_bv_bitblast_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_bv_bv_bitblast_solver.cpp.o -c ../src/solver/bv/bv_bitblast_solver.cpp [ 83% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_solver_state.cpp.o -MF src/libbitwuzla.so.0.p/solver_solver_state.cpp.o.d -o src/libbitwuzla.so.0.p/solver_solver_state.cpp.o -c ../src/solver/solver_state.cpp [ 84% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_preprocessor.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_preprocessor.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_preprocessor.cpp.o -c ../src/preprocess/preprocessor.cpp [ 85% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_variable_substitution.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_variable_substitution.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_variable_substitution.cpp.o -c ../src/preprocess/pass/variable_substitution.cpp [ 86% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_fun_fun_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_fun_fun_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_fun_fun_solver.cpp.o -c ../src/solver/fun/fun_solver.cpp [ 87% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_quant_quant_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_quant_quant_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_quant_quant_solver.cpp.o -c ../src/solver/quant/quant_solver.cpp [ 87% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewriter.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewriter.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewriter.cpp.o -c ../src/rewrite/rewriter.cpp [ 88% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solving_context.cpp.o -MF src/libbitwuzla.so.0.p/solving_context.cpp.o.d -o src/libbitwuzla.so.0.p/solving_context.cpp.o -c ../src/solving_context.cpp [ 89% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_bv_aig_bitblaster.cpp.o -MF src/libbitwuzla.so.0.p/solver_bv_aig_bitblaster.cpp.o.d -o src/libbitwuzla.so.0.p/solver_bv_aig_bitblaster.cpp.o -c ../src/solver/bv/aig_bitblaster.cpp [ 90% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_solver_engine.cpp.o -MF src/libbitwuzla.so.0.p/solver_solver_engine.cpp.o.d -o src/libbitwuzla.so.0.p/solver_solver_engine.cpp.o -c ../src/solver/solver_engine.cpp [ 91% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/rewrite_rewrites_bv.cpp.o -MF src/libbitwuzla.so.0.p/rewrite_rewrites_bv.cpp.o.d -o src/libbitwuzla.so.0.p/rewrite_rewrites_bv.cpp.o -c ../src/rewrite/rewrites_bv.cpp [ 92% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_abstract_abstraction_lemmas.cpp.o -MF src/libbitwuzla.so.0.p/solver_abstract_abstraction_lemmas.cpp.o.d -o src/libbitwuzla.so.0.p/solver_abstract_abstraction_lemmas.cpp.o -c ../src/solver/abstract/abstraction_lemmas.cpp [ 93% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/parser_smt2_parser.cpp.o -MF src/libbitwuzla.so.0.p/parser_smt2_parser.cpp.o.d -o src/libbitwuzla.so.0.p/parser_smt2_parser.cpp.o -c ../src/parser/smt2/parser.cpp [ 93% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_fp_word_blaster.cpp.o -MF src/libbitwuzla.so.0.p/solver_fp_word_blaster.cpp.o.d -o src/libbitwuzla.so.0.p/solver_fp_word_blaster.cpp.o -c ../src/solver/fp/word_blaster.cpp [ 94% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/preprocess_pass_normalize.cpp.o -MF src/libbitwuzla.so.0.p/preprocess_pass_normalize.cpp.o.d -o src/libbitwuzla.so.0.p/preprocess_pass_normalize.cpp.o -c ../src/preprocess/pass/normalize.cpp [ 95% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/api_cpp_bitwuzla.cpp.o -MF src/libbitwuzla.so.0.p/api_cpp_bitwuzla.cpp.o.d -o src/libbitwuzla.so.0.p/api_cpp_bitwuzla.cpp.o -c ../src/api/cpp/bitwuzla.cpp [ 96% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_array_array_solver.cpp.o -MF src/libbitwuzla.so.0.p/solver_array_array_solver.cpp.o.d -o src/libbitwuzla.so.0.p/solver_array_array_solver.cpp.o -c ../src/solver/array/array_solver.cpp [ 97% 113/116] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -I/usr/local/include/cadical -fdiagnostics-color=never -DNDEBUG -D_FILE_OFFSET_BITS=64 -Wall -Winvalid-pch -Wextra -Wpedantic -std=c++17 -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include -fPIC -DHAVE_RUSAGE -MD -MQ src/libbitwuzla.so.0.p/solver_abstract_abstraction_module.cpp.o -MF src/libbitwuzla.so.0.p/solver_abstract_abstraction_module.cpp.o.d -o src/libbitwuzla.so.0.p/solver_abstract_abstraction_module.cpp.o -c ../src/solver/abstract/abstraction_module.cpp [ 98% 114/116] c++ -o src/libbitwuzla.so.0 src/libbitwuzla.so.0.p/api_c_bitwuzla.cpp.o src/libbitwuzla.so.0.p/api_c_bitwuzla_structs.cpp.o src/libbitwuzla.so.0.p/api_c_parser.cpp.o src/libbitwuzla.so.0.p/api_checks.cpp.o src/libbitwuzla.so.0.p/api_cpp_bitwuzla.cpp.o src/libbitwuzla.so.0.p/api_cpp_parser.cpp.o src/libbitwuzla.so.0.p/backtrack_assertion_stack.cpp.o src/libbitwuzla.so.0.p/backtrack_backtrackable.cpp.o src/libbitwuzla.so.0.p/check_check_model.cpp.o src/libbitwuzla.so.0.p/check_check_unsat_core.cpp.o src/libbitwuzla.so.0.p/check_check_term.cpp.o src/libbitwuzla.so.0.p/env.cpp.o src/libbitwuzla.so.0.p/node_kind_info.cpp.o src/libbitwuzla.so.0.p/node_node.cpp.o src/libbitwuzla.so.0.p/node_node_data.cpp.o src/libbitwuzla.so.0.p/node_node_kind.cpp.o src/libbitwuzla.so.0.p/node_node_manager.cpp.o src/libbitwuzla.so.0.p/node_node_unique_table.cpp.o src/libbitwuzla.so.0.p/node_node_utils.cpp.o src/libbitwuzla.so.0.p/option_option.cpp.o src/libbitwuzla.so.0.p/parser_btor2_lexer.cpp.o src/libbitwuzla.so.0.p/parser_btor2_parser.cpp.o src/libbitwuzla.so.0.p/parser_btor2_token.cpp.o src/libbitwuzla.so.0.p/parser_smt2_lexer.cpp.o src/libbitwuzla.so.0.p/parser_smt2_parser.cpp.o src/libbitwuzla.so.0.p/parser_smt2_symbol_table.cpp.o src/libbitwuzla.so.0.p/parser_smt2_token.cpp.o src/libbitwuzla.so.0.p/preprocess_assertion_tracker.cpp.o src/libbitwuzla.so.0.p/preprocess_assertion_vector.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_contradicting_ands.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_elim_extract.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_elim_lambda.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_elim_udiv.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_elim_uninterpreted.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_embedded_constraints.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_flatten_and.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_normalize.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_rewrite.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_skeleton_preproc.cpp.o src/libbitwuzla.so.0.p/preprocess_pass_variable_substitution.cpp.o src/libbitwuzla.so.0.p/preprocess_preprocessing_pass.cpp.o src/libbitwuzla.so.0.p/preprocess_preprocessor.cpp.o src/libbitwuzla.so.0.p/printer_printer.cpp.o src/libbitwuzla.so.0.p/rewrite_evaluator.cpp.o src/libbitwuzla.so.0.p/rewrite_rewrite_utils.cpp.o src/libbitwuzla.so.0.p/rewrite_rewriter.cpp.o src/libbitwuzla.so.0.p/rewrite_rewrites_array.cpp.o src/libbitwuzla.so.0.p/rewrite_rewrites_bool.cpp.o src/libbitwuzla.so.0.p/rewrite_rewrites_bv.cpp.o src/libbitwuzla.so.0.p/rewrite_rewrites_bv_norm.cpp.o src/libbitwuzla.so.0.p/rewrite_rewrites_core.cpp.o src/libbitwuzla.so.0.p/rewrite_rewrites_fp.cpp.o src/libbitwuzla.so.0.p/resource_terminator.cpp.o src/libbitwuzla.so.0.p/sat_cadical.cpp.o src/libbitwuzla.so.0.p/sat_cryptominisat.cpp.o src/libbitwuzla.so.0.p/sat_kissat.cpp.o src/libbitwuzla.so.0.p/sat_sat_solver_factory.cpp.o src/libbitwuzla.so.0.p/solver_array_array_solver.cpp.o src/libbitwuzla.so.0.p/solver_abstract_abstraction_lemmas.cpp.o src/libbitwuzla.so.0.p/solver_abstract_abstraction_module.cpp.o src/libbitwuzla.so.0.p/solver_bv_bv_bitblast_solver.cpp.o src/libbitwuzla.so.0.p/solver_bv_bv_prop_solver.cpp.o src/libbitwuzla.so.0.p/solver_bv_bv_solver.cpp.o src/libbitwuzla.so.0.p/solver_bv_aig_bitblaster.cpp.o src/libbitwuzla.so.0.p/solver_fp_floating_point.cpp.o src/libbitwuzla.so.0.p/solver_fp_fp_solver.cpp.o src/libbitwuzla.so.0.p/solver_fp_rounding_mode.cpp.o src/libbitwuzla.so.0.p/solver_fp_symfpu_nm.cpp.o src/libbitwuzla.so.0.p/solver_fp_symfpu_wrapper.cpp.o src/libbitwuzla.so.0.p/solver_fp_word_blaster.cpp.o src/libbitwuzla.so.0.p/solver_fun_fun_solver.cpp.o src/libbitwuzla.so.0.p/solver_quant_quant_solver.cpp.o src/libbitwuzla.so.0.p/solver_result.cpp.o src/libbitwuzla.so.0.p/solver_solver.cpp.o src/libbitwuzla.so.0.p/solver_solver_engine.cpp.o src/libbitwuzla.so.0.p/solver_solver_state.cpp.o src/libbitwuzla.so.0.p/solving_context.cpp.o src/libbitwuzla.so.0.p/type_type.cpp.o src/libbitwuzla.so.0.p/type_type_data.cpp.o src/libbitwuzla.so.0.p/type_type_manager.cpp.o -L/usr/local/lib -I/usr/local/include/cadical -Wl,--as-needed -Wl,--no-undefined -shared -fPIC -Wl,-soname,libbitwuzla.so.0 -Wl,--start-group -lcadical -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include '-Wl,-rpath,$ORIGIN/lib:/usr/local/lib' -Wl,-rpath-link,/wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/src/lib -Wl,-rpath-link,/usr/local/lib src/libbzlautil.a src/lib/libbitwuzlabb.so src/lib/libbitwuzlabv.so src/lib/libbitwuzlals.so /usr/local/lib/libgmp.so -Wl,--end-group [ 99% 115/116] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build src/libbitwuzla.so.0 src/libbitwuzla.so.0 src/libbitwuzla.so.0.p/libbitwuzla.so.0.symbols [100% 116/116] c++ -o src/main/bitwuzla src/main/bitwuzla.p/main.cpp.o src/main/bitwuzla.p/options.cpp.o src/main/bitwuzla.p/time_limit.cpp.o -L/usr/local/lib -I/usr/local/include/cadical -Wl,--as-needed -Wl,--no-undefined -Wl,--start-group -lcadical -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -isystem /usr/local/include '-Wl,-rpath,$ORIGIN/..:$ORIGIN/../lib:/usr/local/lib' -Wl,-rpath-link,/wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/src -Wl,-rpath-link,/wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/src/lib -Wl,-rpath-link,/usr/local/lib src/libbitwuzla.so.0 src/lib/libbitwuzlabb.so src/lib/libbitwuzlabv.so src/lib/libbitwuzlals.so /usr/local/lib/libgmp.so -Wl,--end-group -pthread =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for bitwuzla-0.8.2 ===> Generating temporary packing list [ 14% 1/7] /usr/local/bin/meson --internal vcstagger /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/src/config.h.in src/config.h 0.8.2 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/src @git_id@ '(.*)' /usr/local/bin/python3.11 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/src/get_git_id.py /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2 [ 50% 2/2] /usr/local/bin/meson install --no-rebuild Installing subdir /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/include/bitwuzla to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/include/bitwuzla/enums.h to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/include/bitwuzla/option.h to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/include/bitwuzla/c/bitwuzla.h to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla/c Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/include/bitwuzla/c/parser.h to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla/c Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/include/bitwuzla/cpp/bitwuzla.h to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla/cpp Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/include/bitwuzla/cpp/parser.h to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla/cpp Installing src/lib/libbitwuzlabv.so to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/lib Stripping target 'src/lib/libbitwuzlabv.so'. Installing src/lib/libbitwuzlabb.so to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/lib Stripping target 'src/lib/libbitwuzlabb.so'. Installing src/lib/libbitwuzlals.so to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/lib Stripping target 'src/lib/libbitwuzlals.so'. Installing src/libbitwuzla.so.0 to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/lib Stripping target 'src/libbitwuzla.so.0'. Installing src/main/bitwuzla to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/bin Stripping target 'src/main/bitwuzla'. Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.8.2/_build/meson-private/bitwuzla.pc to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/libdata/pkgconfig Installing symlink pointing to libbitwuzla.so.0 to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/lib/libbitwuzla.so ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-03-16T23:29:20+0000' 'PKG_NOTE_ports_top_git_hash=8c988f802ea2' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=cd1ce46df01f' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for bitwuzla-0.8.2 ===> Building bitwuzla-0.8.2 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for bitwuzla-0.8.2 build of math/bitwuzla | bitwuzla-0.8.2 ended at Mon Mar 16 19:30:33 EDT 2026 build time: 00:01:14