|
console
|
|
Sometimes, you want to use a specific version of a dependency, for this you have `opam pin`!
|
|
|
You can tell opam that some library `some_lib` lives under some path `some/path`. It opam finds a `some_lib.opam` file it'll install that library.
|
$ opam pin add some_lib some/path --kind path
|
|
Some libraries are in github repositories, but not published as an opam package. No worries, `opam pin` is here.
|
$ opam pin add sponge https://github.com/o1-labs/snarky.git
|
|
If the name of the library is ommitted, `opam pin` will install all the opam package files it can find in the root folder of the given destination.
|
$ opam pin add https://github.com/o1-labs/snarky.git
|