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: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.
Line 52: Line 53:
     > 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 76:
  
 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 93:
 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