Uploaded at Sep 10 14:14:44 2020 (UTC)
Succesfully tested at Oct 5 03:48:35 2020

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.


Download

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