CPM.Manage
              This package contains tools to manage the central repository of the Curry Package Manager CPM. For instance, it provides support to test all packages of the central repository or to generate web pages for all packages.
After checking out the tool by the command
> cypm checkout cpm-managego into the root directory of the package and run
> cypm installAlternatively, one can install the latest version directly by
> cypm install cpm-manageThis installs the executable cpm-manage in the bin
directory of CPM.
This tool provides various commands. For instance,
> cpm-manage testalltests all packages of the central repository by installing each
package and testing it with cypm test.
The command
> cpm-manage genhtmlgenerates HTML pages for all packages of the central repository.
The command
> cpm-manage showgraph PKGvisualizes the dependencies of package PGK as a dot
graph. Thus, it shows packages that directly and indirectly uses
PGK and it shows all directly and indirectly packages used
by PKG.
The following software should be installed in order to use cpm-manage:
/usr/bin/dot for generating dependency graphs via
Graphvizpandoc for formatting README files