=> Building math/rumur Started : Saturday, 15 FEB 2020 at 15:33:14 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.1432.g9cd86-DEVELOPMENT #23: Thu Feb 13 14:43:04 PST 2020 root@sting.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.7-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.7-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- PYTHON="/usr/local/bin/python3.7" XDG_DATA_HOME=/construction/math/rumur XDG_CONFIG_HOME=/construction/math/rumur HOME=/construction/math/rumur TMPDIR="/tmp" PATH=/construction/math/rumur/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/rumur XDG_CONFIG_HOME=/construction/math/rumur HOME=/construction/math/rumur TMPDIR="/tmp" PATH=/construction/math/rumur/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/rumur/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.7m PYTHON_LIBDIR=lib/python3.7 PYTHON_PLATFORM=dragonfly5 PYTHON_SITELIBDIR=lib/python3.7/site-packages PYTHON_SUFFIX=37 PYTHON_VER=3.7 PYTHON_VERSION=python3.7 PYTHON2="@comment " PYTHON3="" OSREL=5.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/rumur" EXAMPLESDIR="share/examples/rumur" DATADIR="share/rumur" WWWDIR="www/rumur" ETCDIR="etc/rumur" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/rumur DOCSDIR=/usr/local/share/doc/rumur EXAMPLESDIR=/usr/local/share/examples/rumur WWWDIR=/usr/local/www/rumur ETCDIR=/usr/local/etc/rumur -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=LiveSystem USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=15 DPORTS_BUILDER= yes DISABLE_LICENSES= yes DEFAULT_VERSIONS= ssl=openssl FORCE_PACKAGE= yes DEVELOPER= yes HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.30.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500709 OSVERSION=9999999 OSREL=5.7 _OSRELEASE=5.7-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> rumur-2020.01.27.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0_1.txz Installing pkg-1.12.0_1... Extracting pkg-1.12.0_1: .......... done ===> rumur-2020.01.27.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of rumur-2020.01.27.1 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- => Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/Smattr/rumur/tar.gz/debian/v2020.01.27-1?dummy=/Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz fetch: https://codeload.github.com/Smattr/rumur/tar.gz/debian/v2020.01.27-1?dummy=/Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz: size unknown fetch: https://codeload.github.com/Smattr/rumur/tar.gz/debian/v2020.01.27-1?dummy=/Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz: size of remote file is not known Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz 225 kB 621 kBps 00s ===> Fetching all distfiles required by rumur-2020.01.27.1 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> Fetching all distfiles required by rumur-2020.01.27.1 for building => SHA256 Checksum OK for Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> Fetching all distfiles required by rumur-2020.01.27.1 for building ===> Extracting for rumur-2020.01.27.1 => SHA256 Checksum OK for Smattr-rumur-debian-v2020.01.27-1_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for rumur-2020.01.27.1 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> rumur-2020.01.27.1 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.5.1,1.txz Installing bison-3.5.1,1... `-- Installing gettext-runtime-0.20.1... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: . done `-- Extracting gettext-runtime-0.20.1: .......... done `-- Installing libtextstyle-0.20.1... | `-- Installing ncurses-6.1.20190525... | `-- Extracting ncurses-6.1.20190525: .......... done `-- Extracting libtextstyle-0.20.1: .......... done `-- Installing m4-1.4.18_1,1... `-- Extracting m4-1.4.18_1,1: .......... done Extracting bison-3.5.1,1: .......... done ===> rumur-2020.01.27.1 depends on executable: bison - found ===> Returning to build of rumur-2020.01.27.1 ===> rumur-2020.01.27.1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.16.4.txz Installing cmake-3.16.4... `-- Installing curl-7.68.0... | `-- Installing ca_root_nss-3.50... | `-- Extracting ca_root_nss-3.50: ..... done | `-- Installing libnghttp2-1.40.0... | `-- Extracting libnghttp2-1.40.0: ....... done | `-- Installing openssl-1.1.1d,1... | `-- Extracting openssl-1.1.1d,1: .......... done `-- Extracting curl-7.68.0: .......... done `-- Installing expat-2.2.8... `-- Extracting expat-2.2.8: .......... done `-- Installing jsoncpp-1.9.2... `-- Extracting jsoncpp-1.9.2: .......... done `-- Installing libarchive-3.4.0,1... | `-- Installing liblz4-1.9.2_1,1... | `-- Extracting liblz4-1.9.2_1,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.4.0,1: .......... done `-- Installing libuv-1.34.2... `-- Extracting libuv-1.34.2: .......... done `-- Installing rhash-1.3.5... `-- Extracting rhash-1.3.5: .......... done Extracting cmake-3.16.4: .......... done ===== Message from ca_root_nss-3.50: -- 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 ===> rumur-2020.01.27.1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of rumur-2020.01.27.1 ===> rumur-2020.01.27.1 depends on file: /usr/local/bin/python3.7 - not found ===> Installing existing package /packages/All/python37-3.7.6.txz Installing python37-3.7.6... `-- Installing libffi-3.2.1_3... `-- Extracting libffi-3.2.1_3: .......... done `-- Installing readline-8.0.1... `-- Extracting readline-8.0.1: .......... done Extracting python37-3.7.6: .......... done ===== Message from python37-3.7.6: -- 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 ===> rumur-2020.01.27.1 depends on file: /usr/local/bin/python3.7 - found ===> Returning to build of rumur-2020.01.27.1 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> rumur-2020.01.27.1 depends on shared library: libgmpxx.so - not found ===> Installing existing package /packages/All/gmp-6.1.2_1.txz Installing gmp-6.1.2_1... Extracting gmp-6.1.2_1: .......... done ===> rumur-2020.01.27.1 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) ===> Returning to build of rumur-2020.01.27.1 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for rumur-2020.01.27.1 ===> 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.1") -- 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 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for rumur-2020.01.27.1 /usr/local/bin/cmake -S/construction/math/rumur/rumur-debian-v2020.01.27-1 -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 --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- --- librumur/CMakeFiles/librumur.dir/all --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- /usr/bin/make -f ast-dump/CMakeFiles/man-ast-dump.dir/build.make ast-dump/CMakeFiles/man-ast-dump.dir/depend --- librumur/CMakeFiles/librumur.dir/all --- /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.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 --- rumur/CMakeFiles/man-rumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/rumur /construction/math/rumur/.build /construction/math/rumur/.build/rumur /construction/math/rumur/.build/rumur/CMakeFiles/man-rumur.dir/DependInfo.cmake --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- --- ast-dump/CMakeFiles/man-ast-dump.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump /construction/math/rumur/.build /construction/math/rumur/.build/ast-dump /construction/math/rumur/.build/ast-dump/CMakeFiles/man-ast-dump.dir/DependInfo.cmake --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/always_run --- --- librumur/parser.yy.cc --- --- librumur/lexer.l.cc --- --- 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 --- librumur/CMakeFiles/librumur.dir/all --- [ 2%] [FLEX][lexer] Building scanner with flex 2.6.4 --- librumur/always_run --- [ 2%] Generating always_run --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- Scanning dependencies of target man-ast-dump --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/lexer.l.cc --- cd /construction/math/rumur/rumur-debian-v2020.01.27-1/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 --- librumur/parser.yy.cc --- [ 4%] [BISON][parser] Building parser with bison 3.5.1 --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- /usr/bin/make -f ast-dump/CMakeFiles/man-ast-dump.dir/build.make ast-dump/CMakeFiles/man-ast-dump.dir/build --- librumur/CMakeFiles/librumur.dir/all --- cd /construction/math/rumur/rumur-debian-v2020.01.27-1/librumur && /usr/local/bin/bison --warnings=all -d -o /construction/math/rumur/.build/librumur/parser.yy.cc src/parser.yy --- librumur/rumur-get-version.h --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur.1.gz --- --- rumur/rumur-run.1.gz --- --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- --- ast-dump/rumur-ast-dump.1.gz --- --- librumur/CMakeFiles/librumur.dir/all --- [ 6%] Generating rumur-get-version.h --- rumur/CMakeFiles/man-rumur.dir/all --- [ 6%] Generating rumur-run.1.gz --- librumur/CMakeFiles/librumur.dir/all --- cd /construction/math/rumur/rumur-debian-v2020.01.27-1/librumur && src/make-version.py /construction/math/rumur/.build/librumur/rumur-get-version.h --- rumur/CMakeFiles/man-rumur.dir/all --- cd /construction/math/rumur/rumur-debian-v2020.01.27-1/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 --- --- librumur/parser.yy.cc --- src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr] --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur.1.gz --- [ 8%] Generating rumur.1.gz cd /construction/math/rumur/rumur-debian-v2020.01.27-1/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/construction/math/rumur/.build/rumur/rumur.1.gz" --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- [ 9%] Generating rumur-ast-dump.1.gz cd /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump && gzip -9 --no-name --to-stdout doc/rumur-ast-dump.1 >"/construction/math/rumur/.build/ast-dump/rumur-ast-dump.1.gz" [ 9%] Built target man-ast-dump --- rumur/CMakeFiles/man-rumur.dir/all --- [ 9%] Built target man-rumur --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/CMakeFiles/librumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/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/resolve-symbols.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Rule.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/traverse.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o --- --- librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o --- [ 16%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Boolean.cc --- librumur/CMakeFiles/librumur.dir/src/Decl.cc.o --- [ 10%] Building CXX object librumur/CMakeFiles/librumur.dir/src/Decl.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Decl.cc --- librumur/CMakeFiles/librumur.dir/src/except.cc.o --- [ 15%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/except.cc --- librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- [ 21%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Expr.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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Function.cc --- librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- [ 13%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/indexer.cc --- librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- [ 20%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Model.cc --- librumur/CMakeFiles/librumur.dir/src/Property.cc.o --- [ 17%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Property.cc --- librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- [ 19%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/resolve-symbols.cc --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- [ 23%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Number.cc --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- [ 24%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Node.cc --- librumur/CMakeFiles/librumur.dir/src/Rule.cc.o --- [ 26%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Rule.cc --- librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o --- [ 27%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/Stmt.cc --- librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o --- [ 28%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/TypeExpr.cc --- librumur/CMakeFiles/librumur.dir/src/traverse.cc.o --- [ 30%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/traverse.cc --- librumur/CMakeFiles/librumur.dir/src/validate.cc.o --- [ 31%] Building CXX object librumur/CMakeFiles/librumur.dir/src/validate.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/validate.cc --- librumur/CMakeFiles/librumur.dir/parser.yy.cc.o --- [ 32%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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 --- [ 34%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/librumur/src/parse.cc --- librumur/CMakeFiles/librumur.dir/lexer.l.cc.o --- [ 35%] 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-debian-v2020.01.27-1/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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 --- [ 36%] 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 [ 38%] Built target librumur --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- --- rumur/CMakeFiles/rumur.dir/all --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- /usr/bin/make -f ast-dump/CMakeFiles/rumur-ast-dump.dir/build.make ast-dump/CMakeFiles/rumur-ast-dump.dir/depend --- rumur/CMakeFiles/rumur.dir/all --- /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- --- ast-dump/manpage.cc --- --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_includes.cc --- --- rumur/resources_header.cc --- --- rumur/resources_manpage.cc --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- [ 39%] Generating manpage.cc cd /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump && ../misc/xxd.py doc/rumur-ast-dump.1 /construction/math/rumur/.build/ast-dump/manpage.cc --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/resources_includes.cc --- [ 41%] Generating resources_includes.cc cd /construction/math/rumur/rumur-debian-v2020.01.27-1/rumur && ../misc/xxd.py resources/includes.c /construction/math/rumur/.build/rumur/resources_includes.cc --- rumur/resources_header.cc --- [ 42%] Generating resources_header.cc --- rumur/resources_manpage.cc --- [ 43%] Generating resources_manpage.cc --- rumur/resources_header.cc --- cd /construction/math/rumur/rumur-debian-v2020.01.27-1/rumur && ../misc/xxd.py resources/header.c /construction/math/rumur/.build/rumur/resources_header.cc --- rumur/resources_manpage.cc --- cd /construction/math/rumur/rumur-debian-v2020.01.27-1/rumur && ../misc/xxd.py doc/rumur.1 /construction/math/rumur/.build/rumur/resources_manpage.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump /construction/math/rumur/.build /construction/math/rumur/.build/ast-dump /construction/math/rumur/.build/ast-dump/CMakeFiles/rumur-ast-dump.dir/DependInfo.cmake Scanning dependencies of target rumur-ast-dump /usr/bin/make -f ast-dump/CMakeFiles/rumur-ast-dump.dir/build.make ast-dump/CMakeFiles/rumur-ast-dump.dir/build --- ast-dump/CMakeFiles/rumur-ast-dump.dir/__/common/help.cc.o --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/src/main.cc.o --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/src/XMLPrinter.cc.o --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/manpage.cc.o --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/__/common/help.cc.o --- [ 45%] Building CXX object ast-dump/CMakeFiles/rumur-ast-dump.dir/__/common/help.cc.o --- ast-dump/CMakeFiles/rumur-ast-dump.dir/src/main.cc.o --- [ 46%] Building CXX object ast-dump/CMakeFiles/rumur-ast-dump.dir/src/main.cc.o --- ast-dump/CMakeFiles/rumur-ast-dump.dir/__/common/help.cc.o --- cd /construction/math/rumur/.build/ast-dump && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump/src -I/construction/math/rumur/.build/ast-dump/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-ast-dump.dir/__/common/help.cc.o -c /construction/math/rumur/rumur-debian-v2020.01.27-1/common/help.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/src/main.cc.o --- cd /construction/math/rumur/.build/ast-dump && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump/src -I/construction/math/rumur/.build/ast-dump/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-ast-dump.dir/src/main.cc.o -c /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump/src/main.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/src/XMLPrinter.cc.o --- [ 47%] Building CXX object ast-dump/CMakeFiles/rumur-ast-dump.dir/src/XMLPrinter.cc.o cd /construction/math/rumur/.build/ast-dump && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump/src -I/construction/math/rumur/.build/ast-dump/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-ast-dump.dir/src/XMLPrinter.cc.o -c /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump/src/XMLPrinter.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/manpage.cc.o --- [ 49%] Building CXX object ast-dump/CMakeFiles/rumur-ast-dump.dir/manpage.cc.o cd /construction/math/rumur/.build/ast-dump && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump/src -I/construction/math/rumur/.build/ast-dump/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-ast-dump.dir/manpage.cc.o -c /construction/math/rumur/.build/ast-dump/manpage.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-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/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/help.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/environ.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o --- --- rumur/CMakeFiles/rumur.dir/__/common/help.cc.o --- [ 53%] Building CXX object rumur/CMakeFiles/rumur.dir/__/common/help.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- [ 53%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- [ 54%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-print.cc --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-property.cc --- rumur/CMakeFiles/rumur.dir/__/common/help.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/common/help.cc --- rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- [ 57%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- [ 57%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-model.cc --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-expr.cc --- rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o --- [ 58%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-function.cc --- rumur/CMakeFiles/rumur.dir/src/environ.cc.o --- [ 53%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/environ.cc --- rumur/CMakeFiles/rumur.dir/src/assume-statements-count.cc.o --- [ 60%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/assume-statements-count.cc --- rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o --- [ 61%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-stmt.cc --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- [ 63%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-quantifier.cc --- rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- [ 64%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o --- [ 65%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-decl.cc --- rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-cover-array.cc --- rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o --- [ 67%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/generate-allocations.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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/has-start-state.cc --- rumur/CMakeFiles/rumur.dir/src/log.cc.o --- [ 69%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/log.cc --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- [ 71%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/main.cc --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- [ 72%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/max-simple-width.cc --- rumur/CMakeFiles/rumur.dir/src/options.cc.o --- [ 73%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/options.cc --- rumur/CMakeFiles/rumur.dir/src/output.cc.o --- [ 75%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/output.cc --- rumur/CMakeFiles/rumur.dir/src/process.cc.o --- [ 76%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/process.cc --- rumur/CMakeFiles/rumur.dir/src/smt/define-enum-members.cc.o --- [ 78%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/smt/define-enum-members.cc --- rumur/CMakeFiles/rumur.dir/src/smt/define-records.cc.o --- [ 79%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/smt/define-records.cc --- rumur/CMakeFiles/rumur.dir/src/smt/logic.cc.o --- [ 80%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/smt/logic.cc --- rumur/CMakeFiles/rumur.dir/src/smt/simplify.cc.o --- [ 82%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/smt/simplify.cc --- rumur/CMakeFiles/rumur.dir/src/smt/solver.cc.o --- [ 83%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/smt/solver.cc --- rumur/CMakeFiles/rumur.dir/src/smt/translate.cc.o --- [ 84%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/smt/translate.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- --- ast-dump/rumur-ast-dump --- [ 86%] Linking CXX executable rumur-ast-dump cd /construction/math/rumur/.build/ast-dump && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/rumur-ast-dump.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-ast-dump.dir/manpage.cc.o CMakeFiles/rumur-ast-dump.dir/__/common/help.cc.o CMakeFiles/rumur-ast-dump.dir/src/main.cc.o CMakeFiles/rumur-ast-dump.dir/src/XMLPrinter.cc.o -o rumur-ast-dump -Wl,-z,origin,-rpath,/construction/math/rumur/.build/librumur:/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so [ 87%] Built target rumur-ast-dump --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/smt/typeexpr-to-smt.cc.o --- [ 89%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/smt/typeexpr-to-smt.cc --- rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o --- [ 90%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src/symmetry-reduction.cc --- rumur/CMakeFiles/rumur.dir/src/utils.cc.o --- [ 91%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/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 --- [ 97%] 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-debian-v2020.01.27-1/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-debian-v2020.01.27-1/librumur/include -I/usr/local/include -pipe -O2 -fno-strict-aliasing -std=c++11 -W -Wall -Wextra -Wwrite-strings -Wmissing-declarations -Wshadow -Wcast-qual -Wcast-align -Wstrict-aliasing=1 -Wpointer-arith -pipe -O2 -fno-strict-aliasing -o CMakeFiles/rumur.dir/resources_manpage.cc.o -c /construction/math/rumur/.build/rumur/resources_manpage.cc --- rumur/rumur --- [ 98%] 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/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/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 -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for rumur-2020.01.27.1 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/rumur/rumur-debian-v2020.01.27-1 -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 ast-dump/CMakeFiles/man-ast-dump.dir/build.make ast-dump/CMakeFiles/man-ast-dump.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump /construction/math/rumur/.build /construction/math/rumur/.build/ast-dump /construction/math/rumur/.build/ast-dump/CMakeFiles/man-ast-dump.dir/DependInfo.cmake /usr/bin/make -f ast-dump/CMakeFiles/man-ast-dump.dir/build.make ast-dump/CMakeFiles/man-ast-dump.dir/build [ 1%] Built target man-ast-dump /usr/bin/make -f librumur/CMakeFiles/librumur.dir/build.make librumur/CMakeFiles/librumur.dir/depend [ 2%] Generating always_run cd /construction/math/rumur/.build/librumur && /usr/bin/env true [ 4%] Generating rumur-get-version.h cd /construction/math/rumur/rumur-debian-v2020.01.27-1/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-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/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 [ 35%] Built target librumur /usr/bin/make -f ast-dump/CMakeFiles/rumur-ast-dump.dir/build.make ast-dump/CMakeFiles/rumur-ast-dump.dir/depend cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/ast-dump /construction/math/rumur/.build /construction/math/rumur/.build/ast-dump /construction/math/rumur/.build/ast-dump/CMakeFiles/rumur-ast-dump.dir/DependInfo.cmake /usr/bin/make -f ast-dump/CMakeFiles/rumur-ast-dump.dir/build.make ast-dump/CMakeFiles/rumur-ast-dump.dir/build [ 45%] Built target rumur-ast-dump /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-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/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 [ 47%] 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-debian-v2020.01.27-1 /construction/math/rumur/rumur-debian-v2020.01.27-1/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 ast-dump/CMakeFiles/rumur-ast-dump.dir/build.make ast-dump/CMakeFiles/rumur-ast-dump.dir/preinstall Linking CXX executable CMakeFiles/CMakeRelink.dir/rumur-ast-dump cd /construction/math/rumur/.build/ast-dump && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/rumur-ast-dump.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-ast-dump.dir/manpage.cc.o CMakeFiles/rumur-ast-dump.dir/__/common/help.cc.o CMakeFiles/rumur-ast-dump.dir/src/main.cc.o CMakeFiles/rumur-ast-dump.dir/src/XMLPrinter.cc.o -o CMakeFiles/CMakeRelink.dir/rumur-ast-dump -Wl,-z,origin,-rpath,/usr/local/lib ../librumur/librumur.so /usr/local/lib/libgmpxx.so /usr/local/lib/libgmp.so /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 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/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/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/bin/rumur-ast-dump -- Installing: /construction/math/rumur/stage/usr/local/man/man1/rumur-ast-dump.1.gz -- Installing: /construction/math/rumur/stage/usr/local/lib/librumur.so -- Up-to-date: /construction/math/rumur/stage/usr/local/include -- Installing: /construction/math/rumur/stage/usr/local/include/rumur -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Boolean.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Decl.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Expr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Function.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Model.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Node.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Number.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Property.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Ptr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Rule.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Stmt.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Symtab.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/TypeExpr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/except.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/indexer.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/parse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/resolve-symbols.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/rumur.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/scanner.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/traverse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/validate.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/location.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/parser.yy.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/position.hh -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/rumur-get-version.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/stack.hh -- Installing: /construction/math/rumur/stage/usr/local/bin/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 -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for rumur-2020.01.27.1 file sizes/checksums [33]: . done packing files [33]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Saturday, 15 FEB 2020 at 15:34:29 UTC Duration: 00:01:14