Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
tools:cpm [2017-02-09 15:37] – [Installing the Curry Package Manager] mh | tools:cpm [2017-04-11 17:42] – [Installing the Curry Package Manager] mh | ||
---|---|---|---|
Line 4: | Line 4: | ||
The Curry Package Manager (CPM) is a tool to distribute and | The Curry Package Manager (CPM) is a tool to distribute and | ||
- | install Curry libraries and manage version dependencies | + | install Curry libraries |
- | between | + | between |
These libraries are organized in packages. | These libraries are organized in packages. | ||
There is a central index of all these packages which can | There is a central index of all these packages which can | ||
Line 23: | Line 23: | ||
===== Installing the Curry Package Manager ===== | ===== Installing the Curry Package Manager ===== | ||
- | The installation | + | CPM is already part of recent distribution of the Curry systems |
- | is installed and the executable | + | PAKCS (Version 1.14.3 or higher) and KiCS2 (Version 0.5.2 or higher). |
- | Furthermore, | + | If you have some older version of PAKCS or KiCS2, you can also |
- | set to the root directory | + | install CPM from its public repository. |
- | also modify | + | The installation |
- | before executing '' | + | is installed and the executables '' |
+ | (if '' | ||
+ | of your Curry system | ||
+ | in the '' | ||
Then perform the following steps to install CPM: | Then perform the following steps to install CPM: | ||
- | 1> export CURRYROOT=/ | + | 1> git clone https:// |
- | 2> git clone https:// | + | |
- | | + | |
- | | + | |
If this was successful, the binary '' | If this was successful, the binary '' | ||
- | directory '' | + | directory '' |
- | in your path or create a symbolic link from some path directory | + | of tools distributed with packages. For convenient use, you should add the |
- | to this binary. | + | directory '' |
+ | the binary | ||
+ | link from some path directory to this binary. | ||
===== Quick Start ===== | ===== Quick Start ===== |