Differences

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

--- tools:cpm [2017-02-09 15:52] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-04-11 17:37] – [Overview] 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 30: / Line 30: @@
 Then perform the following steps to install CPM:
-> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git
+> git clone https://git.ps.informatik.uni-kiel.de/curry-packages/cpm.git
 > cd cpm
 > make
 If this was successful, the binary ''cpm'' has been generated in the
-directory ''bin''. For convenient use, put this binary somewhere
+directory ''~/.cpm/bin''. This is also the directory where CPM installs binaries
-in your path or create a symbolic link from some path directory
+of tools distributed with packages. For convenient use, you should add the
-to this binary.
+directory ''~/.cpm/bin'' to your path. Alternatively, you can also put
+the binary ''~/.cpm/bin/cpm'' somewhere in your path or create a symbolic
+link from some path directory to this binary.
 ===== Quick Start  =====

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

Back to top