Differences

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

--- tools:cpm [2017-02-09 15:37] – [Installing the Curry Package Manager] mh
+++ tools:cpm [2017-02-09 15:52] – [Installing the Curry Package Manager] mh
@@ Line 24: / Line 24: @@
 The installation assumes that one of the Curry systems PAKCS or KiCS2
-is installed and the executable ''git'' is in your path.
+is installed and the executables ''curry'' and ''git'' are in your path
-Furthermore, the environment variable ''CURRYROOT'' must be
+(if ''curry'' is not in your path, you can also specify the root location
-set to the root directory of your Curry system (or you can
+of your Curry system by modifying the definition of ''CURRYROOT''
-also modify the definition of this variable in the ''Makefile''
+in the ''Makefile'' before executing ''make'').
-before executing ''make'').
 Then perform the following steps to install CPM:
-> export CURRYROOT=/usr/lib/pakcs
+> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git
-> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git
+> cd cpm
-> cd cpm
+> make
-> make
 If this was successful, the binary ''cpm'' has been generated in the

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

Back to top