%!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 and link Diderot programs.
\end{DESCRIPTION}
\begin{OPTIONS}
  \begin{Flag}{\Opt{-h}, \Opt{--help}}
    Display a list of command-line options and then exit.
  \end{Flag}
  \begin{Flag}{\OptArg{-o}{ outfile}}
    Create an executable named \Arg{outfile}.
  \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}
\end{OPTIONS}%
\begin{SECTION}{RUNTIME OPTIONS}
  The Diderot runtime system recognizes a number of standard options.
\end{SECTION}
\end{ManPage}%