Differences

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

--- tools:cpm [2017-04-24 13:46] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-07-17 14:51] – [Available Packages] mh
@@ Line 4: / Line 4: @@
 The Curry Package Manager (CPM) is a tool to distribute and
-install Curry libraries and tools and manage version dependencies
+install Curry libraries and applications and manage version dependencies
 between them.
 These libraries are organized in packages.
@@ Line 19: / Line 19: @@
 (w.r.t. its API and behavior) with a previous version of
 the same package.
+===== Available Packages =====
+There are more than [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | fifty packages available]]
+(including more than 400 modules).
+There is a [[http://www.informatik.uni-kiel.de/~mh/curry/cpm/ | table of all packages]]
+with more detailed information (e.g., API documentation).
+These packages can immediately be downloaded or installed when CPM is installed (see below).
@@ Line 24: / Line 32: @@
 CPM is already part of recent distributions of the Curry systems
-PAKCS (Version 1.14.3 or higher) and KiCS2 (Version 0.5.2 or higher).
+[[http://www.informatik.uni-kiel.de/~pakcs/|PAKCS]] (Version 1.15.0 or higher) and
+[[http://www-ps.informatik.uni-kiel.de/kics2/|KiCS2]] (Version 0.6.0 or higher).
 If you have some older version of PAKCS or KiCS2, you can also
 install CPM from its public repository.
@@ Line 40: / Line 49: @@
 If this was successful, the binary ''cpm'' has been generated in the
 directory ''~/.cpm/bin''. This is also the directory where CPM installs binaries
-of tools distributed with packages. For convenient use, you should add the
+of applications distributed as packages. For convenient use, you should add the
 directory ''~/.cpm/bin'' to your path. Alternatively, you can also put
 the binary ''~/.cpm/bin/cpm'' somewhere in your path or create a symbolic
@@ Line 89: / Line 98: @@
 so that you can directly load any program you have stored
 in this directory.
+For instance, if the module ''Main.curry'' is stored in the
+directory ''src'', you can load it into your Curry system
+(e.g., KiCS2 or PAKCS) by
+    > cpm curry :load Main
 ===== Manual and Further Documentation =====
@@ Line 104: / Line 118: @@
 However, if you have developed some package that might be of
 interest to other Curry users, please send the package
-as a zip file, or just the package description file
+as a tar or zip file to
-''package.json'' (if the package is already in a publicly
-available git archive) to
     packages (AT) curry-language.org

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

Back to top