Linux (e.g., apt-get install opam or similar). It's easy to install opam with your system's package manager on Or if you're using MacPorts: # With MacPort: $ port install opam If you're installing with Homebrew: # With Homebrew: $ brew install opam The details are available in the above links, but for convenience, we copy a few of them here: To install opam, you can use your system package manager or download the binary distribution. Installation for UnixĪfter having installed opam, you will need to initialise it, see below. However, please note that it is still experimental and in active development
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |