%!TEX root = report.tex
%

\begin{ManPage}{1}{diderotc}{}
\begin{NAME}
  \Prog{diderotc} --- Diderot compiler
\end{NAME}
\begin{SYNOPSIS}
\Prog{diderotc}
  \Arg{options}
  \Dots{}
  \Arg{file}
\end{SYNOPSIS}
\begin{DESCRIPTION}
The \Prog{diderotc} command is used to compile Diderot programs.
\end{DESCRIPTION}
\begin{OPTIONS}
  \begin{Flag}{\Opt{-h}, \Opt{--help}}
    Display a list of command-line options and then exit.
    This list includes additional options used to support development and debugging of
    the compiler.
  \end{Flag}
  \begin{Flag}{\Opt{--exec}}
    Compile the Diderot program to run as a standalone executable.
  \end{Flag}
  \begin{Flag}{\OptArg{-o}{ outfile}}
    Use the name \Arg{outfile} as the stem for the generated code files.
    When coupled with the \Opt{--exec} flag, \Arg{outfile} will be the name of
    the executable.
    
  \end{Flag}
  \begin{Flag}{\OptEqArg{--namespace}{prefix}}
    Specify a namespace prefix for generated interface to the Diderot program.
    The default namespace prefix is \texttt{Diderot}.
  \end{Flag}
  \begin{Flag}{\OptEqArg{--target}{tgt}}
    Specifies the target platform for the generated code.  The \Prog{diderotc} compiler
    currently supports the following choices for \Arg{tgt}:
    \begin{description}
      \item[c] --- single-threaded sequential implementation
      \item[pthread] --- parallel implementation for multiprocessors using pthreads
      \item[cl] --- parallel implementation for GPUs using OpenCL
    \end{description}%
  \end{Flag}
  \begin{Flag}{\Opt{--double}}
    Use double-precision floating-point for the Diderot real type.
  \end{Flag}
  \begin{Flag}{\Opt{-g}, \Opt{--debug}}
    Enable assertions and debugging information in the generated code and runtime system.
  \end{Flag}
  \begin{Flag}{\Opt{--log}}
    Emit a log file of the compiler's intermediate representations.
    This option is mainly used to debug the compiler.
  \end{Flag}
\end{OPTIONS}%
\begin{SECTION}{RUNTIME OPTIONS}
  The executables produced by the compiler when using the \Opt{--exec} option recognize
  a number of options.
\end{SECTION}
\end{ManPage}%