=>> Building math/btor2tools build started at Wed Mar 11 00:18:19 EDT 2026 port directory: /usr/ports/math/btor2tools package name: btor2tools-g20320816 building for: FreeBSD pkg.DaveG.ca 14.4-RELEASE FreeBSD 14.4-RELEASE 1404000 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 623 Aug 27 2024 /usr/ports/math/btor2tools/Makefile Ports top last git commit: 26b198eb3ee3 Ports top unclean checkout: no Port dir last git commit: 60d424bebf55 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1404000 Job Id: 11 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1404000 UNAME_v=FreeBSD 14.4-RELEASE 1404000 UNAME_r=14.4-RELEASE BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/11/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_14_4_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_14_4_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/btor2tools/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/btor2tools/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/btor2tools/work/.cache HOME=/wrkdirs/usr/ports/math/btor2tools/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/btor2tools/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/btor2tools/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-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/btor2tools/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/btor2tools/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/btor2tools/work/.cache HOME=/wrkdirs/usr/ports/math/btor2tools/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/btor2tools/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/btor2tools/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/math/btor2tools/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " 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" OSREL=14.4 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/btor2tools" EXAMPLESDIR="share/examples/btor2tools" DATADIR="share/btor2tools" WWWDIR="www/btor2tools" ETCDIR="etc/btor2tools" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/btor2tools DOCSDIR=/usr/local/share/doc/btor2tools EXAMPLESDIR=/usr/local/share/examples/btor2tools WWWDIR=/usr/local/www/btor2tools ETCDIR=/usr/local/etc/btor2tools --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> btor2tools-g20320816 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.6.2.pkg [pkg.DaveG.ca] Installing pkg-2.6.2... [pkg.DaveG.ca] Extracting pkg-2.6.2: .......... done ===> btor2tools-g20320816 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of btor2tools-g20320816 =========================================================================== =================================================== ===== 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 btor2tools-g20320816 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by btor2tools-g20320816 for building => SHA256 Checksum OK for Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by btor2tools-g20320816 for building ===> Extracting for btor2tools-g20320816 => SHA256 Checksum OK for Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for btor2tools-g20320816 ===> Applying FreeBSD patches for btor2tools-g20320816 from /usr/ports/math/btor2tools/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> btor2tools-g20320816 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.10_1.pkg [pkg.DaveG.ca] Installing cmake-core-3.31.10_1... [pkg.DaveG.ca] `-- Installing expat-2.7.4... [pkg.DaveG.ca] `-- Extracting expat-2.7.4: .......... done [pkg.DaveG.ca] `-- Installing jsoncpp-1.9.6_1... [pkg.DaveG.ca] `-- Extracting jsoncpp-1.9.6_1: .......... done [pkg.DaveG.ca] `-- Installing libidn2-2.3.8... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] | `-- Installing libunistring-1.4.2... [pkg.DaveG.ca] | `-- Extracting libunistring-1.4.2: .......... done [pkg.DaveG.ca] `-- Extracting libidn2-2.3.8: .......... done [pkg.DaveG.ca] `-- Installing libuv-1.52.0... [pkg.DaveG.ca] `-- Extracting libuv-1.52.0: .......... done [pkg.DaveG.ca] `-- Installing rhash-1.4.6... [pkg.DaveG.ca] | `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] `-- Extracting rhash-1.4.6: .......... done [pkg.DaveG.ca] Extracting cmake-core-3.31.10_1: .......... done ===> btor2tools-g20320816 depends on file: /usr/local/bin/cmake - found ===> Returning to build of btor2tools-g20320816 ===> btor2tools-g20320816 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.13.2,4.pkg [pkg.DaveG.ca] Installing ninja-1.13.2,4... [pkg.DaveG.ca] `-- Installing python311-3.11.15... [pkg.DaveG.ca] | `-- Installing libffi-3.5.1... [pkg.DaveG.ca] | `-- Extracting libffi-3.5.1: .......... done [pkg.DaveG.ca] | `-- Installing mpdecimal-4.0.1... [pkg.DaveG.ca] | `-- Extracting mpdecimal-4.0.1: .......... done [pkg.DaveG.ca] | `-- Installing readline-8.3.3... [pkg.DaveG.ca] | `-- Extracting readline-8.3.3: .......... done [pkg.DaveG.ca] `-- Extracting python311-3.11.15: .......... done [pkg.DaveG.ca] Extracting ninja-1.13.2,4: ..... done ===== Message from python311-3.11.15: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> btor2tools-g20320816 depends on executable: ninja - found ===> Returning to build of btor2tools-g20320816 ===> btor2tools-g20320816 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> btor2tools-g20320816 depends on file: /usr/local/bin/ccache - found ===> Returning to build of btor2tools-g20320816 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for btor2tools-g20320816 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/btor2tools/work/.build CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.10 will be removed from a future version of CMake. Update the VERSION argument value. Or, use the ... syntax to tell CMake that the project requires at least but has been updated to work with policies introduced by or earlier. -- The C compiler identification is Clang 19.1.7 -- The CXX compiler identification is Clang 19.1.7 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/libexec/ccache/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- 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' -- Performing Test HAVE_FLAG_std_gnu99 -- Performing Test HAVE_FLAG_std_gnu99 - Success -- Configuring with C flag '-std=gnu99' -- Configuring with CXX flag '-std=gnu++11' -- Performing Test HAVE_FLAG_O3 -- Performing Test HAVE_FLAG_O3 - Success -- Configuring with C flag '-O3' -- Configuring with CXX flag '-O3' -- Performing Test HAVE_FLAG_DNDEBUG -- Performing Test HAVE_FLAG_DNDEBUG - Success -- Configuring with C flag '-DNDEBUG' -- Configuring with CXX flag '-DNDEBUG' -- Configuring done (2.6s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: CMAKE_COLOR_MAKEFILE CMAKE_MODULE_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE FETCHCONTENT_FULLY_DISCONNECTED THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /wrkdirs/usr/ports/math/btor2tools/work/.build =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for btor2tools-g20320816 [ 7% 10/14] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu99 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimrng.c.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimrng.c.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimrng.c.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsimrng.c [ 14% 10/14] /usr/local/libexec/ccache/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu99 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/catbtor.dir/catbtor.c.o -MF src/CMakeFiles/catbtor.dir/catbtor.c.o.d -o src/CMakeFiles/catbtor.dir/catbtor.c.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/catbtor.c [ 21% 10/14] /usr/local/libexec/ccache/cc -Dbtor2parser_EXPORTS -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu99 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o -MF src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o.d -o src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btor2parser/btor2parser.c [ 28% 11/14] : && /usr/local/libexec/ccache/cc -fPIC -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu99 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=src/CMakeFiles/btor2parser.dir/link.d -shared -Wl,-soname,libbtor2parser.so -o lib/libbtor2parser.so src/CMakeFiles/btor2parser.dir/btor2parser/btor2parser.c.o && : [ 35% 12/14] : && /usr/local/libexec/ccache/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu99 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=src/CMakeFiles/catbtor.dir/link.d src/CMakeFiles/catbtor.dir/catbtor.c.o -o bin/catbtor -Wl,-rpath,/wrkdirs/usr/ports/math/btor2tools/work/.build/lib: lib/libbtor2parser.so && : [ 42% 12/14] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu99 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimbv.c.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimbv.c.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimbv.c.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsimbv.c [ 50% 12/14] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimhelpers.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimhelpers.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimhelpers.cpp.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsimhelpers.cpp [ 57% 12/14] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimstate.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimstate.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimstate.cpp.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsimstate.cpp [ 64% 12/14] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimam.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimam.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimam.cpp.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsimam.cpp [ 71% 12/14] /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -MD -MT src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o -MF src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o.d -o src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsplit.cpp [ 78% 13/14] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=src/CMakeFiles/btorsplit.dir/link.d src/CMakeFiles/btorsplit.dir/btorsplit.cpp.o -o bin/btorsplit && : [ 85% 13/14] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsim.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsim.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsim.cpp.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsim.cpp /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsim.cpp:1876:13: warning: unused variable 'state' [-Wunused-variable] 1876 | for (auto state : states) | ^~~~~ 1 warning generated. [ 92% 13/14] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/. -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Wall -Wfatal-errors -MD -MT src/CMakeFiles/btorsim.dir/btorsim/btorsimvcd.cpp.o -MF src/CMakeFiles/btorsim.dir/btorsim/btorsimvcd.cpp.o.d -o src/CMakeFiles/btorsim.dir/btorsim/btorsimvcd.cpp.o -c /wrkdirs/usr/ports/math/btor2tools/work/btor2tools-037f1fa/src/btorsim/btorsimvcd.cpp [100% 14/14] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wredundant-decls -std=gnu++11 -O3 -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=src/CMakeFiles/btorsim.dir/link.d src/CMakeFiles/btorsim.dir/btorsim/btorsimam.cpp.o src/CMakeFiles/btorsim.dir/btorsim/btorsimstate.cpp.o src/CMakeFiles/btorsim.dir/btorsim/btorsimvcd.cpp.o src/CMakeFiles/btorsim.dir/btorsim/btorsimhelpers.cpp.o src/CMakeFiles/btorsim.dir/btorsim/btorsim.cpp.o src/CMakeFiles/btorsim.dir/btorsim/btorsimbv.c.o src/CMakeFiles/btorsim.dir/btorsim/btorsimrng.c.o -o bin/btorsim -Wl,-rpath,/wrkdirs/usr/ports/math/btor2tools/work/.build/lib: lib/libbtor2parser.so && : =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for btor2tools-g20320816 ===> Generating temporary packing list [ 0% 1/1] cd /wrkdirs/usr/ports/math/btor2tools/work/.build && /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /wrkdirs/usr/ports/math/btor2tools/work/stage/usr/local/lib/libbtor2parser.so -- Installing: /wrkdirs/usr/ports/math/btor2tools/work/stage/usr/local/include/btor2parser.h -- Installing: /wrkdirs/usr/ports/math/btor2tools/work/stage/usr/local/bin/btorsim -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/btor2tools/work/stage/usr/local/bin/btorsim" to "" -- Installing: /wrkdirs/usr/ports/math/btor2tools/work/stage/usr/local/bin/catbtor -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/btor2tools/work/stage/usr/local/bin/catbtor" to "" -- Installing: /wrkdirs/usr/ports/math/btor2tools/work/stage/usr/local/bin/btorsplit ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-03-11T04:18:19+0000' 'PKG_NOTE_ports_top_git_hash=26b198eb3ee3' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=60d424bebf55' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for btor2tools-g20320816 ===> Building btor2tools-g20320816 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for btor2tools-g20320816 build of math/btor2tools | btor2tools-g20320816 ended at Wed Mar 11 00:18:30 EDT 2026 build time: 00:00:12