+ exec + rm -rf /rpmbuild + mkdir -p /rpmbuild + su -c 'rpmbuild -ba /builddir/build/SPECS/metamath.spec --define "debug_package %{nil}" --undefine _annotated_build --define "_missing_doc_files_terminate_build %{nil}" --define "_emacs_sitestartdir /usr/share/emacs/site-lisp/site-start.d" --define "_emacs_sitelispdir /usr/share/emacs/site-lisp" --nocheck ' mockbuild Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.TYxI28 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf metamath + /usr/bin/bzip2 -dc /builddir/build/SOURCES/metamath.tar.bz2 + /usr/bin/tar -xof - + 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 . + rm metamath.exe + sed -i '/Try to optimize/,/^$/d' configure.ac + autoreconf -fi configure.ac:13: installing './compile' configure.ac:9: installing './install-sh' configure.ac:9: installing './missing' Makefile.am: installing './depcomp' + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.ZzNUlG + umask 022 + cd /builddir/build/BUILD + cd metamath + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 ' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 ' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' x-specs=/usr/lib/rpm/redhat/redhat-hardened-ld ']' ++ find . -name ltmain.sh + ./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 --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info 'CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv' checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe 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... no checking for 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 we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for stdbool.h that conforms to C99... yes checking for _Bool... yes checking for size_t... yes checking for stdlib.h... (cached) yes checking for GNU libc compatible malloc... yes checking for stdlib.h... (cached) 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 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -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 + make -j4 make all-am make[1]: Entering directory '/builddir/build/BUILD/metamath' gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o metamath.o metamath.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmcmdl.o mmcmdl.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmcmds.o mmcmds.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmdata.o mmdata.c mmdata.c: In function 'getContrib': mmdata.c:3431:45: warning: comparison is always false due to limited range of data type [-Wtype-limits] (vstring)(reviseDateList[stmtNum])) == -1) { ^~ mmdata.c:3436:46: warning: comparison is always false due to limited range of data type [-Wtype-limits] (vstring)(shortenDateList[stmtNum])) == -1) { ^~ mmdata.c:3679:51: warning: comparison is always true due to limited range of data type [-Wtype-limits] && compareDates(contribDate, reviseDate) != -1) ^~ mmdata.c:3681:52: warning: comparison is always true due to limited range of data type [-Wtype-limits] && compareDates(contribDate, shortenDate) != -1))) { ^~ mmcmds.c: In function 'verifyMarkup': mmcmds.c:4712:46: warning: comparison is always false due to limited range of data type [-Wtype-limits] if (compareDates(mostRecentDate, str1) == -1) { ^~ metamath.c: In function 'command': metamath.c:998:9: warning: ignoring return value of 'system', declared with attribute warn_unused_result [-Wunused-result] (void)system(str1); ^~~~~~~~~~~~~~~~~~ gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmhlpa.o mmhlpa.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmhlpb.o mmhlpb.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mminou.o mminou.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmmaci.o mmmaci.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmpars.o mmpars.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmpfas.o mmpfas.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmunif.o mmunif.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmutil.o mmutil.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmveri.o mmveri.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmvstr.o mmvstr.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmword.o mmword.c gcc -DHAVE_CONFIG_H -I. -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -c -o mmwtex.o mmwtex.c mmwtex.c: In function 'printTexComment': mmwtex.c:2028:18: warning: comparison is always false due to limited range of data type [-Wtype-limits] if (mode == -1) { /* Math mode */ ^~ gcc -DINLINE=inline -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fwrapv -Wall -Wextra -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -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 metamath This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (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/.cache/texlive/texmf-config/web2c/fmtutil.cnf mktexfmt [WARNING]: double mention of mf/mf-nowin in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt [WARNING]: double mention of tex/tex in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt [INFO]: writing formats under /builddir/.cache/texlive/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.14159265-2.6-1.40.17 (TeX Live 2016) (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, compatibility for TeX 2, parameters, LaTeX2e <2016/03/31> hacks, 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/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/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/babel/switch.def) (/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)) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2018.3.13) 5054 strings of total length 69019 44351 memory locations dumped; current usage is 144&43759 3399 multiletter control sequences \font\nullfont=nullfont \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 3633 words of font info for 14 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]: /builddir/.cache/texlive/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: Disabled formats: 32 mktexfmt [INFO]: Successfully rebuilt formats: 1 mktexfmt [INFO]: Not selected formats: 15 mktexfmt [INFO]: Total formats: 48 mktexfmt [INFO]: exiting with status 0 entering extended mode (./metamath.tex LaTeX2e <2016/03/31> Babel <3.9r> and hyphenation patterns for 3 language(s) loaded. LaTeX Warning: Writing file `./realref.sty'. LaTeX Warning: Writing file `./metamath.bib'. (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls Document Class: book 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo) (/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (./realref.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/anysize/anysize.sty document style option `anysize' loaded Michael Salzenberg, Thomas Esser, Dirk Hillbrecht Version 1.0, Aug 13, 1994 ) Writing index file metamath.idx No file metamath.aux. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) [1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] [3] [4] [5] [6] [7] LaTeX Warning: Citation `Barrow' on page viii undefined on input line 1047. [8] LaTeX Warning: Citation `Davis' on page ix undefined on input line 1072. [9] [10] [11] [12] Chapter 1. LaTeX Warning: Citation `Davis' on page 1 undefined on input line 1203. [1] LaTeX Warning: Citation `Munkres' on page 2 undefined on input line 1288. [2] [3] LaTeX Warning: Citation `Whitehead' on page 4 undefined on input line 1351. [4] LaTeX Warning: Citation `Landau' on page 5 undefined on input line 1388. LaTeX Warning: Citation `Guillen' on page 5 undefined on input line 1394. LaTeX Warning: Citation `Rucker' on page 5 undefined on input line 1426. [5] [6] [7] LaTeX Warning: Citation `Solow' on page 8 undefined on input line 1546. [8] [9] [10] [11] LaTeX Warning: Citation `Davis' on page 12 undefined on input line 1765. [12] [13] LaTeX Warning: Citation `Edwards' on page 14 undefined on input line 1839. LaTeX Warning: Citation `Davis' on page 14 undefined on input line 1847. LaTeX Warning: Citation `Wang' on page 14 undefined on input line 1856. LaTeX Warning: Citation `deMillo' on page 14 undefined on input line 1878. [14] LaTeX Warning: Citation `Mathias' on page 15 undefined on input line 1906. LaTeX Warning: Citation `Moore' on page 15 undefined on input line 1922. LaTeX Warning: Citation `Russell' on page 15 undefined on input line 1929. LaTeX Warning: Citation `Davis' on page 15 undefined on input line 1934. [15] LaTeX Warning: Citation `deMillo' on page 16 undefined on input line 1981. [16] LaTeX Warning: Citation `Anderson' on page 17 undefined on input line 2015. LaTeX Warning: Citation `MegillBunder' on page 17 undefined on input line 2015. LaTeX Warning: Citation `Boolos' on page 17 undefined on input line 2017. LaTeX Warning: Citation `Pavicic' on page 17 undefined on input line 2019. LaTeX Warning: Citation `Tymoczko' on page 17 undefined on input line 2036. LaTeX Warning: Citation `Enderton' on page 17 undefined on input line 2049. LaTeX Warning: Citation `Curry' on page 17 undefined on input line 2049. [17] LaTeX Warning: Citation `Kline' on page 18 undefined on input line 2063. LaTeX Warning: Citation `Klinel' on page 18 undefined on input line 2083. [18] [19] LaTeX Warning: Citation `Harrison' on page 20 undefined on input line 2178. LaTeX Warning: Citation `Albers' on page 20 undefined on input line 2203. [20] LaTeX Warning: Citation `Tymoczko' on page 21 undefined on input line 2237. LaTeX Warning: Citation `Swart' on page 21 undefined on input line 2249. [21] LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2282. LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2289. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) LaTeX Warning: Citation `Stark' on page 22 undefined on input line 2305. LaTeX Warning: Citation `Kramer' on page 22 undefined on input line 2308. [22] LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2321. LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2325. LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2336. LaTeX Warning: Citation `Courant' on page 23 undefined on input line 2346. LaTeX Warning: Citation `Swart' on page 23 undefined on input line 2350. LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2352. LaTeX Warning: Citation `PetersonI' on page 23 undefined on input line 2363. LaTeX Warning: Citation `Szpiro' on page 23 undefined on input line 2364. [23] LaTeX Warning: Citation `Wolfram' on page 24 undefined on input line 2393. LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 2422. [24] LaTeX Warning: Citation `Harrison-thesis' on page 25 undefined on input line 24 38. LaTeX Warning: Citation `Tarski' on page 25 undefined on input line 2448. LaTeX Warning: Citation `Chou' on page 25 undefined on input line 2458. LaTeX Warning: Citation `Penrose' on page 25 undefined on input line 2462. LaTeX Warning: Citation `Robinson' on page 25 undefined on input line 2472. [25] LaTeX Warning: Citation `Wos' on page 26 undefined on input line 2514. [26] LaTeX Warning: Citation `Wos' on page 27 undefined on input line 2543. LaTeX Warning: Citation `Megill' on page 27 undefined on input line 2549. LaTeX Warning: Citation `Bledsoe' on page 27 undefined on input line 2557. [27] LaTeX Warning: Citation `Harrison' on page 28 undefined on input line 2592. [28] LaTeX Warning: Citation `Kline' on page 29 undefined on input line 2691. LaTeX Warning: Citation `Behnke' on page 29 undefined on input line 2692. LaTeX Warning: Citation `Shoenfield' on page 29 undefined on input line 2700. [29] LaTeX Warning: Citation `Davis' on page 30 undefined on input line 2712. LaTeX Warning: Citation `PM' on page 30 undefined on input line 2720. LaTeX Warning: Citation `Hindley' on page 30 undefined on input line 2741. LaTeX Warning: Citation `Kalman' on page 30 undefined on input line 2741. LaTeX Warning: Citation `Meredith' on page 30 undefined on input line 2742. LaTeX Warning: Citation `Peterson' on page 30 undefined on input line 2742. LaTeX Warning: Citation `Megill' on page 30 undefined on input line 2750. [30] LaTeX Warning: Citation `Robinson' on page 31 undefined on input line 2762. LaTeX Warning: Citation `Herrlich' on page 31 undefined on input line 2793. LaTeX Warning: Citation `Blass' on page 31 undefined on input line 2793. LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2808. LaTeX Warning: Citation `Monks' on page 31 undefined on input line 2810. LaTeX Warning: Citation `Leblanc' on page 31 undefined on input line 2825. [31] [32] Chapter 2. [33] LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2924. LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2927. LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2928. [34] [35] LaTeX Warning: Citation `Rucker' on page 36 undefined on input line 3065. LaTeX Warning: Citation `Hofstadter' on page 36 undefined on input line 3066. [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] Chapter 3. LaTeX Warning: Citation `Barrow' on page 55 undefined on input line 4041. [55] [56] [57] LaTeX Warning: Citation `CAMeredith' on page 58 undefined on input line 4241. [58] [59] LaTeX Warning: Citation `Hamilton' on page 60 undefined on input line 4374. [60] [61] [62] [63] LaTeX Warning: Citation `Megill' on page 64 undefined on input line 4574. [64] [65] [66] [67] LaTeX Warning: Citation `Takeuti' on page 68 undefined on input line 5034. LaTeX Warning: Citation `Quine' on page 68 undefined on input line 5035. LaTeX Warning: Citation `Bell' on page 68 undefined on input line 5036. LaTeX Warning: Citation `Enderton' on page 68 undefined on input line 5036. [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] LaTeX Warning: Citation `Enderton' on page 84 undefined on input line 6960. [84] [85] LaTeX Warning: Citation `Hamilton' on page 86 undefined on input line 7079. [86] [87] [88] [89] [90] Chapter 4. LaTeX Warning: Citation `Russell2' on page 91 undefined on input line 7344. [91] LaTeX Warning: Citation `deMillo' on page 92 undefined on input line 7403. [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] LaTeX Warning: Citation `Nemeti' on page 105 undefined on input line 8313. LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8314. LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8321. [105] [106] [107] [108] [109] [110] [111] LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined (Font) using `OMS/cmtt/m/n' instead (Font) for symbol `textbraceleft' on input line 8761. [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] LaTeX Warning: Citation `Behnke' on page 124 undefined on input line 9771. [124] LaTeX Warning: Citation `Nemesszeghy' on page 125 undefined on input line 9780. LaTeX Warning: Citation `Lejewski' on page 125 undefined on input line 9796. [125] LaTeX Warning: Citation `Goodstein' on page 126 undefined on input line 9874. LaTeX Warning: Citation `Robinsont' on page 126 undefined on input line 9883. LaTeX Warning: Citation `Quine' on page 126 undefined on input line 9902. [126] [127] [128] Chapter 5. [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] Appendix A. [155] [156] [157] [158] Appendix B. [159] [160] Appendix C. LaTeX Warning: Citation `Campbell' on page 161 undefined on input line 12284. LaTeX Warning: Citation `Munkres' on page 161 undefined on input line 12298. LaTeX Warning: Citation `Tarski1965' on page 161 undefined on input line 12315. [161] [162] [163] LaTeX Warning: Citation `Nemeti' on page 164 undefined on input line 12502. [164] [165] [166] LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12723. LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12724. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd) LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12776. [167] [168] [169] LaTeX Warning: Citation `Tarski1965' on page 170 undefined on input line 12931. [170] LaTeX Warning: Citation `Kalish' on page 171 undefined on input line 12991. LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13004. LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13013. [171] [172] [173] LaTeX Warning: Citation `Takeuti' on page 174 undefined on input line 13252. LaTeX Warning: Citation `Quine' on page 174 undefined on input line 13253. [174] [175] [176] Appendix D. [177] [178] LaTeX Warning: Citation `Hofstadter' on page 179 undefined on input line 13530. [179] [180] No file metamath.bbl. (./metamath.ind) (./metamath.aux) Package rerunfilecheck Warning: File `metamath.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. )pdfTeX warning (dest): name{page.\\page@num.exampleref\040} has been referenc ed but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.frameconvert\040} has been referenc ed but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.tcomment\040} has been referenced b ut does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.htmlmkup\040} has been referenced b ut does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.framelist\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.redeclaration\040} has been referen ced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.spec1chars\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.redeclarationf\040} has been refere nced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.mathcomments\040} has been referenc ed but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.tut1\040} has been referenced but d oes not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.ax1\040} has been referenced but do es not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.dfbr\040} has been referenced but d oes not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.dfopr\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.effectivelybound\040} has been refe renced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.expandom\040} has been referenced b ut does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.dfom\040} has been referenced but d oes not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.dfclel\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.dollardollar\040} has been referenc ed but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.zeroproof\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.treeproof\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.includef\040} has been referenced b ut does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.demo0\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.demoproof\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.nodd\040} has been referenced but d oes not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.envision\040} has been referenced b ut does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.languagespec\040} has been referenc ed but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.using\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.spec\040} has been referenced but d oes not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.poincare\040} has been referenced b ut does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.namespace\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.categoryth\040} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{page.\\page@num.bourbaki\040} has been referenced b ut does not exist, replaced by a fixed one Output written on metamath.pdf (192 pages, 905110 bytes). Transcript written on metamath.log. + pdflatex metamath This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./metamath.tex LaTeX2e <2016/03/31> Babel <3.9r> and hyphenation patterns for 3 language(s) loaded. LaTeX Warning: File `realref.sty' already exists on the system. Not generating it from this source. LaTeX Warning: File `metamath.bib' already exists on the system. Not generating it from this source. (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls Document Class: book 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo) (/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (./realref.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/anysize/anysize.sty document style option `anysize' loaded Michael Salzenberg, Thomas Esser, Dirk Hillbrecht Version 1.0, Aug 13, 1994 ) Writing index file metamath.idx (./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd ftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc [3] LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 88. [4] [5]) [6] [7] [8] [9] LaTeX Warning: Citation `Barrow' on page x undefined on input line 1047. [10] LaTeX Warning: Citation `Davis' on page xi undefined on input line 1072. [11] [12] [13] [14] Chapter 1. LaTeX Warning: Citation `Davis' on page 1 undefined on input line 1203. [1] LaTeX Warning: Citation `Munkres' on page 2 undefined on input line 1288. [2] [3] LaTeX Warning: Citation `Whitehead' on page 4 undefined on input line 1351. [4] LaTeX Warning: Citation `Landau' on page 5 undefined on input line 1388. LaTeX Warning: Citation `Guillen' on page 5 undefined on input line 1394. LaTeX Warning: Citation `Rucker' on page 5 undefined on input line 1426. [5] [6] [7] LaTeX Warning: Citation `Solow' on page 8 undefined on input line 1546. [8] [9] [10] [11] LaTeX Warning: Citation `Davis' on page 12 undefined on input line 1765. [12] [13] LaTeX Warning: Citation `Edwards' on page 14 undefined on input line 1839. LaTeX Warning: Citation `Davis' on page 14 undefined on input line 1847. LaTeX Warning: Citation `Wang' on page 14 undefined on input line 1856. LaTeX Warning: Citation `deMillo' on page 14 undefined on input line 1878. [14] LaTeX Warning: Citation `Mathias' on page 15 undefined on input line 1906. LaTeX Warning: Citation `Moore' on page 15 undefined on input line 1922. LaTeX Warning: Citation `Russell' on page 15 undefined on input line 1929. LaTeX Warning: Citation `Davis' on page 15 undefined on input line 1934. [15] LaTeX Warning: Citation `deMillo' on page 16 undefined on input line 1981. [16] LaTeX Warning: Citation `Anderson' on page 17 undefined on input line 2015. LaTeX Warning: Citation `MegillBunder' on page 17 undefined on input line 2015. LaTeX Warning: Citation `Boolos' on page 17 undefined on input line 2017. LaTeX Warning: Citation `Pavicic' on page 17 undefined on input line 2019. LaTeX Warning: Citation `Tymoczko' on page 17 undefined on input line 2036. LaTeX Warning: Citation `Enderton' on page 17 undefined on input line 2049. LaTeX Warning: Citation `Curry' on page 17 undefined on input line 2049. [17] LaTeX Warning: Citation `Kline' on page 18 undefined on input line 2063. LaTeX Warning: Citation `Klinel' on page 18 undefined on input line 2083. [18] [19] LaTeX Warning: Citation `Harrison' on page 20 undefined on input line 2178. LaTeX Warning: Citation `Albers' on page 20 undefined on input line 2203. [20] LaTeX Warning: Citation `Tymoczko' on page 21 undefined on input line 2237. LaTeX Warning: Citation `Swart' on page 21 undefined on input line 2249. [21] LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2282. LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2289. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) LaTeX Warning: Citation `Stark' on page 22 undefined on input line 2305. LaTeX Warning: Citation `Kramer' on page 22 undefined on input line 2308. [22] LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2321. LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2325. LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2336. LaTeX Warning: Citation `Courant' on page 23 undefined on input line 2346. LaTeX Warning: Citation `Swart' on page 23 undefined on input line 2350. LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2352. [23] LaTeX Warning: Citation `PetersonI' on page 24 undefined on input line 2363. LaTeX Warning: Citation `Szpiro' on page 24 undefined on input line 2364. LaTeX Warning: Citation `Wolfram' on page 24 undefined on input line 2393. [24] LaTeX Warning: Citation `Harrison-thesis' on page 25 undefined on input line 24 38. LaTeX Warning: Citation `Tarski' on page 25 undefined on input line 2448. LaTeX Warning: Citation `Chou' on page 25 undefined on input line 2458. LaTeX Warning: Citation `Penrose' on page 25 undefined on input line 2462. [25] LaTeX Warning: Citation `Robinson' on page 26 undefined on input line 2472. LaTeX Warning: Citation `Wos' on page 26 undefined on input line 2514. [26] LaTeX Warning: Citation `Wos' on page 27 undefined on input line 2543. LaTeX Warning: Citation `Megill' on page 27 undefined on input line 2549. LaTeX Warning: Citation `Bledsoe' on page 27 undefined on input line 2557. [27] LaTeX Warning: Citation `Harrison' on page 28 undefined on input line 2592. [28] [29] LaTeX Warning: Citation `Kline' on page 30 undefined on input line 2691. LaTeX Warning: Citation `Behnke' on page 30 undefined on input line 2692. LaTeX Warning: Citation `Shoenfield' on page 30 undefined on input line 2700. LaTeX Warning: Citation `Davis' on page 30 undefined on input line 2712. LaTeX Warning: Citation `PM' on page 30 undefined on input line 2720. [30] LaTeX Warning: Citation `Hindley' on page 31 undefined on input line 2741. LaTeX Warning: Citation `Kalman' on page 31 undefined on input line 2741. LaTeX Warning: Citation `Meredith' on page 31 undefined on input line 2742. LaTeX Warning: Citation `Peterson' on page 31 undefined on input line 2742. LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2750. LaTeX Warning: Citation `Robinson' on page 31 undefined on input line 2762. LaTeX Warning: Citation `Herrlich' on page 31 undefined on input line 2793. LaTeX Warning: Citation `Blass' on page 31 undefined on input line 2793. LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2808. LaTeX Warning: Citation `Monks' on page 31 undefined on input line 2810. [31] LaTeX Warning: Citation `Leblanc' on page 32 undefined on input line 2825. [32] Chapter 2. [33] LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2924. LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2927. LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2928. [34] [35] LaTeX Warning: Citation `Rucker' on page 36 undefined on input line 3065. LaTeX Warning: Citation `Hofstadter' on page 36 undefined on input line 3066. [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] Chapter 3. LaTeX Warning: Citation `Barrow' on page 55 undefined on input line 4041. [55] [56] [57] LaTeX Warning: Citation `CAMeredith' on page 58 undefined on input line 4241. [58] [59] LaTeX Warning: Citation `Hamilton' on page 60 undefined on input line 4374. [60] [61] [62] [63] LaTeX Warning: Citation `Megill' on page 64 undefined on input line 4574. [64] [65] [66] [67] LaTeX Warning: Citation `Takeuti' on page 68 undefined on input line 5034. LaTeX Warning: Citation `Quine' on page 68 undefined on input line 5035. LaTeX Warning: Citation `Bell' on page 68 undefined on input line 5036. LaTeX Warning: Citation `Enderton' on page 68 undefined on input line 5036. [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] LaTeX Warning: Citation `Enderton' on page 84 undefined on input line 6960. [84] [85] LaTeX Warning: Citation `Hamilton' on page 86 undefined on input line 7079. [86] [87] [88] [89] [90] Chapter 4. LaTeX Warning: Citation `Russell2' on page 91 undefined on input line 7344. [91] LaTeX Warning: Citation `deMillo' on page 92 undefined on input line 7403. [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] LaTeX Warning: Citation `Nemeti' on page 105 undefined on input line 8313. LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8314. LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8321. [105] [106] [107] [108] [109] [110] [111] LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined (Font) using `OMS/cmtt/m/n' instead (Font) for symbol `textbraceleft' on input line 8761. [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] LaTeX Warning: Citation `Behnke' on page 124 undefined on input line 9771. [124] LaTeX Warning: Citation `Nemesszeghy' on page 125 undefined on input line 9780. LaTeX Warning: Citation `Lejewski' on page 125 undefined on input line 9796. [125] LaTeX Warning: Citation `Goodstein' on page 126 undefined on input line 9874. LaTeX Warning: Citation `Robinsont' on page 126 undefined on input line 9883. LaTeX Warning: Citation `Quine' on page 126 undefined on input line 9902. [126] [127] [128] Chapter 5. [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] Appendix A. [155] [156] [157] [158] Appendix B. [159] [160] Appendix C. LaTeX Warning: Citation `Campbell' on page 161 undefined on input line 12284. LaTeX Warning: Citation `Munkres' on page 161 undefined on input line 12298. LaTeX Warning: Citation `Tarski1965' on page 161 undefined on input line 12315. [161] [162] [163] LaTeX Warning: Citation `Nemeti' on page 164 undefined on input line 12502. [164] [165] [166] LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12723. LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12724. [167] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd) LaTeX Warning: Citation `Tarski1965' on page 168 undefined on input line 12776. [168] [169] LaTeX Warning: Citation `Tarski1965' on page 170 undefined on input line 12931. [170] LaTeX Warning: Citation `Kalish' on page 171 undefined on input line 12991. LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13004. LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13013. [171] [172] [173] LaTeX Warning: Citation `Takeuti' on page 174 undefined on input line 13252. LaTeX Warning: Citation `Quine' on page 174 undefined on input line 13253. [174] [175] [176] Appendix D. [177] [178] LaTeX Warning: Citation `Hofstadter' on page 179 undefined on input line 13530. [179] [180] No file metamath.bbl. (./metamath.ind) (./metamath.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) Output written on metamath.pdf (194 pages, 925026 bytes). Transcript written on metamath.log. + bibtex metamath This is BibTeX, Version 0.99d (TeX Live 2016) The top-level auxiliary file: metamath.aux The style file: plain.bst Database file #1: metamath.bib + makeindex metamath.idx This is makeindex, version 2.15 [TeX Live 2016] (kpathsea + Thai support). Scanning input file metamath.idx.....done (1495 entries accepted, 0 rejected). Sorting entries...............done (17619 comparisons). Generating output file metamath.ind.....done (853 lines written, 0 warnings). Output written in metamath.ind. Transcript written in metamath.ilg. + pdflatex metamath This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./metamath.tex LaTeX2e <2016/03/31> Babel <3.9r> and hyphenation patterns for 3 language(s) loaded. LaTeX Warning: File `realref.sty' already exists on the system. Not generating it from this source. LaTeX Warning: File `metamath.bib' already exists on the system. Not generating it from this source. (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls Document Class: book 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo) (/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (./realref.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/anysize/anysize.sty document style option `anysize' loaded Michael Salzenberg, Thomas Esser, Dirk Hillbrecht Version 1.0, Aug 13, 1994 ) Writing index file metamath.idx (./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd ftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc [3] LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 88. [4] [5]) [6] [7] [8] [9] LaTeX Warning: Citation `Barrow' on page x undefined on input line 1047. [10] LaTeX Warning: Citation `Davis' on page xi undefined on input line 1072. [11] [12] [13] [14] Chapter 1. LaTeX Warning: Citation `Davis' on page 1 undefined on input line 1203. [1] LaTeX Warning: Citation `Munkres' on page 2 undefined on input line 1288. [2] [3] LaTeX Warning: Citation `Whitehead' on page 4 undefined on input line 1351. [4] LaTeX Warning: Citation `Landau' on page 5 undefined on input line 1388. LaTeX Warning: Citation `Guillen' on page 5 undefined on input line 1394. LaTeX Warning: Citation `Rucker' on page 5 undefined on input line 1426. [5] [6] [7] LaTeX Warning: Citation `Solow' on page 8 undefined on input line 1546. [8] [9] [10] [11] LaTeX Warning: Citation `Davis' on page 12 undefined on input line 1765. [12] [13] LaTeX Warning: Citation `Edwards' on page 14 undefined on input line 1839. LaTeX Warning: Citation `Davis' on page 14 undefined on input line 1847. LaTeX Warning: Citation `Wang' on page 14 undefined on input line 1856. LaTeX Warning: Citation `deMillo' on page 14 undefined on input line 1878. [14] LaTeX Warning: Citation `Mathias' on page 15 undefined on input line 1906. LaTeX Warning: Citation `Moore' on page 15 undefined on input line 1922. LaTeX Warning: Citation `Russell' on page 15 undefined on input line 1929. LaTeX Warning: Citation `Davis' on page 15 undefined on input line 1934. [15] LaTeX Warning: Citation `deMillo' on page 16 undefined on input line 1981. [16] LaTeX Warning: Citation `Anderson' on page 17 undefined on input line 2015. LaTeX Warning: Citation `MegillBunder' on page 17 undefined on input line 2015. LaTeX Warning: Citation `Boolos' on page 17 undefined on input line 2017. LaTeX Warning: Citation `Pavicic' on page 17 undefined on input line 2019. LaTeX Warning: Citation `Tymoczko' on page 17 undefined on input line 2036. LaTeX Warning: Citation `Enderton' on page 17 undefined on input line 2049. LaTeX Warning: Citation `Curry' on page 17 undefined on input line 2049. [17] LaTeX Warning: Citation `Kline' on page 18 undefined on input line 2063. LaTeX Warning: Citation `Klinel' on page 18 undefined on input line 2083. [18] [19] LaTeX Warning: Citation `Harrison' on page 20 undefined on input line 2178. LaTeX Warning: Citation `Albers' on page 20 undefined on input line 2203. [20] LaTeX Warning: Citation `Tymoczko' on page 21 undefined on input line 2237. LaTeX Warning: Citation `Swart' on page 21 undefined on input line 2249. [21] LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2282. LaTeX Warning: Citation `deMillo' on page 22 undefined on input line 2289. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) LaTeX Warning: Citation `Stark' on page 22 undefined on input line 2305. LaTeX Warning: Citation `Kramer' on page 22 undefined on input line 2308. [22] LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2321. LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2325. LaTeX Warning: Citation `Enderton' on page 23 undefined on input line 2336. LaTeX Warning: Citation `Courant' on page 23 undefined on input line 2346. LaTeX Warning: Citation `Swart' on page 23 undefined on input line 2350. LaTeX Warning: Citation `Davis' on page 23 undefined on input line 2352. [23] LaTeX Warning: Citation `PetersonI' on page 24 undefined on input line 2363. LaTeX Warning: Citation `Szpiro' on page 24 undefined on input line 2364. LaTeX Warning: Citation `Wolfram' on page 24 undefined on input line 2393. [24] LaTeX Warning: Citation `Harrison-thesis' on page 25 undefined on input line 24 38. LaTeX Warning: Citation `Tarski' on page 25 undefined on input line 2448. LaTeX Warning: Citation `Chou' on page 25 undefined on input line 2458. LaTeX Warning: Citation `Penrose' on page 25 undefined on input line 2462. [25] LaTeX Warning: Citation `Robinson' on page 26 undefined on input line 2472. LaTeX Warning: Citation `Wos' on page 26 undefined on input line 2514. [26] LaTeX Warning: Citation `Wos' on page 27 undefined on input line 2543. LaTeX Warning: Citation `Megill' on page 27 undefined on input line 2549. LaTeX Warning: Citation `Bledsoe' on page 27 undefined on input line 2557. [27] LaTeX Warning: Citation `Harrison' on page 28 undefined on input line 2592. [28] [29] LaTeX Warning: Citation `Kline' on page 30 undefined on input line 2691. LaTeX Warning: Citation `Behnke' on page 30 undefined on input line 2692. LaTeX Warning: Citation `Shoenfield' on page 30 undefined on input line 2700. LaTeX Warning: Citation `Davis' on page 30 undefined on input line 2712. LaTeX Warning: Citation `PM' on page 30 undefined on input line 2720. [30] LaTeX Warning: Citation `Hindley' on page 31 undefined on input line 2741. LaTeX Warning: Citation `Kalman' on page 31 undefined on input line 2741. LaTeX Warning: Citation `Meredith' on page 31 undefined on input line 2742. LaTeX Warning: Citation `Peterson' on page 31 undefined on input line 2742. LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2750. LaTeX Warning: Citation `Robinson' on page 31 undefined on input line 2762. LaTeX Warning: Citation `Herrlich' on page 31 undefined on input line 2793. LaTeX Warning: Citation `Blass' on page 31 undefined on input line 2793. LaTeX Warning: Citation `Megill' on page 31 undefined on input line 2808. LaTeX Warning: Citation `Monks' on page 31 undefined on input line 2810. [31] LaTeX Warning: Citation `Leblanc' on page 32 undefined on input line 2825. [32] Chapter 2. [33] LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2924. LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2927. LaTeX Warning: Citation `Mendelson' on page 34 undefined on input line 2928. [34] [35] LaTeX Warning: Citation `Rucker' on page 36 undefined on input line 3065. LaTeX Warning: Citation `Hofstadter' on page 36 undefined on input line 3066. [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] Chapter 3. LaTeX Warning: Citation `Barrow' on page 55 undefined on input line 4041. [55] [56] [57] LaTeX Warning: Citation `CAMeredith' on page 58 undefined on input line 4241. [58] [59] LaTeX Warning: Citation `Hamilton' on page 60 undefined on input line 4374. [60] [61] [62] [63] LaTeX Warning: Citation `Megill' on page 64 undefined on input line 4574. [64] [65] [66] [67] LaTeX Warning: Citation `Takeuti' on page 68 undefined on input line 5034. LaTeX Warning: Citation `Quine' on page 68 undefined on input line 5035. LaTeX Warning: Citation `Bell' on page 68 undefined on input line 5036. LaTeX Warning: Citation `Enderton' on page 68 undefined on input line 5036. [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] LaTeX Warning: Citation `Enderton' on page 84 undefined on input line 6960. [84] [85] LaTeX Warning: Citation `Hamilton' on page 86 undefined on input line 7079. [86] [87] [88] [89] [90] Chapter 4. LaTeX Warning: Citation `Russell2' on page 91 undefined on input line 7344. [91] LaTeX Warning: Citation `deMillo' on page 92 undefined on input line 7403. [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] LaTeX Warning: Citation `Nemeti' on page 105 undefined on input line 8313. LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8314. LaTeX Warning: Citation `Megill' on page 105 undefined on input line 8321. [105] [106] [107] [108] [109] [110] [111] LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined (Font) using `OMS/cmtt/m/n' instead (Font) for symbol `textbraceleft' on input line 8761. [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] LaTeX Warning: Citation `Behnke' on page 124 undefined on input line 9771. [124] LaTeX Warning: Citation `Nemesszeghy' on page 125 undefined on input line 9780. LaTeX Warning: Citation `Lejewski' on page 125 undefined on input line 9796. [125] LaTeX Warning: Citation `Goodstein' on page 126 undefined on input line 9874. LaTeX Warning: Citation `Robinsont' on page 126 undefined on input line 9883. LaTeX Warning: Citation `Quine' on page 126 undefined on input line 9902. [126] [127] [128] Chapter 5. [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] Appendix A. [155] [156] [157] [158] Appendix B. [159] [160] Appendix C. LaTeX Warning: Citation `Campbell' on page 161 undefined on input line 12284. LaTeX Warning: Citation `Munkres' on page 161 undefined on input line 12298. LaTeX Warning: Citation `Tarski1965' on page 161 undefined on input line 12315. [161] [162] [163] LaTeX Warning: Citation `Nemeti' on page 164 undefined on input line 12502. [164] [165] [166] LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12723. LaTeX Warning: Citation `Tarski1965' on page 167 undefined on input line 12724. [167] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd) LaTeX Warning: Citation `Tarski1965' on page 168 undefined on input line 12776. [168] [169] LaTeX Warning: Citation `Tarski1965' on page 170 undefined on input line 12931. [170] LaTeX Warning: Citation `Kalish' on page 171 undefined on input line 12991. LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13004. LaTeX Warning: Citation `Megill' on page 171 undefined on input line 13013. [171] [172] [173] LaTeX Warning: Citation `Takeuti' on page 174 undefined on input line 13252. LaTeX Warning: Citation `Quine' on page 174 undefined on input line 13253. [174] [175] [176] Appendix D. [177] [178] LaTeX Warning: Citation `Hofstadter' on page 179 undefined on input line 13530. [179] [180] (./metamath.bbl [181] [182] [183] [184] [185]) [186] (./metamath.ind [187] [188] [189] [190] [191] [192] [193] [194] [195]) (./metamath.aux) Package rerunfilecheck Warning: File `metamath.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) Output written on metamath.pdf (209 pages, 998201 bytes). Transcript written on metamath.log. + pdflatex metamath This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./metamath.tex LaTeX2e <2016/03/31> Babel <3.9r> and hyphenation patterns for 3 language(s) loaded. LaTeX Warning: File `realref.sty' already exists on the system. Not generating it from this source. LaTeX Warning: File `metamath.bib' already exists on the system. Not generating it from this source. (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls Document Class: book 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo) (/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (./realref.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/anysize/anysize.sty document style option `anysize' loaded Michael Salzenberg, Thomas Esser, Dirk Hillbrecht Version 1.0, Aug 13, 1994 ) Writing index file metamath.idx (./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd ftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc [3] LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 88. [4] [5] [6]) [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] Chapter 1. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] Chapter 2. [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] Chapter 3. [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] Chapter 4. [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined (Font) using `OMS/cmtt/m/n' instead (Font) for symbol `textbraceleft' on input line 8761. [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] Chapter 5. [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] Appendix A. [155] [156] [157] [158] Appendix B. [159] [160] Appendix C. [161] [162] [163] [164] [165] [166] [167] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd) [168] [169] [170] [171] [172] [173] [174] [175] [176] Appendix D. [177] [178] [179] [180] (./metamath.bbl [181] [182] [183] [184] [185]) [186] (./metamath.ind [187] [188] [189] [190] [191] [192] [193] [194] [195]) (./metamath.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) Output written on metamath.pdf (211 pages, 994410 bytes). Transcript written on metamath.log. + pdflatex metamath This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./metamath.tex LaTeX2e <2016/03/31> Babel <3.9r> and hyphenation patterns for 3 language(s) loaded. LaTeX Warning: File `realref.sty' already exists on the system. Not generating it from this source. LaTeX Warning: File `metamath.bib' already exists on the system. Not generating it from this source. (/usr/share/texlive/texmf-dist/tex/latex/base/book.cls Document Class: book 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/leqno.clo) (/usr/share/texlive/texmf-dist/tex/latex/base/bk10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (./realref.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/anysize/anysize.sty document style option `anysize' loaded Michael Salzenberg, Thomas Esser, Dirk Hillbrecht Version 1.0, Aug 13, 1994 ) Writing index file metamath.idx (./metamath.aux) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./metamath.out) (./metamath.out) [1{/usr/share/texlive/texmf-dist/fonts/map/pd ftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) [2] (./metamath.toc [3] LaTeX Font Warning: Font shape `OMS/cmtt/m/n' undefined (Font) using `OMS/cmsy/m/n' instead (Font) for symbol `textbraceleft' on input line 88. [4] [5] [6]) [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] Chapter 1. [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] Chapter 2. [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] Chapter 3. [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] Chapter 4. [91] [92] [93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109] [110] [111] LaTeX Font Warning: Font shape `OMS/cmtt/bx/n' undefined (Font) using `OMS/cmtt/m/n' instead (Font) for symbol `textbraceleft' on input line 8761. [112] [113] [114] [115] [116] [117] [118] [119] [120] [121] [122] [123] [124] [125] [126] [127] [128] Chapter 5. [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] Appendix A. [155] [156] [157] [158] Appendix B. [159] [160] Appendix C. [161] [162] [163] [164] [165] [166] [167] (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/ueuf.fd) [168] [169] [170] [171] [172] [173] [174] [175] [176] Appendix D. [177] [178] [179] [180] (./metamath.bbl [181] [182] [183] [184] [185]) [186] (./metamath.ind [187] [188] [189] [190] [191] [192] [193] [194] [195]) (./metamath.aux) LaTeX Font Warning: Some font shapes were not available, defaults substituted. ) Output written on metamath.pdf (211 pages, 994419 bytes). Transcript written on metamath.log. + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.R9zmCZ + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64 ++ dirname /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64 + cd metamath + /usr/bin/make install DESTDIR=/builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64 'INSTALL=/usr/bin/install -p' make[1]: Entering directory '/builddir/build/BUILD/metamath' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/bin' /usr/bin/install -p metamath '/builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/bin' /usr/bin/mkdir -p '/builddir/build/BUILDROOT/metamath-0.160-1.fc28.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.160-1.fc28.riscv64/usr/share/metamath' 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.160-1.fc28.riscv64/usr/share/metamath + mkdir -p /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/doc/metamath + cp -p metamath.pdf /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/doc/metamath + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: metamath-0.160-1.fc28.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.0V5jHy + umask 022 + cd /builddir/build/BUILD + cd metamath + DOCDIR=/builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/doc/metamath + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/doc/metamath + cp -pr README.TXT /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/doc/metamath + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.9JACpq + umask 022 + cd /builddir/build/BUILD + cd metamath + LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/licenses/metamath + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/licenses/metamath + cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/licenses/metamath + exit 0 Provides: metamath = 0.160-1.fc28 metamath(riscv-64) = 0.160-1.fc28 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) rtld(GNU_HASH) Suggests: rlwrap Processing files: metamath-theories-0.160-1.fc28.noarch Provides: metamath-theories = 0.160-1.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: metamath-doc-0.160-1.fc28.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.DqheZx + umask 022 + cd /builddir/build/BUILD + cd metamath + LICENSEDIR=/builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/licenses/metamath-doc + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/licenses/metamath-doc + cp -pr LICENSE.TXT /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64/usr/share/licenses/metamath-doc + exit 0 Provides: metamath-doc = 0.160-1.fc28 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64 Wrote: /builddir/build/SRPMS/metamath-0.160-1.fc28.src.rpm Wrote: /builddir/build/RPMS/riscv64/metamath-0.160-1.fc28.riscv64.rpm Wrote: /builddir/build/RPMS/noarch/metamath-theories-0.160-1.fc28.noarch.rpm Wrote: /builddir/build/RPMS/noarch/metamath-doc-0.160-1.fc28.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.sg7SKE + umask 022 + cd /builddir/build/BUILD + cd metamath + /usr/bin/rm -rf /builddir/build/BUILDROOT/metamath-0.160-1.fc28.riscv64 + exit 0 + touch /buildok + cleanup + set +e + sync + sleep 5 + sync + poweroff Terminated ++ cleanup ++ set +e ++ sync Terminated +++ cleanup +++ set +e +++ sync +++ sleep 5 +++ sync +++ poweroff