# HG changeset patch # User Adam Chlipala # Date 1381428079 14400 # Node ID c44bfaa69dd86f51cb30548ab6513bf796dda089 # Parent 11d8e220f36fa589d0fb3ef1447f35ff1ccd470e Manual entries for -ccompiler and -print-ccompiler diff -r 11d8e220f36f -r c44bfaa69dd8 doc/manual.tex --- a/doc/manual.tex Mon Oct 07 14:07:31 2013 +0400 +++ b/doc/manual.tex Thu Oct 10 14:01:19 2013 -0400 @@ -231,6 +231,8 @@ \begin{itemize} \item \texttt{-boot}: Run Ur/Web from a build tree (and not from a system install). This is useful if you're testing the compiler and don't want to install it. It forces generation of statically linked executables. +\item \texttt{-ccompiler }: Select an alternative C compiler to call with command lines in compiling Ur/Web applications. (It's possible to set the default compiler as part of the \texttt{configure} process, but it may sometimes be useful to override the default.) + \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. \item \texttt{-dbms [postgres|mysql|sqlite]}: Sets the database backend to use. @@ -271,6 +273,8 @@ \item \texttt{-prefix PREFIX}: Equivalent to the \texttt{prefix} directive from \texttt{.urp} files +\item \texttt{-print-ccompiler}: Print the C compiler being used. + \item \texttt{-protocol [http|cgi|fastcgi|static]}: Set the protocol that the generated application speaks. \begin{itemize} \item \texttt{http}: This is the default. It is for building standalone web servers that can be accessed by web browsers directly.