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-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 executable'' | + | is installed and the executables '' |
- | Furthermore, | + | (if '' |
- | set to the root directory | + | of your Curry system |
- | also modify | + | in the '' |
- | before executing '' | + | |
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 '' |