summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-12-09 11:57:17 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-12-09 11:57:17 -0500
commit86360921e7d299c1e20c0adc5d382f70b64b822f (patch)
treed7029dc886cd869987d6fadc89f06567c070298e
parent5bb4dcc90dc61ef431539e049b160e2971cf4621 (diff)
Building an application
-rw-r--r--doc/manual.tex12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 141c4b45..9255fc87 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -128,6 +128,18 @@ For each entry \texttt{M} in the module list, the file \texttt{M.urs} is include
A few other named directives are supported. \texttt{prefix PREFIX} sets the prefix included before every URI within the generated application; the default is \texttt{/}. \texttt{exe FILENAME} sets the filename to which to write the output executable; the default for file \texttt{P.urp} is \texttt{P.exe}. \texttt{debug} saves some intermediate C files, which is mostly useful to help in debugging the compiler itself. \texttt{profile} generates an executable that may be used with gprof.
+\subsection{Building an Application}
+
+To compile project \texttt{P.urp}, simply run
+\begin{verbatim}
+urweb P
+\end{verbatim}
+
+To time how long the different compiler phases run, without generating an executable, run
+\begin{verbatim}
+urweb -timing P
+\end{verbatim}
+
\section{Ur Syntax}