Differences

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

--- tools:cpm [2017-04-25 15:21] – [Overview] mh
+++ tools:cpm [2017-06-07 12:18] – [Quick Start] mh
@@ Line 20: / Line 20: @@
 the same package.
-The [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm.cgi | currently available packages]]
+===== Available Packages =====
-can be immediately downloaded or installed when CPM is installed (see below).
-Using CPM, one can also obtain more detailed information about
+There are more than [[http://www-ps.informatik.uni-kiel.de/~mh/curry/cpm/ | fifty packages available]]
-individual packages.
+(including more than 400 modules).
+There is a [[http://www-ps.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 29: / 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 45: / 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 94: / 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 109: / 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