------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- PYTHON="/usr/local/bin/python3.9" XDG_DATA_HOME=/construction/math/rumur XDG_CONFIG_HOME=/construction/math/rumur XDG_CACHE_HOME=/construction/math/rumur/.cache HOME=/construction/math/rumur TMPDIR="/tmp" PATH=/construction/math/rumur/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/rumur/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/rumur XDG_CONFIG_HOME=/construction/math/rumur XDG_CACHE_HOME=/construction/math/rumur/.cache HOME=/construction/math/rumur TMPDIR="/tmp" PATH=/construction/math/rumur/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/rumur/.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 CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/rumur/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/rumur" EXAMPLESDIR="share/examples/rumur" DATADIR="share/rumur" WWWDIR="www/rumur" ETCDIR="etc/rumur" SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.4.pkg ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/libtextstyle-0.21.1.pkg Installing /packages/All/readline-8.2.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/m4-1.4.19,1.pkg Installing /packages/All/bison-3.8.2,1.pkg Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/libuv-1.46.0.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/rhash-1.4.3.pkg Installing /packages/All/pkg-1.19.2.pkg Installing /packages/All/liblz4-1.9.4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/zstd-1.5.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libarchive-3.6.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/cmake-core-3.26.1_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libffi-3.4.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/mpdecimal-2.5.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/python39-3.9.17.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from python39-3.9.17: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py39-gdbm databases/py-gdbm@py39 py39-sqlite3 databases/py-sqlite3@py39 py39-tkinter x11-toolkits/py-tkinter@py39 Installing /packages/All/ccache-3.7.12_4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. Installing /packages/All/gmp-6.2.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required SUCCEEDED 00:00:09 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> rumur-2023.05.21 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> rumur-2023.05.21 depends on file: /usr/local/sbin/pkg - found => Smattr-rumur-v2023.05.21_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/Smattr/rumur/tar.gz/v2023.05.21?dummy=/Smattr-rumur-v2023.05.21_GH0.tar.gz fetch: https://codeload.github.com/Smattr/rumur/tar.gz/v2023.05.21?dummy=/Smattr-rumur-v2023.05.21_GH0.tar.gz: size unknown fetch: https://codeload.github.com/Smattr/rumur/tar.gz/v2023.05.21?dummy=/Smattr-rumur-v2023.05.21_GH0.tar.gz: size of remote file is not known Smattr-rumur-v2023.05.21_GH0.tar.gz 0 B 0 Bps Smattr-rumur-v2023.05.21_GH0.tar.gz 192 kB 648 kBps Smattr-rumur-v2023.05.21_GH0.tar.gz 309 kB 866 kBps 01s ===> Fetching all distfiles required by rumur-2023.05.21 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> rumur-2023.05.21 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by rumur-2023.05.21 for building => SHA256 Checksum OK for Smattr-rumur-v2023.05.21_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> rumur-2023.05.21 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by rumur-2023.05.21 for building ===> Extracting for rumur-2023.05.21 => SHA256 Checksum OK for Smattr-rumur-v2023.05.21_GH0.tar.gz. Extracted Memory Use: 3.16M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for rumur-2023.05.21 SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> rumur-2023.05.21 depends on executable: bison - found ===> rumur-2023.05.21 depends on file: /usr/local/bin/cmake - found ===> rumur-2023.05.21 depends on file: /usr/local/bin/python3.9 - found ===> rumur-2023.05.21 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> rumur-2023.05.21 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> rumur-2023.05.21 depends on executable: bison - found ===> rumur-2023.05.21 depends on file: /usr/local/bin/cmake - found ===> rumur-2023.05.21 depends on file: /usr/local/bin/python3.9 - found ===> rumur-2023.05.21 depends on file: /usr/local/bin/ccache - found ===> rumur-2023.05.21 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) ===> Configuring for rumur-2023.05.21 ===> Performing out-of-source build /bin/mkdir -p /construction/math/rumur/.build CMake Warning: Ignoring extra path from command line: "/construction/math/rumur/.build/BISON_EXECUTABLE:STRING=/usr/local/bin/bison" -- The CXX compiler identification is GNU 8.3.0 -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/libexec/ccache/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Performing Test HAS_WARNING_CAST_QUAL -- Performing Test HAS_WARNING_CAST_QUAL - Success -- Performing Test HAS_WARNING_CAST_ALIGN -- Performing Test HAS_WARNING_CAST_ALIGN - Success -- Performing Test HAS_WARNING_LOGICAL_OP -- Performing Test HAS_WARNING_LOGICAL_OP - Success -- Performing Test HAS_WARNING_STRICT_ALIASING_1 -- Performing Test HAS_WARNING_STRICT_ALIASING_1 - Success -- Performing Test HAS_WARNING_POINTER_ARITH -- Performing Test HAS_WARNING_POINTER_ARITH - Success -- Found Python3: /construction/math/rumur/.bin/python3 (found version "3.9.17") found components: Interpreter -- Found BISON: /usr/local/bin/bison (found version "3.8.2") -- Found FLEX: /usr/bin/flex (found version "2.6.4") -- Performing Test HAS_WARNING_SIGN_COMPARE -- Performing Test HAS_WARNING_SIGN_COMPARE - Success -- Performing Test HAS_WARNING_REGISTER -- Performing Test HAS_WARNING_REGISTER - Success -- Performing Test HAS_WARNING_DEPRECATED_REGISTER -- Performing Test HAS_WARNING_DEPRECATED_REGISTER - Failed -- Configuring done (5.9s) -- Generating done (0.1s) CMake Warning: Manually-specified variables were not used by the project: BOOST_PYTHON_SUFFIX CMAKE_CXX_FLAGS_DEBUG CMAKE_C_COMPILER CMAKE_C_FLAGS CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS FETCHCONTENT_FULLY_DISCONNECTED Python_ADDITIONAL_VERSIONS THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /construction/math/rumur/.build SUCCEEDED 00:00:06 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for rumur-2023.05.21 /usr/local/bin/cmake -S/construction/math/rumur/rumur-2023.05.21 -B/construction/math/rumur/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/rumur/.build/CMakeFiles /construction/math/rumur/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all --- librumur/CMakeFiles/librumur.dir/all --- --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- /usr/bin/make -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/depend --- librumur/CMakeFiles/librumur.dir/all --- /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- /usr/bin/make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/depend --- rumur/CMakeFiles/man-rumur.dir/all --- /usr/bin/make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- /usr/bin/make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/depend --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/depend --- --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/depend --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/CMakeFiles/man-rumur.dir/depend --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2xml /construction/math/rumur/.build /construction/math/rumur/.build/murphi2xml /construction/math/rumur/.build/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2murphi /construction/math/rumur/.build /construction/math/rumur/.build/murphi2murphi /construction/math/rumur/.build/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2uclid /construction/math/rumur/.build /construction/math/rumur/.build/murphi2uclid /construction/math/rumur/.build/murphi2uclid/CMakeFiles/man-murphi2uclid.dir/DependInfo.cmake --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- --- murphi2c/CMakeFiles/man-murphi2c.dir/depend --- --- rumur/CMakeFiles/man-rumur.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/always_run --- --- librumur/lexer.l.cc --- --- librumur/parser.yy.cc --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- /usr/bin/make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/build --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- /usr/bin/make -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build --- rumur/CMakeFiles/man-rumur.dir/all --- /usr/bin/make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/always_run --- [ 1%] Generating always_run cd /construction/math/rumur/.build/librumur && /usr/bin/env true --- librumur/parser.yy.cc --- [ 2%] [BISON][parser] Building parser with bison 3.8.2 cd /construction/math/rumur/rumur-2023.05.21/librumur && /usr/local/bin/bison --no-lines --warnings=all -d -o /construction/math/rumur/.build/librumur/parser.yy.cc src/parser.yy --- librumur/rumur-get-version.h --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- murphi2xml/murphi2xml.1.gz --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- --- murphi2murphi/murphi2murphi.1.gz --- --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- --- murphi2uclid/murphi2uclid.1.gz --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur-run.1.gz --- --- rumur/rumur.1.gz --- --- librumur/CMakeFiles/librumur.dir/all --- [ 2%] Generating rumur-get-version.h --- librumur/parser.yy.cc --- src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr] src/parser.yy: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- [ 6%] Generating murphi2xml.1.gz --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- [ 6%] Generating murphi2uclid.1.gz --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur-run.1.gz --- [ 6%] Generating rumur-run.1.gz --- rumur/rumur.1.gz --- [ 6%] Generating rumur.1.gz --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- [ 6%] Generating murphi2murphi.1.gz --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/rumur-get-version.h --- cd /construction/math/rumur/rumur-2023.05.21/librumur && src/make-version.py /construction/math/rumur/.build/librumur/rumur-get-version.h --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- cd /construction/math/rumur/rumur-2023.05.21/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/construction/math/rumur/.build/murphi2xml/murphi2xml.1.gz" --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- cd /construction/math/rumur/rumur-2023.05.21/murphi2uclid && gzip -9 --no-name --to-stdout doc/murphi2uclid.1 >"/construction/math/rumur/.build/murphi2uclid/murphi2uclid.1.gz" --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur-run.1.gz --- cd /construction/math/rumur/rumur-2023.05.21/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/construction/math/rumur/.build/rumur/rumur-run.1.gz" --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- cd /construction/math/rumur/rumur-2023.05.21/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/construction/math/rumur/.build/murphi2murphi/murphi2murphi.1.gz" --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur.1.gz --- cd /construction/math/rumur/rumur-2023.05.21/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/construction/math/rumur/.build/rumur/rumur.1.gz" --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- [ 6%] Built target man-murphi2xml --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- [ 6%] Built target man-murphi2murphi --- murphi2uclid/CMakeFiles/man-murphi2uclid.dir/all --- [ 6%] Built target man-murphi2uclid --- rumur/CMakeFiles/man-rumur.dir/all --- [ 6%] Built target man-rumur --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/lexer.l.cc --- [ 7%] [FLEX][lexer] Building scanner with flex 2.6.4 --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- /usr/bin/make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build --- librumur/CMakeFiles/librumur.dir/all --- cd /construction/math/rumur/rumur-2023.05.21/librumur && /usr/bin/flex --noline -o/construction/math/rumur/.build/librumur/lexer.l.cc src/lexer.l --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- --- murphi2c/murphi2c.1.gz --- [ 8%] Generating murphi2c.1.gz cd /construction/math/rumur/rumur-2023.05.21/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/construction/math/rumur/.build/murphi2c/murphi2c.1.gz" [ 8%] Built target man-murphi2c --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/parser.yy.hh --- --- librumur/CMakeFiles/librumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/librumur /construction/math/rumur/.build /construction/math/rumur/.build/librumur /construction/math/rumur/.build/librumur/CMakeFiles/librumur.dir/DependInfo.cmake /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/build --- librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Comment.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Decl.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/except.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Function.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/parse.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Property.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- [ 9%] Building CXX object librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- [ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- [ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- librumur/CMakeFiles/librumur.dir/src/except.cc.o --- [ 11%] Building CXX object librumur/CMakeFiles/librumur.dir/src/except.cc.o --- librumur/CMakeFiles/librumur.dir/src/parse.cc.o --- [ 12%] Building CXX object librumur/CMakeFiles/librumur.dir/src/parse.cc.o --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- [ 13%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Expr.cc.o -MF CMakeFiles/librumur.dir/src/Expr.cc.o.d -o CMakeFiles/librumur.dir/src/Expr.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Expr.cc --- librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/indexer.cc.o -MF CMakeFiles/librumur.dir/src/indexer.cc.o.d -o CMakeFiles/librumur.dir/src/indexer.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/indexer.cc --- librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Model.cc.o -MF CMakeFiles/librumur.dir/src/Model.cc.o.d -o CMakeFiles/librumur.dir/src/Model.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Model.cc --- librumur/CMakeFiles/librumur.dir/src/except.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/except.cc.o -MF CMakeFiles/librumur.dir/src/except.cc.o.d -o CMakeFiles/librumur.dir/src/except.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/except.cc --- librumur/CMakeFiles/librumur.dir/src/Property.cc.o --- [ 14%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Property.cc.o --- librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- [ 14%] Building CXX object librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- librumur/CMakeFiles/librumur.dir/src/parse.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/parse.cc.o -MF CMakeFiles/librumur.dir/src/parse.cc.o.d -o CMakeFiles/librumur.dir/src/parse.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/parse.cc --- librumur/CMakeFiles/librumur.dir/src/Comment.cc.o --- [ 14%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Comment.cc.o --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Number.cc.o -MF CMakeFiles/librumur.dir/src/Number.cc.o.d -o CMakeFiles/librumur.dir/src/Number.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Number.cc --- librumur/CMakeFiles/librumur.dir/src/Property.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Property.cc.o -MF CMakeFiles/librumur.dir/src/Property.cc.o.d -o CMakeFiles/librumur.dir/src/Property.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Property.cc --- librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -MF CMakeFiles/librumur.dir/src/resolve-symbols.cc.o.d -o CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/resolve-symbols.cc --- librumur/CMakeFiles/librumur.dir/src/Comment.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Comment.cc.o -MF CMakeFiles/librumur.dir/src/Comment.cc.o.d -o CMakeFiles/librumur.dir/src/Comment.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Comment.cc --- librumur/CMakeFiles/librumur.dir/src/Function.cc.o --- [ 15%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Function.cc.o --- librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o --- [ 16%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- [ 17%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- librumur/CMakeFiles/librumur.dir/src/Decl.cc.o --- [ 18%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Decl.cc.o --- librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o -MF CMakeFiles/librumur.dir/src/Boolean.cc.o.d -o CMakeFiles/librumur.dir/src/Boolean.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Boolean.cc --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Node.cc.o -MF CMakeFiles/librumur.dir/src/Node.cc.o.d -o CMakeFiles/librumur.dir/src/Node.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Node.cc --- librumur/CMakeFiles/librumur.dir/src/Function.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Function.cc.o -MF CMakeFiles/librumur.dir/src/Function.cc.o.d -o CMakeFiles/librumur.dir/src/Function.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Function.cc --- librumur/CMakeFiles/librumur.dir/src/Decl.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Decl.cc.o -MF CMakeFiles/librumur.dir/src/Decl.cc.o.d -o CMakeFiles/librumur.dir/src/Decl.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Decl.cc --- librumur/CMakeFiles/librumur.dir/src/Rule.cc.o --- [ 19%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Rule.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Rule.cc.o -MF CMakeFiles/librumur.dir/src/Rule.cc.o.d -o CMakeFiles/librumur.dir/src/Rule.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Rule.cc --- librumur/CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o --- [ 20%] Building CXX object librumur/CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o -MF CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o.d -o CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/sanitise_rule_names.cc --- librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o --- [ 21%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o -MF CMakeFiles/librumur.dir/src/Stmt.cc.o.d -o CMakeFiles/librumur.dir/src/Stmt.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/Stmt.cc --- librumur/CMakeFiles/librumur.dir/src/traverse.cc.o --- [ 21%] Building CXX object librumur/CMakeFiles/librumur.dir/src/traverse.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/traverse.cc.o -MF CMakeFiles/librumur.dir/src/traverse.cc.o.d -o CMakeFiles/librumur.dir/src/traverse.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/traverse.cc --- librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o --- [ 22%] Building CXX object librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o -MF CMakeFiles/librumur.dir/src/TypeExpr.cc.o.d -o CMakeFiles/librumur.dir/src/TypeExpr.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/TypeExpr.cc --- librumur/CMakeFiles/librumur.dir/src/validate.cc.o --- [ 23%] Building CXX object librumur/CMakeFiles/librumur.dir/src/validate.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/src/validate.cc.o -MF CMakeFiles/librumur.dir/src/validate.cc.o.d -o CMakeFiles/librumur.dir/src/validate.cc.o -c /construction/math/rumur/rumur-2023.05.21/librumur/src/validate.cc --- librumur/CMakeFiles/librumur.dir/parser.yy.cc.o --- [ 24%] Building CXX object librumur/CMakeFiles/librumur.dir/parser.yy.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -MD -MT librumur/CMakeFiles/librumur.dir/parser.yy.cc.o -MF CMakeFiles/librumur.dir/parser.yy.cc.o.d -o CMakeFiles/librumur.dir/parser.yy.cc.o -c /construction/math/rumur/.build/librumur/parser.yy.cc --- librumur/CMakeFiles/librumur.dir/lexer.l.cc.o --- [ 25%] Building CXX object librumur/CMakeFiles/librumur.dir/lexer.l.cc.o cd /construction/math/rumur/.build/librumur && /usr/local/libexec/ccache/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2023.05.21/librumur/include -I/construction/math/rumur/rumur-2023.05.21/librumur/src -I/construction/math/rumur/.build/librumur -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -fPIC -Wno-sign-compare -Wno-register -MD -MT librumur/CMakeFiles/librumur.dir/lexer.l.cc.o -MF CMakeFiles/librumur.dir/lexer.l.cc.o.d -o CMakeFiles/librumur.dir/lexer.l.cc.o -c /construction/math/rumur/.build/librumur/lexer.l.cc --- librumur/librumur.so --- [ 25%] Linking CXX shared library librumur.so cd /construction/math/rumur/.build/librumur && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/librumur.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -shared -Wl,-soname,librumur.so -o librumur.so CMakeFiles/librumur.dir/src/Boolean.cc.o CMakeFiles/librumur.dir/src/Comment.cc.o CMakeFiles/librumur.dir/src/Decl.cc.o CMakeFiles/librumur.dir/src/except.cc.o CMakeFiles/librumur.dir/src/Expr.cc.o CMakeFiles/librumur.dir/src/Function.cc.o CMakeFiles/librumur.dir/src/indexer.cc.o CMakeFiles/librumur.dir/src/Model.cc.o CMakeFiles/librumur.dir/src/Node.cc.o CMakeFiles/librumur.dir/src/Number.cc.o CMakeFiles/librumur.dir/src/parse.cc.o CMakeFiles/librumur.dir/src/Property.cc.o "CMakeFiles/librumur.dir/src/resolve-symbols.cc.o" CMakeFiles/librumur.dir/src/Rule.cc.o CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o CMakeFiles/librumur.dir/src/Stmt.cc.o CMakeFiles/librumur.dir/src/traverse.cc.o CMakeFiles/librumur.dir/src/TypeExpr.cc.o CMakeFiles/librumur.dir/src/validate.cc.o CMakeFiles/librumur.dir/lexer.l.cc.o CMakeFiles/librumur.dir/parser.yy.cc.o -Wl,-z,origin,-rpath,/usr/local/lib /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [ 26%] Built target librumur --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- rumur/CMakeFiles/rumur.dir/all --- --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/all --- /usr/bin/make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/depend --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- /usr/bin/make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/depend --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- /usr/bin/make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- /usr/bin/make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend --- rumur/CMakeFiles/rumur.dir/all --- /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- /usr/bin/make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/depend --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_c_prefix.cc --- --- murphi2c/resources_h_prefix.cc --- --- murphi2c/resources_manpage.cc --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- --- murphi2uclid/manpage.cc --- --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_header.cc --- --- rumur/resources_includes.cc --- --- rumur/resources_manpage.cc --- --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/manpage.cc --- --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_c_prefix.cc --- [ 26%] Generating resources_c_prefix.cc cd /construction/math/rumur/rumur-2023.05.21/murphi2c && ../misc/xxd.py resources/c_prefix.c /construction/math/rumur/.build/murphi2c/resources_c_prefix.cc --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- [ 27%] Generating manpage.cc cd /construction/math/rumur/rumur-2023.05.21/murphi2uclid && ../misc/xxd.py doc/murphi2uclid.1 /construction/math/rumur/.build/murphi2uclid/manpage.cc --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/depend --- --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_header.cc --- [ 29%] Generating resources_header.cc --- rumur/resources_includes.cc --- [ 29%] Generating resources_includes.cc --- rumur/resources_manpage.cc --- [ 29%] Generating resources_manpage.cc --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/tests/murphi-comment-ls /construction/math/rumur/.build /construction/math/rumur/.build/tests/murphi-comment-ls /construction/math/rumur/.build/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake --- rumur/CMakeFiles/rumur.dir/all --- cd /construction/math/rumur/rumur-2023.05.21/rumur && ../misc/xxd.py doc/rumur.1 /construction/math/rumur/.build/rumur/resources_manpage.cc --- rumur/resources_includes.cc --- cd /construction/math/rumur/rumur-2023.05.21/rumur && ../misc/xxd.py resources/includes.c /construction/math/rumur/.build/rumur/resources_includes.cc --- rumur/resources_header.cc --- cd /construction/math/rumur/rumur-2023.05.21/rumur && ../misc/xxd.py resources/header.c /construction/math/rumur/.build/rumur/resources_header.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_manpage.cc --- [ 30%] Generating resources_manpage.cc cd /construction/math/rumur/rumur-2023.05.21/murphi2c && ../misc/xxd.py doc/murphi2c.1 /construction/math/rumur/.build/murphi2c/resources_manpage.cc --- murphi2c/resources_h_prefix.cc --- [ 31%] Generating resources_h_prefix.cc cd /construction/math/rumur/rumur-2023.05.21/murphi2c && ../misc/xxd.py resources/h_prefix.h /construction/math/rumur/.build/murphi2c/resources_h_prefix.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- [ 32%] Generating manpage.cc cd /construction/math/rumur/rumur-2023.05.21/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /construction/math/rumur/.build/murphi2xml/manpage.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/resources_manpage.cc --- [ 33%] Generating resources_manpage.cc cd /construction/math/rumur/rumur-2023.05.21/murphi2murphi && ../misc/xxd.py doc/murphi2murphi.1 /construction/math/rumur/.build/murphi2murphi/resources_manpage.cc --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- /usr/bin/make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2uclid /construction/math/rumur/.build /construction/math/rumur/.build/murphi2uclid /construction/math/rumur/.build/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- /usr/bin/make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- [ 34%] Building CXX object tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o cd /construction/math/rumur/.build/tests/murphi-comment-ls && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/.build/tests/murphi-comment-ls/../../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o -MF CMakeFiles/murphi-comment-ls.dir/main.cc.o.d -o CMakeFiles/murphi-comment-ls.dir/main.cc.o -c /construction/math/rumur/rumur-2023.05.21/tests/murphi-comment-ls/main.cc --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.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 --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o --- [ 35%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o cd /construction/math/rumur/.build/murphi2uclid && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2uclid/src -I/construction/math/rumur/.build/murphi2uclid/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/main.cc.o -MF CMakeFiles/murphi2uclid.dir/src/main.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/main.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2uclid/src/main.cc --- murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o --- [ 36%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o cd /construction/math/rumur/.build/murphi2uclid && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2uclid/src -I/construction/math/rumur/.build/murphi2uclid/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -MF CMakeFiles/murphi2uclid.dir/src/codegen.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/codegen.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2uclid/src/codegen.cc --- murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.o --- [ 36%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.o cd /construction/math/rumur/.build/murphi2uclid && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2uclid/src -I/construction/math/rumur/.build/murphi2uclid/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/__/common/help.cc.o -MF CMakeFiles/murphi2uclid.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2uclid.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2023.05.21/common/help.cc --- murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o --- [ 37%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o cd /construction/math/rumur/.build/murphi2uclid && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2uclid/src -I/construction/math/rumur/.build/murphi2uclid/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/manpage.cc.o -MF CMakeFiles/murphi2uclid.dir/manpage.cc.o.d -o CMakeFiles/murphi2uclid.dir/manpage.cc.o -c /construction/math/rumur/.build/murphi2uclid/manpage.cc --- murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o --- [ 38%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o cd /construction/math/rumur/.build/murphi2uclid && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2uclid/src -I/construction/math/rumur/.build/murphi2uclid/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/check.cc.o -MF CMakeFiles/murphi2uclid.dir/src/check.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/check.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2uclid/src/check.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/murphi2xml.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2xml /construction/math/rumur/.build /construction/math/rumur/.build/murphi2xml /construction/math/rumur/.build/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- --- murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o --- [ 39%] Building CXX object murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o cd /construction/math/rumur/.build/murphi2uclid && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2uclid/src -I/construction/math/rumur/.build/murphi2uclid/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2uclid/CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -MF CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o.d -o CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2uclid/src/pick_numeric_type.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- /usr/bin/make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build --- murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o --- [ 39%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o -MF CMakeFiles/murphi2xml.dir/src/main.cc.o.d -o CMakeFiles/murphi2xml.dir/src/main.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2xml/src/main.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o --- [ 40%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o -MF CMakeFiles/murphi2xml.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2xml.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2023.05.21/common/help.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o --- [ 41%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -MF CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o.d -o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2xml/src/XMLPrinter.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2murphi /construction/math/rumur/.build /construction/math/rumur/.build/murphi2murphi /construction/math/rumur/.build/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake /usr/bin/make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build --- murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- [ 41%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -MF CMakeFiles/murphi2murphi.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2023.05.21/common/help.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake /usr/bin/make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build --- murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o --- [ 42%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o -MF CMakeFiles/murphi2c.dir/__/common/escape.cc.o.d -o CMakeFiles/murphi2c.dir/__/common/escape.cc.o -c /construction/math/rumur/rumur-2023.05.21/common/escape.cc --- murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o --- [ 43%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o -MF CMakeFiles/murphi2c.dir/__/common/help.cc.o.d -o CMakeFiles/murphi2c.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2023.05.21/common/help.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/rumur.dir/DependInfo.cmake /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build --- rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o --- [ 43%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o -MF CMakeFiles/rumur.dir/__/common/escape.cc.o.d -o CMakeFiles/rumur.dir/__/common/escape.cc.o -c /construction/math/rumur/rumur-2023.05.21/common/escape.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o --- [ 44%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o -MF CMakeFiles/murphi2c.dir/src/check.cc.o.d -o CMakeFiles/murphi2c.dir/src/check.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/check.cc --- murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o --- [ 45%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -MF CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o.d -o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/CLikeGenerator.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/__/common/help.cc.o --- [ 46%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/help.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/__/common/help.cc.o -MF CMakeFiles/rumur.dir/__/common/help.cc.o.d -o CMakeFiles/rumur.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2023.05.21/common/help.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o --- [ 47%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -MF CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/DecomposeComplexComparisons.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o --- [ 47%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -MF CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o.d -o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/CodeGenerator.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o --- [ 48%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o -MF CMakeFiles/murphi2xml.dir/manpage.cc.o.d -o CMakeFiles/murphi2xml.dir/manpage.cc.o -c /construction/math/rumur/.build/murphi2xml/manpage.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- [ 49%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -MF CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/ExplicitSemicolons.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o --- [ 50%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -MF CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o.d -o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/compares_complex_values.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o --- [ 51%] Building CXX object rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -MF CMakeFiles/rumur.dir/src/assume-statements-count.cc.o.d -o CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/assume-statements-count.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o --- [ 52%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o -MF CMakeFiles/murphi2murphi.dir/src/main.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/main.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/main.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o --- [ 53%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o -MF CMakeFiles/murphi2c.dir/src/generate_c.cc.o.d -o CMakeFiles/murphi2c.dir/src/generate_c.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/generate_c.cc --- murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o --- [ 54%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o -MF CMakeFiles/murphi2c.dir/src/generate_h.cc.o.d -o CMakeFiles/murphi2c.dir/src/generate_h.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/generate_h.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/environ.cc.o --- [ 55%] Building CXX object rumur/CMakeFiles/rumur.dir/src/environ.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/environ.cc.o -MF CMakeFiles/rumur.dir/src/environ.cc.o.d -o CMakeFiles/rumur.dir/src/environ.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/environ.cc --- rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o --- [ 56%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o -MF CMakeFiles/rumur.dir/src/generate-allocations.cc.o.d -o CMakeFiles/rumur.dir/src/generate-allocations.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-allocations.cc --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- --- tests/murphi-comment-ls/murphi-comment-ls --- [ 57%] Linking CXX executable murphi-comment-ls cd /construction/math/rumur/.build/tests/murphi-comment-ls && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi-comment-ls.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG "CMakeFiles/murphi-comment-ls.dir/main.cc.o" -o murphi-comment-ls -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [ 57%] Built target murphi-comment-ls --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- [ 57%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -MF CMakeFiles/rumur.dir/src/generate-cover-array.cc.o.d -o CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-cover-array.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o --- [ 58%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o -MF CMakeFiles/murphi2murphi.dir/src/options.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/options.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/options.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o --- [ 58%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/Pipeline.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o --- [ 59%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o -MF CMakeFiles/murphi2c.dir/src/main.cc.o.d -o CMakeFiles/murphi2c.dir/src/main.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/main.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/murphi2xml --- [ 60%] Linking CXX executable murphi2xml cd /construction/math/rumur/.build/murphi2xml && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2xml.dir/manpage.cc.o CMakeFiles/murphi2xml.dir/__/common/help.cc.o CMakeFiles/murphi2xml.dir/src/main.cc.o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -o murphi2xml -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [ 61%] Built target murphi2xml --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o --- [ 61%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o -MF CMakeFiles/murphi2c.dir/src/options.cc.o.d -o CMakeFiles/murphi2c.dir/src/options.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2c/src/options.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o --- [ 62%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Printer.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/Printer.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o --- [ 63%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -MF CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o.d -o CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o -c /construction/math/rumur/.build/murphi2c/resources_c_prefix.cc --- murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o --- [ 64%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -MF CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o.d -o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o -c /construction/math/rumur/.build/murphi2c/resources_h_prefix.cc --- murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o --- [ 64%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o -MF CMakeFiles/murphi2c.dir/resources_manpage.cc.o.d -o CMakeFiles/murphi2c.dir/resources_manpage.cc.o -c /construction/math/rumur/.build/murphi2c/resources_manpage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o --- [ 65%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o -MF CMakeFiles/rumur.dir/src/generate-decl.cc.o.d -o CMakeFiles/rumur.dir/src/generate-decl.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-decl.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o --- [ 66%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -MF CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/RemoveLiveness.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- [ 67%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o -MF CMakeFiles/rumur.dir/src/generate-expr.cc.o.d -o CMakeFiles/rumur.dir/src/generate-expr.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-expr.cc --- rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o --- [ 68%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o -MF CMakeFiles/rumur.dir/src/generate-function.cc.o.d -o CMakeFiles/rumur.dir/src/generate-function.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-function.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o --- [ 69%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -MF CMakeFiles/murphi2murphi.dir/src/Stage.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/Stage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- [ 70%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o -MF CMakeFiles/rumur.dir/src/generate-model.cc.o.d -o CMakeFiles/rumur.dir/src/generate-model.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-model.cc --- rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- [ 70%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o -MF CMakeFiles/rumur.dir/src/generate-print.cc.o.d -o CMakeFiles/rumur.dir/src/generate-print.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-print.cc --- murphi2uclid/CMakeFiles/murphi2uclid.dir/all --- --- murphi2uclid/murphi2uclid --- [ 70%] Linking CXX executable murphi2uclid cd /construction/math/rumur/.build/murphi2uclid && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2uclid.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2uclid.dir/manpage.cc.o CMakeFiles/murphi2uclid.dir/__/common/help.cc.o CMakeFiles/murphi2uclid.dir/src/check.cc.o CMakeFiles/murphi2uclid.dir/src/codegen.cc.o CMakeFiles/murphi2uclid.dir/src/main.cc.o CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -o murphi2uclid -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [ 71%] Built target murphi2uclid --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o --- [ 72%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -MF CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/SwitchToIf.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- [ 73%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o -MF CMakeFiles/rumur.dir/src/generate-property.cc.o.d -o CMakeFiles/rumur.dir/src/generate-property.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-property.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o --- [ 73%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -MF CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o.d -o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -c /construction/math/rumur/rumur-2023.05.21/murphi2murphi/src/ToAscii.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- [ 74%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -MF CMakeFiles/rumur.dir/src/generate-quantifier.cc.o.d -o CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-quantifier.cc --- rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o --- [ 75%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o -MF CMakeFiles/rumur.dir/src/generate-stmt.cc.o.d -o CMakeFiles/rumur.dir/src/generate-stmt.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/generate-stmt.cc --- rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o --- [ 76%] Building CXX object rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o -MF CMakeFiles/rumur.dir/src/has-start-state.cc.o.d -o CMakeFiles/rumur.dir/src/has-start-state.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/has-start-state.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o --- [ 77%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -MF CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o.d -o CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -c /construction/math/rumur/.build/murphi2murphi/resources_manpage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/log.cc.o --- [ 77%] Building CXX object rumur/CMakeFiles/rumur.dir/src/log.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/log.cc.o -MF CMakeFiles/rumur.dir/src/log.cc.o.d -o CMakeFiles/rumur.dir/src/log.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/log.cc --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- [ 78%] Building CXX object rumur/CMakeFiles/rumur.dir/src/main.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/main.cc.o -MF CMakeFiles/rumur.dir/src/main.cc.o.d -o CMakeFiles/rumur.dir/src/main.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/main.cc --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- [ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o -MF CMakeFiles/rumur.dir/src/max-simple-width.cc.o.d -o CMakeFiles/rumur.dir/src/max-simple-width.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/max-simple-width.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/murphi2c --- [ 80%] Linking CXX executable murphi2c cd /construction/math/rumur/.build/murphi2c && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2c.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o CMakeFiles/murphi2c.dir/resources_manpage.cc.o CMakeFiles/murphi2c.dir/__/common/escape.cc.o CMakeFiles/murphi2c.dir/__/common/help.cc.o CMakeFiles/murphi2c.dir/src/check.cc.o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o CMakeFiles/murphi2c.dir/src/generate_c.cc.o CMakeFiles/murphi2c.dir/src/generate_h.cc.o CMakeFiles/murphi2c.dir/src/main.cc.o CMakeFiles/murphi2c.dir/src/options.cc.o -o murphi2c -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [ 81%] Built target murphi2c --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o --- [ 82%] Building CXX object rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o -MF CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o.d -o CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/optimise-field-ordering.cc --- rumur/CMakeFiles/rumur.dir/src/options.cc.o --- [ 83%] Building CXX object rumur/CMakeFiles/rumur.dir/src/options.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/options.cc.o -MF CMakeFiles/rumur.dir/src/options.cc.o.d -o CMakeFiles/rumur.dir/src/options.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/options.cc --- rumur/CMakeFiles/rumur.dir/src/output.cc.o --- [ 83%] Building CXX object rumur/CMakeFiles/rumur.dir/src/output.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/output.cc.o -MF CMakeFiles/rumur.dir/src/output.cc.o.d -o CMakeFiles/rumur.dir/src/output.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/output.cc --- rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/process.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o --- [ 84%] Building CXX object rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o -MF CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o.d -o CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/prints-scalarsets.cc --- rumur/CMakeFiles/rumur.dir/src/process.cc.o --- [ 85%] Building CXX object rumur/CMakeFiles/rumur.dir/src/process.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/process.cc.o -MF CMakeFiles/rumur.dir/src/process.cc.o.d -o CMakeFiles/rumur.dir/src/process.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/process.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/murphi2murphi --- [ 86%] Linking CXX executable murphi2murphi cd /construction/math/rumur/.build/murphi2murphi && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2murphi.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o CMakeFiles/murphi2murphi.dir/src/main.cc.o CMakeFiles/murphi2murphi.dir/src/options.cc.o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -o murphi2murphi -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [ 87%] Built target murphi2murphi --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o --- [ 88%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -MF CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o.d -o CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/smt/define-enum-members.cc --- rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o --- [ 89%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o -MF CMakeFiles/rumur.dir/src/smt/define-records.cc.o.d -o CMakeFiles/rumur.dir/src/smt/define-records.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/smt/define-records.cc --- rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o --- [ 89%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o -MF CMakeFiles/rumur.dir/src/smt/logic.cc.o.d -o CMakeFiles/rumur.dir/src/smt/logic.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/smt/logic.cc --- rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o --- [ 90%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o -MF CMakeFiles/rumur.dir/src/smt/simplify.cc.o.d -o CMakeFiles/rumur.dir/src/smt/simplify.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/smt/simplify.cc --- rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o --- [ 91%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o -MF CMakeFiles/rumur.dir/src/smt/solver.cc.o.d -o CMakeFiles/rumur.dir/src/smt/solver.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/smt/solver.cc --- rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o --- [ 92%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o -MF CMakeFiles/rumur.dir/src/smt/translate.cc.o.d -o CMakeFiles/rumur.dir/src/smt/translate.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/smt/translate.cc --- rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o --- [ 93%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -MF CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o.d -o CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/smt/typeexpr-to-smt.cc --- rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o --- [ 93%] Building CXX object rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -MF CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o.d -o CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/symmetry-reduction.cc --- rumur/CMakeFiles/rumur.dir/src/utils.cc.o --- [ 94%] Building CXX object rumur/CMakeFiles/rumur.dir/src/utils.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/utils.cc.o -MF CMakeFiles/rumur.dir/src/utils.cc.o.d -o CMakeFiles/rumur.dir/src/utils.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/utils.cc --- rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o --- --- rumur/CMakeFiles/rumur.dir/resources_includes.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o --- [ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o --- rumur/CMakeFiles/rumur.dir/resources_includes.cc.o --- [ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_includes.cc.o --- rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o -MF CMakeFiles/rumur.dir/src/ValueType.cc.o.d -o CMakeFiles/rumur.dir/src/ValueType.cc.o -c /construction/math/rumur/rumur-2023.05.21/rumur/src/ValueType.cc --- rumur/CMakeFiles/rumur.dir/resources_includes.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/resources_includes.cc.o -MF CMakeFiles/rumur.dir/resources_includes.cc.o.d -o CMakeFiles/rumur.dir/resources_includes.cc.o -c /construction/math/rumur/.build/rumur/resources_includes.cc --- rumur/CMakeFiles/rumur.dir/resources_header.cc.o --- [ 97%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_header.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/resources_header.cc.o -MF CMakeFiles/rumur.dir/resources_header.cc.o.d -o CMakeFiles/rumur.dir/resources_header.cc.o -c /construction/math/rumur/.build/rumur/resources_header.cc --- rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o --- [ 98%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o cd /construction/math/rumur/.build/rumur && /usr/local/libexec/ccache/c++ -I/construction/math/rumur/rumur-2023.05.21/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2023.05.21/librumur/include -isystem /usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -MD -MT rumur/CMakeFiles/rumur.dir/resources_manpage.cc.o -MF CMakeFiles/rumur.dir/resources_manpage.cc.o.d -o CMakeFiles/rumur.dir/resources_manpage.cc.o -c /construction/math/rumur/.build/rumur/resources_manpage.cc --- rumur/rumur --- [ 99%] Linking CXX executable rumur cd /construction/math/rumur/.build/rumur && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/rumur.dir/link.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/rumur.dir/resources_includes.cc.o CMakeFiles/rumur.dir/resources_header.cc.o CMakeFiles/rumur.dir/resources_manpage.cc.o CMakeFiles/rumur.dir/__/common/escape.cc.o CMakeFiles/rumur.dir/__/common/help.cc.o "CMakeFiles/rumur.dir/src/assume-statements-count.cc.o" CMakeFiles/rumur.dir/src/environ.cc.o "CMakeFiles/rumur.dir/src/generate-allocations.cc.o" "CMakeFiles/rumur.dir/src/generate-cover-array.cc.o" "CMakeFiles/rumur.dir/src/generate-decl.cc.o" "CMakeFiles/rumur.dir/src/generate-expr.cc.o" "CMakeFiles/rumur.dir/src/generate-function.cc.o" "CMakeFiles/rumur.dir/src/generate-model.cc.o" "CMakeFiles/rumur.dir/src/generate-print.cc.o" "CMakeFiles/rumur.dir/src/generate-property.cc.o" "CMakeFiles/rumur.dir/src/generate-quantifier.cc.o" "CMakeFiles/rumur.dir/src/generate-stmt.cc.o" "CMakeFiles/rumur.dir/src/has-start-state.cc.o" CMakeFiles/rumur.dir/src/log.cc.o CMakeFiles/rumur.dir/src/main.cc.o "CMakeFiles/rumur.dir/src/max-simple-width.cc.o" "CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o" CMakeFiles/rumur.dir/src/options.cc.o CMakeFiles/rumur.dir/src/output.cc.o "CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o" CMakeFiles/rumur.dir/src/process.cc.o "CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o" "CMakeFiles/rumur.dir/src/smt/define-records.cc.o" CMakeFiles/rumur.dir/src/smt/logic.cc.o CMakeFiles/rumur.dir/src/smt/simplify.cc.o CMakeFiles/rumur.dir/src/smt/solver.cc.o CMakeFiles/rumur.dir/src/smt/translate.cc.o "CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o" "CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o" CMakeFiles/rumur.dir/src/utils.cc.o CMakeFiles/rumur.dir/src/ValueType.cc.o -o rumur -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [100%] Built target rumur /usr/local/bin/cmake -E cmake_progress_start /construction/math/rumur/.build/CMakeFiles 0 SUCCEEDED 00:01:26 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for rumur-2023.05.21 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/rumur/rumur-2023.05.21 -B/construction/math/rumur/.build --check-build-system CMakeFiles/Makefile.cmake 0 /usr/local/bin/cmake -E cmake_progress_start /construction/math/rumur/.build/CMakeFiles /construction/math/rumur/.build//CMakeFiles/progress.marks /usr/bin/make -f CMakeFiles/Makefile2 all /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend [ 1%] Generating always_run cd /construction/math/rumur/.build/librumur && /usr/bin/env true [ 1%] Generating rumur-get-version.h cd /construction/math/rumur/rumur-2023.05.21/librumur && src/make-version.py /construction/math/rumur/.build/librumur/rumur-get-version.h cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/librumur /construction/math/rumur/.build /construction/math/rumur/.build/librumur /construction/math/rumur/.build/librumur/CMakeFiles/librumur.dir/DependInfo.cmake /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/build [ 21%] Built target librumur /usr/bin/make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake /usr/bin/make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build [ 35%] Built target murphi2c /usr/bin/make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake /usr/bin/make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build [ 36%] Built target man-murphi2c /usr/bin/make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2murphi /construction/math/rumur/.build /construction/math/rumur/.build/murphi2murphi /construction/math/rumur/.build/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake /usr/bin/make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build [ 48%] Built target murphi2murphi /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2murphi /construction/math/rumur/.build /construction/math/rumur/.build/murphi2murphi /construction/math/rumur/.build/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build [ 49%] Built target man-murphi2murphi /usr/bin/make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2uclid /construction/math/rumur/.build /construction/math/rumur/.build/murphi2uclid /construction/math/rumur/.build/murphi2uclid/CMakeFiles/murphi2uclid.dir/DependInfo.cmake /usr/bin/make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/build [ 56%] Built target murphi2uclid /usr/bin/make -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2uclid /construction/math/rumur/.build /construction/math/rumur/.build/murphi2uclid /construction/math/rumur/.build/murphi2uclid/CMakeFiles/man-murphi2uclid.dir/DependInfo.cmake /usr/bin/make -f murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/man-murphi2uclid.dir/build [ 57%] Built target man-murphi2uclid /usr/bin/make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2xml /construction/math/rumur/.build /construction/math/rumur/.build/murphi2xml /construction/math/rumur/.build/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake /usr/bin/make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build [ 63%] Built target murphi2xml /usr/bin/make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/murphi2xml /construction/math/rumur/.build /construction/math/rumur/.build/murphi2xml /construction/math/rumur/.build/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake /usr/bin/make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/build [ 63%] Built target man-murphi2xml /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/rumur.dir/DependInfo.cmake /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build [ 96%] Built target rumur /usr/bin/make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake /usr/bin/make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build [ 98%] Built target man-rumur /usr/bin/make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2023.05.21 /construction/math/rumur/rumur-2023.05.21/tests/murphi-comment-ls /construction/math/rumur/.build /construction/math/rumur/.build/tests/murphi-comment-ls /construction/math/rumur/.build/tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/DependInfo.cmake /usr/bin/make -f tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build.make tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/build [100%] Built target murphi-comment-ls /usr/local/bin/cmake -E cmake_progress_start /construction/math/rumur/.build/CMakeFiles 0 /usr/bin/make -f CMakeFiles/Makefile2 preinstall /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/preinstall Linking CXX shared library CMakeFiles/CMakeRelink.dir/librumur.so cd /construction/math/rumur/.build/librumur && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/librumur.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG -shared -Wl,-soname,librumur.so -o CMakeFiles/CMakeRelink.dir/librumur.so CMakeFiles/librumur.dir/src/Boolean.cc.o CMakeFiles/librumur.dir/src/Comment.cc.o CMakeFiles/librumur.dir/src/Decl.cc.o CMakeFiles/librumur.dir/src/except.cc.o CMakeFiles/librumur.dir/src/Expr.cc.o CMakeFiles/librumur.dir/src/Function.cc.o CMakeFiles/librumur.dir/src/indexer.cc.o CMakeFiles/librumur.dir/src/Model.cc.o CMakeFiles/librumur.dir/src/Node.cc.o CMakeFiles/librumur.dir/src/Number.cc.o CMakeFiles/librumur.dir/src/parse.cc.o CMakeFiles/librumur.dir/src/Property.cc.o "CMakeFiles/librumur.dir/src/resolve-symbols.cc.o" CMakeFiles/librumur.dir/src/Rule.cc.o CMakeFiles/librumur.dir/src/sanitise_rule_names.cc.o CMakeFiles/librumur.dir/src/Stmt.cc.o CMakeFiles/librumur.dir/src/traverse.cc.o CMakeFiles/librumur.dir/src/TypeExpr.cc.o CMakeFiles/librumur.dir/src/validate.cc.o CMakeFiles/librumur.dir/lexer.l.cc.o CMakeFiles/librumur.dir/parser.yy.cc.o -Wl,-z,origin,-rpath,/usr/local/lib /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so /usr/bin/make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/murphi2c cd /construction/math/rumur/.build/murphi2c && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2c.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o CMakeFiles/murphi2c.dir/resources_manpage.cc.o CMakeFiles/murphi2c.dir/__/common/escape.cc.o CMakeFiles/murphi2c.dir/__/common/help.cc.o CMakeFiles/murphi2c.dir/src/check.cc.o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o CMakeFiles/murphi2c.dir/src/generate_c.cc.o CMakeFiles/murphi2c.dir/src/generate_h.cc.o CMakeFiles/murphi2c.dir/src/main.cc.o CMakeFiles/murphi2c.dir/src/options.cc.o -o CMakeFiles/CMakeRelink.dir/murphi2c -Wl,-z,origin,-rpath,/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so /usr/bin/make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/murphi2murphi cd /construction/math/rumur/.build/murphi2murphi && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2murphi.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o CMakeFiles/murphi2murphi.dir/src/main.cc.o CMakeFiles/murphi2murphi.dir/src/options.cc.o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -o CMakeFiles/CMakeRelink.dir/murphi2murphi -Wl,-z,origin,-rpath,/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so /usr/bin/make -f murphi2uclid/CMakeFiles/murphi2uclid.dir/build.make murphi2uclid/CMakeFiles/murphi2uclid.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/murphi2uclid cd /construction/math/rumur/.build/murphi2uclid && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2uclid.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2uclid.dir/manpage.cc.o CMakeFiles/murphi2uclid.dir/__/common/help.cc.o CMakeFiles/murphi2uclid.dir/src/check.cc.o CMakeFiles/murphi2uclid.dir/src/codegen.cc.o CMakeFiles/murphi2uclid.dir/src/main.cc.o CMakeFiles/murphi2uclid.dir/src/pick_numeric_type.cc.o -o CMakeFiles/CMakeRelink.dir/murphi2uclid -Wl,-z,origin,-rpath,/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so /usr/bin/make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/murphi2xml cd /construction/math/rumur/.build/murphi2xml && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/murphi2xml.dir/manpage.cc.o CMakeFiles/murphi2xml.dir/__/common/help.cc.o CMakeFiles/murphi2xml.dir/src/main.cc.o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -o CMakeFiles/CMakeRelink.dir/murphi2xml -Wl,-z,origin,-rpath,/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/rumur cd /construction/math/rumur/.build/rumur && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/rumur.dir/relink.txt --verbose=1 /usr/local/libexec/ccache/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wformat=2 -Wwrite-strings -Wmissing-declarations -Wshadow -Wundef -Wcast-qual -Wcast-align -Wlogical-op -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -DNDEBUG CMakeFiles/rumur.dir/resources_includes.cc.o CMakeFiles/rumur.dir/resources_header.cc.o CMakeFiles/rumur.dir/resources_manpage.cc.o CMakeFiles/rumur.dir/__/common/escape.cc.o CMakeFiles/rumur.dir/__/common/help.cc.o "CMakeFiles/rumur.dir/src/assume-statements-count.cc.o" CMakeFiles/rumur.dir/src/environ.cc.o "CMakeFiles/rumur.dir/src/generate-allocations.cc.o" "CMakeFiles/rumur.dir/src/generate-cover-array.cc.o" "CMakeFiles/rumur.dir/src/generate-decl.cc.o" "CMakeFiles/rumur.dir/src/generate-expr.cc.o" "CMakeFiles/rumur.dir/src/generate-function.cc.o" "CMakeFiles/rumur.dir/src/generate-model.cc.o" "CMakeFiles/rumur.dir/src/generate-print.cc.o" "CMakeFiles/rumur.dir/src/generate-property.cc.o" "CMakeFiles/rumur.dir/src/generate-quantifier.cc.o" "CMakeFiles/rumur.dir/src/generate-stmt.cc.o" "CMakeFiles/rumur.dir/src/has-start-state.cc.o" CMakeFiles/rumur.dir/src/log.cc.o CMakeFiles/rumur.dir/src/main.cc.o "CMakeFiles/rumur.dir/src/max-simple-width.cc.o" "CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o" CMakeFiles/rumur.dir/src/options.cc.o CMakeFiles/rumur.dir/src/output.cc.o "CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o" CMakeFiles/rumur.dir/src/process.cc.o "CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o" "CMakeFiles/rumur.dir/src/smt/define-records.cc.o" CMakeFiles/rumur.dir/src/smt/logic.cc.o CMakeFiles/rumur.dir/src/smt/simplify.cc.o CMakeFiles/rumur.dir/src/smt/solver.cc.o CMakeFiles/rumur.dir/src/smt/translate.cc.o "CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o" "CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o" CMakeFiles/rumur.dir/src/utils.cc.o CMakeFiles/rumur.dir/src/ValueType.cc.o -o CMakeFiles/CMakeRelink.dir/rumur -Wl,-z,origin,-rpath,/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so Installing the project stripped... /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake -- Install configuration: "Release" -- Installing: /construction/math/rumur/stage/usr/local/lib/librumur.so -- Up-to-date: /construction/math/rumur/stage/usr/local/include -- Installing: /construction/math/rumur/stage/usr/local/include/rumur -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Boolean.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Comment.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Decl.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Expr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Function.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Model.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Node.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Number.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Property.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Ptr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Rule.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Stmt.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Symtab.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/TypeExpr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/except.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/indexer.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/parse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/resolve-symbols.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/rumur.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/sanitise_rule_names.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/scanner.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/traverse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/validate.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/location.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/parser.yy.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/position.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/rumur-get-version.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/stack.hh -- Installing: /construction/math/rumur/stage/usr/local/bin/murphi2c -- Installing: /construction/math/rumur/stage/usr/local/share/man/man1/murphi2c.1.gz -- Installing: /construction/math/rumur/stage/usr/local/bin/murphi2murphi -- Installing: /construction/math/rumur/stage/usr/local/share/man/man1/murphi2murphi.1.gz -- Installing: /construction/math/rumur/stage/usr/local/bin/murphi2uclid -- Installing: /construction/math/rumur/stage/usr/local/share/man/man1/murphi2uclid.1.gz -- Installing: /construction/math/rumur/stage/usr/local/bin/murphi2xml -- Installing: /construction/math/rumur/stage/usr/local/share/man/man1/murphi2xml.1.gz -- Installing: /construction/math/rumur/stage/usr/local/bin/rumur -- Installing: /construction/math/rumur/stage/usr/local/bin/rumur-run -- Installing: /construction/math/rumur/stage/usr/local/share/man/man1/rumur.1.gz -- Installing: /construction/math/rumur/stage/usr/local/share/man/man1/rumur-run.1.gz ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:06 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for rumur-2023.05.21 file sizes/checksums [41]: 0% file sizes/checksums [41]: 100% Service unavailablepacking files [41]: 0% packing files [41]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:01:52