Mercurial > urweb
comparison doc/manual.tex @ 1693:27d68ccb2c9e
New release
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 10 Mar 2012 13:13:15 -0500 |
parents | 8c2e8d41a8f2 |
children | 3320eba6bad5 |
comparison
equal
deleted
inserted
replaced
1692:a1a1d66aebac | 1693:27d68ccb2c9e |
---|---|
236 \begin{verbatim} | 236 \begin{verbatim} |
237 sqlite3 path/to/database/file <app.sql | 237 sqlite3 path/to/database/file <app.sql |
238 \end{verbatim} | 238 \end{verbatim} |
239 \end{itemize} | 239 \end{itemize} |
240 | 240 |
241 \item \texttt{-dumpSource}: When compilation fails, output to stderr the complete source code of the last intermediate program before the compilation phase that signaled the error. (Warning: these outputs can be very long and aren't especially optimized for readability!) | |
242 | |
241 \item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files | 243 \item \texttt{-limit class num}: Equivalent to the \texttt{limit} directive from \texttt{.urp} files |
242 | 244 |
243 \item \texttt{-output FILENAME}: Set where the application executable is written. | 245 \item \texttt{-output FILENAME}: Set where the application executable is written. |
244 | 246 |
245 \item \texttt{-path NAME VALUE}: Set the value of path variable \texttt{\$NAME} to \texttt{VALUE}, for use in \texttt{.urp} files. | 247 \item \texttt{-path NAME VALUE}: Set the value of path variable \texttt{\$NAME} to \texttt{VALUE}, for use in \texttt{.urp} files. |