Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
tools:cpm [2017-06-07 12:06] – mh | tools:cpm [2020-03-14 18:06] (current) – [Available Packages] 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 600 modules). |
- | There is a [[http:// | + | There is a [[http:// |
with more detailed information (e.g., API documentation). | with more detailed information (e.g., API documentation). | ||
These packages can immediately be downloaded or installed when CPM is installed (see below). | These packages can immediately be downloaded or installed when CPM is installed (see below). | ||
Line 47: | Line 47: | ||
3> make | 3> make | ||
- | If this was successful, the binary '' | + | If this was successful, the binary '' |
directory '' | directory '' | ||
- | of tools distributed | + | of applications |
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 '' | ||
containing an initial package description file '' | containing an initial package description file '' | ||
and a subdirectory '' | and a subdirectory '' | ||
- | If you need some other package | + | Change into the new project directory: |
- | add it as a dependency in '' | + | |
+ | > cd myproject | ||
+ | |||
+ | If you need some other packages | ||
+ | add them as a dependency in '' | ||
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 98: | Line 102: | ||
so that you can directly load any program you have stored | so that you can directly load any program you have stored | ||
in this directory. | in this directory. | ||
+ | For instance, if the module '' | ||
+ | directory '' | ||
+ | (e.g., KiCS2 or PAKCS) by | ||
+ | |||
+ | > cypm curry :load Main | ||
===== Manual and Further Documentation ===== | ===== Manual and Further Documentation ===== |