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-07-17 14:51] – [Available Packages] mh | tools:cpm [2017-10-21 11:37] – mh | ||
|---|---|---|---|
| Line 22: | Line 22: | ||
| ===== Available Packages ===== | ===== Available Packages ===== | ||
| - | There are more than [[http:// | + | There are more than [[http:// |
| (including more than 400 modules). | (including more than 400 modules). | ||
| There is a [[http:// | There is a [[http:// | ||
| Line 47: | Line 47: | ||
| 3> make | 3> make | ||
| - | If this was successful, the binary '' | + | If this was successful, the binary '' |
| directory '' | directory '' | ||
| of applications distributed as packages. For convenient use, you should add the | of applications distributed as packages. For convenient use, you should add the | ||
| directory '' | directory '' | ||
| - | the binary '' | + | the binary '' |
| link from some path directory to this binary. | link from some path directory to this binary. | ||
| Line 58: | Line 58: | ||
| Now you can clone a copy of the central package index repository by | Now you can clone a copy of the central package index repository by | ||
| - | > cpm update | + | > cypm update |
| Afterwards, you can show a short list of all packages in this index by | Afterwards, you can show a short list of all packages in this index by | ||
| - | > cpm list | + | > cypm list |
| The command | The command | ||
| - | > cpm info PACKAGE | + | > cypm info PACKAGE |
| can be used to show more information about a package. | can be used to show more information about a package. | ||
| Line 75: | Line 75: | ||
| Therefore, to initialize it and use other packages, you need | Therefore, to initialize it and use other packages, you need | ||
| a package description file in some project directory. | a package description file in some project directory. | ||
| - | All this can be created by the command '' | + | All this can be created by the command '' |
| - | > cpm new myproject | + | > cypm new myproject |
| This command creates a new project directory '' | This command creates a new project directory '' | ||
| Line 86: | Line 86: | ||
| Then run | Then run | ||
| - | > cpm install | + | > cypm install |
| to install all dependencies of the current package. | to install all dependencies of the current package. | ||
| Afterwards, start your interactive Curry environment by | Afterwards, start your interactive Curry environment by | ||
| - | > cpm curry | + | > cypm curry |
| and you will be able to load the modules of the current package | and you will be able to load the modules of the current package | ||
| Line 102: | Line 102: | ||
| (e.g., KiCS2 or PAKCS) by | (e.g., KiCS2 or PAKCS) by | ||
| - | > cpm curry :load Main | + | > cypm curry :load Main |
| ===== Manual and Further Documentation ===== | ===== Manual and Further Documentation ===== | ||
