From 86360921e7d299c1e20c0adc5d382f70b64b822f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 9 Dec 2008 11:57:17 -0500 Subject: Building an application --- doc/manual.tex | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'doc/manual.tex') 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} -- cgit v1.2.3