Mock Version: 5.0
Mock Version: 5.0
Mock Version: 5.0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/f39-build-2185845-51306/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f728d6f50>timeout=864000uid=982gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --noclean --target riscv64 --nodeps /builddir/build/SPECS/gappa.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1704153600
Wrote: /builddir/build/SRPMS/gappa-1.4.2-1.fc39.src.rpm
Child return code was: 0
ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/gappa.spec'], chrootPath='/var/lib/mock/f39-build-2185845-51306/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=<mockbuild.trace_decorator.getLog object at 0x3f728d6f50>timeout=864000uid=982gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False)
Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --noclean --target riscv64 --nodeps /builddir/build/SPECS/gappa.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;<mock-chroot>\\007"', 'PS1': '<mock-chroot> \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False
Building target platforms: riscv64
Building for target riscv64
setting SOURCE_DATE_EPOCH=1704153600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.bo73NC
+ umask 022
+ cd /builddir/build/BUILD
+ cd /builddir/build/BUILD
+ rm -rf gappa-1.4.2
+ /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/gappa-1.4.2.tar.gz
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd gappa-1.4.2
+ rm -rf /builddir/build/BUILD/gappa-1.4.2-SPECPARTS
+ /usr/bin/mkdir -p /builddir/build/BUILD/gappa-1.4.2-SPECPARTS
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ sed -i 's/timeout 5/&0/' Remakefile.in
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.vagTA3
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd gappa-1.4.2
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ '[' '-flto=auto -ffat-lto-objectsx' '!=' x ']'
++ find . -type f -name configure -print
+ for file in $(find . -type f -name configure -print)
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\) = /__attribute__ ((used)) char (*f) () = /g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \(\*f\) \(\);/__attribute__ ((used)) char (*f) ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed -r --in-place=.backup 's/^char \$2 \(\);/__attribute__ ((used)) char \$2 ();/g' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup '1{$!N;$!N};$!N;s/int x = 1;\nint y = 0;\nint z;\nint nan;/volatile int x = 1; volatile int y = 0; volatile int z, nan;/;P;D' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ /usr/bin/sed --in-place=.backup 's#^lt_cv_sys_global_symbol_to_cdecl=.*#lt_cv_sys_global_symbol_to_cdecl="sed -n -e '\''s/^T .* \\(.*\\)$/extern int \\1();/p'\'' -e '\''s/^$symcode* .* \\(.*\\)$/extern char \\1;/p'\''"#' ./configure
+ diff -u ./configure.backup ./configure
+ mv ./configure.backup ./configure
+ '[' 1 = 1 ']'
+++ dirname ./configure
++ find . -name config.guess -o -name config.sub
+ '[' 1 = 1 ']'
+ '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']'
++ find . -name ltmain.sh
++ grep -q runstatedir=DIR ./configure
++ echo --runstatedir=/run
+ ./configure --build=riscv64-koji-linux-gnu --host=riscv64-koji-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --runstatedir=/run --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info
configure: WARNING: unrecognized options: --disable-dependency-tracking
checking whether the C++ compiler works... yes
checking for C++ compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C++... yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
checking for riscv64-koji-linux-gnu-gcc... gcc
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking for flex... flex
checking for lex output file root... lex.yy
checking for lex library... none needed
checking whether yytext is a pointer... yes
checking for bison... bison -y
checking how to run the C preprocessor... gcc -E
checking for gcc... gcc
checking whether the compiler supports GNU C... (cached) yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... (cached) none needed
checking how to run the C preprocessor... gcc -E
checking how to run the C++ preprocessor... g++ -E
checking for g++... g++
checking whether the compiler supports GNU C++... (cached) yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... (cached) none needed
checking how to run the C++ preprocessor... g++ -E
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking for gmp.h... yes
checking for __gmpz_init in -lgmp... yes
checking for mpfr.h... yes
checking for mpfr_snprintf in -lmpfr... yes
checking for boost/numeric/interval.hpp... yes
configure: building remake...
/usr/bin/ld: /tmp/ccJE9AWD.o: in function `.LEHE328':
remake.cpp:(.text.startup+0x764): warning: the use of `tempnam' is dangerous, better use `mkstemp'
configure: creating ./config.status
config.status: creating stamp-config_h
config.status: creating Remakefile
config.status: creating config.h
configure: WARNING: unrecognized options: --disable-dependency-tracking
+ rm -f remake
+ ln -s /usr/bin/remake remake
+ remake -d -j64
Building src/arithmetic/fixed.o
Building src/arithmetic/float.o
Building src/arithmetic/homogen.o
Building src/arithmetic/relative.o
Building src/backends/backend.o
Building src/backends/coq.o
Building src/backends/coq_common.o
Building src/backends/coq_lambda.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/arithmetic/fixed.o.d -I src -c -o src/arithmetic/fixed.o src/arithmetic/fixed.cpp
Building src/backends/holl.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/arithmetic/float.o.d -I src -c -o src/arithmetic/float.o src/arithmetic/float.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/arithmetic/homogen.o.d -I src -c -o src/arithmetic/homogen.o src/arithmetic/homogen.cpp
Building src/backends/latex.o
Building src/numbers/interval.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/arithmetic/relative.o.d -I src -c -o src/arithmetic/relative.o src/arithmetic/relative.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/backends/backend.o.d -I src -c -o src/backends/backend.o src/backends/backend.cpp
Building src/numbers/io.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/backends/coq.o.d -I src -c -o src/backends/coq.o src/backends/coq.cpp
Building src/numbers/real.o
Building src/numbers/round.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/backends/coq_lambda.o.d -I src -c -o src/backends/coq_lambda.o src/backends/coq_lambda.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/backends/coq_common.o.d -I src -c -o src/backends/coq_common.o src/backends/coq_common.cpp
Building src/parser/ast.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/backends/holl.o.d -I src -c -o src/backends/holl.o src/backends/holl.cpp
Building src/parser/lexer.o
Building src/parser/parser_aux.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/backends/latex.o.d -I src -c -o src/backends/latex.o src/backends/latex.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/numbers/interval.o.d -I src -c -o src/numbers/interval.o src/numbers/interval.cpp
Building src/parser/parser.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/numbers/io.o.d -I src -c -o src/numbers/io.o src/numbers/io.cpp
Building src/parser/pattern.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/numbers/real.o.d -I src -c -o src/numbers/real.o src/numbers/real.cpp
Building src/parser/ring.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/numbers/round.o.d -I src -c -o src/numbers/round.o src/numbers/round.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/parser/ast.o.d -I src -c -o src/parser/ast.o src/parser/ast.cpp
Building src/proofs/basic_proof.o
Building src/proofs/dichotomy.o
Building src/proofs/proof_graph.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/parser/lexer.o.d -I src -c -o src/parser/lexer.o src/parser/lexer.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/parser/parser_aux.o.d -I src -c -o src/parser/parser_aux.o src/parser/parser_aux.cpp
Building src/proofs/property.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/parser/parser.o.d -I src -c -o src/parser/parser.o src/parser/parser.cpp
Building src/proofs/rewriting.o
Building src/proofs/schemes.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/parser/pattern.o.d -I src -c -o src/parser/pattern.o src/parser/pattern.cpp
Building src/proofs/updater.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/parser/ring.o.d -I src -c -o src/parser/ring.o src/parser/ring.cpp
Building src/main.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/proofs/basic_proof.o.d -I src -c -o src/proofs/basic_proof.o src/proofs/basic_proof.cpp
Building src/parameters.o
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/proofs/dichotomy.o.d -I src -c -o src/proofs/dichotomy.o src/proofs/dichotomy.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/proofs/proof_graph.o.d -I src -c -o src/proofs/proof_graph.o src/proofs/proof_graph.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/proofs/property.o.d -I src -c -o src/proofs/property.o src/proofs/property.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/proofs/rewriting.o.d -I src -c -o src/proofs/rewriting.o src/proofs/rewriting.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/proofs/schemes.o.d -I src -c -o src/proofs/schemes.o src/proofs/schemes.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/proofs/updater.o.d -I src -c -o src/proofs/updater.o src/proofs/updater.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/main.o.d -I src -c -o src/main.o src/main.cpp
g++  -O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer  -MMD -MT dummy -MF src/parameters.o.d -I src -c -o src/parameters.o src/parameters.cpp
./remake -r < src/numbers/real.o.d
rm src/numbers/real.o.d
Finished src/numbers/real.o
./remake -r < src/parameters.o.d
rm src/parameters.o.d
Finished src/parameters.o
./remake -r < src/backends/backend.o.d
rm src/backends/backend.o.d
Finished src/backends/backend.o
./remake -r < src/arithmetic/homogen.o.d
rm src/arithmetic/homogen.o.d
Finished src/arithmetic/homogen.o
./remake -r < src/proofs/updater.o.d
rm src/proofs/updater.o.d
Finished src/proofs/updater.o
./remake -r < src/backends/coq_lambda.o.d
rm src/backends/coq_lambda.o.d
Finished src/backends/coq_lambda.o
./remake -r < src/numbers/round.o.d
rm src/numbers/round.o.d
Finished src/numbers/round.o
./remake -r < src/numbers/io.o.d
rm src/numbers/io.o.d
Finished src/numbers/io.o
./remake -r < src/parser/lexer.o.d
rm src/parser/lexer.o.d
Finished src/parser/lexer.o
./remake -r < src/main.o.d
rm src/main.o.d
Finished src/main.o
In file included from /usr/include/c++/13/string:51,
                 from /usr/include/c++/13/bits/locale_classes.h:40,
                 from /usr/include/c++/13/bits/ios_base.h:41,
                 from /usr/include/c++/13/ios:44,
                 from /usr/include/c++/13/ostream:40,
                 from /usr/include/c++/13/iostream:41,
                 from src/parser/parser.ypp:15:
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘rnd_normalize(ast_real const&)’ at src/parser/parser.ypp:66:20:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./remake -r < src/numbers/interval.o.d
rm src/numbers/interval.o.d
Finished src/numbers/interval.o
./remake -r < src/arithmetic/relative.o.d
rm src/arithmetic/relative.o.d
Finished src/arithmetic/relative.o
./remake -r < src/proofs/property.o.d
rm src/proofs/property.o.d
Finished src/proofs/property.o
In file included from /usr/include/c++/13/bits/stl_tree.h:63,
                 from /usr/include/c++/13/map:62,
                 from src/parser/pattern.cpp:12:
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘pattern::operator-() const’ at src/parser/pattern.cpp:261:45:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./remake -r < src/parser/parser_aux.o.d
rm src/parser/parser_aux.o.d
Finished src/parser/parser_aux.o
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘pattern::abs(pattern const&)’ at src/parser/pattern.cpp:262:49:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘pattern::sqrt(pattern const&)’ at src/parser/pattern.cpp:263:50:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘yyparse()’ at src/parser/parser.ypp:290:52:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘yyparse()’ at src/parser/parser.ypp:291:56:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘yyparse()’ at src/parser/parser.ypp:301:52:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./remake -r < src/backends/coq.o.d
rm src/backends/coq.o.d
Finished src/backends/coq.o
./remake -r < src/proofs/dichotomy.o.d
rm src/proofs/dichotomy.o.d
Finished src/proofs/dichotomy.o
./remake -r < src/arithmetic/fixed.o.d
rm src/arithmetic/fixed.o.d
Finished src/arithmetic/fixed.o
./remake -r < src/parser/pattern.o.d
rm src/parser/pattern.o.d
Finished src/parser/pattern.o
./remake -r < src/parser/ring.o.d
rm src/parser/ring.o.d
Finished src/parser/ring.o
./remake -r < src/backends/latex.o.d
rm src/backends/latex.o.d
Finished src/backends/latex.o
./remake -r < src/arithmetic/float.o.d
rm src/arithmetic/float.o.d
Finished src/arithmetic/float.o
./remake -r < src/proofs/schemes.o.d
rm src/proofs/schemes.o.d
Finished src/proofs/schemes.o
In file included from /usr/include/c++/13/algorithm:60,
                 from src/numbers/interval_utility.hpp:15,
                 from src/proofs/basic_proof.cpp:13:
