Trace:
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
tools:cpm [2017-06-07 12:06] – mh | tools:cpm [2017-06-07 12:07] – [Installing the Curry Package Manager] mh |
---|
If this was successful, the binary ''cpm'' has been generated in the | If this was successful, the binary ''cpm'' has been generated in the |
directory ''~/.cpm/bin''. This is also the directory where CPM installs binaries | directory ''~/.cpm/bin''. This is also the directory where CPM installs binaries |
of tools distributed with packages. For convenient use, you should add the | of applications distributed as packages. For convenient use, you should add the |
directory ''~/.cpm/bin'' to your path. Alternatively, you can also put | directory ''~/.cpm/bin'' to your path. Alternatively, you can also put |
the binary ''~/.cpm/bin/cpm'' somewhere in your path or create a symbolic | the binary ''~/.cpm/bin/cpm'' somewhere in your path or create a symbolic |
Back to top