Differences

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

--- tools:cpm [2017-02-06 14:29] – [Manual] mh
+++ tools:cpm [2017-02-09 15:37] – [Installing the Curry Package Manager] mh
@@ 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.
+in installed and the executable''git'' is in your path.
-If ''curry'' is not in your path, you must adapt the definition
+Furthermore, the environment variable ''CURRYROOT'' must be
-of the variable ''CURRY'' in the ''Makefile'' before step 3.
+set to the root directory of your Curry system (or you can
-Otherwise, perform the following steps to install CPM:
+also modify the definition of this variable in the ''Makefile''
+before executing ''make'').
+Then perform the following steps to install CPM:
-> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git
+> export CURRYROOT=/usr/lib/pakcs
-> cd cpm
+> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git
-> make
+> 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 ''bin''. For convenient use, put this binary somewhere
 in your path or create a symbolic link from some path directory
 to this binary.

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

Back to top