THEOREM LINKER
v0.8Version 0.8 of the Theorem Linker has been updated with the following:
- Built-in document styles(article, letter, report, etc.) are no longer searched for theorem definitions.
- When a syntactical error is found, Theorem Linker will notify the user instead of simply closing.
- Both \input{anexamplepaper.tex} and \input{anexamplepaper} will find the file named "anexamplepaper.tex"
Download version 0.8
Hi,
ReplyDeleteI tried running make (on a Mac) and got this warning:
thmlink.c:87:7: warning: '__builtin___strncpy_chk' will always overflow
destination buffer [-Wbuiltin-memcpy-chk-size]
strncpy(theorems[thmCount].type,thmTypes[t].word, BUF_SIZE);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/usr/include/secure/_string.h:119:3: note: expanded from macro 'strncpy'
__builtin___strncpy_chk (dest, src, len, __darwin_obsz (dest))
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Then when I tried to run it on this file:
\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{proposition}[theorem]{Proposition}
\begin{document}
\begin{theorem}
Blah
\end{theorem}
\begin{proof}
This is a corollary of Lemma \ref{lem:firstlemma}.
\end{proof}
\begin{lemma}\label{lem:firstlemma}
Foo
\end{lemma}
\begin{proof}
obvious.
\end{proof}
\end{document}
I got an error:
Abort trap: 6.
Any ideas?