Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
tools:cpm [2017-02-06 14:29] – [Manual] mhtools: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 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'')
 +Then perform the following steps to install CPM:
  
     1> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git     1> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git
Line 34: Line 35:
  
 If this was successful, the binary ''cpm'' has been generated in the 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 in your path or create a symbolic link from some path directory
 to this binary. to this binary.
/srv/dokuwiki/currywiki/data/pages/tools/cpm.txt · Last modified: 2020-03-14 18:06 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0