Trace:

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:23] – [Quick Start] mhtools: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 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 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:
  
-    1> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git +    1> export CURRYROOT=/usr/lib/pakcs 
-    2> cd cpm +    2> git clone https://git.ps.informatik.uni-kiel.de/curry/cpm.git 
-    3> make+    3> cd cpm 
 +    4> make
  
 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.
Line 52: Line 55:
     > cpm info PACKAGE     > cpm info PACKAGE
  
-can be used to see more information about a package.+can be used to show more information about a package.
  
 In order to use a package in your Curry program which you intend In order to use a package in your Curry program which you intend
Line 75: Line 78:
  
 As you will see, an initial package description file ''package.json'' As you will see, an initial package description file ''package.json''
-and a subdirectory ''src'' has been created. If you need some package +and a subdirectory ''src'' has been created. If you need some other package 
-for your project, write it as a dependency in ''package.json''.+for your project, add it as a dependency in ''package.json''.
 Then run Then run
  
Line 92: Line 95:
 in this directory. in this directory.
  
-===== Manual =====+===== Manual and Further Documentation =====
  
 For further information, look into the {{tools:cpm:manual.pdf | manual of CPM}}. 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 ===== ===== Uploading and Publishing Packages =====
  
/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