=> Building math/rumur Started : Thursday, 25 JUL 2019 at 01:15:29 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.83.g49866-DEVELOPMENT #40: Sun Jun 30 03:00:04 PDT 2019 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.6-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.6-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.6" 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.6m PYTHON_LIBDIR=lib/python3.6 PYTHON_PLATFORM=dragonfly5 PYTHON_SITELIBDIR=lib/python3.6/site-packages PYTHON_SUFFIX=36 PYTHON_VER=3.6 PYTHON_VERSION=python3.6 PYTHON2="@comment " PYTHON3="" OSREL=5.6 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=Release-5.6 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=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.28.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500601 OSVERSION=9999999 OSREL=5.6 _OSRELEASE=5.6-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License PD accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> rumur-2019.06.30 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.11.1.txz Installing pkg-1.11.1... Extracting pkg-1.11.1: .......... done ===> rumur-2019.06.30 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of rumur-2019.06.30 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License PD accepted by the user => Smattr-rumur-v2019.06.30_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/Smattr/rumur/tar.gz/v2019.06.30?dummy=/Smattr-rumur-v2019.06.30_GH0.tar.gz fetch: https://codeload.github.com/Smattr/rumur/tar.gz/v2019.06.30?dummy=/Smattr-rumur-v2019.06.30_GH0.tar.gz: size unknown fetch: https://codeload.github.com/Smattr/rumur/tar.gz/v2019.06.30?dummy=/Smattr-rumur-v2019.06.30_GH0.tar.gz: size of remote file is not known Smattr-rumur-v2019.06.30_GH0.tar.gz 177 kB 561 kBps 00s ===> Fetching all distfiles required by rumur-2019.06.30 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License PD accepted by the user ===> Fetching all distfiles required by rumur-2019.06.30 for building => SHA256 Checksum OK for Smattr-rumur-v2019.06.30_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License PD accepted by the user ===> Fetching all distfiles required by rumur-2019.06.30 for building ===> Extracting for rumur-2019.06.30 => SHA256 Checksum OK for Smattr-rumur-v2019.06.30_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for rumur-2019.06.30 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> rumur-2019.06.30 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.4.1,1.txz Installing bison-3.4.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.4.1,1: .......... done ===> rumur-2019.06.30 depends on executable: bison - found ===> Returning to build of rumur-2019.06.30 ===> rumur-2019.06.30 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.14.5.txz Installing cmake-3.14.5... `-- Installing curl-7.65.1_1... | `-- Installing ca_root_nss-3.45... | `-- Extracting ca_root_nss-3.45: ........ done | `-- Installing libnghttp2-1.39.1... | `-- Extracting libnghttp2-1.39.1: .......... done | `-- Installing libressl-2.9.2... | `-- Extracting libressl-2.9.2: .......... done `-- Extracting curl-7.65.1_1: .......... done `-- Installing expat-2.2.6_1... `-- Extracting expat-2.2.6_1: .......... done `-- Installing jsoncpp-1.8.1_6... `-- Extracting jsoncpp-1.8.1_6: .......... done `-- Installing libarchive-3.3.3_1,1... | `-- Installing liblz4-1.9.1,1... | `-- Extracting liblz4-1.9.1,1: .......... done | `-- Installing lzo2-2.10_1... | `-- Extracting lzo2-2.10_1: .......... done `-- Extracting libarchive-3.3.3_1,1: .......... done `-- Installing libuv-1.30.1... `-- Extracting libuv-1.30.1: .......... done `-- Installing rhash-1.3.5... `-- Extracting rhash-1.3.5: .......... done Extracting cmake-3.14.5: .......... done Message from ca_root_nss-3.45: ********************************* WARNING ********************************* 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. *********************************** NOTE ********************************** 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-2019.06.30 depends on file: /usr/local/bin/cmake - found ===> Returning to build of rumur-2019.06.30 ===> rumur-2019.06.30 depends on file: /usr/local/bin/python3.6 - not found ===> Installing existing package /packages/All/python36-3.6.9.txz Installing python36-3.6.9... `-- Installing libffi-3.2.1_3... `-- Extracting libffi-3.2.1_3: .......... done `-- Installing readline-8.0.0... `-- Extracting readline-8.0.0: .......... done Extracting python36-3.6.9: .......... done Message from python36-3.6.9: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== ===> rumur-2019.06.30 depends on file: /usr/local/bin/python3.6 - found ===> Returning to build of rumur-2019.06.30 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- ===> rumur-2019.06.30 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-2019.06.30 depends on shared library: libgmpxx.so - found (/usr/local/lib/libgmpxx.so) ===> Returning to build of rumur-2019.06.30 -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for rumur-2019.06.30 ===> 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.4.1") -- Found FLEX: /usr/bin/flex (found version "2.5.37") -- Performing Test HAS_WARNING_SIGN_COMPARE -- Performing Test HAS_WARNING_SIGN_COMPARE - Success -- Performing Test HAS_WARNING_REGISTER -- Performing Test HAS_WARNING_REGISTER - Success -- 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-2019.06.30 /usr/local/bin/cmake -S/construction/math/rumur/rumur-2019.06.30 -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 --- /usr/bin/make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/depend --- 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 --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- --- ast-dump/CMakeFiles/man-ast-dump.dir/depend --- --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/CMakeFiles/man-rumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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 --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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/parser.yy.cc --- --- librumur/lexer.l.cc --- --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- Scanning dependencies of target man-ast-dump --- librumur/CMakeFiles/librumur.dir/all --- [ 1%] [FLEX][lexer] Building scanner with flex 2.5.37 cd /construction/math/rumur/rumur-2019.06.30/librumur && /usr/bin/flex -o/construction/math/rumur/.build/librumur/lexer.l.cc src/lexer.l --- 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 --- rumur/CMakeFiles/man-rumur.dir/all --- Scanning dependencies of target man-rumur --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- --- ast-dump/rumur-ast-dump.1.gz --- --- rumur/CMakeFiles/man-rumur.dir/all --- /usr/bin/make -f rumur/CMakeFiles/man-rumur.dir/build.make rumur/CMakeFiles/man-rumur.dir/build --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- [ 3%] Generating rumur-ast-dump.1.gz cd /construction/math/rumur/rumur-2019.06.30/ast-dump && gzip -9 --no-name --to-stdout doc/rumur-ast-dump.1 >"/construction/math/rumur/.build/ast-dump/rumur-ast-dump.1.gz" --- rumur/CMakeFiles/man-rumur.dir/all --- --- rumur/rumur.1.gz --- --- rumur/rumur-run.1.gz --- --- ast-dump/CMakeFiles/man-ast-dump.dir/all --- [ 3%] Built target man-ast-dump --- rumur/CMakeFiles/man-rumur.dir/all --- [ 4%] Generating rumur-run.1.gz cd /construction/math/rumur/rumur-2019.06.30/rumur && gzip -9 --no-name --to-stdout doc/rumur-run.1 >"/construction/math/rumur/.build/rumur/rumur-run.1.gz" --- rumur/rumur.1.gz --- [ 6%] Generating rumur.1.gz cd /construction/math/rumur/rumur-2019.06.30/rumur && gzip -9 --no-name --to-stdout doc/rumur.1 >"/construction/math/rumur/.build/rumur/rumur.1.gz" [ 6%] Built target man-rumur --- librumur/CMakeFiles/librumur.dir/all --- --- librumur/parser.yy.cc --- [ 7%] [BISON][parser] Building parser with bison 3.4.1 cd /construction/math/rumur/rumur-2019.06.30/librumur && /usr/local/bin/bison --warnings=all -d -o /construction/math/rumur/.build/librumur/parser.yy.cc src/parser.yy src/parser.yy: warning: 4 shift/reduce conflicts [-Wconflicts-sr] --- librumur/CMakeFiles/librumur.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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/except.cc.o --- [ 9%] Building CXX object librumur/CMakeFiles/librumur.dir/src/except.cc.o cd /construction/math/rumur/.build/librumur && /usr/bin/c++ -Dlibrumur_EXPORTS -I/construction/math/rumur/rumur-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/except.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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Decl.cc --- librumur/CMakeFiles/librumur.dir/src/Expr.cc.o --- [ 12%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Expr.cc --- librumur/CMakeFiles/librumur.dir/src/Boolean.cc.o --- [ 14%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Boolean.cc --- librumur/CMakeFiles/librumur.dir/src/indexer.cc.o --- [ 15%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/indexer.cc --- librumur/CMakeFiles/librumur.dir/src/Function.cc.o --- [ 17%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Function.cc --- librumur/CMakeFiles/librumur.dir/src/Model.cc.o --- [ 18%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Model.cc --- librumur/CMakeFiles/librumur.dir/src/Node.cc.o --- [ 20%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Node.cc --- librumur/CMakeFiles/librumur.dir/src/Number.cc.o --- [ 21%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Number.cc --- librumur/CMakeFiles/librumur.dir/src/Property.cc.o --- [ 23%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Property.cc --- librumur/CMakeFiles/librumur.dir/src/resolve-symbols.cc.o --- [ 25%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/resolve-symbols.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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Rule.cc --- librumur/CMakeFiles/librumur.dir/src/Stmt.cc.o --- [ 28%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/Stmt.cc --- librumur/CMakeFiles/librumur.dir/src/traverse.cc.o --- [ 29%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/traverse.cc --- librumur/CMakeFiles/librumur.dir/src/TypeExpr.cc.o --- [ 31%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/TypeExpr.cc --- librumur/CMakeFiles/librumur.dir/src/validate.cc.o --- [ 32%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/validate.cc --- librumur/CMakeFiles/librumur.dir/parser.yy.cc.o --- [ 34%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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 --- [ 35%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/librumur/src/parse.cc --- librumur/CMakeFiles/librumur.dir/lexer.l.cc.o --- [ 37%] 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-2019.06.30/librumur/include -I/usr/local/include -I/construction/math/rumur/rumur-2019.06.30/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 --- [ 39%] 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 [ 40%] 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/CMakeFiles/rumur-ast-dump.dir/depend --- cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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 --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/always_run --- --- rumur/resources_includes.cc --- --- rumur/resources_header.cc --- --- rumur/resources_manpage.cc --- --- rumur/resources_includes.cc --- [ 42%] Generating resources_includes.cc --- rumur/resources_header.cc --- [ 43%] Generating resources_header.cc --- rumur/resources_includes.cc --- cd /construction/math/rumur/rumur-2019.06.30/rumur && python resources/xxd.py resources/includes.c /construction/math/rumur/.build/rumur/resources_includes.cc --- rumur/always_run --- [ 46%] Generating always_run --- rumur/resources_header.cc --- cd /construction/math/rumur/rumur-2019.06.30/rumur && python resources/xxd.py resources/header.c /construction/math/rumur/.build/rumur/resources_header.cc --- rumur/resources_manpage.cc --- [ 46%] Generating resources_manpage.cc --- rumur/always_run --- cd /construction/math/rumur/.build/rumur && /usr/bin/env true --- rumur/resources_manpage.cc --- cd /construction/math/rumur/rumur-2019.06.30/rumur && python resources/xxd.py doc/rumur.1 /construction/math/rumur/.build/rumur/resources_manpage.cc --- rumur/version.cc --- --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- 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/src/main.cc.o --- --- rumur/CMakeFiles/rumur.dir/all --- [ 48%] Generating version.cc cd /construction/math/rumur/rumur-2019.06.30/rumur && python src/make-version.py /construction/math/rumur/.build/rumur/version.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- [ 50%] Building CXX object 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-2019.06.30/ast-dump/src -I/construction/math/rumur/.build/ast-dump/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/ast-dump/src/main.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/src/XMLPrinter.cc.o --- [ 51%] 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-2019.06.30/ast-dump/src -I/construction/math/rumur/.build/ast-dump/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/ast-dump/src/XMLPrinter.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-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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/always_run --- --- 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-allocations.cc.o --- [ 54%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- [ 54%] Building CXX object rumur/CMakeFiles/rumur.dir/src/generate-cover-array.cc.o --- rumur/CMakeFiles/rumur.dir/src/generate-allocations.cc.o --- cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-allocations.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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-cover-array.cc --- rumur/always_run --- [ 54%] Generating always_run cd /construction/math/rumur/.build/rumur && /usr/bin/env true --- rumur/CMakeFiles/rumur.dir/src/generate-decl.cc.o --- [ 56%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-decl.cc --- rumur/CMakeFiles/rumur.dir/src/generate-expr.cc.o --- [ 57%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-expr.cc --- rumur/CMakeFiles/rumur.dir/src/generate-function.cc.o --- [ 59%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-function.cc --- rumur/CMakeFiles/rumur.dir/src/generate-model.cc.o --- [ 60%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-model.cc --- rumur/CMakeFiles/rumur.dir/src/generate-print.cc.o --- [ 62%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-print.cc --- ast-dump/CMakeFiles/rumur-ast-dump.dir/all --- --- ast-dump/rumur-ast-dump --- [ 64%] 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/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 [ 65%] Built target rumur-ast-dump --- rumur/CMakeFiles/rumur.dir/all --- --- rumur/CMakeFiles/rumur.dir/src/generate-property.cc.o --- [ 67%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-property.cc --- rumur/CMakeFiles/rumur.dir/src/generate-quantifier.cc.o --- [ 68%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-quantifier.cc --- rumur/CMakeFiles/rumur.dir/src/generate-stmt.cc.o --- [ 70%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/generate-stmt.cc --- rumur/CMakeFiles/rumur.dir/src/help.cc.o --- [ 71%] Building CXX object rumur/CMakeFiles/rumur.dir/src/help.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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/help.cc.o -c /construction/math/rumur/rumur-2019.06.30/rumur/src/help.cc --- rumur/CMakeFiles/rumur.dir/src/log.cc.o --- [ 73%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/log.cc --- rumur/CMakeFiles/rumur.dir/src/main.cc.o --- [ 75%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/main.cc --- rumur/CMakeFiles/rumur.dir/src/max-simple-width.cc.o --- [ 76%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/max-simple-width.cc --- rumur/CMakeFiles/rumur.dir/src/options.cc.o --- [ 78%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/options.cc --- rumur/CMakeFiles/rumur.dir/src/output.cc.o --- [ 79%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/output.cc --- rumur/CMakeFiles/rumur.dir/src/process.cc.o --- [ 81%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/process.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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/smt/translate.cc --- rumur/CMakeFiles/rumur.dir/src/symmetry-reduction.cc.o --- [ 87%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/symmetry-reduction.cc --- rumur/CMakeFiles/rumur.dir/src/utils.cc.o --- [ 89%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/utils.cc --- rumur/CMakeFiles/rumur.dir/src/ValueType.cc.o --- [ 90%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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-2019.06.30/rumur/src/ValueType.cc --- rumur/CMakeFiles/rumur.dir/resources_includes.cc.o --- [ 92%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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 --- [ 93%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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 --- [ 95%] 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-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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/version.cc --- [ 95%] Generating version.cc cd /construction/math/rumur/rumur-2019.06.30/rumur && python src/make-version.py /construction/math/rumur/.build/rumur/version.cc --- rumur/CMakeFiles/rumur.dir/version.cc.o --- [ 96%] Building CXX object rumur/CMakeFiles/rumur.dir/version.cc.o cd /construction/math/rumur/.build/rumur && /usr/bin/c++ -I/construction/math/rumur/rumur-2019.06.30/rumur/src -I/construction/math/rumur/.build/rumur/../librumur -I/construction/math/rumur/rumur-2019.06.30/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/version.cc.o -c /construction/math/rumur/.build/rumur/version.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/version.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/help.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/simplify.cc.o CMakeFiles/rumur.dir/src/smt/solver.cc.o CMakeFiles/rumur.dir/src/smt/translate.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 -------------------------------------------------------------------------------- ===> rumur-2019.06.30 depends on file: /usr/local/bin/python3.6 - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for rumur-2019.06.30 ===> Generating temporary packing list /usr/local/bin/cmake -S/construction/math/rumur/rumur-2019.06.30 -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-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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 cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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 [ 37%] 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-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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 [ 43%] 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-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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 [ 46%] Built target man-rumur /usr/bin/make -f rumur/CMakeFiles/rumur.dir/build.make rumur/CMakeFiles/rumur.dir/depend [ 48%] Generating always_run cd /construction/math/rumur/.build/rumur && /usr/bin/env true [ 50%] Generating version.cc cd /construction/math/rumur/rumur-2019.06.30/rumur && python src/make-version.py /construction/math/rumur/.build/rumur/version.cc cd /construction/math/rumur/.build && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /construction/math/rumur/rumur-2019.06.30 /construction/math/rumur/rumur-2019.06.30/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 [ 50%] Generating always_run cd /construction/math/rumur/.build/rumur && /usr/bin/env true [ 50%] Generating version.cc cd /construction/math/rumur/rumur-2019.06.30/rumur && python src/make-version.py /construction/math/rumur/.build/rumur/version.cc [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/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 Generating always_run cd /construction/math/rumur/.build/rumur && /usr/bin/env true Generating version.cc cd /construction/math/rumur/rumur-2019.06.30/rumur && python src/make-version.py /construction/math/rumur/.build/rumur/version.cc 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/version.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/help.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/simplify.cc.o CMakeFiles/rumur.dir/src/smt/solver.cc.o CMakeFiles/rumur.dir/src/smt/translate.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/Stmt.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/resolve-symbols.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/validate.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/traverse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Decl.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Model.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/scanner.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/TypeExpr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Property.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Boolean.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Ptr.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/parse.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Expr.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/except.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Rule.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Number.h -- Installing: /construction/math/rumur/stage/usr/local/include/rumur/Function.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/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/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) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for rumur-2019.06.30 file sizes/checksums [35]: . done packing files [35]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 25 JUL 2019 at 01:16:24 UTC Duration: 00:00:54