From b48ce374b66b0bf243aa54aca91b8de3cba4cfc9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 10 Oct 2013 14:01:19 -0400 Subject: Manual entries for -ccompiler and -print-ccompiler --- doc/manual.tex | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc/manual.tex') diff --git a/doc/manual.tex b/doc/manual.tex index 8acba6d2..5ecf123e 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -231,6 +231,8 @@ Some other command-line parameters are accepted: \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 @@ sqlite3 path/to/database/file