=>> Building math/rumur build started at Fri Dec 12 03:20:06 EST 2025 port directory: /usr/ports/math/rumur package name: rumur-2025.08.31 building for: FreeBSD pkg.DaveG.ca 13.5-RELEASE-p7 FreeBSD 13.5-RELEASE-p7 1305000 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 907 Nov 24 20:51 /usr/ports/math/rumur/Makefile Ports top last git commit: 62d8b1999233 Ports top unclean checkout: no Port dir last git commit: ccf4ac85fbbb Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1305000 Job Id: 11 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1305000 UNAME_v=FreeBSD 13.5-RELEASE-p7 1305000 UNAME_r=13.5-RELEASE-p7 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_13_5_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_13_5_x64-HEAD-ALL/11/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_13_5_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_13_5_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-- PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/math/rumur/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/rumur/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/rumur/work/.cache HOME=/wrkdirs/usr/ports/math/rumur/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/rumur/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/rumur/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/rumur/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/rumur/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/rumur/work/.cache HOME=/wrkdirs/usr/ports/math/rumur/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/rumur/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/rumur/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/rumur/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" PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=13.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/rumur" EXAMPLESDIR="share/examples/rumur" DATADIR="share/rumur" WWWDIR="www/rumur" ETCDIR="etc/rumur" --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_BASESUFFIX=311 PYTHON_TAG=.cpython-311 PYTHON_SOABI=.cpython-311 PYTHON_VER=3.11 PYTHON_BASEVER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/rumur DOCSDIR=/usr/local/share/doc/rumur EXAMPLESDIR=/usr/local/share/examples/rumur WWWDIR=/usr/local/www/rumur ETCDIR=/usr/local/etc/rumur --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 --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 ===> rumur-2025.08.31 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.4.2_1.pkg [pkg.DaveG.ca] Installing pkg-2.4.2_1... [pkg.DaveG.ca] Extracting pkg-2.4.2_1: .......... done ===> rumur-2025.08.31 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of rumur-2025.08.31 =========================================================================== =================================================== ===== 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 rumur-2025.08.31 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by rumur-2025.08.31 for building => SHA256 Checksum OK for Smattr-rumur-v2025.08.31_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 rumur-2025.08.31 for building ===> Extracting for rumur-2025.08.31 => SHA256 Checksum OK for Smattr-rumur-v2025.08.31_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 rumur-2025.08.31 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> rumur-2025.08.31 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.8.2_2,1.pkg [pkg.DaveG.ca] Installing bison-3.8.2_2,1... [pkg.DaveG.ca] `-- Installing gettext-runtime-0.23.1... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] `-- Extracting gettext-runtime-0.23.1: .......... done [pkg.DaveG.ca] `-- Installing libtextstyle-0.23.1... [pkg.DaveG.ca] `-- Extracting libtextstyle-0.23.1: .......... done [pkg.DaveG.ca] `-- Installing m4-1.4.20,1... [pkg.DaveG.ca] `-- Extracting m4-1.4.20,1: .......... done [pkg.DaveG.ca] Extracting bison-3.8.2_2,1: .......... done ===> rumur-2025.08.31 depends on executable: bison - found ===> Returning to build of rumur-2025.08.31 ===> rumur-2025.08.31 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.9.pkg [pkg.DaveG.ca] Installing cmake-core-3.31.9... [pkg.DaveG.ca] `-- Installing expat-2.7.3... [pkg.DaveG.ca] `-- Extracting expat-2.7.3: .......... 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 libunistring-1.4.1... [pkg.DaveG.ca] | `-- Extracting libunistring-1.4.1: .......... done [pkg.DaveG.ca] `-- Extracting libidn2-2.3.8: .......... done [pkg.DaveG.ca] `-- Installing libuv-1.51.0... [pkg.DaveG.ca] `-- Extracting libuv-1.51.0: .......... done [pkg.DaveG.ca] `-- Installing rhash-1.4.4_2... [pkg.DaveG.ca] `-- Extracting rhash-1.4.4_2: .......... done [pkg.DaveG.ca] Extracting cmake-core-3.31.9: .......... done ===> rumur-2025.08.31 depends on file: /usr/local/bin/cmake - found ===> Returning to build of rumur-2025.08.31 ===> rumur-2025.08.31 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.13.1,4.pkg [pkg.DaveG.ca] Installing ninja-1.13.1,4... [pkg.DaveG.ca] `-- Installing python311-3.11.14... [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.1... [pkg.DaveG.ca] | `-- Extracting readline-8.3.1: .......... done [pkg.DaveG.ca] `-- Extracting python311-3.11.14: .......... done [pkg.DaveG.ca] Extracting ninja-1.13.1,4: ..... done ===== Message from python311-3.11.14: -- 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 ===> rumur-2025.08.31 depends on executable: ninja - found ===> Returning to build of rumur-2025.08.31 ===> rumur-2025.08.31 depends on file: /usr/local/bin/python3.11 - found ===> rumur-2025.08.31 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. ===> rumur-2025.08.31 depends on file: /usr/local/bin/ccache - found ===> Returning to build of rumur-2025.08.31 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> rumur-2025.08.31 depends on shared library: libgmpxx.so - not found ===> Installing existing package /packages/All/gmp-6.3.0.pkg [pkg.DaveG.ca] Installing gmp-6.3.0... [pkg.DaveG.ca] Extracting gmp-6.3.0: .......... done ===> rumur-2025.08.31 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) ===> Returning to build of rumur-2025.08.31 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for rumur-2025.08.31 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/math/rumur/work/.build CMake Warning: Ignoring extra path from command line: "/wrkdirs/usr/ports/math/rumur/work/.build/BISON_EXECUTABLE:STRING=/usr/local/bin/bison" 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 HAS_WARNING_CAST_QUAL -- Performing Test HAS_WARNING_CAST_QUAL - Success -- Performing Test HAS_WARNING_CAST_ALIGN -- Performing Test HAS_WARNING_CAST_ALIGN - Success -- Performing Test HAS_WARNING_LOGICAL_OP -- Performing Test HAS_WARNING_LOGICAL_OP - Failed -- Performing Test HAS_WARNING_STRICT_ALIASING_1 -- Performing Test HAS_WARNING_STRICT_ALIASING_1 - Success -- Performing Test HAS_WARNING_POINTER_ARITH -- Performing Test HAS_WARNING_POINTER_ARITH - Success -- Performing Test HAS_C_WARNING_ALL -- Performing Test HAS_C_WARNING_ALL - Success -- Performing Test HAS_C_WARNING_EXTRA -- Performing Test HAS_C_WARNING_EXTRA - Success -- Performing Test HAS_C_WARNING_CAST_ALIGN_STRICT -- Performing Test HAS_C_WARNING_CAST_ALIGN_STRICT - Failed -- Performing Test HAS_C_WARNING_FORMAT_2 -- Performing Test HAS_C_WARNING_FORMAT_2 - Success -- Performing Test HAS_C_WARNING_FORMAT_OVERFLOW_2 -- Performing Test HAS_C_WARNING_FORMAT_OVERFLOW_2 - Failed -- Performing Test HAS_C_WARNING_LOGICAL_OP -- Performing Test HAS_C_WARNING_LOGICAL_OP - Failed -- Performing Test HAS_C_WARNING_MISSING_PROTOTYPES -- Performing Test HAS_C_WARNING_MISSING_PROTOTYPES - Success -- Performing Test HAS_C_WARNING_STRICT_ALIASING_1 -- Performing Test HAS_C_WARNING_STRICT_ALIASING_1 - Success -- Performing Test HAS_C_WARNING_POINTER_ARITH -- Performing Test HAS_C_WARNING_POINTER_ARITH - Success -- Performing Test HAS_C_WARNING_SHADOW -- Performing Test HAS_C_WARNING_SHADOW - Success -- Performing Test HAS_C_WARNING_UNDEF -- Performing Test HAS_C_WARNING_UNDEF - Success -- Performing Test HAS_C_WARNING_WRITE_STRINGS -- Performing Test HAS_C_WARNING_WRITE_STRINGS - Success -- Found Python3: /usr/local/bin/python3.11 (found version "3.11.14") found components: Interpreter -- Found BISON: /usr/local/bin/bison (found version "3.8.2") -- Found FLEX: /usr/bin/flex (found version "2.6.4") -- Performing Test HAS_WARNING_SIGN_COMPARE -- Performing Test HAS_WARNING_SIGN_COMPARE - Success -- Performing Test HAS_WARNING_REGISTER -- Performing Test HAS_WARNING_REGISTER - Success -- Performing Test HAS_WARNING_DEPRECATED_REGISTER -- Performing Test HAS_WARNING_DEPRECATED_REGISTER - Success -- Configuring done (6.1s) -- Generating done (0.0s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_COLOR_MAKEFILE CMAKE_MODULE_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE FETCHCONTENT_FULLY_DISCONNECTED Python_ADDITIONAL_VERSIONS Python_EXECUTABLE THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /wrkdirs/usr/ports/math/rumur/work/.build =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for rumur-2025.08.31 [ 0% 11/137] cd /wrkdirs/usr/ports/math/rumur/work/.build/librumur && /usr/bin/env true [ 1% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/murphi2c.1.gz" [ 2% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv && gzip -9 --no-name --to-stdout doc/murphi2smv.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/murphi2smv.1.gz" [ 2% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/murphi2murphi.1.gz" [ 3% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid && gzip -9 --no-name --to-stdout doc/murphi2uclid.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/murphi2uclid.1.gz" [ 4% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/rumur/rumur-run.1.gz" [ 5% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format && gzip -9 --no-name --to-stdout doc/murphi-format.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi-format/murphi-format.1.gz" [ 5% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/murphi2xml.1.gz" [ 6% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/rumur/rumur.1.gz" [ 7% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur && /usr/bin/flex --noline -o/wrkdirs/usr/ports/math/rumur/work/.build/librumur/lexer.l.cc src/lexer.l [ 8% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur && src/make-version.py /wrkdirs/usr/ports/math/rumur/work/.build/librumur/version.c [ 8% 12/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur && /usr/local/bin/bison --no-lines --warnings=all -d -o /wrkdirs/usr/ports/math/rumur/work/.build/librumur/parser.yy.cc src/parser.yy src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr] src/parser.yy: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples [ 9% 35/137] /usr/local/libexec/ccache/cc -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/version.c.o -MF librumur/CMakeFiles/librumur.dir/version.c.o.d -o librumur/CMakeFiles/librumur.dir/version.c.o -c /wrkdirs/usr/ports/math/rumur/work/.build/librumur/version.c [ 10% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Node.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Node.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Node.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Node.cc [ 10% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/except.cc.o -MF librumur/CMakeFiles/librumur.dir/src/except.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/except.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/except.cc [ 11% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Comment.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Comment.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Comment.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Comment.cc [ 12% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Property.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Property.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Property.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Property.cc [ 13% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Number.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Number.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Number.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Number.cc [ 13% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Boolean.cc [ 14% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/validate.cc.o -MF librumur/CMakeFiles/librumur.dir/src/validate.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/validate.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/validate.cc [ 15% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/indexer.cc.o -MF librumur/CMakeFiles/librumur.dir/src/indexer.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/indexer.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/indexer.cc [ 16% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Decl.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Decl.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Decl.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Decl.cc [ 16% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o -MF librumur/CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/sanitise_rule_names.cc [ 17% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/parse.cc.o -MF librumur/CMakeFiles/librumur.dir/src/parse.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/parse.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/parse.cc [ 18% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Model.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Model.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Model.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Model.cc [ 18% 35/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/.build/tests/murphi-comment-ls/../../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o -MF tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o.d -o tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/tests/murphi-comment-ls/main.cc [ 19% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Function.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Function.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Function.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Function.cc [ 20% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Stmt.cc [ 21% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -Wno-sign-compare -Wno-register -Wno-deprecated-register -MD -MT librumur/CMakeFiles/librumur.dir/lexer.l.cc.o -MF librumur/CMakeFiles/librumur.dir/lexer.l.cc.o.d -o librumur/CMakeFiles/librumur.dir/lexer.l.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/librumur/lexer.l.cc [ 21% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/traverse.cc.o -MF librumur/CMakeFiles/librumur.dir/src/traverse.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/traverse.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/traverse.cc [ 22% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o -MF librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/TypeExpr.cc [ 23% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Rule.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Rule.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Rule.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Rule.cc [ 24% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -MF librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/resolve-symbols.cc [ 24% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Expr.cc.o -MF librumur/CMakeFiles/librumur.dir/src/Expr.cc.o.d -o librumur/CMakeFiles/librumur.dir/src/Expr.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src/Expr.cc [ 25% 35/137] /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/librumur -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/parser.yy.cc.o -MF librumur/CMakeFiles/librumur.dir/parser.yy.cc.o.d -o librumur/CMakeFiles/librumur.dir/parser.yy.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/librumur/parser.yy.cc [ 26% 36/137] : && /usr/local/libexec/ccache/c++ -fPIC -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=librumur/CMakeFiles/librumur.dir/link.d -shared -Wl,-soname,librumur.so -o librumur/librumur.so librumur/CMakeFiles/librumur.dir/version.c.o librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o librumur/CMakeFiles/librumur.dir/src/Comment.cc.o librumur/CMakeFiles/librumur.dir/src/Decl.cc.o librumur/CMakeFiles/librumur.dir/src/except.cc.o librumur/CMakeFiles/librumur.dir/src/Expr.cc.o librumur/CMakeFiles/librumur.dir/src/Function.cc.o librumur/CMakeFiles/librumur.dir/src/indexer.cc.o librumur/CMakeFiles/librumur.dir/src/Model.cc.o librumur/CMakeFiles/librumur.dir/src/Node.cc.o librumur/CMakeFiles/librumur.dir/src/Number.cc.o librumur/CMakeFiles/librumur.dir/src/parse.cc.o librumur/CMakeFiles/librumur.dir/src/Property.cc.o librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o librumur/CMakeFiles/librumur.dir/src/Rule.cc.o librumur/CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o librumur/CMakeFiles/librumur.dir/src/traverse.cc.o librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o librumur/CMakeFiles/librumur.dir/src/validate.cc.o librumur/CMakeFiles/librumur.dir/lexer.l.cc.o librumur/CMakeFiles/librumur.dir/parser.yy.cc.o -Wl,-rpath,/usr/local/lib::::::::::::::: /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 27% 48/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid && ../misc/xxd.py doc/murphi2uclid.1 /wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/manpage.cc [ 27% 54/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi && ../misc/xxd.py doc/murphi2murphi.1 /wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/resources_manpage.cc [ 28% 66/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur && ../misc/xxd.py resources/includes.c /wrkdirs/usr/ports/math/rumur/work/.build/rumur/resources_includes.cc [ 29% 66/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/manpage.cc [ 29% 70/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format && ../misc/xxd.py doc/murphi-format.1 /wrkdirs/usr/ports/math/rumur/work/.build/murphi-format/resources_manpage.c [ 30% 77/137] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/link.d tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o -o tests/murphi-comment-ls/murphi-comment-ls -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 31% 77/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c && ../misc/xxd.py resources/h_prefix.h /wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/resources_h_prefix.cc [ 32% 77/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c && ../misc/xxd.py resources/c_prefix.c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/resources_c_prefix.cc [ 32% 77/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c && ../misc/xxd.py doc/murphi2c.1 /wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/resources_manpage.cc [ 33% 90/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv && ../misc/xxd.py doc/murphi2smv.1 /wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/manpage.cc [ 34% 95/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur && ../misc/xxd.py doc/rumur.1 /wrkdirs/usr/ports/math/rumur/work/.build/rumur/resources_manpage.cc [ 35% 95/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/options.cc [ 35% 95/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/resources_manpage.cc [ 36% 95/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/resources_c_prefix.cc [ 37% 95/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o -MF murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o.d -o murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi-format/resources_manpage.c [ 37% 95/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o -MF murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o.d -o murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/manpage.cc [ 38% 95/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/help.c [ 39% 95/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o -MF murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o.d -o murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/help.c [ 40% 95/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o -MF murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o.d -o murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src/lex_new.c [ 40% 95/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o -MF murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o.d -o murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/manpage.cc [ 41% 95/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o -MF murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o.d -o murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src/lex_free.c [ 42% 95/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/resources_h_prefix.cc [ 43% 95/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o -MF murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o.d -o murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/help.c [ 43% 95/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/resources_manpage.cc [ 44% 95/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur && ../misc/xxd.py resources/header.c /wrkdirs/usr/ports/math/rumur/work/.build/rumur/resources_header.cc [ 45% 125/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o -MF murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o.d -o murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/help.c [ 45% 126/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o -MF murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o.d -o murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src/format.c [ 46% 127/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o -MF murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o.d -o murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src/main.c [ 47% 128/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/help.c.o -MF murphi2c/CMakeFiles/murphi2c.dir/__/common/help.c.o.d -o murphi2c/CMakeFiles/murphi2c.dir/__/common/help.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/help.c [ 48% 129/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/manpage.cc.o -MF murphi2smv/CMakeFiles/murphi2smv.dir/manpage.cc.o.d -o murphi2smv/CMakeFiles/murphi2smv.dir/manpage.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/manpage.cc [ 48% 130/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o -MF murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o.d -o murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/help.c [ 49% 130/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o -MF murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o.d -o murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src/lex_get_token.c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi-format/src/lex_get_token.c:181:12: warning: variable 'have_op' set but not used [-Wunused-but-set-variable] 181 | bool have_op = false; | ^ 1 warning generated. [ 50% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o -MF rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o.d -o rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/rumur/resources_manpage.cc [ 51% 131/137] : && /usr/local/libexec/ccache/cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=murphi-format/CMakeFiles/murphi-format.dir/link.d murphi-format/CMakeFiles/murphi-format.dir/resources_manpage.c.o murphi-format/CMakeFiles/murphi-format.dir/__/common/help.c.o murphi-format/CMakeFiles/murphi-format.dir/src/format.c.o murphi-format/CMakeFiles/murphi-format.dir/src/lex_free.c.o murphi-format/CMakeFiles/murphi-format.dir/src/lex_get_token.c.o murphi-format/CMakeFiles/murphi-format.dir/src/lex_new.c.o murphi-format/CMakeFiles/murphi-format.dir/src/main.c.o -o murphi-format/murphi-format -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib: librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 51% 131/137] /usr/local/libexec/ccache/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -Wall -Wextra -Wformat=2 -Wmissing-prototypes -Wstrict-aliasing=1 -Wpointer-arith -Wshadow -Wundef -Wwrite-strings -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu99 -MD -MT rumur/CMakeFiles/rumur.dir/__/common/help.c.o -MF rumur/CMakeFiles/rumur.dir/__/common/help.c.o.d -o rumur/CMakeFiles/rumur.dir/__/common/help.c.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/help.c [ 52% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/resources_includes.cc.o -MF rumur/CMakeFiles/rumur.dir/resources_includes.cc.o.d -o rumur/CMakeFiles/rumur.dir/resources_includes.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/rumur/resources_includes.cc [ 53% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/CodeGenerator.cc [ 54% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/escape.cc [ 54% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/resources_header.cc.o -MF rumur/CMakeFiles/rumur.dir/resources_header.cc.o.d -o rumur/CMakeFiles/rumur.dir/resources_header.cc.o -c /wrkdirs/usr/ports/math/rumur/work/.build/rumur/resources_header.cc [ 55% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/options.cc [ 56% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o -MF rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o.d -o rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/common/escape.cc [ 56% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/options.cc.o -MF rumur/CMakeFiles/rumur.dir/src/options.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/options.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/options.cc [ 57% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/check.cc [ 58% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o -MF murphi2smv/CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o.d -o murphi2smv/CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src/pick_numeric_type.cc [ 59% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/compares_complex_values.cc [ 59% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/ToAscii.cc [ 60% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/RemoveLiveness.cc [ 61% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/log.cc.o -MF rumur/CMakeFiles/rumur.dir/src/log.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/log.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/log.cc [ 62% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/Pipeline.cc [ 62% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/SwitchToIf.cc [ 63% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o -MF rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/has-start-state.cc [ 64% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-property.cc [ 64% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/ExplicitSemicolons.cc [ 65% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -MF rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/smt/define-enum-members.cc [ 66% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/DecomposeComplexComparisons.cc [ 67% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o -MF rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/prints-scalarsets.cc [ 67% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/process.cc.o -MF rumur/CMakeFiles/rumur.dir/src/process.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/process.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/process.cc [ 68% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-quantifier.cc [ 69% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/output.cc.o -MF rumur/CMakeFiles/rumur.dir/src/output.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/output.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/output.cc [ 70% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-allocations.cc [ 70% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o -MF murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o.d -o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src/check.cc [ 71% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o -MF murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o.d -o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src/main.cc [ 72% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -MF murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o.d -o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src/pick_numeric_type.cc [ 72% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/main.cc [ 73% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/Stage.cc [ 74% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o -MF murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o.d -o murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml/src/main.cc [ 75% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/generate_c.cc [ 75% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/generate_h.cc [ 76% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/main.cc [ 77% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o -MF murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o.d -o murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src/main.cc [ 78% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -MF rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/assume-statements-count.cc [ 78% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-cover-array.cc [ 79% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-decl.cc [ 80% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-function.cc [ 81% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o -MF rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/max-simple-width.cc [ 81% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o -MF rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/smt/logic.cc [ 82% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o -MF rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/smt/simplify.cc [ 83% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -MF rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/smt/typeexpr-to-smt.cc [ 83% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/utils.cc.o -MF rumur/CMakeFiles/rumur.dir/src/utils.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/utils.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/utils.cc [ 84% 131/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -MF murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o.d -o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2murphi/src/Printer.cc [ 85% 132/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -MF murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o.d -o murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2xml/src/XMLPrinter.cc [ 86% 133/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o -MF rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/smt/define-records.cc [ 86% 133/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/main.cc.o -MF rumur/CMakeFiles/rumur.dir/src/main.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/main.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/main.cc [ 87% 133/137] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=murphi2xml/CMakeFiles/murphi2xml.dir/link.d murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.c.o murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -o murphi2xml/murphi2xml -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib: librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 88% 133/137] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=murphi2murphi/CMakeFiles/murphi2murphi.dir/link.d murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.c.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -o murphi2murphi/murphi2murphi -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib: librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 89% 133/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-stmt.cc [ 89% 133/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-model.cc [ 90% 133/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o -MF murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o.d -o murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2smv/src/codegen.cc [ 91% 134/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o -MF rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/optimise-field-ordering.cc [ 91% 134/137] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=murphi2smv/CMakeFiles/murphi2smv.dir/link.d murphi2smv/CMakeFiles/murphi2smv.dir/manpage.cc.o murphi2smv/CMakeFiles/murphi2smv.dir/__/common/help.c.o murphi2smv/CMakeFiles/murphi2smv.dir/src/codegen.cc.o murphi2smv/CMakeFiles/murphi2smv.dir/src/main.cc.o murphi2smv/CMakeFiles/murphi2smv.dir/src/pick_numeric_type.cc.o -o murphi2smv/murphi2smv -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib: librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 92% 134/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o -MF rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/ValueType.cc [ 93% 134/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-print.cc [ 94% 134/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o -MF rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/generate-expr.cc [ 94% 134/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o -MF rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/smt/translate.cc [ 95% 134/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -MF rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/symmetry-reduction.cc [ 96% 134/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o -MF rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o.d -o rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/rumur/src/smt/solver.cc [ 97% 135/137] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=rumur/CMakeFiles/rumur.dir/link.d rumur/CMakeFiles/rumur.dir/resources_includes.cc.o rumur/CMakeFiles/rumur.dir/resources_header.cc.o rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o rumur/CMakeFiles/rumur.dir/__/common/help.c.o rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o rumur/CMakeFiles/rumur.dir/src/log.cc.o rumur/CMakeFiles/rumur.dir/src/main.cc.o rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o rumur/CMakeFiles/rumur.dir/src/options.cc.o rumur/CMakeFiles/rumur.dir/src/output.cc.o rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o rumur/CMakeFiles/rumur.dir/src/process.cc.o rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o rumur/CMakeFiles/rumur.dir/src/utils.cc.o rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o -o rumur/rumur -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib: librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 97% 135/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -MF murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o.d -o murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2c/src/CLikeGenerator.cc [ 98% 136/137] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=murphi2c/CMakeFiles/murphi2c.dir/link.d murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o murphi2c/CMakeFiles/murphi2c.dir/__/common/help.c.o murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o -o murphi2c/murphi2c -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib: librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so && : [ 99% 136/137] /usr/local/libexec/ccache/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/librumur/include -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -std=gnu++11 -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -MF murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o.d -o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -c /wrkdirs/usr/ports/math/rumur/work/rumur-2025.08.31/murphi2uclid/src/codegen.cc [100% 137/137] : && /usr/local/libexec/ccache/c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG -Xlinker --dependency-file=murphi2uclid/CMakeFiles/murphi2uclid.dir/link.d murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.c.o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -o murphi2uclid/murphi2uclid -Wl,-rpath,/wrkdirs/usr/ports/math/rumur/work/.build/librumur:/usr/local/lib: librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.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 rumur-2025.08.31 ===> Generating temporary packing list [ 7% 1/13] cd /wrkdirs/usr/ports/math/rumur/work/.build/librumur && /usr/bin/env true [ 50% 2/2] cd /wrkdirs/usr/ports/math/rumur/work/.build && /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/lib/librumur.so -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/lib/librumur.so" to "$ORIGIN/../lib:/usr/local/lib" -- Up-to-date: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Function.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Node.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/version.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Expr.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/indexer.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/traverse.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Ptr.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Decl.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/resolve-symbols.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/sanitise_rule_names.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Stmt.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/scanner.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/parse.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/validate.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/except.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/rumur.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Comment.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Rule.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Model.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/TypeExpr.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Number.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Symtab.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Boolean.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/Property.h -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/location.hh -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/parser.yy.hh -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/position.hh -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/include/rumur/stack.hh -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/lib/cmake/rumur/librumurConfig.cmake -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/lib/cmake/rumur/librumurConfig-release.cmake -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/lib/cmake/rumur/rumurConfig.cmake -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi-format -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi-format" to "$ORIGIN/../lib:/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/murphi-format.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2c -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2c" to "$ORIGIN/../lib:/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/murphi2c.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2murphi -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2murphi" to "$ORIGIN/../lib:/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/murphi2murphi.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2smv -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2smv" to "$ORIGIN/../lib:/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/murphi2smv.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2uclid -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2uclid" to "$ORIGIN/../lib:/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/murphi2uclid.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2xml -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/murphi2xml" to "$ORIGIN/../lib:/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/murphi2xml.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/rumur -- Set non-toolchain portion of runtime path of "/wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/rumur" to "$ORIGIN/../lib:/usr/local/lib" -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/bin/rumur-run -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/rumur.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/man/man1/rumur-run.1.gz -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/_list -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/_set -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/README.rst -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.01.04 -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.01.04/list -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.01.05 -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.01.05/list -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.02.02 -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.02.02/_set -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.02.02/_list -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.08.31 -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.08.31/_set -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2025.08.31/_list ====> 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-12-12T08:20:06+0000' 'PKG_NOTE_ports_top_git_hash=62d8b1999233' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=ccf4ac85fbbb' '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 rumur-2025.08.31 ===> Building rumur-2025.08.31 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for rumur-2025.08.31 build of math/rumur | rumur-2025.08.31 ended at Fri Dec 12 03:20:38 EST 2025 build time: 00:00:33