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-03-28 15:55] – [Installing the Curry Package Manager] mh
@@ Line 27: / Line 27: @@
 (if ''curry'' is not in your path, you can also specify the root location
 of your Curry system by modifying the definition of ''CURRYROOT''
-in the ''Makefile'' before executing ''make'').
+in the ''Makefile'' before executing ''make'' in step 3).
 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