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-06 14:29] – [Manual] mh | tools:cpm [2017-03-28 15:55] – [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 '' | + | is installed and the executables '' |
- | If '' | + | (if '' |
- | of the variable | + | of your Curry system by modifying |
- | Otherwise, | + | in the '' |
+ | Then perform the following steps to install CPM: | ||
- | 1> git clone https:// | + | 1> git clone https:// |
2> cd cpm | 2> cd cpm | ||
3> make | 3> make | ||
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 |
- | to this binary. | + | directory '' |
+ | the binary | ||
+ | link from some path directory to this binary. | ||
===== Quick Start ===== | ===== Quick Start ===== |