Commit fb73eb48 authored by Michael Hanus 's avatar Michael Hanus

Manual updated

parent 7fcc1afe
......@@ -17,6 +17,7 @@
\renewcommand{\tt}{\usefont{OT1}{cmtt}{m}{n}\selectfont}
\newcommand{\codefont}{\small\tt}
\newcommand{\code}[1]{\mbox{\codefont #1}}
\newcommand{\ccode}[1]{``\code{#1}''}
% The layout of this manual is adapted from the KiCS2 manual.
......@@ -463,8 +464,8 @@ resolution.
Checks the current package with CurryCheck.
If the package specifies a list of exported modules
(field \code{exportedModules} of the package specification),
these modules are checked, otherwise all modules in the top-level
directory \code{src} are checked.
these modules are checked, otherwise all modules in the directory \code{src}
(including hierarchical modules stored in its subdirectories) are checked.
Using the option \code{--modules}, one can also specify a comma-separated
list of module names to be checked.
......@@ -478,8 +479,9 @@ list of module names to be compared.
\item[\fbox{\code{exec $command$}}] Executes an arbitrary command with the
\verb|CURRYPATH| environment variable set to the paths of all dependencies of
the current package. Can be used to execute \verb|currycheck| with dependencies
available, for example.
the current package.
For example, it can be used to execute \ccode{curry check}
or \ccode{curry analyze} with correct dependencies available.
\item[\fbox{\code{curry $args$}}] Executes the Curry compiler with the
dependencies of the current package available. Any arguments are passed verbatim
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment