<86>Jan 26 04:50:18 userdel[5448]: delete user 'rooter'
<86>Jan 26 04:50:18 userdel[5448]: removed group 'rooter' owned by 'rooter'
<86>Jan 26 04:50:18 userdel[5448]: removed shadow group 'rooter' owned by 'rooter'
<86>Jan 26 04:50:18 groupadd[5459]: group added to /etc/group: name=rooter, GID=576
<86>Jan 26 04:50:18 groupadd[5459]: group added to /etc/gshadow: name=rooter
<86>Jan 26 04:50:18 groupadd[5459]: new group: name=rooter, GID=576
<86>Jan 26 04:50:18 useradd[5465]: new user: name=rooter, UID=576, GID=576, home=/root, shell=/bin/bash
<86>Jan 26 04:50:18 userdel[5477]: delete user 'builder'
<86>Jan 26 04:50:18 userdel[5477]: removed group 'builder' owned by 'builder'
<86>Jan 26 04:50:18 userdel[5477]: removed shadow group 'builder' owned by 'builder'
<86>Jan 26 04:50:18 groupadd[5482]: group added to /etc/group: name=builder, GID=577
<86>Jan 26 04:50:18 groupadd[5482]: group added to /etc/gshadow: name=builder
<86>Jan 26 04:50:18 groupadd[5482]: new group: name=builder, GID=577
<86>Jan 26 04:50:18 useradd[5486]: new user: name=builder, UID=577, GID=577, home=/usr/src, shell=/bin/bash
<13>Jan 26 04:50:24 rpmi: libjpeg-2:1.3.1-alt0.1 1388074039 installed
<13>Jan 26 04:50:24 rpmi: libexpat-2.1.0-alt1 1347469773 installed
<13>Jan 26 04:50:24 rpmi: libpng15-1.5.28-alt1 1484572069 installed
<13>Jan 26 04:50:24 rpmi: libtiff5-4.0.3-alt1 1348347501 installed
<13>Jan 26 04:50:24 rpmi: libICE-1.0.9-alt1 1409902721 installed
<13>Jan 26 04:50:24 rpmi: libSM-1.2.2-alt1 1391072690 installed
<13>Jan 26 04:50:24 rpmi: liblcms2-2.8-alt1 1471601532 installed
<13>Jan 26 04:50:24 rpmi: libwayland-client-1.12.0-alt1 1475000260 installed
<13>Jan 26 04:50:24 rpmi: libgdbm-1.8.3-alt10 1454943334 installed
<13>Jan 26 04:50:24 rpmi: libmng-1.0.10-alt3 1476962452 installed
<13>Jan 26 04:50:24 rpmi: libjasper-1.900.13-alt1 1482328269 installed
<13>Jan 26 04:50:24 rpmi: xml-utils-1:2.9.3.0.5.6511-alt1.1.1 1460073215 installed
<13>Jan 26 04:50:24 rpmi: qt4-common-4.8.7-alt8 1461777479 installed
<13>Jan 26 04:50:24 rpmi: libqt4-core-4.8.7-alt8 1461777479 installed
<13>Jan 26 04:50:24 rpmi: libltdl7-2.4.2-alt5 1450059754 installed
<13>Jan 26 04:50:24 rpmi: libgts-0.7.6-alt2.drc20130205 1360123649 installed
<13>Jan 26 04:50:24 rpmi: libpng12-1.2.50-alt2 1347753435 installed
<13>Jan 26 04:50:24 rpmi: libpaper-1.1.24-alt4 1315383465 installed
<13>Jan 26 04:50:24 rpmi: libopenjpeg2.0-2.1.2-alt1 1475313267 installed
<13>Jan 26 04:50:25 rpmi: libgtk+2-locales-2.24.31-alt1 1473461664 installed
<13>Jan 26 04:50:25 rpmi: libdatrie-0.2.8-alt1_5 1410185970 installed
<13>Jan 26 04:50:25 rpmi: libthai-0.1.25-alt1_1 1482119595 installed
<13>Jan 26 04:50:25 rpmi: libpixman-3:0.34.0-alt1 1480491657 installed
<13>Jan 26 04:50:25 rpmi: liblz4-r131-alt1 1447866716 installed
<13>Jan 26 04:50:25 rpmi: libgpg-error-1.20-alt1.1 1449204244 installed
<13>Jan 26 04:50:25 rpmi: libgcrypt20-1.6.6-alt1 1471552782 installed
<13>Jan 26 04:50:25 rpmi: libsystemd-1:232-alt1 1485301381 installed
<13>Jan 26 04:50:25 rpmi: libdbus-1.10.12-alt1 1476116348 installed
<13>Jan 26 04:50:25 rpmi: libavahi-0.6.31-alt7 1455303496 installed
<13>Jan 26 04:50:25 rpmi: libatk-locales-2.22.0-alt1 1475000161 installed
<13>Jan 26 04:50:25 rpmi: libatk-2.22.0-alt1 1475000161 installed
<13>Jan 26 04:50:25 rpmi: libann-1.1.2-alt4 1299827962 installed
<13>Jan 26 04:50:25 rpmi: libgraphite2-1.3.9-alt1 1482128024 installed
<13>Jan 26 04:50:25 rpmi: libharfbuzz-1.4.2-alt1 1485254798 installed
<13>Jan 26 04:50:25 rpmi: libfreetype-2.6.3-alt1 1455987209 installed
<13>Jan 26 04:50:25 rpmi: fontconfig-2.12.1-alt1 1471005373 installed
Updating fonts cache: <29>Jan 26 04:50:26 fontconfig: Updating fonts cache: succeeded
[ DONE ]
<13>Jan 26 04:50:26 rpmi: libwayland-server-1.12.0-alt1 1475000260 installed
<13>Jan 26 04:50:26 rpmi: libxshmfence-1.2-alt1 1420972190 installed
<13>Jan 26 04:50:26 rpmi: libpciaccess-1:0.13.4-alt1 1431681690 installed
<13>Jan 26 04:50:26 rpmi: libdrm-1:2.4.74-alt1 1484221443 installed
<13>Jan 26 04:50:26 rpmi: libgbm-4:13.0.3-alt1 1484223040 installed
<13>Jan 26 04:50:26 rpmi: libX11-locales-3:1.6.4-alt1 1480493483 installed
<13>Jan 26 04:50:26 rpmi: libXdmcp-1.1.1-alt1 1334617701 installed
<13>Jan 26 04:50:26 rpmi: libXau-1.0.8-alt1 1369565808 installed
<13>Jan 26 04:50:26 rpmi: libxcb-1.12-alt1 1471592579 installed
<13>Jan 26 04:50:27 rpmi: libX11-3:1.6.4-alt1 1480493483 installed
<13>Jan 26 04:50:27 rpmi: libXext-1.3.3-alt1 1409902959 installed
<13>Jan 26 04:50:27 rpmi: libXrender-0.9.8-alt1 1371312112 installed
<13>Jan 26 04:50:27 rpmi: libXfixes-5.0.1-alt1 1369809608 installed
<13>Jan 26 04:50:27 rpmi: libXt-1.1.4-alt1 1369984722 installed
<13>Jan 26 04:50:27 rpmi: libXmu-1.1.2-alt1 1391072530 installed
<13>Jan 26 04:50:27 rpmi: libXrandr-1.5.0-alt1 1431936189 installed
<13>Jan 26 04:50:27 rpmi: libXi-1.7.4-alt1 1409902879 installed
<13>Jan 26 04:50:27 rpmi: libXpm-3.5.11-alt1 1391072398 installed
<13>Jan 26 04:50:27 rpmi: libgd2-2.0.35-alt6 1366289715 installed
<13>Jan 26 04:50:27 rpmi: libXcursor-1.1.14-alt1 1369901598 installed
<13>Jan 26 04:50:27 rpmi: libXxf86vm-1.1.3-alt1 1369984835 installed
<13>Jan 26 04:50:27 rpmi: libXinerama-1.1.3-alt1 1369984572 installed
<13>Jan 26 04:50:27 rpmi: libXdamage-1.1.3-alt4 1297162593 installed
<13>Jan 26 04:50:27 rpmi: libGL-4:13.0.3-alt1 1484223040 installed
<13>Jan 26 04:50:27 rpmi: libGLU-4:9.0.0-alt1 1347643784 installed
<13>Jan 26 04:50:27 rpmi: libEGL-4:13.0.3-alt1 1484223040 installed
<13>Jan 26 04:50:27 rpmi: libcairo-1:1.14.4-alt1 1447005511 installed
<13>Jan 26 04:50:27 rpmi: libfreeglut-3.0.0-alt1 1429173819 installed
<13>Jan 26 04:50:27 rpmi: libqt4-gui-4.8.7-alt8 1461777479 installed
<13>Jan 26 04:50:27 rpmi: libXaw-1.0.12-alt1 1391072624 installed
<13>Jan 26 04:50:27 rpmi: libXft-2.3.2-alt1 1409902660 installed
<13>Jan 26 04:50:27 rpmi: libpango-1.40.3-alt1 1473777869 installed
<13>Jan 26 04:50:27 rpmi: liblasi-1.1.2-alt1.qa1 1460141148 installed
<13>Jan 26 04:50:27 rpmi: libpangox-compat-0.0.2-alt1 1465069388 installed
<13>Jan 26 04:50:27 rpmi: libXcomposite-0.4.3-alt3 1297306936 installed
<13>Jan 26 04:50:27 rpmi: icon-theme-hicolor-0.15-alt1 1427614911 installed
<13>Jan 26 04:50:27 rpmi: libgdk-pixbuf-locales-2.36.4-alt1 1484599807 installed
<13>Jan 26 04:50:27 rpmi: rpm-build-xdg-0.2-alt1 1250461503 installed
<13>Jan 26 04:50:28 rpmi: shared-mime-info-1.8-alt1 1482128522 installed
<13>Jan 26 04:50:28 rpmi: gsettings-desktop-schemas-data-3.22.0-alt1 1474999772 installed
<13>Jan 26 04:50:28 rpmi: libgio-2.50.2-alt1 1478537771 installed
<13>Jan 26 04:50:28 rpmi: gsettings-desktop-schemas-3.22.0-alt1 1474999772 installed
<13>Jan 26 04:50:28 rpmi: libgdk-pixbuf-2.36.4-alt1 1484599807 installed
<13>Jan 26 04:50:28 rpmi: gtk-update-icon-cache-2.24.31-alt1 1473461664 installed
<13>Jan 26 04:50:28 rpmi: librsvg-1:2.40.16-alt1 1465454166 installed
<13>Jan 26 04:50:28 rpmi: gcc-c++-common-1.4.20-alt1 1432315196 installed
<13>Jan 26 04:50:28 rpmi: libstdc++6-devel-6.3.1-alt1 1484277945 installed
<13>Jan 26 04:50:28 rpmi: libtinfo-devel-5.9-alt8 1456756589 installed
<13>Jan 26 04:50:29 rpmi: libncurses-devel-5.9-alt8 1456756589 installed
<13>Jan 26 04:50:29 rpmi: python-modules-curses-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:29 rpmi: libverto-0.2.6-alt1_6 1455633232 installed
<13>Jan 26 04:50:29 rpmi: libkeyutils-1.5.9-alt2 1464351238 installed
<13>Jan 26 04:50:29 rpmi: libcom_err-1.42.13-alt2 1449075923 installed
<13>Jan 26 04:50:29 rpmi: ca-certificates-2016.09.28-alt1 1475233825 installed
<13>Jan 26 04:50:29 rpmi: libcrypto10-1.0.2j-alt1 1474898021 installed
<13>Jan 26 04:50:29 rpmi: libkrb5-1.14.2-alt2 1465464128 installed
<13>Jan 26 04:50:29 rpmi: libssl10-1.0.2j-alt1 1474898021 installed
<13>Jan 26 04:50:29 rpmi: python-modules-compiler-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:29 rpmi: python-modules-email-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:29 rpmi: python-modules-unittest-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:29 rpmi: python-modules-encodings-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:29 rpmi: python-modules-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:29 rpmi: rpm-build-python3-0.1.11-alt1 1484131403 installed
<13>Jan 26 04:50:29 rpmi: python3-3.5.1-alt7 1462447642 installed
<13>Jan 26 04:50:30 rpmi: python3-base-3.5.1-alt7 1462447642 installed
<13>Jan 26 04:50:30 rpmi: libcups-2.2.1-alt1 1480317617 installed
<13>Jan 26 04:50:31 rpmi: libgtk+2-2.24.31-alt1 1473461664 installed
<13>Jan 26 04:50:31 rpmi: libgtkglext-1.2.0-alt2.4 1351047976 installed
<13>Jan 26 04:50:31 rpmi: libglade-2.6.4-alt5.qa1 1366416177 installed
<13>Jan 26 04:50:31 rpmi: libgs-9.20-alt1 1481713422 installed
<13>Jan 26 04:50:31 rpmi: libgraphviz-2.40.1-alt1.1 1484336446 installed
<13>Jan 26 04:50:31 rpmi: libpython3-3.5.1-alt7 1462447642 installed
<13>Jan 26 04:50:31 rpmi: python-modules-xml-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:31 rpmi: python-modules-hotshot-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python-modules-bsddb-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python-modules-ctypes-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python-modules-multiprocessing-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python-modules-logging-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python-dev-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python-tools-2to3-2.7.11-alt3 1460726037 installed
<13>Jan 26 04:50:32 rpmi: python3-dev-3.5.1-alt7 1462447642 installed
<13>Jan 26 04:50:32 rpmi: graphviz-2.40.1-alt1.1 1484336446 installed
<13>Jan 26 04:50:34 rpmi: gcc6-c++-6.3.1-alt1 1484277945 installed
<13>Jan 26 04:50:34 rpmi: rpm-macros-make-0.1-alt1 1299442795 installed
<13>Jan 26 04:50:34 rpmi: doxygen-1:1.7.6.1-alt1 1326474802 installed
Installing z3-4.3.2-alt1.git20141024.1.1.src.rpm
Building target platforms: i586
Building for target i586
Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.83102
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ rm -rf z3-4.3.2
+ echo 'Source #0 (z3-4.3.2.tar):'
Source #0 (z3-4.3.2.tar):
+ /bin/tar -xf /usr/src/RPM/SOURCES/z3-4.3.2.tar
+ cd z3-4.3.2
+ /bin/chmod -c -Rf u+rwX,go-w .
+ exit 0
Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.83102
+ umask 022
+ /bin/mkdir -p /usr/src/RPM/BUILD
+ cd /usr/src/RPM/BUILD
+ cd z3-4.3.2
+ python scripts/mk_make.py
New component: 'util'
New component: 'polynomial'
New component: 'sat'
New component: 'nlsat'
New component: 'hilbert'
New component: 'interval'
New component: 'realclosure'
New component: 'subpaving'
New component: 'ast'
New component: 'rewriter'
New component: 'normal_forms'
New component: 'model'
New component: 'tactic'
New component: 'substitution'
New component: 'parser_util'
New component: 'grobner'
New component: 'euclid'
New component: 'core_tactics'
New component: 'sat_tactic'
New component: 'arith_tactics'
New component: 'nlsat_tactic'
New component: 'subpaving_tactic'
New component: 'aig_tactic'
New component: 'solver'
New component: 'interp'
New component: 'cmd_context'
New component: 'extra_cmds'
New component: 'smt2parser'
New component: 'proof_checker'
New component: 'simplifier'
New component: 'fpa'
New component: 'macros'
New component: 'pattern'
New component: 'bit_blaster'
New component: 'smt_params'
New component: 'proto_model'
New component: 'smt'
New component: 'user_plugin'
New component: 'bv_tactics'
New component: 'fuzzing'
New component: 'fpa_tactics'
New component: 'smt_tactic'
New component: 'sls_tactic'
New component: 'qe'
New component: 'duality'
New component: 'muz'
New component: 'transforms'
New component: 'rel'
New component: 'pdr'
New component: 'clp'
New component: 'tab'
New component: 'bmc'
New component: 'duality_intf'
New component: 'fp'
New component: 'smtlogic_tactics'
New component: 'ufbv_tactic'
New component: 'portfolio'
New component: 'smtparser'
New component: 'api'
New component: 'shell'
New component: 'test'
New component: 'api_dll'
New component: 'dotnet'
New component: 'java'
New component: 'cpp'
Python bindings directory was detected.
New component: 'cpp_example'
New component: 'iz3'
New component: 'z3_tptp'
New component: 'c_example'
New component: 'maxsat'
New component: 'dotnet_example'
New component: 'java_example'
New component: 'py_example'
Generated 'src/util/version.h'
Updated 'src/api/dotnet/Properties/AssemblyInfo'
Generated 'src/tactic/sls/sls_params.hpp'
Generated 'src/solver/combined_solver_params.hpp'
Generated 'src/smt/params/smt_params_helper.hpp'
Generated 'src/sat/sat_simplifier_params.hpp'
Generated 'src/sat/sat_scc_params.hpp'
Generated 'src/sat/sat_params.hpp'
Generated 'src/sat/sat_asymm_branch_params.hpp'
Generated 'src/parsers/util/parser_params.hpp'
Generated 'src/nlsat/nlsat_params.hpp'
Generated 'src/muz/base/fixedpoint_params.hpp'
Generated 'src/model/model_params.hpp'
Generated 'src/model/model_evaluator_params.hpp'
Generated 'src/math/realclosure/rcf_params.hpp'
Generated 'src/math/polynomial/algebraic_params.hpp'
Generated 'src/interp/interp_params.hpp'
Generated 'src/ast/pp_params.hpp'
Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp'
Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp'
Generated 'src/ast/rewriter/rewriter_params.hpp'
Generated 'src/ast/rewriter/poly_rewriter_params.hpp'
Generated 'src/ast/rewriter/bv_rewriter_params.hpp'
Generated 'src/ast/rewriter/bool_rewriter_params.hpp'
Generated 'src/ast/rewriter/array_rewriter_params.hpp'
Generated 'src/ast/rewriter/arith_rewriter_params.hpp'
Generated 'src/ast/pattern/pattern_inference_params_helper.hpp'
Generated 'src/ast/normal_forms/nnf_params.hpp'
Generated 'src/ast/pattern/database.h'
Generated 'src/shell/install_tactic.cpp'
Generated 'src/test/install_tactic.cpp'
Generated 'src/api/dll/install_tactic.cpp'
Generated 'src/shell/mem_initializer.cpp'
Generated 'src/test/mem_initializer.cpp'
Generated 'src/api/dll/mem_initializer.cpp'
Generated 'src/shell/gparams_register_modules.cpp'
Generated 'src/test/gparams_register_modules.cpp'
Generated 'src/api/dll/gparams_register_modules.cpp'
Generated 'src/api/python/z3consts.py'
Generated 'src/api/dotnet/Enumerations.cs'
Generated 'src/api/api_log_macros.h'
Generated 'src/api/api_log_macros.cpp'
Generated 'src/api/api_commands.cpp'
Generated 'src/api/python/z3core.py'
Generated 'src/api/dotnet/Native.cs'
Listing src/api/python ...
Compiling src/api/python/z3.py ...
Compiling src/api/python/z3consts.py ...
Compiling src/api/python/z3core.py ...
Compiling src/api/python/z3num.py ...
Compiling src/api/python/z3poly.py ...
Compiling src/api/python/z3printer.py ...
Compiling src/api/python/z3rcf.py ...
Compiling src/api/python/z3test.py ...
Compiling src/api/python/z3types.py ...
Compiling src/api/python/z3util.py ...
Copied 'z3core.py'
Copied 'z3consts.py'
Copied 'z3util.py'
Copied 'z3types.py'
Copied 'z3test.py'
Copied 'z3rcf.py'
Copied 'z3printer.py'
Copied 'z3poly.py'
Copied 'z3num.py'
Copied 'z3.py'
Generated 'z3util.pyc'
Generated 'z3types.pyc'
Generated 'z3test.pyc'
Generated 'z3rcf.pyc'
Generated 'z3printer.pyc'
Generated 'z3poly.pyc'
Generated 'z3num.pyc'
Generated 'z3core.pyc'
Generated 'z3consts.pyc'
Generated 'z3.pyc'
Testing ar...
Testing g++...
Testing gcc...
Testing OpenMP...
Host platform:  Linux
C++ Compiler:   g++
C Compiler  :   gcc
Arithmetic:     internal
OpenMP:         False
Prefix:         /usr
64-bit:         False
Python version: 2.7
Writing build/Makefile
Copied Z3Py example 'example.py' to 'build'
Makefile was successfully generated.
  python packages dir: /usr/lib/python2.7/site-packages
  compilation mode: Release
