comparison 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
comparison
equal deleted inserted replaced
1094:db52c32dbe42 1095:bed675db3aff
240 240
241 A FastCGI process reads the environment variable \texttt{URWEB\_NUM\_THREADS} to determine how many threads to spawn for handling client requests. The default is 1. 241 A FastCGI process reads the environment variable \texttt{URWEB\_NUM\_THREADS} to determine how many threads to spawn for handling client requests. The default is 1.
242 \end{itemize} 242 \end{itemize}
243 243
244 \item \texttt{-sql FILENAME}: Set where a database set-up SQL script is written. 244 \item \texttt{-sql FILENAME}: Set where a database set-up SQL script is written.
245
246 \item \texttt{-static}: Link the runtime system statically. The default is to link against dynamic libraries.
245 \end{itemize} 247 \end{itemize}
246 248
247 249
248 \section{Ur Syntax} 250 \section{Ur Syntax}
249 251