Differences

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

--- tools:cpm [2017-02-06 14:25] – [Quick Start] 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 24: / Line 24: @@
 The installation assumes that one of the Curry systems PAKCS or KiCS2
-in installed and the executables ''curry'' and ''git'' are in your path.
+is installed and the executables ''curry'' and ''git'' are in your path
-If ''curry'' is not in your path, you must adapt the definition
+(if ''curry'' is not in your path, you can also specify the root location
-of the variable ''CURRY'' in the ''Makefile'' before step 3.
+of your Curry system by modifying the definition of ''CURRYROOT''
-Otherwise, perform the following steps to install CPM:
+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 conventient 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  =====
@@ Line 92: / Line 95: @@
 in this directory.
-===== Manual =====
+===== Manual and Further Documentation =====
 For further information, look into the {{tools:cpm:manual.pdf | manual of CPM}}.
+A detailed description about CPM and its implementation can be found
+in the following thesis:
+[[https://www.informatik.uni-kiel.de/~mh/lehre/abschlussarbeiten/msc/Oberschweiber.pdf |  A Package Manager for Curry (Jonas Oberschweiber, CAU Kiel, September 2016)]]
 ===== Uploading and Publishing Packages =====

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

Back to top