Type 'cd build; make' to build Z3
+ sed -i 's|\$(CC)|$(CC) -g -fPIC -DPIC|' build/Makefile
+ sed -i 's|@\$(CXX)|$(CXX) -g -fPIC -DPIC|' build/Makefile
+ CFLAGS='-pipe -Wall -g -O2 -march=i586 -mtune=generic'
+ export CFLAGS
+ CXXFLAGS='-pipe -Wall -g -O2 -march=i586 -mtune=generic'
+ export CXXFLAGS
+ FFLAGS='-pipe -Wall -g -O2 -march=i586 -mtune=generic'
+ export FFLAGS
+ '[' -n '' ']'
+ NPROCS=1
+ make -j1 -C build
make: Entering directory `/usr/src/RPM/BUILD/z3-4.3.2/build'
src/shell/gparams_register_modules.cpp
g++ -g -fPIC -DPIC -D_MP_INTERNAL  -c -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -fno-strict-aliasing -D_LINUX_ -msse -msse2 -I../src/api -I../src/tactic/portfolio -I../src/tactic/smtlogics -I../src/tactic/arith -I../src/tactic/core -I../src/tactic -I../src/ast -I../src/util -I../src/math/polynomial -I../src/model -I../src/ast/rewriter -I../src/ast/normal_forms -I../src/sat -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -I../src/nlsat/tactic -I../src/nlsat -I../src/sat/tactic -I../src/smt/tactic -I../src/smt -I../src/ast/macros -I../src/cmd_context -I../src/solver -I../src/interp -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/ast/proof_checker -I../src/ast/fpa -I../src/tactic/aig -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/tactic/ufbv -I../src/tactic/fpa -I../src/tactic/sls -I../src/math/subpaving/tactic -I../src/math/subpaving -I../src/math/interval -I../src/smt/user_plugin -I../src/parsers/smt -I../src/math/realclosure -I../src/cmd_context/extra_cmds -o shell/gparams_register_modules.o ../src/shell/gparams_register_modules.cpp
In file included from /usr/include/c++/6/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/params.h:23,
                 from ../src/util/gparams.h:22,
                 from ../src/shell/gparams_register_modules.cpp:2:
/usr/include/c++/6/utility: In function 'constexpr typename std::tuple_element<_Int, std::pair<_Tp1, _Tp2> >::type&& std::get(std::pair<_Tp1, _Tp2>&&)':
/usr/include/c++/6/utility:208:57: error: no matching function for call to 'move()'
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/6/bits/nested_exception.h:40:0,
                 from /usr/include/c++/6/exception:171,
                 from /usr/include/c++/6/ios:39,
                 from /usr/include/c++/6/ostream:38,
                 from ../src/util/symbol.h:21,
                 from ../src/util/cmd_context_types.h:20,
                 from ../src/util/params.h:22,
                 from ../src/util/gparams.h:22,
                 from ../src/shell/gparams_register_modules.cpp:2:
/usr/include/c++/6/bits/move.h:101:5: note: candidate: template<class _Tp> constexpr typename std::remove_reference< <template-parameter-1-1> >::type&& std::move(_Tp&&)
     move(_Tp&& __t) noexcept
     ^~~~
/usr/include/c++/6/bits/move.h:101:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/6/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/params.h:23,
                 from ../src/util/gparams.h:22,
                 from ../src/shell/gparams_register_modules.cpp:2:
/usr/include/c++/6/utility:208:57: note:   candidate expects 1 argument, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
In file included from /usr/include/c++/6/bits/char_traits.h:39:0,
                 from /usr/include/c++/6/ios:40,
                 from /usr/include/c++/6/ostream:38,
                 from ../src/util/symbol.h:21,
                 from ../src/util/cmd_context_types.h:20,
                 from ../src/util/params.h:22,
                 from ../src/util/gparams.h:22,
                 from ../src/shell/gparams_register_modules.cpp:2:
/usr/include/c++/6/bits/stl_algobase.h:479:5: note: candidate: template<class _II, class _OI> _OI std::move(_II, _II, _OI)
     move(_II __first, _II __last, _OI __result)
     ^~~~
/usr/include/c++/6/bits/stl_algobase.h:479:5: note:   template argument deduction/substitution failed:
In file included from /usr/include/c++/6/algorithm:60:0,
                 from ../src/util/vector.h:28,
                 from ../src/util/params.h:23,
                 from ../src/util/gparams.h:22,
                 from ../src/shell/gparams_register_modules.cpp:2:
/usr/include/c++/6/utility:208:57: note:   candidate expects 3 arguments, 0 provided
     { return __pair_get<_Int>::__move_get(std::move(__in)); }
                                                         ^
make: *** [shell/gparams_register_modules.o] Error 1
make: Leaving directory `/usr/src/RPM/BUILD/z3-4.3.2/build'
error: Bad exit status from /usr/src/tmp/rpm-tmp.83102 (%build)


RPM build errors:
    Bad exit status from /usr/src/tmp/rpm-tmp.83102 (%build)
Command exited with non-zero status 1
8.20user 0.73system 0:08.93elapsed 99%CPU (0avgtext+0avgdata 55844maxresident)k
0inputs+0outputs (0major+70756minor)pagefaults 0swaps
hsh-rebuild: rebuild of `z3-4.3.2-alt1.git20141024.1.1.src.rpm' failed.
Command exited with non-zero status 1
37.38user 6.96system 0:44.60elapsed 99%CPU (0avgtext+0avgdata 134012maxresident)k
0inputs+0outputs (0major+477292minor)pagefaults 0swaps