Differences

This shows you the differences between two versions of the page.

--- tools:cpm [2017-03-28 15:55] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-04-11 17:41] – [Installing the Curry Package Manager] mh
@@ Line 4: / Line 4: @@
 The Curry Package Manager (CPM) is a tool to distribute and
-install Curry libraries and manage version dependencies
+install Curry libraries and tools and manage version dependencies
-between these libraries.
+between them.
 These libraries are organized in packages.
 There is a central index of all these packages which can
@@ Line 23: / Line 23: @@
 ===== Installing the Curry Package Manager =====
-The installation assumes that one of the Curry systems PAKCS or KiCS2
+CPM is already part of recent distribution of the Curry systems
+PAKCS (Version 1.14.3 or higher) and KiCS2 (Version 0.5.2 or higher).
+If you have some older version of PAKCS or KiCS2, one can also
+install CPM from its public repository.
+The installation requires that one of the Curry systems PAKCS or KiCS2
 is installed and the executables ''curry'' and ''git'' are in your path
 (if ''curry'' is not in your path, you can also specify the root location

/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh

Back to top