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:21] – [Uploading Packages] mh | tools:cpm [2017-02-09 15:37] – [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 executable |
- | If '' | + | Furthermore, |
- | of the variable '' | + | set to the root directory of your Curry system (or you can |
- | Otherwise, | + | also modify |
+ | before executing | ||
+ | Then perform the following steps to install CPM: | ||
- | 1> git clone https:// | + | 1> export CURRYROOT=/ |
- | | + | 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 | in your path or create a symbolic link from some path directory | ||
to this binary. | to this binary. | ||
Line 44: | Line 47: | ||
> cpm update | > cpm update | ||
- | 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 | > cpm list | ||
Line 52: | Line 55: | ||
> 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 78: | ||
As you will see, an initial package description file '' | As you will see, an initial package description file '' | ||
- | and a subdirectory '' | + | and a subdirectory '' |
- | for your project, | + | for your project, |
Then run | Then run | ||
Line 92: | Line 95: | ||
in this directory. | in this directory. | ||
- | ===== Manual ===== | + | ===== Manual |
For further information, | For further information, | ||
+ | A detailed description about CPM and its implementation can be found | ||
+ | in the following thesis: | ||
+ | |||
+ | [[https:// | ||
===== Uploading and Publishing Packages ===== | ===== Uploading and Publishing Packages ===== | ||