diff doc/manual.tex @ 1095:bed675db3aff

Dynamic linking of the runtime system
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 13:18:32 -0500
parents f1647f16097d
children 118ab9641a64
line wrap: on
line diff
--- a/doc/manual.tex	Sun Dec 27 10:37:24 2009 -0500
+++ b/doc/manual.tex	Sun Dec 27 13:18:32 2009 -0500
@@ -242,6 +242,8 @@
   \end{itemize}
 
 \item \texttt{-sql FILENAME}: Set where a database set-up SQL script is written.
+
+\item \texttt{-static}: Link the runtime system statically.  The default is to link against dynamic libraries.
 \end{itemize}