Mercurial > urweb

comparison doc/manual.tex @ 557:0d3db8d6a586

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Building an application
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Dec 2008 11:57:17 -0500
parents 5703a2ad5221
children 390cba747188
comparison
equal deleted inserted replaced
556:5703a2ad5221 557:0d3db8d6a586
125 A blank line always separates the named directives from a list of modules to include in the project; if there are no named directives, a blank line must begin the file. 125 A blank line always separates the named directives from a list of modules to include in the project; if there are no named directives, a blank line must begin the file.
126 126
127 For each entry \texttt{M} in the module list, the file \texttt{M.urs} is included in the project if it exists, and the file \texttt{M.ur} must exist and is always included. 127 For each entry \texttt{M} in the module list, the file \texttt{M.urs} is included in the project if it exists, and the file \texttt{M.ur} must exist and is always included.
128 128
129 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. 129 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.
130
131 \subsection{Building an Application}
132
133 To compile project \texttt{P.urp}, simply run
134 \begin{verbatim}
135 urweb P
136 \end{verbatim}
137
138 To time how long the different compiler phases run, without generating an executable, run
139 \begin{verbatim}
140 urweb -timing P
141 \end{verbatim}
130 142
131 143
132 \section{Ur Syntax} 144 \section{Ur Syntax}
133 145
134 In this section, we describe the syntax of Ur, deferring to a later section discussion of most of the syntax specific to SQL and XML. The sole exceptions are the declaration forms for tables, sequences, and cookies. 146 In this section, we describe the syntax of Ur, deferring to a later section discussion of most of the syntax specific to SQL and XML. The sole exceptions are the declaration forms for tables, sequences, and cookies.