From 07d56b08d87a7453fcd5b192532fcceac86c27cc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 24 Dec 2009 10:02:48 -0500 Subject: -tc flag --- doc/manual.tex | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc') diff --git a/doc/manual.tex b/doc/manual.tex index 11d1b2d9..25c5d9b6 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -168,6 +168,11 @@ To time how long the different compiler phases run, without generating an execut urweb -timing P \end{verbatim} +To stop the compilation process after type-checking, run +\begin{verbatim} +urweb -tc P +\end{verbatim} + Some other command-line parameters are accepted: \begin{itemize} \item \texttt{-db }: Set database connection information, using the format expected by Postgres's \texttt{PQconnectdb()}, which is \texttt{name1=value1 ... nameN=valueN}. The same format is also parsed and used to discover connection parameters for MySQL and SQLite. The only significant settings for MySQL are \texttt{host}, \texttt{hostaddr}, \texttt{port}, \texttt{dbname}, \texttt{user}, and \texttt{password}. The only significant setting for SQLite is \texttt{dbname}, which is interpreted as the filesystem path to the database. Additionally, when using SQLite, a database string may be just a file path. -- cgit v1.2.3