------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/libtextstyle-0.20.2.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/m4-1.4.18_1,1.txz Installing /packages/All/bison-3.5.4,1.txz Installing /packages/All/libnghttp2-1.40.0.txz Installing /packages/All/ca_root_nss-3.52.txz ===== Message from ca_root_nss-3.52: -- 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.1g,1.txz Installing /packages/All/curl-7.70.0.txz Installing /packages/All/expat-2.2.8.txz Installing /packages/All/jsoncpp-1.9.2.txz Installing /packages/All/libuv-1.37.0.txz Installing /packages/All/rhash-1.3.9.txz Installing /packages/All/liblz4-1.9.2_1,1.txz Installing /packages/All/lzo2-2.10_1.txz Installing /packages/All/libarchive-3.4.2,1.txz Installing /packages/All/cmake-3.17.2.txz Installing /packages/All/libffi-3.2.1_3.txz Installing /packages/All/readline-8.0.4.txz Installing /packages/All/python37-3.7.7.txz ===== Message from python37-3.7.7: -- 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.0.txz SUCCEEDED 00:00:18 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> rumur-2020.04.26 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> rumur-2020.04.26 depends on file: /usr/local/sbin/pkg - found => Smattr-rumur-v2020.04.26_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/Smattr/rumur/tar.gz/v2020.04.26?dummy=/Smattr-rumur-v2020.04.26_GH0.tar.gz fetch: https://codeload.github.com/Smattr/rumur/tar.gz/v2020.04.26?dummy=/Smattr-rumur-v2020.04.26_GH0.tar.gz: size unknown fetch: https://codeload.github.com/Smattr/rumur/tar.gz/v2020.04.26?dummy=/Smattr-rumur-v2020.04.26_GH0.tar.gz: size of remote file is not known Smattr-rumur-v2020.04.26_GH0.tar.gz 0 B 0 Bps Smattr-rumur-v2020.04.26_GH0.tar.gz 256 kB 697 kBps Smattr-rumur-v2020.04.26_GH0.tar.gz 261 kB 711 kBps 01s ===> Fetching all distfiles required by rumur-2020.04.26 for building SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> rumur-2020.04.26 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by rumur-2020.04.26 for building => SHA256 Checksum OK for Smattr-rumur-v2020.04.26_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> rumur-2020.04.26 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by rumur-2020.04.26 for building ===> Extracting for rumur-2020.04.26 => SHA256 Checksum OK for Smattr-rumur-v2020.04.26_GH0.tar.gz. Extracted Memory Use: 2.66M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for rumur-2020.04.26 SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> rumur-2020.04.26 depends on executable: bison - found ===> rumur-2020.04.26 depends on file: /usr/local/bin/cmake - found ===> rumur-2020.04.26 depends on file: /usr/local/bin/python3.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> rumur-2020.04.26 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> rumur-2020.04.26 depends on executable: bison - found ===> rumur-2020.04.26 depends on file: /usr/local/bin/cmake - found ===> rumur-2020.04.26 depends on file: /usr/local/bin/python3.7 - found ===> rumur-2020.04.26 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) ===> Configuring for rumur-2020.04.26 ===> Performing out-of-source build /bin/mkdir -p /construction/math/rumur/.build -- The CXX compiler identification is GNU 8.3.0 -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ - works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- 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 BISON: /usr/local/bin/bison (found version "3.5.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.04.26 /usr/local/bin/cmake -S/construction/math/rumur/rumur-2020.04.26 -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 --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- /usr/bin/make -f murphi2xml/CMakeFiles/man-murphi2xml.dir/build.make 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/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 --- /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/CMakeFiles/man-rumur.dir/depend --- --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- --- murphi2c/CMakeFiles/man-murphi2c.dir/depend --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/depend --- --- rumur/CMakeFiles/man-rumur.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.04.26 /construction/math/rumur/rumur-2020.04.26/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/depend --- --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.04.26 /construction/math/rumur/rumur-2020.04.26/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/man-murphi2c.dir/DependInfo.cmake --- 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.04.26 /construction/math/rumur/rumur-2020.04.26/murphi2xml /construction/math/rumur/.build /construction/math/rumur/.build/murphi2xml /construction/math/rumur/.build/murphi2xml/CMakeFiles/man-murphi2xml.dir/DependInfo.cmake --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.04.26 /construction/math/rumur/rumur-2020.04.26/murphi2murphi /construction/math/rumur/.build /construction/math/rumur/.build/murphi2murphi /construction/math/rumur/.build/murphi2murphi/CMakeFiles/man-murphi2murphi.dir/DependInfo.cmake --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/always_run --- --- librumur/parser.yy.cc --- --- librumur/lexer.l.cc --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- Scanning dependencies of target man-murphi2murphi --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- Scanning dependencies of target man-murphi2xml --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/always_run --- [ 2%] Generating always_run --- librumur/lexer.l.cc --- [ 2%] [FLEX][lexer] Building scanner with flex 2.6.4 --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- /usr/bin/make -f murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build.make murphi2murphi/CMakeFiles/man-murphi2murphi.dir/build --- 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.04.26/librumur && /usr/bin/flex -o/construction/math/rumur/.build/librumur/lexer.l.cc src/lexer.l --- librumur/always_run --- cd /construction/math/rumur/.build/librumur && /usr/bin/env true --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- Scanning dependencies of target man-murphi2c /usr/bin/make -f murphi2c/CMakeFiles/man-murphi2c.dir/build.make murphi2c/CMakeFiles/man-murphi2c.dir/build --- 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 --- --- murphi2murphi/murphi2murphi.1.gz --- --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- --- murphi2xml/murphi2xml.1.gz --- --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- --- murphi2c/murphi2c.1.gz --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur.1.gz --- --- rumur/rumur-run.1.gz --- --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/rumur-get-version.h --- --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- [ 3%] Generating murphi2murphi.1.gz cd /construction/math/rumur/rumur-2020.04.26/murphi2murphi && gzip -9 --no-name --to-stdout doc/murphi2murphi.1 >"/construction/math/rumur/.build/murphi2murphi/murphi2murphi.1.gz" --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- [ 4%] Generating murphi2c.1.gz cd /construction/math/rumur/rumur-2020.04.26/murphi2c && gzip -9 --no-name --to-stdout doc/murphi2c.1 >"/construction/math/rumur/.build/murphi2c/murphi2c.1.gz" --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur.1.gz --- [ 5%] Generating rumur.1.gz cd /construction/math/rumur/rumur-2020.04.26/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/construction/math/rumur/.build/rumur/rumur.1.gz" --- librumur/CMakeFiles/librumur.dir/all --- [ 5%] Generating rumur-get-version.h cd /construction/math/rumur/rumur-2020.04.26/librumur && src/make-version.py /construction/math/rumur/.build/librumur/rumur-get-version.h --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- [ 6%] Generating murphi2xml.1.gz cd /construction/math/rumur/rumur-2020.04.26/murphi2xml && gzip -9 --no-name --to-stdout doc/murphi2xml.1 >"/construction/math/rumur/.build/murphi2xml/murphi2xml.1.gz" --- murphi2murphi/CMakeFiles/man-murphi2murphi.dir/all --- [ 6%] Built target man-murphi2murphi --- murphi2c/CMakeFiles/man-murphi2c.dir/all --- [ 6%] Built target man-murphi2c --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur-run.1.gz --- [ 7%] Generating rumur-run.1.gz --- murphi2xml/CMakeFiles/man-murphi2xml.dir/all --- [ 7%] Built target man-murphi2xml --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/parser.yy.cc --- [ 8%] [BISON][parser] Building parser with bison 3.5.4 cd /construction/math/rumur/rumur-2020.04.26/librumur && /usr/local/bin/bison --warnings=all -d -o /construction/math/rumur/.build/librumur/parser.yy.cc src/parser.yy --- rumur/CMakeFiles/man-rumur.dir/all --- cd /construction/math/rumur/rumur-2020.04.26/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/construction/math/rumur/.build/rumur/rumur-run.1.gz" --- librumur/CMakeFiles/librumur.dir/all --- src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr] --- rumur/CMakeFiles/man-rumur.dir/all --- [ 8%] Built target man-rumur --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/parser.yy.hh --- --- librumur/CMakeFiles/librumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.04.26 /construction/math/rumur/rumur-2020.04.26/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/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/Property.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o --- [ 9%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Boolean.cc --- librumur/CMakeFiles/librumur.dir/src/Decl.cc.o --- [ 13%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Decl.cc --- librumur/CMakeFiles/librumur.dir/src/Function.cc.o --- [ 12%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Function.cc --- librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- [ 10%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/indexer.cc --- librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- [ 10%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Model.cc --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- [ 11%] Building CXX object 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Node.cc --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- [ 14%] Building CXX object 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Number.cc --- librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- [ 15%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Expr.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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Property.cc --- librumur/CMakeFiles/librumur.dir/src/except.cc.o --- [ 17%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/except.cc --- librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- [ 18%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/resolve-symbols.cc --- librumur/CMakeFiles/librumur.dir/src/Rule.cc.o --- [ 19%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Rule.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Rule.cc --- librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o --- [ 20%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/Stmt.cc --- librumur/CMakeFiles/librumur.dir/src/traverse.cc.o --- [ 21%] Building CXX object librumur/CMakeFiles/librumur.dir/src/traverse.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/traverse.cc --- librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o --- [ 22%] Building CXX object librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/TypeExpr.cc --- librumur/CMakeFiles/librumur.dir/src/validate.cc.o --- [ 22%] Building CXX object librumur/CMakeFiles/librumur.dir/src/validate.cc.o --- librumur/CMakeFiles/librumur.dir/parser.yy.cc.o --- --- 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/validate.cc --- librumur/CMakeFiles/librumur.dir/parser.yy.cc.o --- [ 23%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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 --- [ 24%] 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.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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.04.26/librumur/src/parse.cc --- librumur/CMakeFiles/librumur.dir/lexer.l.cc.o --- [ 25%] Building CXX object librumur/CMakeFiles/librumur.dir/lexer.l.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2020.04.26/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2020.04.26/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 --- [ 26%] 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/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 [ 27%] Built target librumur --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- rumur/CMakeFiles/rumur.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 --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_c_prefix.cc --- --- murphi2c/resources_h_prefix.cc --- --- murphi2c/resources_manpage.cc --- --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/manpage.cc --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/resources_manpage.cc --- [ 28%] Generating resources_manpage.cc cd /construction/math/rumur/rumur-2020.04.26/murphi2murphi && ../misc/xxd.py doc/murphi2murphi.1 /construction/math/rumur/.build/murphi2murphi/resources_manpage.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_c_prefix.cc --- [ 28%] Generating resources_c_prefix.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_includes.cc --- --- rumur/resources_header.cc --- --- rumur/resources_manpage.cc --- --- murphi2c/CMakeFiles/murphi2c.dir/all --- cd /construction/math/rumur/rumur-2020.04.26/murphi2c && ../misc/xxd.py resources/c_prefix.c /construction/math/rumur/.build/murphi2c/resources_c_prefix.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- [ 29%] Generating manpage.cc cd /construction/math/rumur/rumur-2020.04.26/murphi2xml && ../misc/xxd.py doc/murphi2xml.1 /construction/math/rumur/.build/murphi2xml/manpage.cc --- rumur/CMakeFiles/rumur.dir/all --- [ 31%] Generating resources_manpage.cc --- rumur/resources_includes.cc --- [ 31%] Generating resources_includes.cc --- rumur/resources_header.cc --- [ 32%] Generating resources_header.cc --- rumur/resources_manpage.cc --- cd /construction/math/rumur/rumur-2020.04.26/rumur && ../misc/xxd.py doc/rumur.1 /construction/math/rumur/.build/rumur/resources_manpage.cc --- rumur/resources_includes.cc --- cd /construction/math/rumur/rumur-2020.04.26/rumur && ../misc/xxd.py resources/includes.c /construction/math/rumur/.build/rumur/resources_includes.cc --- rumur/resources_header.cc --- cd /construction/math/rumur/rumur-2020.04.26/rumur && ../misc/xxd.py resources/header.c /construction/math/rumur/.build/rumur/resources_header.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/resources_h_prefix.cc --- [ 33%] Generating resources_h_prefix.cc cd /construction/math/rumur/rumur-2020.04.26/murphi2c && ../misc/xxd.py resources/h_prefix.h /construction/math/rumur/.build/murphi2c/resources_h_prefix.cc --- murphi2c/resources_manpage.cc --- [ 34%] Generating resources_manpage.cc cd /construction/math/rumur/rumur-2020.04.26/murphi2c && ../misc/xxd.py doc/murphi2c.1 /construction/math/rumur/.build/murphi2c/resources_manpage.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.04.26 /construction/math/rumur/rumur-2020.04.26/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 /usr/bin/make -f murphi2xml/CMakeFiles/murphi2xml.dir/build.make murphi2xml/CMakeFiles/murphi2xml.dir/build --- murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o --- --- murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o --- [ 35%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/src/main.cc.o cd /construction/math/rumur/.build/murphi2xml && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2xml/src/main.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/__/common/help.cc.o --- [ 36%] 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.04.26/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/common/help.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/src/XMLPrinter.cc.o --- [ 37%] 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.04.26/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2xml/src/XMLPrinter.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.04.26 /construction/math/rumur/rumur-2020.04.26/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/manpage.cc.o --- [ 38%] Building CXX object murphi2xml/CMakeFiles/murphi2xml.dir/manpage.cc.o --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/depend --- --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- cd /construction/math/rumur/.build/murphi2xml && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/murphi2xml/src -I/construction/math/rumur/.build/murphi2xml/../librumur -I/construction/math/rumur/rumur-2020.04.26/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 --- murphi2c/CMakeFiles/murphi2c.dir/all --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.04.26 /construction/math/rumur/rumur-2020.04.26/murphi2c /construction/math/rumur/.build /construction/math/rumur/.build/murphi2c /construction/math/rumur/.build/murphi2c/CMakeFiles/murphi2c.dir/DependInfo.cmake --- 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 --- murphi2c/CMakeFiles/murphi2c.dir/all --- Scanning dependencies of target murphi2c /usr/bin/make -f murphi2c/CMakeFiles/murphi2c.dir/build.make murphi2c/CMakeFiles/murphi2c.dir/build --- 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/src/main.cc.o --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o --- --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.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 cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/DecomposeComplexComparisons.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- [ 41%] Building CXX object murphi2c/CMakeFiles/murphi2c.dir/__/common/escape.cc.o --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o --- [ 42%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o --- murphi2c/CMakeFiles/murphi2c.dir/all --- cd /construction/math/rumur/.build/murphi2c && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/common/escape.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- [ 43%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- [ 39%] Building CXX object murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ExplicitSemicolons.cc.o --- cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/ExplicitSemicolons.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/__/common/help.cc.o --- cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/common/help.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/main.cc.o --- cd /construction/math/rumur/.build/murphi2murphi && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/main.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/options.cc.o --- [ 44%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/options.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Pipeline.cc.o --- [ 45%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/Pipeline.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/__/common/help.cc.o --- [ 46%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/common/help.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2020.04.26 /construction/math/rumur/rumur-2020.04.26/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 --- rumur/CMakeFiles/rumur.dir/__/common/escape.cc.o --- [ 47%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/common/escape.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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/common/help.cc --- rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o --- [ 49%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/assume-statements-count.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/check.cc.o --- [ 50%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/check.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/environ.cc.o --- [ 50%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/environ.cc --- rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o --- [ 51%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-allocations.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Printer.cc.o --- [ 52%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/Printer.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/RemoveLiveness.cc.o --- [ 53%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/RemoveLiveness.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/CLikeGenerator.cc.o --- [ 54%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/CLikeGenerator.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- [ 55%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-cover-array.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/Stage.cc.o --- [ 56%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/Stage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o --- [ 57%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-decl.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/SwitchToIf.cc.o --- [ 57%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/SwitchToIf.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/src/ToAscii.cc.o --- [ 58%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2murphi/src/ToAscii.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/CodeGenerator.cc.o --- [ 58%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/CodeGenerator.cc --- murphi2c/CMakeFiles/murphi2c.dir/src/compares_complex_values.cc.o --- [ 59%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/compares_complex_values.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/CMakeFiles/murphi2murphi.dir/resources_manpage.cc.o --- [ 59%] 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.04.26/murphi2murphi/src -I/construction/math/rumur/.build/murphi2murphi/../librumur -I/construction/math/rumur/rumur-2020.04.26/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 --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- [ 60%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-expr.cc --- rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o --- [ 61%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-function.cc --- rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- [ 62%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-model.cc --- murphi2xml/CMakeFiles/murphi2xml.dir/all --- --- murphi2xml/murphi2xml --- [ 63%] Linking CXX executable murphi2xml cd /construction/math/rumur/.build/murphi2xml && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/murphi2xml.dir/link.txt --verbose=1 /usr/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 [ 63%] Built target murphi2xml --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- [ 64%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-print.cc --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- [ 65%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-property.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/generate_c.cc.o --- [ 66%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/generate_c.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- [ 67%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-quantifier.cc --- rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o --- [ 67%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/generate-stmt.cc --- rumur/CMakeFiles/rumur.dir/src/has-start-state.cc.o --- [ 68%] Building CXX object 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/has-start-state.cc --- murphi2murphi/CMakeFiles/murphi2murphi.dir/all --- --- murphi2murphi/murphi2murphi --- [ 69%] 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 [ 70%] Built target murphi2murphi --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/log.cc.o --- [ 71%] Building CXX object rumur/CMakeFiles/rumur.dir/src/log.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/log.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/generate_h.cc.o --- [ 72%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/generate_h.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- [ 73%] Building CXX object rumur/CMakeFiles/rumur.dir/src/main.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2020.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/main.cc --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- [ 74%] Building CXX object 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/max-simple-width.cc --- rumur/CMakeFiles/rumur.dir/src/optimise-field-ordering.cc.o --- [ 75%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/optimise-field-ordering.cc --- rumur/CMakeFiles/rumur.dir/src/options.cc.o --- [ 76%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/options.cc --- rumur/CMakeFiles/rumur.dir/src/output.cc.o --- [ 77%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/output.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/main.cc.o --- [ 78%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/main.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/process.cc.o --- [ 79%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/process.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/name_rules.cc.o --- [ 80%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/name_rules.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o --- [ 81%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/smt/define-enum-members.cc --- rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o --- [ 81%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/smt/define-records.cc --- rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o --- [ 82%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/smt/logic.cc --- rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o --- [ 83%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/smt/simplify.cc --- rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o --- [ 84%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/smt/solver.cc --- rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o --- [ 85%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/smt/translate.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/src/options.cc.o --- [ 86%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/murphi2c/src/options.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o --- [ 87%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/smt/typeexpr-to-smt.cc --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/CMakeFiles/murphi2c.dir/resources_c_prefix.cc.o --- [ 88%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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 --- [ 89%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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 --- [ 90%] 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.04.26/murphi2c/src -I/construction/math/rumur/.build/murphi2c/../librumur -I/construction/math/rumur/rumur-2020.04.26/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/symmetry-reduction.cc.o --- [ 91%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/symmetry-reduction.cc --- rumur/CMakeFiles/rumur.dir/src/utils.cc.o --- [ 92%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/utils.cc --- rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o --- [ 93%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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.04.26/rumur/src/ValueType.cc --- rumur/CMakeFiles/rumur.dir/resources_includes.cc.o --- [ 94%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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 --- [ 95%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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 --- [ 96%] 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.04.26/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2020.04.26/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 --- murphi2c/CMakeFiles/murphi2c.dir/all --- --- murphi2c/murphi2c --- [ 97%] 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 [ 98%] Built target murphi2c --- rumur/CMakeFiles/rumur.dir/all --- --- 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/process.cc.o CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o CMakeFiles/rumur.dir/src/smt/define-records.cc.o CMakeFiles/rumur.dir/src/smt/logic.cc.o CMakeFiles/rumur.dir/src/smt/simplify.cc.o CMakeFiles/rumur.dir/src/smt/solver.cc.o CMakeFiles/rumur.dir/src/smt/translate.cc.o CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o CMakeFiles/rumur.dir/src/utils.cc.o CMakeFiles/rumur.dir/src/ValueType.cc.o -o rumur -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [100%] Built target rumur /usr/local/bin/cmake -E cmake_progress_start /construction/math/rumur/.build/CMakeFiles 0 SUCCEEDED 00:01:56 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for rumur-2020.04.26 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/rumur/rumur-2020.04.26 -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.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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.04.26 /construction/math/rumur/rumur-2020.04.26/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 [ 63%] 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.04.26 /construction/math/rumur/rumur-2020.04.26/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 [100%] Built target rumur /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/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/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/Expr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/parse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Node.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Symtab.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Ptr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Model.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/resolve-symbols.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Stmt.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Number.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Decl.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/rumur.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/indexer.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Boolean.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Property.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/traverse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/except.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Rule.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/TypeExpr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Function.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/scanner.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/validate.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/location.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/parser.yy.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/position.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/rumur-get-version.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/stack.hh -- Installing: /construction/math/rumur/stage/usr/local/bin/murphi2c -- Installing: /construction/math/rumur/stage/usr/local/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:06 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for rumur-2020.04.26 file sizes/checksums [37]: 0% file sizes/checksums [37]: 100% packing files [37]: 0% packing files [37]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:03 TOTAL TIME 00:02:30