=>> Building math/boolector build started at Tue May 6 02:07:42 EDT 2025 port directory: /usr/ports/math/boolector package name: boolector-3.2.4 building for: FreeBSD 13amd64-weekly-desktop-job-03 13.4-RELEASE-p4 FreeBSD 13.4-RELEASE-p4 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 998 Oct 15 2024 /usr/ports/math/boolector/Makefile Ports top last git commit: 57a50b106b87 Ports top unclean checkout: yes Port dir last git commit: 15bcda7d0c16 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1402000 Jail OSVERSION: 1304000 Job Id: 03 ---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/03/.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-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/boolector/work/.cache HOME=/wrkdirs/usr/ports/math/boolector/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/boolector/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/boolector/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/boolector/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/boolector/work/.cache HOME=/wrkdirs/usr/ports/math/boolector/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/boolector/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/boolector/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=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/boolector" EXAMPLESDIR="share/examples/boolector" DATADIR="share/boolector" WWWDIR="www/boolector" ETCDIR="etc/boolector" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.11 PYTHON_LIBDIR=/usr/local/lib/python3.11 PYTHON_PLATFORM=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/boolector DOCSDIR=/usr/local/share/doc/boolector EXAMPLESDIR=/usr/local/share/examples/boolector WWWDIR=/usr/local/www/boolector ETCDIR=/usr/local/etc/boolector --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### # 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 ===> boolector-3.2.4 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.0.6.pkg [13amd64-weekly-desktop-job-03] Installing pkg-2.0.6... [13amd64-weekly-desktop-job-03] Extracting pkg-2.0.6: .......... done ===> boolector-3.2.4 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of boolector-3.2.4 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by boolector-3.2.4 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by boolector-3.2.4 for building => SHA256 Checksum OK for Boolector-boolector-3.2.4_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Fetching all distfiles required by boolector-3.2.4 for building ===> Extracting for boolector-3.2.4 => SHA256 Checksum OK for Boolector-boolector-3.2.4_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Patching for boolector-3.2.4 ===> Applying FreeBSD patches for boolector-3.2.4 from /usr/ports/math/boolector/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> boolector-3.2.4 depends on file: /usr/local/lib/liblgl.a - not found ===> Installing existing package /packages/All/lingeling-1.0.0.pkg [13amd64-weekly-desktop-job-03] Installing lingeling-1.0.0... [13amd64-weekly-desktop-job-03] Extracting lingeling-1.0.0: ......... done ===> boolector-3.2.4 depends on file: /usr/local/lib/liblgl.a - found ===> Returning to build of boolector-3.2.4 ===> boolector-3.2.4 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.6.pkg [13amd64-weekly-desktop-job-03] Installing cmake-core-3.31.6... [13amd64-weekly-desktop-job-03] `-- Installing expat-2.6.4... [13amd64-weekly-desktop-job-03] `-- Extracting expat-2.6.4: .......... done [13amd64-weekly-desktop-job-03] `-- Installing jsoncpp-1.9.6_1... [13amd64-weekly-desktop-job-03] `-- Extracting jsoncpp-1.9.6_1: .......... done [13amd64-weekly-desktop-job-03] `-- Installing libidn2-2.3.8... [13amd64-weekly-desktop-job-03] | `-- Installing indexinfo-0.3.1_1... [13amd64-weekly-desktop-job-03] | `-- Extracting indexinfo-0.3.1_1: . done [13amd64-weekly-desktop-job-03] | `-- Installing libunistring-1.3... [13amd64-weekly-desktop-job-03] | `-- Extracting libunistring-1.3: .......... done [13amd64-weekly-desktop-job-03] `-- Extracting libidn2-2.3.8: .......... done [13amd64-weekly-desktop-job-03] `-- Installing libuv-1.50.0... [13amd64-weekly-desktop-job-03] `-- Extracting libuv-1.50.0: .......... done [13amd64-weekly-desktop-job-03] `-- Installing rhash-1.4.4_1... [13amd64-weekly-desktop-job-03] | `-- Installing gettext-runtime-0.23.1... [13amd64-weekly-desktop-job-03] | `-- Extracting gettext-runtime-0.23.1: .......... done [13amd64-weekly-desktop-job-03] `-- Extracting rhash-1.4.4_1: .......... done [13amd64-weekly-desktop-job-03] Extracting cmake-core-3.31.6: .......... done ===> boolector-3.2.4 depends on file: /usr/local/bin/cmake - found ===> Returning to build of boolector-3.2.4 ===> boolector-3.2.4 depends on file: /usr/local/bin/python3.11 - not found ===> Installing existing package /packages/All/python311-3.11.11.pkg [13amd64-weekly-desktop-job-03] Installing python311-3.11.11... [13amd64-weekly-desktop-job-03] `-- Installing libffi-3.4.6... [13amd64-weekly-desktop-job-03] `-- Extracting libffi-3.4.6: .......... done [13amd64-weekly-desktop-job-03] `-- Installing mpdecimal-4.0.0... [13amd64-weekly-desktop-job-03] `-- Extracting mpdecimal-4.0.0: .......... done [13amd64-weekly-desktop-job-03] `-- Installing readline-8.2.13_2... [13amd64-weekly-desktop-job-03] `-- Extracting readline-8.2.13_2: .......... done [13amd64-weekly-desktop-job-03] Extracting python311-3.11.11: .......... 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 ===> boolector-3.2.4 depends on file: /usr/local/bin/python3.11 - found ===> Returning to build of boolector-3.2.4 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> boolector-3.2.4 depends on shared library: libbtor2parser.so - not found ===> Installing existing package /packages/All/btor2tools-g20320816.pkg [13amd64-weekly-desktop-job-03] Installing btor2tools-g20320816... [13amd64-weekly-desktop-job-03] Extracting btor2tools-g20320816: ..... done ===> boolector-3.2.4 depends on shared library: libbtor2parser.so - found (/usr/local/lib/libbtor2parser.so) ===> Returning to build of boolector-3.2.4 ===> boolector-3.2.4 depends on shared library: libcadical.so - not found ===> Installing existing package /packages/All/cadical-2.0.0.pkg [13amd64-weekly-desktop-job-03] Installing cadical-2.0.0... [13amd64-weekly-desktop-job-03] Extracting cadical-2.0.0: ....... done ===> boolector-3.2.4 depends on shared library: libcadical.so - found (/usr/local/lib/libcadical.so) ===> Returning to build of boolector-3.2.4 ===> boolector-3.2.4 depends on shared library: libcryptominisat5.so - not found ===> Installing existing package /packages/All/cryptominisat-5.11.21_4.pkg [13amd64-weekly-desktop-job-03] Installing cryptominisat-5.11.21_4... [13amd64-weekly-desktop-job-03] `-- Installing M4RI-20240729... [13amd64-weekly-desktop-job-03] | `-- Installing png-1.6.46... [13amd64-weekly-desktop-job-03] | `-- Extracting png-1.6.46: .......... done [13amd64-weekly-desktop-job-03] `-- Extracting M4RI-20240729: .......... done [13amd64-weekly-desktop-job-03] `-- Installing boost-libs-1.87.0_1... [13amd64-weekly-desktop-job-03] | `-- Installing icu-76.1,1... [13amd64-weekly-desktop-job-03] | `-- Extracting icu-76.1,1: .......... done [13amd64-weekly-desktop-job-03] `-- Extracting boost-libs-1.87.0_1: .......... done [13amd64-weekly-desktop-job-03] Extracting cryptominisat-5.11.21_4: .......... 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.87.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> boolector-3.2.4 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> Returning to build of boolector-3.2.4 ===> boolector-3.2.4 depends on shared library: libminisat.so - not found ===> Installing existing package /packages/All/minisat-2.2.1_2.pkg [13amd64-weekly-desktop-job-03] Installing minisat-2.2.1_2... [13amd64-weekly-desktop-job-03] Extracting minisat-2.2.1_2: .......... done ===> boolector-3.2.4 depends on shared library: libminisat.so - found (/usr/local/lib/libminisat.so) ===> Returning to build of boolector-3.2.4 ===> boolector-3.2.4 depends on shared library: libpicosat.so - not found ===> Installing existing package /packages/All/picosat-965.pkg [13amd64-weekly-desktop-job-03] Installing picosat-965... [13amd64-weekly-desktop-job-03] Extracting picosat-965: ....... done ===> boolector-3.2.4 depends on shared library: libpicosat.so - found (/usr/local/lib/libpicosat.so) ===> Returning to build of boolector-3.2.4 ===> boolector-3.2.4 depends on shared library: libgmp.so - not found ===> Installing existing package /packages/All/gmp-6.3.0.pkg [13amd64-weekly-desktop-job-03] Installing gmp-6.3.0... [13amd64-weekly-desktop-job-03] Extracting gmp-6.3.0: .......... done ===> boolector-3.2.4 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> Returning to build of boolector-3.2.4 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Configuring for boolector-3.2.4 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/boolector/work/.build CMake Deprecation Warning at CMakeLists.txt:8 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. -- The C compiler identification is Clang 18.1.6 -- The CXX compiler identification is Clang 18.1.6 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- LIB directory is '/wrkdirs/usr/ports/math/boolector/work/.build/lib' -- BIN directory is '/wrkdirs/usr/ports/math/boolector/work/.build/bin' -- Performing Test HAVE_FLAG_std_gnu99 -- Performing Test HAVE_FLAG_std_gnu99 - Success -- Configuring with C flag '-std=gnu99' -- Configuring with CXX flag '-std=gnu++14' -- Performing Test HAVE_FLAG_W -- Performing Test HAVE_FLAG_W - Success -- Configuring with C flag '-W' -- Configuring with CXX flag '-W' -- Performing Test HAVE_FLAG_Wall -- Performing Test HAVE_FLAG_Wall - Success -- Configuring with C flag '-Wall' -- Configuring with CXX flag '-Wall' -- Performing Test HAVE_FLAG_Wextra -- Performing Test HAVE_FLAG_Wextra - Success -- Configuring with C flag '-Wextra' -- Configuring with CXX flag '-Wextra' -- Performing Test HAVE_FLAG_Wredundant_decls -- Performing Test HAVE_FLAG_Wredundant_decls - Success -- Configuring with C flag '-Wredundant-decls' -- Configuring with CXX flag '-Wredundant-decls' -- Building Release build -- Performing Test HAVE_FLAG_O3 -- Performing Test HAVE_FLAG_O3 - Success -- Configuring with C flag '-O3' -- Configuring with CXX flag '-O3' -- Performing Test HAVE_SIGNALS -- Performing Test HAVE_SIGNALS - Success -- Performing Test HAVE_TIME_UTILS -- Performing Test HAVE_TIME_UTILS - Success -- Performing Test HAVE_NO_EXPORT_DYNAMIC -- Performing Test HAVE_NO_EXPORT_DYNAMIC - Success -- Found Btor2Tools: /usr/local/include -- Found Btor2Tools library: /usr/local/lib/libbtor2parser.so -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Found Threads: TRUE -- Found GMP: /usr/local/include -- Found GMP libs: /usr/local/lib/libgmp.so -- Found Lingeling: /usr/local/include -- Found Lingeling library: /usr/local/lib/liblgl.a -- Found CaDiCaL: /usr/local/include -- Found CaDiCaL library: /usr/local/lib/libcadical.so -- Found CryptoMiniSat: /usr/local/include -- Found CryptoMiniSat library: /usr/local/lib/libcryptominisat5.so -- Found PicoSAT: /usr/local/include -- Found PicoSAT library: /usr/local/lib/libpicosat.so -- Found MiniSat: /usr/local/include -- Found MiniSat library: /usr/local/lib/libminisat.so -- Could NOT find Git (missing: GIT_EXECUTABLE) -- Build type: Release -- Shared build: yes -- ASAN support: no -- UBSAN support: no -- Assertions enabled: no -- Testing: no -- gcov support: no -- gprof support: no -- Logging support: no -- Python bindings: no -- Time statistics: no -- CaDiCaL: yes -- CryptoMiniSat: yes -- Lingeling: yes -- MiniSat: yes -- PicoSAT: yes -- GMP: yes -- Configuring done (2.2s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_MODULE_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED Python3_EXECUTABLE Python_ADDITIONAL_VERSIONS Python_EXECUTABLE -- Build files have been written to: /wrkdirs/usr/ports/math/boolector/work/.build =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building for boolector-3.2.4 /usr/local/bin/cmake -S/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 -B/wrkdirs/usr/ports/math/boolector/work/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles /wrkdirs/usr/ports/math/boolector/work/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- src/CMakeFiles/boolector.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/depend --- src/CMakeFiles/boolector.dir/depend --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/boolector.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/build --- src/CMakeFiles/boolector.dir/aigprop.c.o --- --- src/CMakeFiles/boolector.dir/boolector.c.o --- --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- --- src/CMakeFiles/boolector.dir/btorabort.c.o --- --- src/CMakeFiles/boolector.dir/btoraig.c.o --- --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- --- src/CMakeFiles/boolector.dir/btorass.c.o --- --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- --- src/CMakeFiles/boolector.dir/boolector.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/boolector.c.o --- src/CMakeFiles/boolector.dir/btorabort.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btorabort.c.o --- src/CMakeFiles/boolector.dir/aigprop.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/aigprop.c.o --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btoraigvec.c.o --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- [ 5%] Building C object src/CMakeFiles/boolector.dir/btorbeta.c.o --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/boolectormc.c.o --- src/CMakeFiles/boolector.dir/btoraig.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btoraig.c.o --- src/CMakeFiles/boolector.dir/btorass.c.o --- [ 8%] Building C object src/CMakeFiles/boolector.dir/btorass.c.o --- src/CMakeFiles/boolector.dir/aigprop.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/aigprop.c.o -MF CMakeFiles/boolector.dir/aigprop.c.o.d -o CMakeFiles/boolector.dir/aigprop.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/aigprop.c --- src/CMakeFiles/boolector.dir/boolector.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/boolector.c.o -MF CMakeFiles/boolector.dir/boolector.c.o.d -o CMakeFiles/boolector.dir/boolector.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/boolector.c --- src/CMakeFiles/boolector.dir/btorbeta.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorbeta.c.o -MF CMakeFiles/boolector.dir/btorbeta.c.o.d -o CMakeFiles/boolector.dir/btorbeta.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorbeta.c --- src/CMakeFiles/boolector.dir/btoraigvec.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoraigvec.c.o -MF CMakeFiles/boolector.dir/btoraigvec.c.o.d -o CMakeFiles/boolector.dir/btoraigvec.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoraigvec.c --- src/CMakeFiles/boolector.dir/btorabort.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorabort.c.o -MF CMakeFiles/boolector.dir/btorabort.c.o.d -o CMakeFiles/boolector.dir/btorabort.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorabort.c --- src/CMakeFiles/boolector.dir/boolectormc.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/boolectormc.c.o -MF CMakeFiles/boolector.dir/boolectormc.c.o.d -o CMakeFiles/boolector.dir/boolectormc.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/boolectormc.c --- src/CMakeFiles/boolector.dir/btoraig.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoraig.c.o -MF CMakeFiles/boolector.dir/btoraig.c.o.d -o CMakeFiles/boolector.dir/btoraig.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoraig.c --- src/CMakeFiles/boolector.dir/btorass.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorass.c.o -MF CMakeFiles/boolector.dir/btorass.c.o.d -o CMakeFiles/boolector.dir/btorass.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorass.c --- src/CMakeFiles/boolector.dir/btorbv.c.o --- [ 10%] Building C object src/CMakeFiles/boolector.dir/btorbv.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorbv.c.o -MF CMakeFiles/boolector.dir/btorbv.c.o.d -o CMakeFiles/boolector.dir/btorbv.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorbv.c --- src/CMakeFiles/boolector.dir/btorchkclone.c.o --- [ 12%] Building C object src/CMakeFiles/boolector.dir/btorchkclone.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkclone.c.o -MF CMakeFiles/boolector.dir/btorchkclone.c.o.d -o CMakeFiles/boolector.dir/btorchkclone.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorchkclone.c --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- --- src/CMakeFiles/boolector.dir/btorchkfailed.c.o --- --- src/CMakeFiles/boolector.dir/btorchkmodel.c.o --- [ 12%] Building C object src/CMakeFiles/boolector.dir/btorchkmodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkmodel.c.o -MF CMakeFiles/boolector.dir/btorchkmodel.c.o.d -o CMakeFiles/boolector.dir/btorchkmodel.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorchkmodel.c --- src/CMakeFiles/boolector.dir/btorchkfailed.c.o --- [ 14%] Building C object src/CMakeFiles/boolector.dir/btorchkfailed.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorchkfailed.c.o -MF CMakeFiles/boolector.dir/btorchkfailed.c.o.d -o CMakeFiles/boolector.dir/btorchkfailed.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorchkfailed.c --- src/CMakeFiles/boolector.dir/btorclone.c.o --- [ 14%] Building C object src/CMakeFiles/boolector.dir/btorclone.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorclone.c.o -MF CMakeFiles/boolector.dir/btorclone.c.o.d -o CMakeFiles/boolector.dir/btorclone.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorclone.c --- src/CMakeFiles/boolector.dir/btorcore.c.o --- [ 15%] Building C object src/CMakeFiles/boolector.dir/btorcore.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorcore.c.o -MF CMakeFiles/boolector.dir/btorcore.c.o.d -o CMakeFiles/boolector.dir/btorcore.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorcore.c --- src/CMakeFiles/boolector.dir/btordbg.c.o --- [ 17%] Building C object src/CMakeFiles/boolector.dir/btordbg.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btordbg.c.o -MF CMakeFiles/boolector.dir/btordbg.c.o.d -o CMakeFiles/boolector.dir/btordbg.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btordbg.c --- src/CMakeFiles/boolector.dir/btordcr.c.o --- [ 17%] Building C object src/CMakeFiles/boolector.dir/btordcr.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btordcr.c.o -MF CMakeFiles/boolector.dir/btordcr.c.o.d -o CMakeFiles/boolector.dir/btordcr.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btordcr.c --- src/CMakeFiles/boolector.dir/btorexp.c.o --- [ 19%] Building C object src/CMakeFiles/boolector.dir/btorexp.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorexp.c.o -MF CMakeFiles/boolector.dir/btorexp.c.o.d -o CMakeFiles/boolector.dir/btorexp.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorexp.c --- src/CMakeFiles/boolector.dir/btorlsutils.c.o --- [ 21%] Building C object src/CMakeFiles/boolector.dir/btorlsutils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorlsutils.c.o -MF CMakeFiles/boolector.dir/btorlsutils.c.o.d -o CMakeFiles/boolector.dir/btorlsutils.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorlsutils.c --- src/CMakeFiles/boolector.dir/btormc.c.o --- [ 21%] Building C object src/CMakeFiles/boolector.dir/btormc.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormc.c.o -MF CMakeFiles/boolector.dir/btormc.c.o.d -o CMakeFiles/boolector.dir/btormc.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormc.c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormc.c:899:11: warning: variable 'nextstates' set but not used [-Wunused-but-set-variable] 899 | int32_t nextstates; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormc.c:900:10: warning: variable 'i' set but not used [-Wunused-but-set-variable] 900 | size_t i; | ^ --- src/CMakeFiles/boolector.dir/btormodel.c.o --- [ 22%] Building C object src/CMakeFiles/boolector.dir/btormodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormodel.c.o -MF CMakeFiles/boolector.dir/btormodel.c.o.d -o CMakeFiles/boolector.dir/btormodel.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormodel.c --- src/CMakeFiles/boolector.dir/btormsg.c.o --- [ 22%] Building C object src/CMakeFiles/boolector.dir/btormsg.c.o --- src/CMakeFiles/boolector.dir/btornode.c.o --- --- src/CMakeFiles/boolector.dir/btormsg.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btormsg.c.o -MF CMakeFiles/boolector.dir/btormsg.c.o.d -o CMakeFiles/boolector.dir/btormsg.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormsg.c --- src/CMakeFiles/boolector.dir/btornode.c.o --- [ 24%] Building C object src/CMakeFiles/boolector.dir/btornode.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btornode.c.o -MF CMakeFiles/boolector.dir/btornode.c.o.d -o CMakeFiles/boolector.dir/btornode.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btornode.c --- src/CMakeFiles/boolector.dir/btoropt.c.o --- [ 26%] Building C object src/CMakeFiles/boolector.dir/btoropt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btoropt.c.o -MF CMakeFiles/boolector.dir/btoropt.c.o.d -o CMakeFiles/boolector.dir/btoropt.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoropt.c --- src/CMakeFiles/boolector.dir/btorparse.c.o --- [ 26%] Building C object src/CMakeFiles/boolector.dir/btorparse.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorparse.c.o -MF CMakeFiles/boolector.dir/btorparse.c.o.d -o CMakeFiles/boolector.dir/btorparse.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorparse.c --- src/CMakeFiles/boolector.dir/btorprintmodel.c.o --- [ 28%] Building C object src/CMakeFiles/boolector.dir/btorprintmodel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorprintmodel.c.o -MF CMakeFiles/boolector.dir/btorprintmodel.c.o.d -o CMakeFiles/boolector.dir/btorprintmodel.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorprintmodel.c --- src/CMakeFiles/boolector.dir/btorproputils.c.o --- [ 28%] Building C object src/CMakeFiles/boolector.dir/btorproputils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorproputils.c.o -MF CMakeFiles/boolector.dir/btorproputils.c.o.d -o CMakeFiles/boolector.dir/btorproputils.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorproputils.c --- src/CMakeFiles/boolector.dir/btormc.c.o --- 2 warnings generated. --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- [ 29%] Building C object src/CMakeFiles/boolector.dir/btorrewrite.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorrewrite.c.o -MF CMakeFiles/boolector.dir/btorrewrite.c.o.d -o CMakeFiles/boolector.dir/btorrewrite.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- --- src/CMakeFiles/boolector.dir/btorsat.c.o --- --- src/CMakeFiles/boolector.dir/btorrwcache.c.o --- [ 31%] Building C object src/CMakeFiles/boolector.dir/btorrwcache.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorrwcache.c.o -MF CMakeFiles/boolector.dir/btorrwcache.c.o.d -o CMakeFiles/boolector.dir/btorrwcache.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrwcache.c --- src/CMakeFiles/boolector.dir/btorsat.c.o --- [ 31%] Building C object src/CMakeFiles/boolector.dir/btorsat.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsat.c.o -MF CMakeFiles/boolector.dir/btorsat.c.o.d -o CMakeFiles/boolector.dir/btorsat.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsat.c --- src/CMakeFiles/boolector.dir/btorslsutils.c.o --- [ 33%] Building C object src/CMakeFiles/boolector.dir/btorslsutils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslsutils.c.o -MF CMakeFiles/boolector.dir/btorslsutils.c.o.d -o CMakeFiles/boolector.dir/btorslsutils.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslsutils.c --- src/CMakeFiles/boolector.dir/btorslvaigprop.c.o --- [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvaigprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvaigprop.c.o -MF CMakeFiles/boolector.dir/btorslvaigprop.c.o.d -o CMakeFiles/boolector.dir/btorslvaigprop.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvaigprop.c --- src/CMakeFiles/boolector.dir/btorslvfun.c.o --- [ 35%] Building C object src/CMakeFiles/boolector.dir/btorslvfun.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvfun.c.o -MF CMakeFiles/boolector.dir/btorslvfun.c.o.d -o CMakeFiles/boolector.dir/btorslvfun.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvfun.c --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3266:1: warning: unused function 'applies_push_ite_and' [-Wunused-function] 3266 | applies_push_ite_and (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3277:1: warning: unused function 'apply_push_ite_and' [-Wunused-function] 3277 | apply_push_ite_and (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3650:1: warning: unused function 'applies_sll_add' [-Wunused-function] 3650 | applies_sll_add (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:3660:1: warning: unused function 'apply_sll_add' [-Wunused-function] 3660 | apply_sll_add (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:4617:1: warning: unused function 'applies_same_srl' [-Wunused-function] 4617 | applies_same_srl (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorrewrite.c:4624:1: warning: unused function 'apply_same_srl' [-Wunused-function] 4624 | apply_same_srl (Btor *btor, BtorNode *e0, BtorNode *e1) | ^~~~~~~~~~~~~~ --- src/CMakeFiles/boolector.dir/btorslvprop.c.o --- [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvprop.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvprop.c.o -MF CMakeFiles/boolector.dir/btorslvprop.c.o.d -o CMakeFiles/boolector.dir/btorslvprop.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvprop.c --- src/CMakeFiles/boolector.dir/btorslvquant.c.o --- [ 36%] Building C object src/CMakeFiles/boolector.dir/btorslvquant.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvquant.c.o -MF CMakeFiles/boolector.dir/btorslvquant.c.o.d -o CMakeFiles/boolector.dir/btorslvquant.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvquant.c --- src/CMakeFiles/boolector.dir/btorslvsls.c.o --- [ 38%] Building C object src/CMakeFiles/boolector.dir/btorslvsls.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorslvsls.c.o -MF CMakeFiles/boolector.dir/btorslvsls.c.o.d -o CMakeFiles/boolector.dir/btorslvsls.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorslvsls.c --- src/CMakeFiles/boolector.dir/btorsort.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsort.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsort.c.o -MF CMakeFiles/boolector.dir/btorsort.c.o.d -o CMakeFiles/boolector.dir/btorsort.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsort.c --- src/CMakeFiles/boolector.dir/btorsubst.c.o --- [ 40%] Building C object src/CMakeFiles/boolector.dir/btorsubst.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsubst.c.o -MF CMakeFiles/boolector.dir/btorsubst.c.o.d -o CMakeFiles/boolector.dir/btorsubst.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsubst.c --- src/CMakeFiles/boolector.dir/btorsynth.c.o --- [ 42%] Building C object src/CMakeFiles/boolector.dir/btorsynth.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btorsynth.c.o -MF CMakeFiles/boolector.dir/btorsynth.c.o.d -o CMakeFiles/boolector.dir/btorsynth.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorsynth.c --- src/CMakeFiles/boolector.dir/btortrapi.c.o --- [ 43%] Building C object src/CMakeFiles/boolector.dir/btortrapi.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/btortrapi.c.o -MF CMakeFiles/boolector.dir/btortrapi.c.o.d -o CMakeFiles/boolector.dir/btortrapi.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btortrapi.c --- src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o --- [ 43%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpaig.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/dumper/btordumpaig.c --- src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o --- [ 45%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/dumper/btordumpbtor.c --- src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o --- [ 45%] Building C object src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -MF CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o.d -o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/dumper/btordumpsmt.c --- src/CMakeFiles/boolector.dir/parser/btorbtor.c.o --- [ 47%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorbtor.c.o -MF CMakeFiles/boolector.dir/parser/btorbtor.c.o.d -o CMakeFiles/boolector.dir/parser/btorbtor.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorbtor.c --- src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorbtor2.c.o -MF CMakeFiles/boolector.dir/parser/btorbtor2.c.o.d -o CMakeFiles/boolector.dir/parser/btorbtor2.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorbtor2.c --- src/CMakeFiles/boolector.dir/parser/btorsmt.c.o --- [ 49%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorsmt.c.o -MF CMakeFiles/boolector.dir/parser/btorsmt.c.o.d -o CMakeFiles/boolector.dir/parser/btorsmt.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorsmt.c --- src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o --- [ 50%] Building C object src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/parser/btorsmt2.c.o -MF CMakeFiles/boolector.dir/parser/btorsmt2.c.o.d -o CMakeFiles/boolector.dir/parser/btorsmt2.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/parser/btorsmt2.c --- src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o --- [ 50%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorpputils.c.o -MF CMakeFiles/boolector.dir/preprocess/btorpputils.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorpputils.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorpputils.c --- src/CMakeFiles/boolector.dir/preprocess/btorack.c.o --- [ 52%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorack.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorack.c.o -MF CMakeFiles/boolector.dir/preprocess/btorack.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorack.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorack.c --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorder.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorder.c.o -MF CMakeFiles/boolector.dir/preprocess/btorder.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorder.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorder.c --- src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o --- [ 54%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o -MF CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorelimapplies.c --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorder.c:320:15: warning: variable 'num_quant_vars' set but not used [-Wunused-but-set-variable] 320 | uint32_t i, num_quant_vars = 0, num_elim_vars = 0, opt_simp_const; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorder.c:320:35: warning: variable 'num_elim_vars' set but not used [-Wunused-but-set-variable] 320 | uint32_t i, num_quant_vars = 0, num_elim_vars = 0, opt_simp_const; | ^ --- src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o --- [ 56%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o -MF CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorelimslices.c --- src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o --- [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorembed.c.o -MF CMakeFiles/boolector.dir/preprocess/btorembed.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorembed.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorembed.c --- src/CMakeFiles/boolector.dir/preprocess/btorder.c.o --- 2 warnings generated. --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- [ 57%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o -MF CMakeFiles/boolector.dir/preprocess/btorextract.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorextract.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorextract.c --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- [ 59%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btormerge.c.o -MF CMakeFiles/boolector.dir/preprocess/btormerge.c.o.d -o CMakeFiles/boolector.dir/preprocess/btormerge.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btormerge.c --- src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o -MF CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorminiscope.c --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorextract.c:1101:27: warning: variable 'num_writes' set but not used [-Wunused-but-set-variable] 1101 | uint32_t num_total = 0, num_writes = 0; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorextract.c:476:1: warning: unused function 'is_copy_pattern' [-Wunused-function] 476 | is_copy_pattern (BtorNode *index, | ^~~~~~~~~~~~~~~ --- src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o --- [ 61%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btornormadd.c.o -MF CMakeFiles/boolector.dir/preprocess/btornormadd.c.o.d -o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btornormadd.c --- src/CMakeFiles/boolector.dir/btorrewrite.c.o --- 6 warnings generated. --- src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o --- [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btornormquant.c.o -MF CMakeFiles/boolector.dir/preprocess/btornormquant.c.o.d -o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btornormquant.c --- src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o --- [ 63%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o -MF CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorpreprocess.c --- src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o --- [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorskel.c.o -MF CMakeFiles/boolector.dir/preprocess/btorskel.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorskel.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorskel.c --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- --- src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o --- [ 64%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o -MF CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorskolemize.c --- src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o --- [ 66%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o -MF CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorunconstrained.c --- src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o --- [ 68%] Building C object src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o -MF CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o.d -o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/preprocess/btorvarsubst.c --- src/CMakeFiles/boolector.dir/preprocess/btorextract.c.o --- 2 warnings generated. --- src/CMakeFiles/boolector.dir/sat/btorcadical.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- --- src/CMakeFiles/boolector.dir/sat/btorcadical.c.o --- [ 68%] Building C object src/CMakeFiles/boolector.dir/sat/btorcadical.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorcadical.c.o -MF CMakeFiles/boolector.dir/sat/btorcadical.c.o.d -o CMakeFiles/boolector.dir/sat/btorcadical.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorcadical.c --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- [ 70%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorcms.cc.o -MF CMakeFiles/boolector.dir/sat/btorcms.cc.o.d -o CMakeFiles/boolector.dir/sat/btorcms.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorcms.cc --- src/CMakeFiles/boolector.dir/sat/btorlgl.c.o --- [ 71%] Building C object src/CMakeFiles/boolector.dir/sat/btorlgl.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorlgl.c.o -MF CMakeFiles/boolector.dir/sat/btorlgl.c.o.d -o CMakeFiles/boolector.dir/sat/btorlgl.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorlgl.c --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- [ 71%] Building CXX object src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- --- src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorminisat.cc.o -MF CMakeFiles/boolector.dir/sat/btorminisat.cc.o.d -o CMakeFiles/boolector.dir/sat/btorminisat.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorminisat.cc --- src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o --- [ 73%] Building C object src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/sat/btorpicosat.c.o -MF CMakeFiles/boolector.dir/sat/btorpicosat.c.o.d -o CMakeFiles/boolector.dir/sat/btorpicosat.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorpicosat.c --- src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o --- [ 73%] Building C object src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -MF CMakeFiles/boolector.dir/utils/boolectornodemap.c.o.d -o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/boolectornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o --- [ 75%] Building C object src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btoraigmap.c.o -MF CMakeFiles/boolector.dir/utils/btoraigmap.c.o.d -o CMakeFiles/boolector.dir/utils/btoraigmap.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btoraigmap.c --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o --- [ 75%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorhashptr.c.o -MF CMakeFiles/boolector.dir/utils/btorhashptr.c.o.d -o CMakeFiles/boolector.dir/utils/btorhashptr.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorhashptr.c --- src/CMakeFiles/boolector.dir/utils/btorhashint.c.o --- [ 77%] Building C object src/CMakeFiles/boolector.dir/utils/btorhashint.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorhashint.c.o -MF CMakeFiles/boolector.dir/utils/btorhashint.c.o.d -o CMakeFiles/boolector.dir/utils/btorhashint.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorhashint.c --- src/CMakeFiles/boolector.dir/utils/btormem.c.o --- [ 78%] Building C object src/CMakeFiles/boolector.dir/utils/btormem.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btormem.c.o -MF CMakeFiles/boolector.dir/utils/btormem.c.o.d -o CMakeFiles/boolector.dir/utils/btormem.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btormem.c --- src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o --- [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btornodeiter.c.o -MF CMakeFiles/boolector.dir/utils/btornodeiter.c.o.d -o CMakeFiles/boolector.dir/utils/btornodeiter.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btornodeiter.c --- src/CMakeFiles/boolector.dir/utils/btornodemap.c.o --- [ 80%] Building C object src/CMakeFiles/boolector.dir/utils/btornodemap.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btornodemap.c.o -MF CMakeFiles/boolector.dir/utils/btornodemap.c.o.d -o CMakeFiles/boolector.dir/utils/btornodemap.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btornodemap.c --- src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o --- [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btoroptparse.c.o -MF CMakeFiles/boolector.dir/utils/btoroptparse.c.o.d -o CMakeFiles/boolector.dir/utils/btoroptparse.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btoroptparse.c --- src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o --- [ 82%] Building C object src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorpartgen.c.o -MF CMakeFiles/boolector.dir/utils/btorpartgen.c.o.d -o CMakeFiles/boolector.dir/utils/btorpartgen.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorpartgen.c --- src/CMakeFiles/boolector.dir/utils/btorrng.c.o --- [ 84%] Building C object src/CMakeFiles/boolector.dir/utils/btorrng.c.o cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorrng.c.o -MF CMakeFiles/boolector.dir/utils/btorrng.c.o.d -o CMakeFiles/boolector.dir/utils/btorrng.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorrng.c --- src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- --- src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- [ 85%] Building C object src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorunionfind.c.o -MF CMakeFiles/boolector.dir/utils/btorunionfind.c.o.d -o CMakeFiles/boolector.dir/utils/btorunionfind.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorunionfind.c --- src/CMakeFiles/boolector.dir/utils/btorutil.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -Dboolector_EXPORTS -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/boolector.dir/utils/btorutil.c.o -MF CMakeFiles/boolector.dir/utils/btorutil.c.o.d -o CMakeFiles/boolector.dir/utils/btorutil.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/utils/btorutil.c --- src/CMakeFiles/boolector.dir/sat/btorcms.cc.o --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/sat/btorcms.cc:145:14: warning: unused variable 'v' [-Wunused-variable] 145 | uint32_t v = l.var (); | ^ 1 warning generated. --- lib/libboolector.so --- [ 87%] Linking CXX shared library ../lib/libboolector.so cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector.dir/link.txt --verbose=1 /usr/bin/c++ -fPIC -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=CMakeFiles/boolector.dir/link.d -fstack-protector-strong -shared -Wl,-soname,libboolector.so -o ../lib/libboolector.so CMakeFiles/boolector.dir/aigprop.c.o CMakeFiles/boolector.dir/boolector.c.o CMakeFiles/boolector.dir/boolectormc.c.o CMakeFiles/boolector.dir/btorabort.c.o CMakeFiles/boolector.dir/btoraig.c.o CMakeFiles/boolector.dir/btoraigvec.c.o CMakeFiles/boolector.dir/btorass.c.o CMakeFiles/boolector.dir/btorbeta.c.o CMakeFiles/boolector.dir/btorbv.c.o CMakeFiles/boolector.dir/btorchkclone.c.o CMakeFiles/boolector.dir/btorchkmodel.c.o CMakeFiles/boolector.dir/btorchkfailed.c.o CMakeFiles/boolector.dir/btorclone.c.o CMakeFiles/boolector.dir/btorcore.c.o CMakeFiles/boolector.dir/btordbg.c.o CMakeFiles/boolector.dir/btordcr.c.o CMakeFiles/boolector.dir/btorexp.c.o CMakeFiles/boolector.dir/btorlsutils.c.o CMakeFiles/boolector.dir/btormc.c.o CMakeFiles/boolector.dir/btormodel.c.o CMakeFiles/boolector.dir/btormsg.c.o CMakeFiles/boolector.dir/btornode.c.o CMakeFiles/boolector.dir/btoropt.c.o CMakeFiles/boolector.dir/btorparse.c.o CMakeFiles/boolector.dir/btorprintmodel.c.o CMakeFiles/boolector.dir/btorproputils.c.o CMakeFiles/boolector.dir/btorrewrite.c.o CMakeFiles/boolector.dir/btorrwcache.c.o CMakeFiles/boolector.dir/btorsat.c.o CMakeFiles/boolector.dir/btorslsutils.c.o CMakeFiles/boolector.dir/btorslvaigprop.c.o CMakeFiles/boolector.dir/btorslvfun.c.o CMakeFiles/boolector.dir/btorslvprop.c.o CMakeFiles/boolector.dir/btorslvquant.c.o CMakeFiles/boolector.dir/btorslvsls.c.o CMakeFiles/boolector.dir/btorsort.c.o CMakeFiles/boolector.dir/btorsubst.c.o CMakeFiles/boolector.dir/btorsynth.c.o CMakeFiles/boolector.dir/btortrapi.c.o CMakeFiles/boolector.dir/dumper/btordumpaig.c.o CMakeFiles/boolector.dir/dumper/btordumpbtor.c.o CMakeFiles/boolector.dir/dumper/btordumpsmt.c.o CMakeFiles/boolector.dir/parser/btorbtor.c.o CMakeFiles/boolector.dir/parser/btorbtor2.c.o CMakeFiles/boolector.dir/parser/btorsmt.c.o CMakeFiles/boolector.dir/parser/btorsmt2.c.o CMakeFiles/boolector.dir/preprocess/btorpputils.c.o CMakeFiles/boolector.dir/preprocess/btorack.c.o CMakeFiles/boolector.dir/preprocess/btorder.c.o CMakeFiles/boolector.dir/preprocess/btorelimapplies.c.o CMakeFiles/boolector.dir/preprocess/btorelimslices.c.o CMakeFiles/boolector.dir/preprocess/btorembed.c.o CMakeFiles/boolector.dir/preprocess/btorextract.c.o CMakeFiles/boolector.dir/preprocess/btormerge.c.o CMakeFiles/boolector.dir/preprocess/btorminiscope.c.o CMakeFiles/boolector.dir/preprocess/btornormadd.c.o CMakeFiles/boolector.dir/preprocess/btornormquant.c.o CMakeFiles/boolector.dir/preprocess/btorpreprocess.c.o CMakeFiles/boolector.dir/preprocess/btorskel.c.o CMakeFiles/boolector.dir/preprocess/btorskolemize.c.o CMakeFiles/boolector.dir/preprocess/btorunconstrained.c.o CMakeFiles/boolector.dir/preprocess/btorvarsubst.c.o CMakeFiles/boolector.dir/sat/btorcadical.c.o CMakeFiles/boolector.dir/sat/btorcms.cc.o CMakeFiles/boolector.dir/sat/btorlgl.c.o CMakeFiles/boolector.dir/sat/btorminisat.cc.o CMakeFiles/boolector.dir/sat/btorpicosat.c.o CMakeFiles/boolector.dir/utils/boolectornodemap.c.o CMakeFiles/boolector.dir/utils/btoraigmap.c.o CMakeFiles/boolector.dir/utils/btorhashint.c.o CMakeFiles/boolector.dir/utils/btorhashptr.c.o CMakeFiles/boolector.dir/utils/btormem.c.o CMakeFiles/boolector.dir/utils/btornodeiter.c.o CMakeFiles/boolector.dir/utils/btornodemap.c.o CMakeFiles/boolector.dir/utils/btoroptparse.c.o CMakeFiles/boolector.dir/utils/btorpartgen.c.o CMakeFiles/boolector.dir/utils/btorrng.c.o CMakeFiles/boolector.dir/utils/btorunionfind.c.o CMakeFiles/boolector.dir/utils/btorutil.c.o -Wl,-rpath,/usr/local/lib: -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 87%] Built target boolector --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormbt.dir/all --- --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/boolector-bin.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/depend --- src/CMakeFiles/btormc.dir/all --- /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/depend --- src/CMakeFiles/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend --- src/CMakeFiles/btoruntrace.dir/all --- /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/depend --- src/CMakeFiles/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/depend --- --- src/CMakeFiles/btormbt.dir/all --- --- src/CMakeFiles/btormbt.dir/depend --- --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btoruntrace.dir/depend --- --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/depend --- --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormc.dir/depend --- --- src/CMakeFiles/btormbt.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btormbt.dir/DependInfo.cmake --- src/CMakeFiles/boolector-bin.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/boolector-bin.dir/DependInfo.cmake --- src/CMakeFiles/btoruntrace.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake --- src/CMakeFiles/btorimc.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btorimc.dir/DependInfo.cmake --- src/CMakeFiles/btormc.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btormc.dir/DependInfo.cmake --- src/CMakeFiles/btormbt.dir/all --- /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build --- src/CMakeFiles/btormc.dir/all --- /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build --- src/CMakeFiles/btoruntrace.dir/all --- /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build --- src/CMakeFiles/boolector-bin.dir/all --- /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/build --- src/CMakeFiles/btorimc.dir/all --- /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build --- src/CMakeFiles/btormc.dir/all --- --- src/CMakeFiles/btormc.dir/btormcmain.c.o --- --- src/CMakeFiles/btoruntrace.dir/all --- --- src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o --- --- src/CMakeFiles/btormbt.dir/all --- --- src/CMakeFiles/btormbt.dir/btormbt.c.o --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- --- src/CMakeFiles/boolector-bin.dir/btormain.c.o --- --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- [ 91%] Building C object src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- src/CMakeFiles/boolector-bin.dir/btormain.c.o --- [ 91%] Building C object src/CMakeFiles/boolector-bin.dir/btormain.c.o --- src/CMakeFiles/btoruntrace.dir/all --- [ 91%] Building C object src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o --- src/CMakeFiles/btorimc.dir/all --- [ 92%] Building CXX object src/CMakeFiles/btorimc.dir/btorimc.cc.o --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- [ 92%] Building CXX object src/CMakeFiles/btorimc.dir/btoribv.cc.o --- src/CMakeFiles/boolector-bin.dir/all --- --- src/CMakeFiles/boolector-bin.dir/boolectormain.c.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/boolector-bin.dir/boolectormain.c.o -MF CMakeFiles/boolector-bin.dir/boolectormain.c.o.d -o CMakeFiles/boolector-bin.dir/boolectormain.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/boolectormain.c --- src/CMakeFiles/boolector-bin.dir/btormain.c.o --- --- src/CMakeFiles/btoruntrace.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btoruntrace.dir/btoruntrace.c.o -MF CMakeFiles/btoruntrace.dir/btoruntrace.c.o.d -o CMakeFiles/btoruntrace.dir/btoruntrace.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoruntrace.c --- src/CMakeFiles/boolector-bin.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/boolector-bin.dir/btormain.c.o -MF CMakeFiles/boolector-bin.dir/btormain.c.o.d -o CMakeFiles/boolector-bin.dir/btormain.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormain.c --- src/CMakeFiles/btormc.dir/all --- [ 92%] Building C object src/CMakeFiles/btormc.dir/btormcmain.c.o --- src/CMakeFiles/btormbt.dir/all --- [ 92%] Building C object src/CMakeFiles/btormbt.dir/btormbt.c.o --- src/CMakeFiles/btorimc.dir/all --- --- src/CMakeFiles/btorimc.dir/btorimc.cc.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btorimc.dir/btorimc.cc.o -MF CMakeFiles/btorimc.dir/btorimc.cc.o.d -o CMakeFiles/btorimc.dir/btorimc.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btorimc.cc --- src/CMakeFiles/btorimc.dir/btoribv.cc.o --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/c++ -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btorimc.dir/btoribv.cc.o -MF CMakeFiles/btorimc.dir/btoribv.cc.o.d -o CMakeFiles/btorimc.dir/btoribv.cc.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoribv.cc --- src/CMakeFiles/btormbt.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btormbt.dir/btormbt.c.o -MF CMakeFiles/btormbt.dir/btormbt.c.o.d -o CMakeFiles/btormbt.dir/btormbt.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormbt.c --- src/CMakeFiles/btormc.dir/all --- cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/bin/cc -DBTOR_HAVE_PTHREADS -DBTOR_HAVE_SIGNALS -DBTOR_USE_CADICAL -DBTOR_USE_CMS -DBTOR_USE_GMP -DBTOR_USE_LINGELING -DBTOR_USE_MINISAT -DBTOR_USE_PICOSAT -DNBTORLOG -DNDEBUG -I/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src -I/wrkdirs/usr/ports/math/boolector/work/.build/src -I/usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btormc.dir/btormcmain.c.o -MF CMakeFiles/btormc.dir/btormcmain.c.o.d -o CMakeFiles/btormc.dir/btormcmain.c.o -c /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btormcmain.c --- bin/btormc --- [ 94%] Linking C executable ../bin/btormc cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btormc.dir/link.txt --verbose=1 --- src/CMakeFiles/boolector-bin.dir/all --- --- bin/boolector --- [ 96%] Linking C executable ../bin/boolector cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/boolector-bin.dir/link.txt --verbose=1 --- src/CMakeFiles/btormc.dir/all --- /usr/bin/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong -Xlinker --dependency-file=CMakeFiles/btormc.dir/link.d CMakeFiles/btormc.dir/btormcmain.c.o -o ../bin/btormc -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.build/lib:/usr/local/lib: ../lib/libboolector.so /usr/local/lib/libbtor2parser.so -pthread /usr/local/lib/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so --- src/CMakeFiles/boolector-bin.dir/all --- /usr/bin/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong -Xlinker --dependency-file=CMakeFiles/boolector-bin.dir/link.d "CMakeFiles/boolector-bin.dir/boolectormain.c.o" "CMakeFiles/boolector-bin.dir/btormain.c.o" -o ../bin/boolector -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.build/lib:/usr/local/lib: ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so --- src/CMakeFiles/btormc.dir/all --- [ 96%] Built target btormc --- src/CMakeFiles/boolector-bin.dir/all --- [ 96%] Built target boolector-bin --- src/CMakeFiles/btoruntrace.dir/all --- --- bin/btoruntrace --- [ 96%] Linking C executable ../bin/btoruntrace cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btoruntrace.dir/link.txt --verbose=1 /usr/bin/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong -Xlinker --dependency-file=CMakeFiles/btoruntrace.dir/link.d CMakeFiles/btoruntrace.dir/btoruntrace.c.o -o ../bin/btoruntrace -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.build/lib:/usr/local/lib ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 96%] Built target btoruntrace --- src/CMakeFiles/btormbt.dir/all --- --- bin/btormbt --- [ 98%] Linking C executable ../bin/btormbt cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btormbt.dir/link.txt --verbose=1 /usr/bin/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu99 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong -Xlinker --dependency-file=CMakeFiles/btormbt.dir/link.d CMakeFiles/btormbt.dir/btormbt.c.o -o ../bin/btormbt -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.build/lib:/usr/local/lib ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [ 98%] Built target btormbt --- src/CMakeFiles/btorimc.dir/all --- /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoribv.cc:683:19: warning: variable 'sum' set but not used [-Wunused-but-set-variable] 683 | uint32_t n = 0, sum = 0; | ^ /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src/btoribv.cc:1278:12: warning: variable 'forwarding' set but not used [-Wunused-but-set-variable] 1278 | uint32_t forwarding = 0, forwarded = 0; | ^ 2 warnings generated. --- bin/btorimc --- [100%] Linking CXX executable ../bin/btorimc cd /wrkdirs/usr/ports/math/boolector/work/.build/src && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/btorimc.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -std=gnu++14 -W -Wall -Wextra -Wredundant-decls -O3 -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fstack-protector-strong -Xlinker --dependency-file=CMakeFiles/btorimc.dir/link.d CMakeFiles/btorimc.dir/btoribv.cc.o CMakeFiles/btorimc.dir/btorimc.cc.o -o ../bin/btorimc -Wl,-rpath,/wrkdirs/usr/ports/math/boolector/work/.build/lib:/usr/local/lib ../lib/libboolector.so -pthread /usr/local/lib/libbtor2parser.so /usr/local/lib/libgmp.so /usr/local/lib/liblgl.a /usr/local/lib/libcadical.so /usr/local/lib/libcryptominisat5.so /usr/local/lib/libpicosat.so /usr/local/lib/libminisat.so [100%] Built target btorimc /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles 0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Staging for boolector-3.2.4 ===> Generating temporary packing list /usr/local/bin/cmake -S/wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 -B/wrkdirs/usr/ports/math/boolector/work/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles /wrkdirs/usr/ports/math/boolector/work/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/boolector.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/boolector.dir/build.make src/CMakeFiles/boolector.dir/build [ 87%] Built target boolector /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/boolector-bin.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/boolector-bin.dir/build.make src/CMakeFiles/boolector-bin.dir/build [ 91%] Built target boolector-bin /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btormc.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btormc.dir/build.make src/CMakeFiles/btormc.dir/build [ 92%] Built target btormc /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btormbt.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btormbt.dir/build.make src/CMakeFiles/btormbt.dir/build [ 94%] Built target btormbt /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btoruntrace.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btoruntrace.dir/build.make src/CMakeFiles/btoruntrace.dir/build [ 96%] Built target btoruntrace /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/depend cd /wrkdirs/usr/ports/math/boolector/work/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4 /wrkdirs/usr/ports/math/boolector/work/boolector-3.2.4/src /wrkdirs/usr/ports/math/boolector/work/.build /wrkdirs/usr/ports/math/boolector/work/.build/src /wrkdirs/usr/ports/math/boolector/work/.build/src/CMakeFiles/btorimc.dir/DependInfo.cmake /usr/bin/make -f src/CMakeFiles/btorimc.dir/build.make src/CMakeFiles/btorimc.dir/build [100%] Built target btorimc /usr/local/bin/cmake -E cmake_progress_start /wrkdirs/usr/ports/math/boolector/work/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorConfig.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorConfigVersion.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/libboolector.so -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/libboolector.so" to "/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorTargets.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/lib/cmake/Boolector/BoolectorTargets-release.cmake -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/include/boolector/boolector.h -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/include/boolector/btortypes.h -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/boolector -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/boolector" to "/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/btormc -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/boolector/work/stage/usr/local/bin/btormc" to "/usr/local/lib" ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2025-05-06T06:07:42+0000' 'PKG_NOTE_ports_top_git_hash=57a50b106b87' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=15bcda7d0c16' '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 boolector-3.2.4 ===> Building boolector-3.2.4 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for boolector-3.2.4 build of math/boolector | boolector-3.2.4 ended at Tue May 6 02:08:06 EDT 2025 build time: 00:00:26