You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build.
Maintainer: [email protected] Log URL: https://pkg-status.freebsd.org/beefy22/data/144amd64-default/fd77dbcdcf06/logs/rumur-2026.03.11.log Build URL: https://pkg-status.freebsd.org/beefy22/build.html?mastername=144amd64-default&build=fd77dbcdcf06 Log: =>> Building math/rumur build started at Thu Jul 9 02:01:59 UTC 2026 port directory: /usr/ports/math/rumur package name: rumur-2026.03.11 building for: FreeBSD 144amd64-default-job-16 14.4-RELEASE-p7 FreeBSD 14.4-RELEASE-p7 amd64 maintained by: [email protected] Makefile datestamp: -rw-r--r-- 1 root wheel 907 Mar 17 01:01 /usr/ports/math/rumur/Makefile Ports top last git commit: fd77dbcdcf0659b6d458f06b1da69302cf76655e Ports top unclean checkout: no Port dir last git commit: 0b720c446810a6f8090bd0733d2c83f2639a3763 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.8 Host OSVERSION: 1600018 Jail OSVERSION: 1404000 Job Id: 16 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1404000 UNAME_v=FreeBSD 14.4-RELEASE-p7 UNAME_r=14.4-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.8 MASTERMNT=/usr/local/poudriere/data/.m/144amd64-default/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/144amd64-default/16/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=144amd64-default SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/144amd64-default/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.8 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-- [email protected] --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python3.12" 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.12 PYTHON_LIBDIR=lib/python3.12 PYTHON_PLATFORM=freebsd14 PYTHON_SITELIBDIR=lib/python3.12/site-packages PYTHON_SUFFIX=312 PYTHON_BASESUFFIX=312 PYTHON_TAG=.cpython-312 PYTHON_SOABI=.cpython-312 PYTHON_VER=3.12 PYTHON_BASEVER=3.12 PYTHON_VERSION=python3.12 PYTHON2="@comment " PYTHON3="" OSREL=14.4 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.12 PYTHON_LIBDIR=/usr/local/lib/python3.12 PYTHON_PLATFORM=freebsd14 PYTHON_SITELIBDIR=/usr/local/lib/python3.12/site-packages PYTHON_SUFFIX=312 PYTHON_BASESUFFIX=312 PYTHON_TAG=.cpython-312 PYTHON_SOABI=.cpython-312 PYTHON_VER=3.12 PYTHON_BASEVER=3.12 PYTHON_VERSION=python3.12 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--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs MAKE_JOBS_NUMBER=3 #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =======================<phase: check-sanity >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License PD accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> rumur-2026.03.11 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.7.5.pkg [144amd64-default-job-16] Installing pkg-2.7.5... [144amd64-default-job-16] Extracting pkg-2.7.5: .......... done ===> rumur-2026.03.11 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of rumur-2026.03.11 =========================================================================== =======================<phase: fetch-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: fetch >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License PD accepted by the user ===> Fetching all distfiles required by rumur-2026.03.11 for building =========================================================================== =======================<phase: checksum >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License PD accepted by the user ===> Fetching all distfiles required by rumur-2026.03.11 for building => SHA256 Checksum OK for Smattr-rumur-v2026.03.11_GH0.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: extract >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License PD accepted by the user ===> Fetching all distfiles required by rumur-2026.03.11 for building ===> Extracting for rumur-2026.03.11 => SHA256 Checksum OK for Smattr-rumur-v2026.03.11_GH0.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: patch >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for rumur-2026.03.11 ===> Applying FreeBSD patches for rumur-2026.03.11 from /usr/ports/math/rumur/files =========================================================================== =======================<phase: build-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> rumur-2026.03.11 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.8.2_2,1.pkg [144amd64-default-job-16] Installing bison-3.8.2_2,1... [144amd64-default-job-16] `-- Installing gettext-runtime-1.0_1... [144amd64-default-job-16] | `-- Installing indexinfo-0.3.1_1... [144amd64-default-job-16] | `-- Extracting indexinfo-0.3.1_1: .... done [144amd64-default-job-16] `-- Extracting gettext-runtime-1.0_1: .......... done [144amd64-default-job-16] `-- Installing libtextstyle-1.0... [144amd64-default-job-16] `-- Extracting libtextstyle-1.0: .......... done [144amd64-default-job-16] `-- Installing m4-1.4.21,1... [144amd64-default-job-16] `-- Extracting m4-1.4.21,1: .......... done [144amd64-default-job-16] Extracting bison-3.8.2_2,1: .......... done ===> rumur-2026.03.11 depends on executable: bison - found ===> Returning to build of rumur-2026.03.11 ===> rumur-2026.03.11 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-core-3.31.12_3.pkg [144amd64-default-job-16] Installing cmake-core-3.31.12_3... [144amd64-default-job-16] `-- Installing expat-2.8.2... [144amd64-default-job-16] `-- Extracting expat-2.8.2: .......... done [144amd64-default-job-16] `-- Installing jsoncpp-1.9.6_1... [144amd64-default-job-16] `-- Extracting jsoncpp-1.9.6_1: .......... done [144amd64-default-job-16] `-- Installing libidn2-2.3.8... [144amd64-default-job-16] | `-- Installing libunistring-1.4.2... [144amd64-default-job-16] | `-- Extracting libunistring-1.4.2: .......... done <snip> [ 28% 39/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 29% 40/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/help.c [ 29% 41/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi-format/src/format.c [ 30% 42/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi-format/src/lex_free.c [ 31% 43/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi-format/src/lex_get_token.c /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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. [ 32% 44/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi-format/src/lex_new.c [ 32% 45/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi-format/src -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi-format/src/main.c [ 33% 46/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 34% 47/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 35% 48/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 35% 49/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/escape.cc [ 36% 50/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/help.c [ 37% 51/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/check.cc [ 37% 52/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/CLikeGenerator.cc [ 38% 53/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/CodeGenerator.cc [ 39% 54/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/compares_complex_values.cc [ 40% 55/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/generate_c.cc [ 40% 56/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/generate_h.cc [ 41% 57/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/main.cc [ 42% 58/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2c/src/options.cc [ 43% 59/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 43% 60/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/help.c [ 44% 61/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/DecomposeComplexComparisons.cc [ 45% 62/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/ExplicitSemicolons.cc [ 45% 63/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/main.cc [ 46% 64/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/options.cc [ 47% 65/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/Pipeline.cc [ 48% 66/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/Printer.cc [ 48% 67/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/RemoveLiveness.cc [ 49% 68/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/Stage.cc [ 50% 69/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/SwitchToIf.cc [ 51% 70/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2murphi/src/ToAscii.cc [ 51% 71/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 52% 72/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/help.c [ 53% 73/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2smv/src/codegen.cc [ 54% 74/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2smv/src/main.cc [ 54% 75/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2smv/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2smv/src/pick_numeric_type.cc [ 55% 76/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 56% 77/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/help.c [ 56% 78/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2uclid/src/check.cc [ 57% 79/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2uclid/src/codegen.cc [ 58% 80/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2uclid/src/main.cc [ 59% 81/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2uclid/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2uclid/src/pick_numeric_type.cc [ 59% 82/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 60% 83/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/help.c [ 61% 84/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2xml/src/main.cc [ 62% 85/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2xml/src -I/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/murphi2xml/src/XMLPrinter.cc [ 62% 86/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 63% 87/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 64% 88/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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 [ 64% 89/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/escape.cc [ 65% 90/137] /usr/bin/cc -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/common/help.c [ 66% 91/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/assume-statements-count.cc [ 67% 92/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-allocations.cc [ 67% 93/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-cover-array.cc [ 68% 94/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-decl.cc [ 69% 95/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-expr.cc [ 70% 96/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-function.cc [ 70% 97/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-model.cc [ 71% 98/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-print.cc [ 72% 99/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-property.cc [ 72% 100/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-quantifier.cc [ 73% 101/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/generate-stmt.cc [ 74% 102/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/has-start-state.cc [ 75% 103/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/log.cc [ 75% 104/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/main.cc [ 76% 105/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/max-simple-width.cc [ 77% 106/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/optimise-field-ordering.cc [ 78% 107/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/options.cc [ 78% 108/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/output.cc [ 79% 109/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/prints-scalarsets.cc [ 80% 110/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/process.cc [ 81% 111/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/smt/define-enum-members.cc [ 81% 112/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/smt/define-records.cc [ 82% 113/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/smt/logic.cc [ 83% 114/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/smt/simplify.cc [ 83% 115/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/smt/solver.cc [ 84% 116/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/smt/translate.cc [ 85% 117/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/smt/typeexpr-to-smt.cc [ 86% 118/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/symmetry-reduction.cc [ 86% 119/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/utils.cc [ 87% 120/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur/src -I/wrkdirs/usr/ports/math/rumur/work/.build/rumur/../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/rumur/src/ValueType.cc [ 88% 121/137] /usr/bin/c++ -I/wrkdirs/usr/ports/math/rumur/work/.build/tests/murphi-comment-ls/../../librumur -I/wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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-2026.03.11/tests/murphi-comment-ls/main.cc [ 89% 122/137] : && /usr/bin/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 && : [ 89% 123/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/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" [ 90% 124/137] : && /usr/bin/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 && : [ 91% 125/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2c/murphi2c.1.gz" [ 91% 126/137] : && /usr/bin/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 && : [ 92% 127/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2murphi/murphi2murphi.1.gz" [ 93% 128/137] : && /usr/bin/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 && : [ 94% 129/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2smv && gzip -9 --no-name --to-stdout doc/murphi2smv.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2smv/murphi2smv.1.gz" [ 94% 130/137] : && /usr/bin/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 && : [ 95% 131/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2uclid && gzip -9 --no-name --to-stdout doc/murphi2uclid.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2uclid/murphi2uclid.1.gz" [ 96% 132/137] : && /usr/bin/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 && : [ 97% 133/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/murphi2xml/murphi2xml.1.gz" [ 97% 134/137] : && /usr/bin/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 r umur/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/typeex pr-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 && : [ 98% 135/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/rumur/rumur-run.1.gz" [ 99% 136/137] cd /wrkdirs/usr/ports/math/rumur/work/rumur-2026.03.11/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/wrkdirs/usr/ports/math/rumur/work/.build/rumur/rumur.1.gz" [100% 137/137] : && /usr/bin/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 && : =========================================================================== =======================<phase: run-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: stage >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for rumur-2026.03.11 ===> 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 -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2026.03.11 -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2026.03.11/_set -- Installing: /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2026.03.11/_list ====> Compressing man pages (compress-man) =========================================================================== =======================<phase: package >============================ ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-07-09T02:01:59+0000' 'PKG_NOTE_ports_top_git_hash=fd77dbcdcf0659b6d458f06b1da69302cf76655e' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=0b720c446810a6f8090bd0733d2c83f2639a3763' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.8' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for rumur-2026.03.11 ===> Building rumur-2026.03.11 pkg-static: Unable to access file /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2026.03.12/_list:No such file or directory pkg-static: Unable to access file /wrkdirs/usr/ports/math/rumur/work/stage/usr/local/share/rumur/lib/v2026.03.12/_set:No such file or directory *** Error code 1 Stop. make: stopped making "package" in /usr/ports/math/rumur
