------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=5.9 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.7" XDG_DATA_HOME=/construction/math/rumur XDG_CONFIG_HOME=/construction/math/rumur HOME=/construction/math/rumur TMPDIR="/tmp" PATH=/construction/math/rumur/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin 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 HOME=/construction/math/rumur TMPDIR="/tmp" PATH=/construction/math/rumur/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes 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.7m PYTHON_LIBDIR=lib/python3.7 PYTHON_PLATFORM=dragonfly5 PYTHON_SITELIBDIR=lib/python3.7/site-packages PYTHON_SUFFIX=37 PYTHON_EXT_SUFFIX= PYTHON_VER=3.7 PYTHON_VERSION=python3.7 PYTHON2="@comment " PYTHON3="" OSREL=5.9 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:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- 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:01 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_SUFX=.txz DEVELOPER=1 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500906 OSVERSION=9999999 OSREL=5.9 _OSRELEASE=5.9-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=10 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.2.20210116.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/libtextstyle-0.21.txz Installing /packages/All/gettext-runtime-0.21.txz Installing /packages/All/m4-1.4.18_1,1.txz Installing /packages/All/bison-3.6.4,1.txz Installing /packages/All/libnghttp2-1.42.0.txz Installing /packages/All/ca_root_nss-3.58.txz ===== Message from ca_root_nss-3.58: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/openssl-1.1.1i,1.txz Installing /packages/All/curl-7.74.0.txz Installing /packages/All/expat-2.2.10.txz Installing /packages/All/libuv-1.40.0.txz Installing /packages/All/rhash-1.4.1.txz Installing /packages/All/liblz4-1.9.3,1.txz Installing /packages/All/libarchive-3.4.3_1,1.txz Installing /packages/All/cmake-3.19.2.txz Installing /packages/All/libffi-3.3_1.txz Installing /packages/All/readline-8.0.4_1.txz Installing /packages/All/python37-3.7.9_1.txz ===== Message from python37-3.7.9_1: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py37-gdbm databases/py-gdbm@py37 py37-sqlite3 databases/py-sqlite3@py37 py37-tkinter x11-toolkits/py-tkinter@py37 Installing /packages/All/gmp-6.2.1.txz SUCCEEDED 00:00:21 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> rumur-2020.12.20 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> rumur-2020.12.20 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by rumur-2020.12.20 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> rumur-2020.12.20 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by rumur-2020.12.20 for building => SHA256 Checksum OK for Smattr-rumur-v2020.12.20_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> rumur-2020.12.20 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by rumur-2020.12.20 for building ===> Extracting for rumur-2020.12.20 => SHA256 Checksum OK for Smattr-rumur-v2020.12.20_GH0.tar.gz. Extracted Memory Use: 3.06M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for rumur-2020.12.20 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> rumur-2020.12.20 depends on executable: bison - found ===> rumur-2020.12.20 depends on file: /usr/local/bin/cmake - found ===> rumur-2020.12.20 depends on file: /usr/local/bin/python3.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> rumur-2020.12.20 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> rumur-2020.12.20 depends on executable: bison - found ===> rumur-2020.12.20 depends on file: /usr/local/bin/cmake - found ===> rumur-2020.12.20 depends on file: /usr/local/bin/python3.7 - found ===> rumur-2020.12.20 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) ===> Configuring for rumur-2020.12.20 ===> Performing out-of-source build /bin/mkdir -p /construction/math/rumur/.build -- 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/bin/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_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: /usr/local/bin/python3.7 (found version "3.7.9") found components: Interpreter -- Found BISON: /usr/local/bin/bison (found version "3.6.4") -- 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 -- Generating done 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 Python_ADDITIONAL_VERSIONS THREADS_HAVE_PTHREAD_ARG -- Build files have been written to: /construction/math/rumur/.build SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for rumur-2020.12.20 /usr/local/bin/cmake -S/construction/math/rumur/rumur-2020.12.20 -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 --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- librumur/CMakeFiles/librumur.dir/all --- /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend --- librumur/always_run --- --- librumur/lexer.l.cc --- --- librumur/parser.yy.cc --- --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- /usr/bin/make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/depend --- murphi2c/CMakeFiles/man-murphi2c.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.12.20 /construction/math/rumur/rumur-2020.12.20/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.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 --- librumur/CMakeFiles/librumur.dir/all --- [ 2%] [BISON][parser] Building parser with bison 3.6.4 --- librumur/always_run --- [ 2%] Generating always_run --- librumur/lexer.l.cc --- [ 3%] [FLEX][lexer] Building scanner with flex 2.6.4 --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- Scanning dependencies of target man-murphi2c --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/parser.yy.cc --- cd /construction/math/rumur/rumur-2020.12.20/librumur && /usr/local/bin/bison --warnings=all -d -o /construction/math/rumur/.build/librumur/parser.yy.cc src/parser.yy --- librumur/always_run --- cd /construction/math/rumur/.build/librumur && /usr/bin/env true --- librumur/lexer.l.cc --- cd /construction/math/rumur/rumur-2020.12.20/librumur && /usr/bin/flex -o/construction/math/rumur/.build/librumur/lexer.l.cc src/lexer.l --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/depend --- --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- /usr/bin/make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.12.20 /construction/math/rumur/rumur-2020.12.20/murphi2xml /construction/math/rumur/.build /construction/math/rumur/.build/murphi2xml /construction/math/rumur/.build/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/rumur-get-version.h --- --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- --- murphi2c/murphi2c.1.gz --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- Scanning dependencies of target man-murphi2xml --- librumur/CMakeFiles/librumur.dir/all --- [ 3%] Generating rumur-get-version.h --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- /usr/bin/make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make murphi2xml/CMakeFiles/man-murphi2xml.dir/build --- librumur/CMakeFiles/librumur.dir/all --- cd /construction/math/rumur/rumur-2020.12.20/librumur && src/make-version.py /construction/math/rumur/.build/librumur/rumur-get-version.h --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- [ 4%] Generating murphi2c.1.gz cd /construction/math/rumur/rumur-2020.12.20/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/construction/math/rumur/.build/murphi2c/murphi2c.1.gz" --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- murphi2xml/murphi2xml.1.gz --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.12.20 /construction/math/rumur/rumur-2020.12.20/murphi2murphi /construction/math/rumur/.build /construction/math/rumur/.build/murphi2murphi /construction/math/rumur/.build/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- [ 5%] Generating murphi2xml.1.gz cd /construction/math/rumur/rumur-2020.12.20/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/construction/math/rumur/.build/murphi2xml/murphi2xml.1.gz" --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- [ 5%] Built target man-murphi2c --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- Scanning dependencies of target man-murphi2murphi /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/CMakeFiles/man-rumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.12.20 /construction/math/rumur/rumur-2020.12.20/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- [ 5%] Built target man-murphi2xml --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- --- murphi2murphi/murphi2murphi.1.gz --- [ 6%] Generating murphi2murphi.1.gz cd /construction/math/rumur/rumur-2020.12.20/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/construction/math/rumur/.build/murphi2murphi/murphi2murphi.1.gz" --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/parser.yy.cc --- src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr] --- rumur/CMakeFiles/man-rumur.dir/all --- Scanning dependencies of target man-rumur /usr/bin/make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- [ 6%] Built target man-murphi2murphi --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur-run.1.gz --- --- rumur/rumur.1.gz --- --- rumur/rumur-run.1.gz --- [ 6%] Generating rumur-run.1.gz cd /construction/math/rumur/rumur-2020.12.20/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/construction/math/rumur/.build/rumur/rumur-run.1.gz" --- rumur/rumur.1.gz --- [ 7%] Generating rumur.1.gz cd /construction/math/rumur/rumur-2020.12.20/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/construction/math/rumur/.build/rumur/rumur.1.gz" [ 7%] Built target man-rumur --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/CMakeFiles/librumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.12.20 /construction/math/rumur/rumur-2020.12.20/librumur /construction/math/rumur/.build /construction/math/rumur/.build/librumur /construction/math/rumur/.build/librumur/CMakeFiles/librumur.dir/DependInfo.cmake Scanning dependencies of target librumur /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/Boolean.cc.o --- [ 11%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Boolean.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Boolean.cc --- librumur/CMakeFiles/librumur.dir/src/Decl.cc.o --- [ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Decl.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Decl.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Decl.cc --- librumur/CMakeFiles/librumur.dir/src/except.cc.o --- [ 9%] Building CXX object librumur/CMakeFiles/librumur.dir/src/except.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/except.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/except.cc --- librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- [ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Expr.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Expr.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Expr.cc --- librumur/CMakeFiles/librumur.dir/src/Function.cc.o --- [ 11%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Function.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Function.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Function.cc --- librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- [ 12%] Building CXX object librumur/CMakeFiles/librumur.dir/src/indexer.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/indexer.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/indexer.cc --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- [ 14%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- [ 14%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Model.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Model.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Model.cc --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Number.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Number.cc --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- [ 15%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- librumur/CMakeFiles/librumur.dir/src/Comment.cc.o --- [ 16%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Comment.cc.o --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Node.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Node.cc --- librumur/CMakeFiles/librumur.dir/src/Comment.cc.o --- cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Comment.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Comment.cc --- librumur/CMakeFiles/librumur.dir/src/Property.cc.o --- [ 16%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Property.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Property.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Property.cc --- librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- [ 17%] Building CXX object librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/resolve-symbols.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/resolve-symbols.cc --- librumur/CMakeFiles/librumur.dir/src/Rule.cc.o --- [ 18%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Rule.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Rule.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Rule.cc --- librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o --- [ 19%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/Stmt.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/Stmt.cc --- librumur/CMakeFiles/librumur.dir/src/traverse.cc.o --- [ 20%] Building CXX object librumur/CMakeFiles/librumur.dir/src/traverse.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/traverse.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/traverse.cc --- librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o --- [ 21%] Building CXX object librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/TypeExpr.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/TypeExpr.cc --- librumur/CMakeFiles/librumur.dir/src/validate.cc.o --- [ 22%] Building CXX object librumur/CMakeFiles/librumur.dir/src/validate.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/validate.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/validate.cc --- librumur/CMakeFiles/librumur.dir/parser.yy.cc.o --- [ 22%] Building CXX object librumur/CMakeFiles/librumur.dir/parser.yy.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/parser.yy.cc.o -c /construction/math/rumur/.build/librumur/parser.yy.cc --- librumur/CMakeFiles/librumur.dir/src/parse.cc.o --- [ 23%] Building CXX object librumur/CMakeFiles/librumur.dir/src/parse.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -o CMakeFiles/librumur.dir/src/parse.cc.o -c /construction/math/rumur/rumur-2020.12.20/librumur/src/parse.cc --- librumur/CMakeFiles/librumur.dir/lexer.l.cc.o --- [ 24%] Building CXX object librumur/CMakeFiles/librumur.dir/lexer.l.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.12.20/librumur/src -I/construction/math/rumur/.build/librumur -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -fPIC -Wno-sign-compare -Wno-register -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/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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/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 --- --- 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 --- 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 --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/manpage.cc --- --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_c_prefix.cc --- --- murphi2c/resources_h_prefix.cc --- --- murphi2c/resources_manpage.cc --- --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- --- 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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 --- --- rumur/resources_header.cc --- --- rumur/resources_includes.cc --- --- rumur/resources_manpage.cc --- --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- [ 27%] Generating manpage.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/resources_manpage.cc --- --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- cd /construction/math/rumur/rumur-2020.12.20/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /construction/math/rumur/.build/murphi2xml/manpage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_header.cc --- [ 28%] Generating resources_header.cc --- rumur/resources_manpage.cc --- [ 28%] Generating resources_manpage.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- [ 29%] Generating resources_manpage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_header.cc --- cd /construction/math/rumur/rumur-2020.12.20/rumur && ../misc/xxd.py resources/header.c /construction/math/rumur/.build/rumur/resources_header.cc --- rumur/resources_manpage.cc --- cd /construction/math/rumur/rumur-2020.12.20/rumur && ../misc/xxd.py doc/rumur.1 /construction/math/rumur/.build/rumur/resources_manpage.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- cd /construction/math/rumur/rumur-2020.12.20/murphi2c && ../misc/xxd.py doc/murphi2c.1 /construction/math/rumur/.build/murphi2c/resources_manpage.cc --- murphi2c/resources_c_prefix.cc --- [ 30%] Generating resources_c_prefix.cc cd /construction/math/rumur/rumur-2020.12.20/murphi2c && ../misc/xxd.py resources/c_prefix.c /construction/math/rumur/.build/murphi2c/resources_c_prefix.cc --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- Scanning dependencies of target murphi-comment-ls --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_includes.cc --- [ 31%] Generating resources_includes.cc cd /construction/math/rumur/rumur-2020.12.20/rumur && ../misc/xxd.py resources/includes.c /construction/math/rumur/.build/rumur/resources_includes.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 --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- [ 32%] Generating resources_manpage.cc cd /construction/math/rumur/rumur-2020.12.20/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 --- --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/main.cc.o --- [ 33%] 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/bin/c++ -I/construction/math/rumur/.build/tests/murphi-comment-ls/../../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi-comment-ls.dir/main.cc.o -c /construction/math/rumur/rumur-2020.12.20/tests/murphi-comment-ls/main.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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/murphi2xml /construction/math/rumur/.build /construction/math/rumur/.build/murphi2xml /construction/math/rumur/.build/murphi2xml/CMakeFiles/murphi2xml.dir/DependInfo.cmake Scanning dependencies of target murphi2xml --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_h_prefix.cc --- [ 34%] Generating resources_h_prefix.cc cd /construction/math/rumur/rumur-2020.12.20/murphi2c && ../misc/xxd.py resources/h_prefix.h /construction/math/rumur/.build/murphi2c/resources_h_prefix.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- /usr/bin/make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build --- 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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/murphi2murphi /construction/math/rumur/.build /construction/math/rumur/.build/murphi2murphi /construction/math/rumur/.build/murphi2murphi/CMakeFiles/murphi2murphi.dir/DependInfo.cmake --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o --- [ 34%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2xml.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2020.12.20/common/help.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- Scanning dependencies of target murphi2murphi /usr/bin/make -f murphi2murphi/CMakeFiles/murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/murphi2murphi.dir/build --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o --- [ 35%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2xml/src/XMLPrinter.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o --- [ 36%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2xml.dir/manpage.cc.o -c /construction/math/rumur/.build/murphi2xml/manpage.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- [ 37%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- [ 38%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2020.12.20/common/help.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/ExplicitSemicolons.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o --- [ 39%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o --- [ 40%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- cd /construction/math/rumur/.build/murphi2xml && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2xml.dir/src/main.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2xml/src/main.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/DecomposeComplexComparisons.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/DecomposeComplexComparisons.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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake Scanning dependencies of target murphi2c /usr/bin/make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build --- murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o --- --- murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o --- --- murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o --- [ 41%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/__/common/escape.cc.o -c /construction/math/rumur/rumur-2020.12.20/common/escape.cc --- murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o --- [ 42%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2020.12.20/common/help.cc --- murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o --- [ 43%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/check.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/check.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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/rumur.dir/DependInfo.cmake Scanning dependencies of target rumur /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/build --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o --- [ 44%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/CLikeGenerator.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o --- [ 45%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/__/common/escape.cc.o -c /construction/math/rumur/rumur-2020.12.20/common/escape.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o --- [ 46%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/main.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/main.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/__/common/help.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o --- [ 47%] Building CXX object rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/assume-statements-count.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/assume-statements-count.cc --- rumur/CMakeFiles/rumur.dir/__/common/help.cc.o --- [ 48%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/help.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-2020.12.20/common/help.cc --- rumur/CMakeFiles/rumur.dir/src/environ.cc.o --- [ 49%] Building CXX object rumur/CMakeFiles/rumur.dir/src/environ.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/environ.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/environ.cc --- rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o --- [ 49%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-allocations.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-allocations.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o --- [ 50%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/CodeGenerator.cc --- tests/murphi-comment-ls/CMakeFiles/murphi-comment-ls.dir/all --- --- tests/murphi-comment-ls/murphi-comment-ls --- [ 51%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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 [ 51%] Built target murphi-comment-ls --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o --- --- murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o --- --- murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o --- [ 52%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/compares_complex_values.cc --- 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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/generate_c.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/generate_c.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o --- --- rumur/CMakeFiles/rumur.dir/all --- [ 54%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-cover-array.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-cover-array.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- [ 55%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/options.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/options.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o --- [ 56%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/Pipeline.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o --- [ 57%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/Printer.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/Printer.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o --- [ 58%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-decl.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-decl.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/murphi2xml --- --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- [ 59%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- [ 60%] Linking CXX executable murphi2xml --- rumur/CMakeFiles/rumur.dir/all --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-expr.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-expr.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- cd /construction/math/rumur/.build/murphi2xml && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/link.txt --verbose=1 /usr/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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/generate_h.cc.o --- [ 61%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/generate_h.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/generate_h.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o --- [ 61%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/RemoveLiveness.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o --- [ 62%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-function.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-function.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o --- [ 63%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/main.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/main.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o --- [ 64%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/Stage.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/Stage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- [ 65%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-model.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-model.cc --- rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- [ 66%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-print.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-print.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o --- [ 67%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/SwitchToIf.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/name_rules.cc.o --- [ 68%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/name_rules.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/name_rules.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/name_rules.cc --- murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o --- [ 69%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2c.dir/src/options.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2c/src/options.cc --- murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o --- [ 70%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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 --- [ 71%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_h_prefix.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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 --- [ 71%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/resources_manpage.cc.o cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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-property.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- [ 72%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- [ 72%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-property.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-property.cc --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-quantifier.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-quantifier.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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o -c /construction/math/rumur/rumur-2020.12.20/murphi2murphi/src/ToAscii.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o --- [ 74%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/generate-stmt.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/generate-stmt.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o --- [ 74%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o -c /construction/math/rumur/.build/murphi2murphi/resources_manpage.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/murphi2c --- [ 75%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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/name_rules.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 [ 76%] Built target murphi2c --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/log.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o --- [ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o --- rumur/CMakeFiles/rumur.dir/src/log.cc.o --- [ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/log.cc.o --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- [ 79%] Building CXX object rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- [ 80%] Building CXX object rumur/CMakeFiles/rumur.dir/src/main.cc.o --- rumur/CMakeFiles/rumur.dir/src/log.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/log.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/log.cc --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/main.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/main.cc --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/max-simple-width.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/max-simple-width.cc --- rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/has-start-state.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/has-start-state.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/murphi2murphi --- [ 81%] 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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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 [ 82%] Built target murphi2murphi --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/options.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o --- [ 83%] Building CXX object rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o -c /construction/math/rumur/rumur-2020.12.20/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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/options.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/options.cc --- rumur/CMakeFiles/rumur.dir/src/output.cc.o --- [ 84%] Building CXX object rumur/CMakeFiles/rumur.dir/src/output.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/output.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/output.cc --- rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o --- [ 85%] Building CXX object rumur/CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/prints-scalarsets.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/prints-scalarsets.cc --- rumur/CMakeFiles/rumur.dir/src/process.cc.o --- [ 86%] Building CXX object rumur/CMakeFiles/rumur.dir/src/process.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/process.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/process.cc --- rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o --- [ 87%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/smt/define-records.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/smt/define-records.cc --- 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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/smt/define-enum-members.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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/smt/logic.cc.o -c /construction/math/rumur/rumur-2020.12.20/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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/smt/simplify.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/smt/simplify.cc --- rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o --- [ 90%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/smt/solver.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/smt/solver.cc --- rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o --- [ 91%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/smt/translate.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/smt/translate.cc --- rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o --- [ 92%] Building CXX object rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o -c /construction/math/rumur/rumur-2020.12.20/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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o -c /construction/math/rumur/rumur-2020.12.20/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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/utils.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/utils.cc --- rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o --- [ 95%] Building CXX object rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/src/ValueType.cc.o -c /construction/math/rumur/rumur-2020.12.20/rumur/src/ValueType.cc --- rumur/CMakeFiles/rumur.dir/resources_includes.cc.o --- [ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/resources_includes.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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/bin/c++ -I/construction/math/rumur/rumur-2020.12.20/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.12.20/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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:02:19 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for rumur-2020.12.20 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/rumur/rumur-2020.12.20 -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-2020.12.20/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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 22%] Built target librumur /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 23%] Built target man-murphi2c /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 40%] Built target murphi2c /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 41%] Built target man-murphi2murphi /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 54%] Built target murphi2murphi /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 55%] Built target man-murphi2xml /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 61%] Built target murphi2xml /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 62%] Built target man-rumur /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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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 [ 98%] Built target 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-2020.12.20 /construction/math/rumur/rumur-2020.12.20/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/bin/c++ -fPIC -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -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/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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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/name_rules.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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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 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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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/bin/c++ -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing 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/Symtab.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Node.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/parse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Decl.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/traverse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Ptr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/resolve-symbols.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/Stmt.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Rule.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Boolean.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Number.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Model.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Comment.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/validate.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/scanner.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Property.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/rumur.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/man/man1/murphi2c.1.gz -- Installing: /construction/math/rumur/stage/usr/local/bin/murphi2murphi -- Installing: /construction/math/rumur/stage/usr/local/man/man1/murphi2murphi.1.gz -- Installing: /construction/math/rumur/stage/usr/local/bin/murphi2xml -- Installing: /construction/math/rumur/stage/usr/local/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/man/man1/rumur.1.gz -- Installing: /construction/math/rumur/stage/usr/local/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:07 ------------------------------------------------------------------------------- -- 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:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for rumur-2020.12.20 file sizes/checksums [38]: 0% file sizes/checksums [38]: 100% packing files [38]: 0% packing files [38]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:06 TOTAL TIME 00:03:01