D_LINUX_ -fPIC -I../src -o util/bit_util.o ../src/util/bit_util.cpp
src/util/debug.cpp
g++ -D_MP_GMP -DZ3GITHASH=ad55a1f1c617 -DNDEBUG -D_EXTERNAL_RELEASE -D_USE_THREAD_LOCAL -O2 -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -fasynchronous-unwind-tables -fstack-clash-protection -std=c++11 -c  -D_LINUX_ -fPIC -I../src -o util/debug.o ../src/util/debug.cpp
g++  -o z3  shell/dimacs_frontend.o shell/mem_initializer.o shell/datalog_frontend.o shell/install_tactic.o shell/z3_log_frontend.o shell/lp_frontend.o shell/gparams_register_modules.o shell/opt_frontend.o shell/main.o shell/smtlib_frontend.o cmd_context/extra_cmds/extra_cmds.a api/api.a opt/opt.a tactic/portfolio/portfolio.a tactic/fpa/fpa_tactics.a tactic/smtlogics/smtlogic_tactics.a tactic/ufbv/ufbv_tactic.a muz/fp/fp.a muz/bmc/bmc.a muz/ddnf/ddnf.a muz/tab/tab.a muz/clp/clp.a muz/spacer/spacer.a muz/rel/rel.a muz/transforms/transforms.a muz/dataflow/dataflow.a muz/base/muz.a tactic/fd_solver/fd_solver.a sat/sat_solver/sat_solver.a qe/qe.a tactic/sls/sls_tactic.a smt/tactic/smt_tactic.a tactic/bv/bv_tactics.a smt/smt.a smt/proto_model/proto_model.a smt/params/smt_params.a ast/rewriter/bit_blaster/bit_blaster.a ast/fpa/fpa.a ackermannization/ackermannization.a tactic/aig/aig_tactic.a math/subpaving/tactic/subpaving_tactic.a nlsat/tactic/nlsat_tactic.a tactic/arith/arith_tactics.a tactic/core/core_tactics.a ast/pattern/pattern.a parsers/smt2/smt2parser.a sat/tactic/sat_tactic.a cmd_context/cmd_context.a solver/solver.a ast/proofs/proofs.a parsers/util/parser_util.a ast/substitution/substitution.a tactic/tactic.a model/model.a ast/normal_forms/normal_forms.a ast/macros/macros.a ast/rewriter/rewriter.a math/lp/lp.a nlsat/nlsat.a sat/sat.a math/grobner/grobner.a ast/ast.a math/subpaving/subpaving.a math/realclosure/realclosure.a math/automata/automata.a math/hilbert/hilbert.a math/simplex/simplex.a math/dd/dd.a math/interval/interval.a math/polynomial/polynomial.a util/util.a -lpthread  -lgmp
/usr/bin/ld: api/api.a(api_stats.o): in function `std::__atomic_base<bool>::exchange(bool, std::memory_order)':
/usr/include/c++/10/bits/atomic_base.h:443: undefined reference to `__atomic_exchange_1'
/usr/bin/ld: api/api.a(api_stats.o): in function `.L0 ':
/builddir/build/BUILD/z3-z3-4.8.8/build/../src/api/api_stats.cpp:49: undefined reference to `__atomic_exchange_1'
/usr/bin/ld: api/api.a(api_stats.o): in function `Z3_stats_dec_ref':
/builddir/build/BUILD/z3-z3-4.8.8/build/../src/api/api_stats.cpp:54: undefined reference to `__atomic_exchange_1'
/usr/bin/ld: api/api.a(api_stats.o): in function `.L0 ':
/builddir/build/BUILD/z3-z3-4.8.8/build/../src/api/api_stats.cpp:62: undefined reference to `__atomic_exchange_1'
/usr/bin/ld: /builddir/build/BUILD/z3-z3-4.8.8/build/../src/api/api_stats.cpp:71: undefined reference to `__atomic_exchange_1'
/usr/bin/ld: api/api.a(api_stats.o):/builddir/build/BUILD/z3-z3-4.8.8/build/../src/api/api_stats.cpp:87: more undefined references to `__atomic_exchange_1' follow
collect2: error: ld returned 1 exit status
make: *** [Makefile:4285: z3] Error 1
make: Leaving directory '/builddir/build/BUILD/z3-z3-4.8.8/build'
error: Bad exit status from /var/tmp/rpm-tmp.fOFgKx (%build)
RPM build errors:
    Bad exit status from /var/tmp/rpm-tmp.fOFgKx (%build)
Child return code was: 1
EXCEPTION: [Error()]
Traceback (most recent call last):
  File "/usr/lib/python3.8/site-packages/mockbuild/trace_decorator.py", line 95, in trace
    result = func(*args, **kw)
  File "/usr/lib/python3.8/site-packages/mockbuild/util.py", line 746, in do_with_status
    raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode)
mockbuild.exception.Error: Command failed: 
 # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/z3.spec