Mock Version: 2.15 Mock Version: 2.15 Mock Version: 2.15 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'], chrootPath='/var/lib/mock/f38-build-694628-85450/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1674086400 Wrote: /builddir/build/SRPMS/metamath-0.198-4.fc38.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'], chrootPath='/var/lib/mock/f38-build-694628-85450/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=604800uid=991gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/metamath.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1674086400 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.QcyeTF + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf metamath + /usr/lib/rpm/rpmuncompress -x /builddir/build/SOURCES/metamath.tar.bz2 + STATUS=0 + '[' 0 -ne 0 ']' + cd metamath + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + cp -p /builddir/build/SOURCES/metamath.tex . + touch special-settings.sty + rm metamath.exe + sed -i '/Try to optimize/,/^$/d' configure.ac + autoreconf -fi configure.ac:13: installing './compile' configure.ac:26: installing './config.guess' configure.ac:26: installing './config.sub' configure.ac:9: installing './install-sh' configure.ac:9: installing './missing' Makefile.am: installing './depcomp' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.81zs1u + 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 -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 -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-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 -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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 metamath + 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 -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 -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-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 -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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 --- ./configure.backup 2023-03-14 14:08:22.961167503 -0400 +++ ./configure 2023-03-14 14:08:27.871176292 -0400 @@ -1734,7 +1734,7 @@ #ifdef __cplusplus extern "C" #endif -char $2 (); +__attribute__ ((used)) char $2 (); /* The GNU C library defines this for functions which it implements to always fail with ENOSYS. Some functions are actually named something starting with __ and the normal name is an alias. */ + /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 + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config.sub + '[' -f /usr/lib/rpm/redhat/config.sub ']' + /usr/bin/rm -f ./config.sub ++ basename ./config.sub + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.sub ./config.sub '/usr/lib/rpm/redhat/config.sub' -> './config.sub' + for i in $(find $(dirname ./configure) -name config.guess -o -name config.sub) ++ basename ./config.guess + '[' -f /usr/lib/rpm/redhat/config.guess ']' + /usr/bin/rm -f ./config.guess ++ basename ./config.guess + /usr/bin/cp -fv /usr/lib/rpm/redhat/config.guess ./config.guess '/usr/lib/rpm/redhat/config.guess' -> './config.guess' + '[' 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-redhat-linux-gnu --host=riscv64-redhat-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 '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 -DINLINE=inline -fwrapv' checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for riscv64-redhat-linux-gnu-gcc... gcc 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 gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking whether gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of gcc... none 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 limits.h... yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for _Bool... yes checking for stdbool.h that conforms to C99... yes checking for size_t... yes checking build system type... riscv64-redhat-linux-gnu checking host system type... riscv64-redhat-linux-gnu checking for GNU libc compatible malloc... yes checking for GNU libc compatible realloc... yes checking for strchr... yes checking for strcspn... yes checking for strstr... yes checking for gcc warning flags... yes checking for 'inline' support... yes 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 -DINLINE=inline -fwrapv -Wall -Wextra checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating config.h config.status: executing depfiles commands + /usr/bin/make -O -j4 V=1 VERBOSE=1 /usr/bin/make all-am make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmcmdl.o mmcmdl.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmhlpa.o mmhlpa.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmdata.o mmdata.c mmdata.c: In function 'getContrib': mmdata.c:3579:45: warning: comparison is always false due to limited range of data type [-Wtype-limits] 3579 | (vstring)(reviseDateList[stmtNum])) == -1) { | ^~ mmdata.c:3584:46: warning: comparison is always false due to limited range of data type [-Wtype-limits] 3584 | (vstring)(shortenDateList[stmtNum])) == -1) { | ^~ mmdata.c:3830:51: warning: comparison is always true due to limited range of data type [-Wtype-limits] 3830 | && compareDates(contribDate, reviseDate) != -1) | ^~ mmdata.c:3832:52: warning: comparison is always true due to limited range of data type [-Wtype-limits] 3832 | && compareDates(contribDate, shortenDate) != -1))) { | ^~ make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mminou.o mminou.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmmaci.o mmmaci.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmhlpb.o mmhlpb.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmcmds.o mmcmds.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' mmcmds.c: In function 'verifyMarkup': mmcmds.c:5841:46: warning: comparison is always false due to limited range of data type [-Wtype-limits] 5841 | if (compareDates(mostRecentDate, str1) == -1) { | ^~ make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmpfas.o mmpfas.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmutil.o mmutil.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmunif.o mmunif.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmveri.o mmveri.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmvstr.o mmvstr.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmword.o mmword.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmpars.o mmpars.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o metamath.o metamath.c metamath.c: In function 'command': metamath.c:1141:15: warning: ignoring return value of 'system' declared with attribute 'warn_unused_result' [-Wunused-result] 1141 | (void)system(str1); | ^~~~~~~~~~~~ make[1]: Leaving directory '/builddir/build/BUILD/metamath' make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -c -o mmwtex.o mmwtex.c make[1]: Leaving directory '/builddir/build/BUILD/metamath' mmwtex.c: In function 'printTexComment': mmwtex.c:2170:18: warning: comparison is always false due to limited range of data type [-Wtype-limits] 2170 | if (mode == -1) { /* Math mode */ | ^~ make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DINLINE=inline -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 -DINLINE=inline -fwrapv -Wall -Wextra -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 metamath metamath.o mmcmdl.o mmcmds.o mmdata.o mmhlpa.o mmhlpb.o mminou.o mmmaci.o mmpars.o mmpfas.o mmunif.o mmutil.o mmveri.o mmvstr.o mmword.o mmwtex.o make[1]: Leaving directory '/builddir/build/BUILD/metamath' + touch metamath.ind + pdflatex -interaction=batchmode metamath This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. kpathsea: Running mktexfmt pdflatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2022/texmf-config/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.texlive2022/texmf-var/web2c mktexfmt [INFO]: --- remaking pdflatex with pdftex mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (INITEX) restricted \write18 enabled. (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) entering extended mode (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini (/usr/share/texlive/texmf-dist/tex/generic/tex-ini-files/pdftexconfig.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) ./texsys.aux found \@currdir set to: ./. Assuming \openin and \input have the same search path. Defining UNIX/DOS style filename parser. catcodes, registers, parameters, LaTeX2e <2022-06-01> patch level 5 (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.ltx (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3-code.tex)) hacks, document commands, control, par, spacing, files, font encodings, lengths, ==================================== Local config file fonttext.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) ==================================== Local config file fontmath.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) ==================================== Local config file preload.cfg used ===================================== (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, environments, center, verbatim, math definitions, boxes, title, sectioning, contents, floats, footnotes, index, bibliography, output, =========================================== Local configuration file hyphen.cfg used =========================================== (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) (/usr/share/texlive/texmf-dist/tex/generic/pdftex/glyphtounicode.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu)) (/usr/share/texlive/texmf-dist/tex/latex/firstaid/latex2e-first-aid-for-externa l-files.ltx) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2023.3.14) 21874 strings of total length 407190 1847979 memory locations dumped; current usage is 204&343533 20160 multiletter control sequences \font\nullfont=nullfont \font\c__fp_exp_intarray=cmr10 at 0.00002pt \font\c__fp_trig_intarray=cmr10 at 0.00003pt \font\c_initex_cctab=cmr10 at 0.00005pt \font\c_other_cctab=cmr10 at 0.00006pt \font\c_str_cctab=cmr10 at 0.00008pt \font\g__regex_state_active_intarray=cmr10 at 0.00009pt \font\g__regex_thread_info_intarray=cmr10 at 0.0001pt \font\g__regex_submatch_prev_intarray=cmr10 at 0.00012pt \font\g__regex_submatch_begin_intarray=cmr10 at 0.00014pt \font\g__regex_submatch_end_intarray=cmr10 at 0.00015pt \font\g__regex_submatch_case_intarray=cmr10 at 0.00017pt \font\g__regex_balance_intarray=cmr10 at 0.00018pt \font\g__codepoint_uppercase_index_intarray=cmr10 at 0.0002pt \font\g__codepoint_lowercase_index_intarray=cmr10 at 0.00021pt \font\g__codepoint_uppercase_blocks_intarray=cmr10 at 0.00023pt \font\g__codepoint_lowercase_blocks_intarray=cmr10 at 0.00024pt \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 \font\c_code_cctab=cmr10 at 0.00026pt \font\c_document_cctab=cmr10 at 0.00027pt 512280 words of font info for 32 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: log file copied to: /builddir/.texlive2022/texmf-var/web2c/pdftex/pdflatex.log mktexfmt [INFO]: /builddir/.texlive2022/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: successfully rebuilt formats: 1 mktexfmt [INFO]: not selected formats: 19 mktexfmt [INFO]: total formats: 20 mktexfmt [INFO]: ************************************************************* * * * WARNING: you are switching to fmtutil's per-user formats. * * Please read the following warnings! * * * ************************************************************* You have run fmtutil-user (as opposed to fmtutil-sys) for the first time; this has created format files which are local to your personal account. From now on, any changes in system formats will *not* be automatically reflected in your files; furthermore, running fmtutil-sys will no longer have any effect for you. As a consequence, you yourself have to rerun fmtutil-user after any change in the system directories. For example, when one of the LaTeX or other format source files changes, which happens frequently. See https://tug.org/texlive/scripts-sys-user.html for details. If you want to undo this, remove the files mentioned above. Run mktexfmt --help for full documentation of fmtutil. mktexfmt [INFO]: exiting with status 0 entering extended mode + pdflatex -interaction=batchmode metamath This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode + bibtex metamath This is BibTeX, Version 0.99d (TeX Live 2022) The top-level auxiliary file: metamath.aux The style file: plain.bst Database file #1: metamath.bib Warning--empty journal in CarneiroND Warning--empty journal in Knill Warning--empty publisher in Clemente Warning--empty journal in Schmidt Warning--empty journal in Wiedijk-revisited (There were 5 warnings) + makeindex metamath.idx This is makeindex, version 2.16 [TeX Live 2022] (kpathsea + Thai support). Scanning input file metamath.idx.....done (1591 entries accepted, 0 rejected). Sorting entries................done (18500 comparisons). Generating output file metamath.ind.....done (930 lines written, 0 warnings). Output written in metamath.ind. Transcript written in metamath.ilg. + pdflatex -interaction=batchmode metamath This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode + pdflatex -interaction=batchmode metamath This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode + pdflatex -interaction=batchmode metamath This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.h4T0uy + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64 ++ dirname /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/metamath-0.198-4.fc38.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 -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 -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-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 -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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 metamath + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64 'INSTALL=/usr/bin/install -p' make[1]: Entering directory '/builddir/build/BUILD/metamath' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/bin' /usr/bin/install -p metamath '/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/bin' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/metamath' /usr/bin/install -p -m 644 big-unifier.mm demo0.mm miu.mm peano.mm ql.mm set.mm '/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/metamath' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/man/man1' /usr/bin/install -p -m 644 metamath.1 '/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/man/man1' make[1]: Leaving directory '/builddir/build/BUILD/metamath' + cp -p big-unifier.mm demo0.mm hol.mm iset.mm miu.mm nf.mm peano.mm ql.mm set.mm /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/metamath + mkdir -p /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/doc/metamath + cp -p metamath.pdf /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/doc/metamath + /usr/bin/find-debuginfo -j4 --strict-build-id -m -i --build-id-seed 0.198-4.fc38 --unique-debug-suffix -0.198-4.fc38.riscv64 --unique-debug-src-base metamath-0.198-4.fc38.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/metamath extracting debug info from /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/bin/metamath original debug info size: 4772kB, size after compression: 4692kB /usr/bin/sepdebugcrcfix: Updated 1 CRC32s, 0 CRC32s did match. 3819 blocks + /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 -j4 + /usr/lib/rpm/redhat/brp-python-hardlink Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.Mxctlo + 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 -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 -I/usr/lib64/gfortran/modules ' + export FFLAGS + FCFLAGS='-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 -I/usr/lib64/gfortran/modules ' + export FCFLAGS + VALAFLAGS=-g + export VALAFLAGS + 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 metamath + for fil in *.mm + run_verify big-unifier.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "big-unifier.mm"... 21721 bytes 21721 bytes were read into the source buffer. The source has 29 statements; 4 are $a and 2 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 0.07 s. MM> + for fil in *.mm + run_verify demo0.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "demo0.mm"... 1364 bytes 1364 bytes were read into the source buffer. The source has 19 statements; 7 are $a and 1 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 0.00 s. MM> + for fil in *.mm + run_verify hol.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "hol.mm"... 87294 bytes 87294 bytes were read into the source buffer. The source has 936 statements; 71 are $a and 138 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 0.05 s. MM> + for fil in *.mm + run_verify iset.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "iset.mm"... 4653282 bytes 4653282 bytes were read into the source buffer. The source has 31955 statements; 468 are $a and 9097 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 3.25 s. MM> + for fil in *.mm + run_verify miu.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "miu.mm"... 4660 bytes 4660 bytes were read into the source buffer. The source has 27 statements; 10 are $a and 1 are $p. SET EMPTY_SUBSTITUTION was turned ON (allowed) for this database. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 0.00 s. MM> Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> + for fil in *.mm + run_verify nf.mm + ./metamath Reading source file "nf.mm"... 2977364 bytes 2977364 bytes were read into the source buffer. The source has 24967 statements; 363 are $a and 5966 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 2.02 s. MM> + for fil in *.mm + run_verify peano.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "peano.mm"... 27968 bytes 27968 bytes were read into the source buffer. The source has 120 statements; 48 are $a and 0 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 0.00 s. MM> + for fil in *.mm + run_verify ql.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "ql.mm"... 572529 bytes 572529 bytes were read into the source buffer. The source has 2768 statements; 77 are $a and 1138 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 0.49 s. MM> + for fil in *.mm + run_verify set.mm + ./metamath Metamath - Version 0.198 7-Aug-2021 Type HELP for help, EXIT to exit. MM> Reading source file "set.mm"... 43203944 bytes 43203944 bytes were read into the source buffer. The source has 201862 statements; 2709 are $a and 39597 are $p. No errors were found. However, proofs were not checked. Type VERIFY PROOF * if you want to check them. MM> Continuous scrolling is now in effect. MM> 0 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% .................................................. All proofs in the database were verified in 45.14 s. MM> + RPM_EC=0 ++ jobs -p + exit 0 Processing files: metamath-0.198-4.fc38.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.d87gr1 + umask 022 + cd /builddir/build/BUILD + cd metamath + DOCDIR=/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/doc/metamath + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/doc/metamath + cp -pr README.TXT /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/doc/metamath + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.LKcAXb + umask 022 + cd /builddir/build/BUILD + cd metamath + LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/licenses/metamath + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/licenses/metamath + cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/licenses/metamath + RPM_EC=0 ++ jobs -p + exit 0 Provides: metamath = 0.198-4.fc38 metamath(riscv-64) = 0.198-4.fc38 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) rtld(GNU_HASH) Suggests: rlwrap Processing files: metamath-theories-0.198-4.fc38.noarch Provides: metamath-theories = 0.198-4.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: metamath-doc-0.198-4.fc38.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ifQUC4 + umask 022 + cd /builddir/build/BUILD + cd metamath + LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/licenses/metamath-doc + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/licenses/metamath-doc + cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64/usr/share/licenses/metamath-doc + RPM_EC=0 ++ jobs -p + exit 0 Provides: metamath-doc = 0.198-4.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: metamath-debugsource-0.198-4.fc38.riscv64 Provides: metamath-debugsource = 0.198-4.fc38 metamath-debugsource(riscv-64) = 0.198-4.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: metamath-debuginfo-0.198-4.fc38.riscv64 Provides: debuginfo(build-id) = f8c4d5652aa01840ea19456de915b4e0ca1432b6 metamath-debuginfo = 0.198-4.fc38 metamath-debuginfo(riscv-64) = 0.198-4.fc38 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: metamath-debugsource(riscv-64) = 0.198-4.fc38 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64 Wrote: /builddir/build/RPMS/metamath-doc-0.198-4.fc38.noarch.rpm Wrote: /builddir/build/RPMS/metamath-0.198-4.fc38.riscv64.rpm Wrote: /builddir/build/RPMS/metamath-debuginfo-0.198-4.fc38.riscv64.rpm Wrote: /builddir/build/RPMS/metamath-debugsource-0.198-4.fc38.riscv64.rpm Wrote: /builddir/build/RPMS/metamath-theories-0.198-4.fc38.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.XA8w3l + umask 022 + cd /builddir/build/BUILD + cd metamath + /usr/bin/rm -rf /builddir/build/BUILDROOT/metamath-0.198-4.fc38.riscv64 + RPM_EC=0 ++ jobs -p + exit 0 Executing(rmbuild): /bin/sh -e /var/tmp/rpm-tmp.ZK5uWb + umask 022 + cd /builddir/build/BUILD + rm -rf metamath metamath.gemspec + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0