In function ‘std::__copy_move<false, true, std::random_access_iterator_tag>::__copy_m<ast_real const* const, ast_real const*>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’,
    inlined from ‘std::__copy_move_a2<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:506:30,
    inlined from ‘std::__copy_move_a1<false, ast_real const* const*, ast_real const**>(ast_real const* const*, ast_real const* const*, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:533:42,
    inlined from ‘std::__copy_move_a<false, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:540:31,
    inlined from ‘std::copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_algobase.h:633:7,
    inlined from ‘std::__uninitialized_copy<true>::__uninit_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:147:27,
    inlined from ‘std::uninitialized_copy<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:185:15,
    inlined from ‘std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, ast_real const*>(__gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, __gnu_cxx::__normal_iterator<ast_real const* const*, std::vector<ast_real const*, std::allocator<ast_real const*> > >, ast_real const**, std::allocator<ast_real const*>&)ast_real const**’ at /usr/include/c++/13/bits/stl_uninitialized.h:373:37,
    inlined from ‘std::vector<ast_real const*, std::allocator<ast_real const*> >::vector(std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at /usr/include/c++/13/bits/stl_vector.h:603:31,
    inlined from ‘real_op::real_op(real_op const&)’ at src/parser/ast_real.hpp:71:8,
    inlined from ‘boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::make_initializer_node::apply<boost::mpl::pair<boost::detail::variant::initializer_root, mpl_::int_<0> >, boost::mpl::l_iter<boost::mpl::list5<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<1> >, boost::mpl::l_iter<boost::mpl::list4<ast_number const*, hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<2> >, boost::mpl::l_iter<boost::mpl::list3<hidden_real, real_op, placeholder> > >::initializer_node, mpl_::int_<3> >, boost::mpl::l_iter<boost::mpl::list2<real_op, placeholder> > >::initializer_node::initialize(void*, real_op const&)’ at /usr/include/boost/variant/detail/initializer.hpp:110:17,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::convert_construct<real_op const>(real_op const&, int, mpl_::bool_<false>)void’ at /usr/include/boost/variant/variant.hpp:1556:23,
    inlined from ‘boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder>::variant<real_op>(real_op const&, boost::enable_if<boost::mpl::or_<boost::mpl::and_<boost::mpl::not_<boost::is_same<real_op, boost::variant<boost::blank, ast_number const*, hidden_real, real_op, placeholder> > >, boost::detail::variant::is_variant_constructible_from<real_op const&, boost::mpl::l_item<mpl_::long_<5l>, boost::blank, boost::mpl::l_item<mpl_::long_<4l>, ast_number const*, boost::mpl::l_item<mpl_::long_<3l>, hidden_real, boost::mpl::l_item<mpl_::long_<2l>, real_op, boost::mpl::l_item<mpl_::long_<1l>, placeholder, boost::mpl::l_end> > > > > >, mpl_::bool_<true>, mpl_::bool_<true>, mpl_::bool_<true> >, boost::is_same<real_op, boost::recursive_variant_>, mpl_::bool_<false>, mpl_::bool_<false>, mpl_::bool_<false> >, bool>::type)’ at /usr/include/boost/variant/variant.hpp:1720:26,
    inlined from ‘ast_real::ast_real(real_op const&)’ at src/parser/ast_real.hpp:129:52,
    inlined from ‘abs_of_uabs_scheme::factory(predicated_real const&, std::vector<ast_real const*, std::allocator<ast_real const*> > const&)’ at src/proofs/basic_proof.cpp:643:34:
/usr/include/c++/13/bits/stl_algobase.h:437:30: warning: ‘memmove’ forming offset 8 is out of the bounds [0, 8] [-Warray-bounds=]
  437 |             __builtin_memmove(__result, __first, sizeof(_Tp) * _Num);
      |             ~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./remake -r < src/parser/parser.o.d
rm src/parser/parser.o.d
Finished src/parser/parser.o
./remake -r < src/proofs/proof_graph.o.d
rm src/proofs/proof_graph.o.d
Finished src/proofs/proof_graph.o
./remake -r < src/proofs/basic_proof.o.d
rm src/proofs/basic_proof.o.d
Finished src/proofs/basic_proof.o
./remake -r < src/proofs/rewriting.o.d
rm src/proofs/rewriting.o.d
Finished src/proofs/rewriting.o
./remake -r < src/parser/ast.o.d
rm src/parser/ast.o.d
Finished src/parser/ast.o
./remake -r < src/backends/holl.o.d
rm src/backends/holl.o.d
Finished src/backends/holl.o
./remake -r < src/backends/coq_common.o.d
rm src/backends/coq_common.o.d
Finished src/backends/coq_common.o
Building src/gappa
g++ -Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes  -o src/gappa src/arithmetic/fixed.o src/arithmetic/float.o src/arithmetic/homogen.o src/arithmetic/relative.o src/backends/backend.o src/backends/coq.o src/backends/coq_common.o src/backends/coq_lambda.o src/backends/holl.o src/backends/latex.o src/numbers/interval.o src/numbers/io.o src/numbers/real.o src/numbers/round.o src/parser/ast.o src/parser/lexer.o src/parser/parser_aux.o src/parser/parser.o src/parser/pattern.o src/parser/ring.o src/proofs/basic_proof.o src/proofs/dichotomy.o src/proofs/proof_graph.o src/proofs/property.o src/proofs/rewriting.o src/proofs/schemes.o src/proofs/updater.o src/main.o src/parameters.o -lmpfr -lgmp 
Finished src/gappa
Building all
Finished all
+ remake -d doc/html/index.html
Building doc/generated/news.rst
mkdir -p doc/generated
cat > doc/generated/news.rst <<EOF
Changelog
=========
EOF
sed -e 's/`/``/g' NEWS.md >> doc/generated/news.rst
Finished doc/generated/news.rst
Building doc/html/index.html
sphinx-build -b html -d doc/.doctrees doc doc/html
Running Sphinx v6.2.1
making output directory... done
WARNING: html_static_path entry '_static' does not exist
building [mo]: targets for 0 po files that are out of date
writing output... 
building [html]: targets for 13 source files that are out of date
updating environment: [new config] 13 added, 0 changed, 0 removed
reading sources... [  7%] arithmetic
reading sources... [ 15%] bibliography
reading sources... [ 23%] customizing
reading sources... [ 30%] errors
reading sources... [ 38%] examples
reading sources... [ 46%] formalizing
reading sources... [ 53%] generated/news
reading sources... [ 61%] genindex
reading sources... [ 69%] index
reading sources... [ 76%] invoking
reading sources... [ 84%] language
reading sources... [ 92%] theorems
reading sources... [100%] tools
looking for now-outdated files... none found
pickling environment... done
checking consistency... done
preparing documents... done
writing output... [  7%] arithmetic
writing output... [ 15%] bibliography
writing output... [ 23%] customizing
writing output... [ 30%] errors
writing output... [ 38%] examples
writing output... [ 46%] formalizing
writing output... [ 53%] generated/news
writing output... [ 61%] genindex
writing output... [ 69%] index
writing output... [ 76%] invoking
writing output... [ 84%] language
writing output... [ 92%] theorems
writing output... [100%] tools
generating indices... genindex done
writing additional pages... search done
copying images... [100%] images/gwhy-sqrt.png
copying static files... done
copying extra files... done
dumping search index in English (code: en)... done
dumping object inventory... done
build succeeded, 1 warning.
The HTML pages are in doc/html.
Finished doc/html/index.html
+ rm doc/html/.buildinfo
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.wXs28Z
+ umask 022
+ cd /builddir/build/BUILD
+ '[' /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64 '!=' / ']'
+ rm -rf /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64
++ dirname /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64
+ mkdir -p /builddir/build/BUILDROOT
+ mkdir /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd gappa-1.4.2
+ DESTDIR=/builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64
+ remake install
Building install
Finished install
+ /usr/bin/find-debuginfo -j64 --strict-build-id -m -i --build-id-seed 1.4.2-1.fc39 --unique-debug-suffix -1.4.2-1.fc39.riscv64 --unique-debug-src-base gappa-1.4.2-1.fc39.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/gappa-1.4.2
find-debuginfo: starting
Extracting debug info from 1 files
DWARF-compressing 1 files
sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match.
Creating .debug symlinks for symlinks to ELF files
Copying sources found by 'debugedit -l' to /usr/src/debug/gappa-1.4.2-1.fc39.riscv64
1020 blocks
find-debuginfo: done
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip
+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
+ /usr/lib/rpm/brp-remove-la-files
+ env /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 -j64
+ /usr/lib/rpm/redhat/brp-python-hardlink
Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.ChrRbZ
+ umask 022
+ cd /builddir/build/BUILD
+ CFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CFLAGS
+ CXXFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -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 -fstack-clash-protection -fno-omit-frame-pointer '
+ export CXXFLAGS
+ FFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FFLAGS
+ FCFLAGS='-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -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 -fstack-clash-protection -fno-omit-frame-pointer -I/usr/lib64/gfortran/modules '
+ export FCFLAGS
+ VALAFLAGS=-g
+ export VALAFLAGS
+ RUSTFLAGS='-Copt-level=3 -Cdebuginfo=2 -Ccodegen-units=1 -Cstrip=none -Cforce-frame-pointers=yes -Clink-arg=-Wl,-z,relro -Clink-arg=-Wl,-z,now -Clink-arg=-specs=/usr/lib/rpm/redhat/redhat-package-notes --cap-lints=warn'
+ export RUSTFLAGS
+ LDFLAGS='-Wl,-z,relro -Wl,--as-needed  -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1  -Wl,--build-id=sha1 -specs=/usr/lib/rpm/redhat/redhat-package-notes '
+ export LDFLAGS
+ LT_SYS_LIBRARY_PATH=/usr/lib64:
+ export LT_SYS_LIBRARY_PATH
+ CC=gcc
+ export CC
+ CXX=g++
+ export CXX
+ cd gappa-1.4.2
+ remake check
Building testsuite/check-null
Finished testsuite/check-null
Building testsuite/check-coq
Finished testsuite/check-coq
Building testsuite/check-latex
Finished testsuite/check-latex
Building check
Finished check
+ RPM_EC=0
++ jobs -p
+ exit 0
Processing files: gappa-1.4.2-1.fc39.riscv64
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.E9pTty
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappa-1.4.2
+ DOCDIR=/builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ cp -pr /builddir/build/BUILD/gappa-1.4.2/README.md /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ cp -pr /builddir/build/BUILD/gappa-1.4.2/NEWS.md /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.lmv9FR
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappa-1.4.2
+ LICENSEDIR=/builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/licenses/gappa
+ export LC_ALL=
+ LC_ALL=
+ export LICENSEDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/licenses/gappa
+ cp -pr /builddir/build/BUILD/gappa-1.4.2/COPYING /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/licenses/gappa
+ cp -pr /builddir/build/BUILD/gappa-1.4.2/COPYING.GPL /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/licenses/gappa
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappa = 1.4.2-1.fc39 gappa(riscv-64) = 1.4.2-1.fc39
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.38)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.3.1)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libgmp.so.10()(64bit) libmpfr.so.6()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) libstdc++.so.6(GLIBCXX_3.4.11)(64bit) libstdc++.so.6(GLIBCXX_3.4.15)(64bit) libstdc++.so.6(GLIBCXX_3.4.18)(64bit) libstdc++.so.6(GLIBCXX_3.4.20)(64bit) libstdc++.so.6(GLIBCXX_3.4.21)(64bit) libstdc++.so.6(GLIBCXX_3.4.26)(64bit) libstdc++.so.6(GLIBCXX_3.4.29)(64bit) libstdc++.so.6(GLIBCXX_3.4.30)(64bit) libstdc++.so.6(GLIBCXX_3.4.32)(64bit) libstdc++.so.6(GLIBCXX_3.4.9)(64bit) rtld(GNU_HASH)
Processing files: gappa-doc-1.4.2-1.fc39.noarch
Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.WdJLlN
+ umask 022
+ cd /builddir/build/BUILD
+ cd gappa-1.4.2
+ DOCDIR=/builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ export LC_ALL=
+ LC_ALL=
+ export DOCDIR
+ /usr/bin/mkdir -p /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ cp -pr /builddir/build/BUILD/gappa-1.4.2/AUTHORS /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ cp -pr /builddir/build/BUILD/gappa-1.4.2/doc/html /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64/usr/share/doc/gappa
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: gappa-doc = 1.4.2-1.fc39
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappa-debugsource-1.4.2-1.fc39.riscv64
Provides: gappa-debugsource = 1.4.2-1.fc39 gappa-debugsource(riscv-64) = 1.4.2-1.fc39
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Processing files: gappa-debuginfo-1.4.2-1.fc39.riscv64
Provides: debuginfo(build-id) = 900cb084db43f4b92a211b565bdbacef41d0e47c gappa-debuginfo = 1.4.2-1.fc39 gappa-debuginfo(riscv-64) = 1.4.2-1.fc39
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Recommends: gappa-debugsource(riscv-64) = 1.4.2-1.fc39
Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/gappa-1.4.2-1.fc39.riscv64
Wrote: /builddir/build/RPMS/gappa-1.4.2-1.fc39.riscv64.rpm
Wrote: /builddir/build/RPMS/gappa-debugsource-1.4.2-1.fc39.riscv64.rpm
Wrote: /builddir/build/RPMS/gappa-doc-1.4.2-1.fc39.noarch.rpm
Wrote: /builddir/build/RPMS/gappa-debuginfo-1.4.2-1.fc39.riscv64.rpm
Child return code was: 0