~~~~~~~~~~~~~~~~^~~
/builddir/build/BUILD/cvc5-cvc5-1.0.8/src/util/real_algebraic_number_poly_imp.cpp: In member function ‘cvc5::internal::RealAlgebraicNumber cvc5::internal::RealAlgebraicNumber::inverse() const’:
/builddir/build/BUILD/cvc5-cvc5-1.0.8/src/util/real_algebraic_number_poly_imp.cpp:360:25: error: no matching function for call to ‘inverse(const poly::AlgebraicNumber&)’
  360 |     return poly::inverse(getValue());
      |            ~~~~~~~~~~~~~^~~~~~~~~~~~
/usr/include/poly/polyxx/integer.h:195:11: note: candidate: ‘poly::Integer poly::inverse(const IntegerRing&, const Integer&)’
  195 |   Integer inverse(const IntegerRing& ir, const Integer& i);
      |           ^~~~~~~
/usr/include/poly/polyxx/integer.h:195:11: note:   candidate expects 2 arguments, 1 provided
/usr/include/poly/polyxx/rational.h:158:12: note: candidate: ‘poly::Rational poly::inverse(const Rational&)’
  158 |   Rational inverse(const Rational& r);
      |            ^~~~~~~
/usr/include/poly/polyxx/rational.h:158:36: note:   no known conversion for argument 1 from ‘const poly::AlgebraicNumber’ to ‘const poly::Rational&’
  158 |   Rational inverse(const Rational& r);
      |                    ~~~~~~~~~~~~~~~~^
gmake[2]: *** [src/CMakeFiles/cvc5-obj.dir/build.make:9179: src/CMakeFiles/cvc5-obj.dir/util/real_algebraic_number_poly_imp.cpp.o] Error 1
gmake[2]: *** Waiting for unfinished jobs....
[ 89%] Building CXX object src/CMakeFiles/cvc5-obj.dir/util/safe_print.cpp.o
cd /builddir/build/BUILD/cvc5-cvc5-1.0.8/redhat-linux-build/src && /usr/bin/g++ -DCVC5_STATISTICS_ON -DCVC5_USE_COCOA -DCVC5_USE_CRYPTOMINISAT -DCVC5_USE_KISSAT -DCVC5_USE_POLY -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/builddir/build/BUILD/cvc5-cvc5-1.0.8/include -I/builddir/build/BUILD/cvc5-cvc5-1.0.8/redhat-linux-build/include -I/builddir/build/BUILD/cvc5-cvc5-1.0.8/src/include -I/builddir/build/BUILD/cvc5-cvc5-1.0.8/src/. -I/builddir/build/BUILD/cvc5-cvc5-1.0.8/redhat-linux-build/src -O2  -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration -Werror=implicit-int -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -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 -fno-omit-frame-pointer  -DABC_USE_STDINT_H -I/usr/lib/jvm/java/include -I/usr/lib/jvm/java/include/linux -I/usr/include/abc -I/usr/include/cryptominisat5 -std=c++17 -flto=auto -fno-fat-lto-objects -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/CMakeFiles/cvc5-obj.dir/util/safe_print.cpp.o -MF CMakeFiles/cvc5-obj.dir/util/safe_print.cpp.o.d -o CMakeFiles/cvc5-obj.dir/util/safe_print.cpp.o -c /builddir/build/BUILD/cvc5-cvc5-1.0.8/src/util/safe_print.cpp
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-function-declaration’ is not valid for C++
cc1plus: warning: ‘-Werror=’ argument ‘-Werror=implicit-int’ is not valid for C++
gmake[2]: Leaving directory '/builddir/build/BUILD/cvc5-cvc5-1.0.8/redhat-linux-build'
gmake[1]: *** [CMakeFiles/Makefile2:676: src/CMakeFiles/cvc5-obj.dir/all] Error 2
gmake[1]: Leaving directory '/builddir/build/BUILD/cvc5-cvc5-1.0.8/redhat-linux-build'
gmake: *** [Makefile:149: all] Error 2
error: Bad exit status from /var/tmp/rpm-tmp.ZvlsOX (%build)
    Bad exit status from /var/tmp/rpm-tmp.ZvlsOX (%build)
RPM build errors:
Child return code was: 1
EXCEPTION: [Error()]
Traceback (most recent call last):
  File "/usr/lib/python3.9/site-packages/mockbuild/trace_decorator.py", line 93, in trace
    result = func(*args, **kw)
  File "/usr/lib/python3.9/site-packages/mockbuild/util.py", line 600, 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 -ba --noprep --target riscv64 --nodeps /builddir/build/SPECS/cvc5.spec