Uploaded at Nov 24 10:53:16 2023 (UTC)
Succesfully tested at Apr 19 02:14:28 2024

Curry Package cpm-manage

cpm-manage - Tools to manage the main repository of the Curry Package Manager

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.

Installing the tool

After checking out the tool by the command

> cypm checkout cpm-manage

go into the root directory of the package and run

> cypm install

Alternatively, one can install the latest version directly by

> cypm install cpm-manage

This installs the executable cpm-manage in the bin directory of CPM.

Using the tool

This tool provides various commands. For instance,

> cpm-manage testall

tests all packages of the central repository by installing each package and testing it with cypm test.

The command

> cpm-manage genhtml

generates HTML pages for all packages of the central repository.

The command

> cpm-manage showgraph PKG

visualizes 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.

Required software

The following software should be installed in order to use cpm-manage:

  • /usr/bin/dot for generating dependency graphs via Graphviz
  • pandoc for formatting README files

Download

Checkout with CPM:
cypm checkout cpm-manage 3.0.0
Package source:
cpm-manage-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/cpm-manage.git