=>> Building math/bitwuzla build started at Sun May 4 19:19:31 EDT 2025 port directory: /usr/ports/math/bitwuzla package name: bitwuzla-0.7.0 building for: FreeBSD 13amd64-weekly-desktop-job-04 13.4-RELEASE-p4 FreeBSD 13.4-RELEASE-p4 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 883 Mar 1 07:51 /usr/ports/math/bitwuzla/Makefile Ports top last git commit: 57a50b106b87 Ports top unclean checkout: yes Port dir last git commit: 1820542ed740 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1402000 Jail OSVERSION: 1304000 Job Id: 04 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1304000 UNAME_v=FreeBSD 13.4-RELEASE-p4 UNAME_r=13.4-RELEASE-p4 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=/mnt/data/.m/13amd64-weekly-desktop/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen GID=0 OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 UID=0 PWD=/mnt/data/.m/13amd64-weekly-desktop/04/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13amd64-weekly-desktop SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/mnt/data/.m/13amd64-weekly-desktop/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 -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" -lcadical -fstack-protector-strong -L/usr/local/lib " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -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=freebsd13 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_EXT_SUFFIX=.cpython-311 PYTHON_VER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=13.4 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=freebsd13 PYTHON_SITELIBDIR=/usr/local/lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_EXT_SUFFIX=.cpython-311 PYTHON_VER=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--- 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 #### #### # Work around some weirdness when fetching golang modules GO_TAGS+=netcgo .if ${.CURDIR:M*/www/chromium*} MAKE_JOBS_NUMBER=24 .endif .if ${.CURDIR:M*/www/ungoogled-chromium*} MAKE_JOBS_NUMBER=24 .endif .if ${.CURDIR:M*/lang/rust*} MAKE_JOBS_NUMBER=10 .endif .if ${.CURDIR:M*/lang/gcc*} MAKE_JOBS_NUMBER=10 .endif .if ${.CURDIR:M*/www/iridium*} MAKE_JOBS_NUMBER=16 .endif .if ${.CURDIR:M*/devel/electron*} MAKE_JOBS_NUMBER=20 .endif .if ${.CURDIR:M*/databases/mongodb*} MAKE_JOBS_NUMBER=12 .endif .if ${.CURDIR:M*/devel/llvm*} MAKE_JOBS_NUMBER=16 .endif # Speed things up a bit MAKE_JOBS_NUMBER?=8 #### #### #MAKE_JOBS_NUMBER?=4 # Alows us to build ports non-interactivly DISABLE_LICENSES=yes LICENSES_ACCEPTED+= DCC # Enable SNDIO on anything that supports it #OPTIONS_SET+=PULSEAUDIO OPTIONS_SET+=SNDIO # Yes we have MS Windows x11-fonts_webfonts_SET+=EXTRAFONTS CLEARTYPE # Desktop Specific Options sysutils_gksu_UNSET+=NAUTILUS x11-wm_compiz-fusion_UNSET+=EMERALD accessibility_redshift_SET+=GUI VIDMODE # These ports default to other audio servers, audio_espeak_UNSET+=PORTAUDIO www_qt5-webengine_UNSET+=ALSA www_qt6-webengine_UNSET+=ALSA audio_rhvoice_UNSET+=AO comms_morse_UNSET+=OSS audio_harp_UNSET+=OSS # Somehow these options are being set and result in ports being rebuilt needlessly becuase they are actually turned off audio_alsa-plugins_SET+=FFMPEG JACK PULSEAUDIO SAMPLERATE SPEEX #### Misc Poudriere #### .include "/etc/make.conf.ports_env" ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bitwuzla-0.7.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.0.6.pkg [13amd64-weekly-desktop-job-04] Installing pkg-2.0.6... [13amd64-weekly-desktop-job-04] Extracting pkg-2.0.6: .......... done ===> bitwuzla-0.7.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of bitwuzla-0.7.0 =========================================================================== =================================================== ===== 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.7.0 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by bitwuzla-0.7.0 for building => SHA256 Checksum OK for bitwuzla-bitwuzla-0.7.0_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Fetching all distfiles required by bitwuzla-0.7.0 for building ===> Extracting for bitwuzla-0.7.0 => SHA256 Checksum OK for bitwuzla-bitwuzla-0.7.0_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Patching for bitwuzla-0.7.0 ===> Applying FreeBSD patches for bitwuzla-0.7.0 from /usr/ports/math/bitwuzla/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bitwuzla-0.7.0 depends on package: gmp>0 - not found ===> Installing existing package /packages/All/gmp-6.3.0.pkg [13amd64-weekly-desktop-job-04] Installing gmp-6.3.0... [13amd64-weekly-desktop-job-04] `-- Installing indexinfo-0.3.1_1... [13amd64-weekly-desktop-job-04] `-- Extracting indexinfo-0.3.1_1: . done [13amd64-weekly-desktop-job-04] Extracting gmp-6.3.0: .......... done ===> bitwuzla-0.7.0 depends on package: gmp>0 - found ===> Returning to build of bitwuzla-0.7.0 ===> bitwuzla-0.7.0 depends on file: /usr/local/lib/symfpu.a - not found ===> Installing existing package /packages/All/symfpu-g20190517.pkg [13amd64-weekly-desktop-job-04] Installing symfpu-g20190517... [13amd64-weekly-desktop-job-04] Extracting symfpu-g20190517: .......... done ===> bitwuzla-0.7.0 depends on file: /usr/local/lib/symfpu.a - found ===> Returning to build of bitwuzla-0.7.0 ===> bitwuzla-0.7.0 depends on executable: meson - not found ===> Installing existing package /packages/All/meson-1.7.0.pkg [13amd64-weekly-desktop-job-04] Installing meson-1.7.0... [13amd64-weekly-desktop-job-04] `-- Installing ninja-1.11.1,4... [13amd64-weekly-desktop-job-04] | `-- Installing python311-3.11.11... [13amd64-weekly-desktop-job-04] | | `-- Installing gettext-runtime-0.23.1... [13amd64-weekly-desktop-job-04] | | `-- Extracting gettext-runtime-0.23.1: .......... done [13amd64-weekly-desktop-job-04] | | `-- Installing libffi-3.4.6... [13amd64-weekly-desktop-job-04] | | `-- Extracting libffi-3.4.6: .......... done [13amd64-weekly-desktop-job-04] | | `-- Installing mpdecimal-4.0.0... [13amd64-weekly-desktop-job-04] | | `-- Extracting mpdecimal-4.0.0: .......... done [13amd64-weekly-desktop-job-04] | | `-- Installing readline-8.2.13_2... [13amd64-weekly-desktop-job-04] | | `-- Extracting readline-8.2.13_2: .......... done [13amd64-weekly-desktop-job-04] | `-- Extracting python311-3.11.11: .......... done [13amd64-weekly-desktop-job-04] `-- Extracting ninja-1.11.1,4: ..... done [13amd64-weekly-desktop-job-04] Extracting meson-1.7.0: .......... done ===== Message from python311-3.11.11: -- 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.7.0 depends on executable: meson - found ===> Returning to build of bitwuzla-0.7.0 ===> bitwuzla-0.7.0 depends on executable: ninja - found ===> bitwuzla-0.7.0 depends on package: pkgconf>=1.3.0_1 - not found ===> Installing existing package /packages/All/pkgconf-2.3.0,1.pkg [13amd64-weekly-desktop-job-04] Installing pkgconf-2.3.0,1... [13amd64-weekly-desktop-job-04] Extracting pkgconf-2.3.0,1: .......... done ===> bitwuzla-0.7.0 depends on package: pkgconf>=1.3.0_1 - found ===> Returning to build of bitwuzla-0.7.0 ===> bitwuzla-0.7.0 depends on file: /usr/local/bin/python3.11 - found =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bitwuzla-0.7.0 depends on shared library: libcadical.so - not found ===> Installing existing package /packages/All/cadical-2.0.0.pkg [13amd64-weekly-desktop-job-04] Installing cadical-2.0.0... [13amd64-weekly-desktop-job-04] Extracting cadical-2.0.0: ....... done ===> bitwuzla-0.7.0 depends on shared library: libcadical.so - found (/usr/local/lib/libcadical.so) ===> Returning to build of bitwuzla-0.7.0 ===> bitwuzla-0.7.0 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Configuring for bitwuzla-0.7.0 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.7.0 Build dir: /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_build Build type: native build Project name: bitwuzla Project version: 0.7.0 C compiler for the host machine: cc (clang 18.1.6 "FreeBSD clang version 18.1.6 (https://github.com/llvm/llvm-project.git llvmorg-18.1.6-0-g1118c2e05e67)") C linker for the host machine: cc ld.lld 18.1.6 C++ compiler for the host machine: c++ (clang 18.1.6 "FreeBSD clang version 18.1.6 (https://github.com/llvm/llvm-project.git llvmorg-18.1.6-0-g1118c2e05e67)") C++ linker for the host machine: c++ ld.lld 18.1.6 Host machine cpu family: x86_64 Host machine cpu: x86_64 Found pkg-config: YES (/usr/local/bin/pkgconf) 2.3.0 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 threads found: YES Build targets in project: 8 bitwuzla 0.7.0 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.11.1 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=nobody UID=65534 GID=65534 ===> Building for bitwuzla-0.7.0 [ 0% 8/113] /usr/local/bin/meson --internal vcstagger /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_build/src/config.h.in src/config.h 0.7.0 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/src @git_id@ '(.*)' /usr/local/bin/python3.11 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/src/get_git_id.py /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0 [ 1% 9/113] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -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 [ 2% 10/113] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -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 [ 3% 11/113] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -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 [ 4% 12/113] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -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_pair.cpp.o -MF src/libbzlautil.a.p/util_hash_pair.cpp.o.d -o src/libbzlautil.a.p/util_hash_pair.cpp.o -c ../src/util/hash_pair.cpp [ 5% 13/113] c++ -Isrc/lib/libbzlarng.a.p -Isrc/lib -I../src/lib -I/usr/local/include -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% 14/113] rm -f src/lib/libbzlarng.a && llvm-ar csrDT src/lib/libbzlarng.a src/lib/libbzlarng.a.p/rng_rng.cpp.o [ 7% 15/113] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -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 [ 7% 16/113] c++ -Isrc/libbzlautil.a.p -Isrc -I../src -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 [ 8% 17/113] rm -f src/libbzlautil.a && llvm-ar csrDT src/libbzlautil.a src/libbzlautil.a.p/util_hash_pair.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 [ 9% 18/113] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 10% 19/113] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 11% 20/113] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 12% 21/113] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 13% 22/113] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 14% 23/113] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 15% 24/113] c++ -Isrc/lib/libbitwuzlabv.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 15% 25/113] 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 -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 -fstack-protector-strong -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 /usr/local/lib/libgmp.so -Wl,--end-group [ 16% 26/113] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_build src/lib/libbitwuzlabv.so src/lib/libbitwuzlabv.so src/lib/libbitwuzlabv.so.p/libbitwuzlabv.so.symbols [ 17% 27/113] c++ -Isrc/lib/libbitwuzlabb.so.p -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 18% 28/113] 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 -Wl,--as-needed -Wl,--no-undefined -shared -fPIC -Wl,-soname,libbitwuzlabb.so -Wl,--start-group -lcadical -fstack-protector-strong -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.7.0/_build/src/lib -Wl,-rpath-link,/usr/local/lib src/lib/libbitwuzlabv.so /usr/local/lib/libgmp.so -Wl,--end-group [ 19% 29/113] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_build src/lib/libbitwuzlabb.so src/lib/libbitwuzlabb.so src/lib/libbitwuzlabb.so.p/libbitwuzlabb.so.symbols [ 20% 30/113] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -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/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 [ 21% 31/113] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -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/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 [ 22% 32/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 23% 33/113] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -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/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 [ 23% 34/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 24% 35/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 25% 36/113] c++ -Isrc/lib/libbitwuzlals.so.p -Isrc/lib -I../src/lib -Isrc -I../src -I/usr/local/include -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/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 [ 26% 37/113] 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 -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 -fstack-protector-strong -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.7.0/_build/src/lib -Wl,-rpath-link,/usr/local/lib src/lib/libbitwuzlabv.so src/libbzlautil.a /usr/local/lib/libgmp.so -Wl,--end-group [ 27% 38/113] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_build src/lib/libbitwuzlals.so src/lib/libbitwuzlals.so src/lib/libbitwuzlals.so.p/libbitwuzlals.so.symbols [ 28% 39/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 29% 40/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 30% 41/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 30% 42/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 31% 43/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 32% 44/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 33% 45/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 34% 46/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 35% 47/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 36% 48/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 37% 49/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 38% 50/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 38% 51/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 39% 52/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 40% 53/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 41% 54/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 42% 55/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 43% 56/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 44% 57/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 45% 58/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 46% 59/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 46% 60/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 47% 61/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 48% 62/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 49% 63/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 50% 64/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 51% 65/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 52% 66/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 53% 67/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 53% 68/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 54% 69/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 55% 70/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 56% 71/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 57% 72/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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% 73/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 59% 74/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 60% 75/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 61% 76/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 61% 77/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 62% 78/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 63% 79/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 64% 80/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 65% 81/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 66% 82/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 67% 83/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 68% 84/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 69% 85/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 69% 86/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 70% 87/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 71% 88/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 72% 89/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 73% 90/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 74% 91/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 75% 92/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 76% 93/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 76% 94/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 77% 95/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 78% 96/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 79% 97/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 80% 98/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 81% 99/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 82% 100/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 83% 101/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 84% 102/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 84% 103/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 85% 104/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 86% 105/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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% 106/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 88% 107/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 89% 108/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 90% 109/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 91% 110/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 92% 110/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 92% 110/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 93% 110/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 94% 110/113] c++ -Isrc/main/bitwuzla.p -Isrc/main -I../src/main -Isrc -I../src -I../include -Isrc/lib -I../src/lib -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 [ 95% 110/113] c++ -Isrc/main/bitwuzla.p -Isrc/main -I../src/main -Isrc -I../src -I../include -Isrc/lib -I../src/lib -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 [ 96% 110/113] c++ -Isrc/main/bitwuzla.p -Isrc/main -I../src/main -Isrc -I../src -I../include -Isrc/lib -I../src/lib -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 [ 97% 110/113] c++ -Isrc/libbitwuzla.so.0.p -Isrc -I../src -I../include -Isrc/lib -I../src/lib -I/usr/local/include -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 [ 98% 111/113] 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/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 -Wl,--as-needed -Wl,--no-undefined -shared -fPIC -Wl,-soname,libbitwuzla.so.0 -Wl,--start-group -lcadical -fstack-protector-strong -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.7.0/_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% 112/113] /usr/local/bin/meson --internal symbolextractor /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_build src/libbitwuzla.so.0 src/libbitwuzla.so.0 src/libbitwuzla.so.0.p/libbitwuzla.so.0.symbols [100% 113/113] 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 -Wl,--as-needed -Wl,--no-undefined -Wl,--start-group -lcadical -fstack-protector-strong -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.7.0/_build/src -Wl,-rpath-link,/wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_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 -Wl,--end-group -pthread =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Staging for bitwuzla-0.7.0 ===> Generating temporary packing list [ 14% 1/7] /usr/local/bin/meson --internal vcstagger /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/_build/src/config.h.in src/config.h 0.7.0 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/src @git_id@ '(.*)' /usr/local/bin/python3.11 /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/src/get_git_id.py /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0 [ 50% 2/2] /usr/local/bin/meson install --no-rebuild Installing subdir /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/include/bitwuzla to /wrkdirs/usr/ports/math/bitwuzla/work/stage/usr/local/include/bitwuzla Installing /wrkdirs/usr/ports/math/bitwuzla/work/bitwuzla-0.7.0/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.7.0/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.7.0/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.7.0/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.7.0/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.7.0/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.7.0/_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=2025-05-04T23:19:31+0000' 'PKG_NOTE_ports_top_git_hash=57a50b106b87' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=1820542ed740' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building packages for bitwuzla-0.7.0 ===> Building bitwuzla-0.7.0 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for bitwuzla-0.7.0 build of math/bitwuzla | bitwuzla-0.7.0 ended at Sun May 4 19:20:38 EDT 2025 build time: 00:01:08