Opam produces a warning about rock being an unknown package when installing via pin

Question

rosalogia opened this issue 4 years ago · comments

The README currently suggests that the version of opium on the master branch of the repository can be obtained via opam using the following commands

$ opam pin add rock --dev-repo
$ opam pin add opium --dev-repo

However, this seems to produce a warning as opam is unable to find rock as a dependency. Why might this be?

Thibaut Mattio · Answer 1 · Fri Nov 27 2020 16:43:51 GMT+0800 (China Standard Time)

rock is not published on Opam yet, so you have to give Opam the repo's URL:

opam pin add rock.~dev https://github.com/rgrinberg/opium.git
opam pin add opium.~dev https://github.com/rgrinberg/opium.git

Ambika E · Answer 2 · Fri Nov 27 2020 17:04:27 GMT+0800 (China Standard Time)

Thanks! Should this be updated in the README?

Thibaut Mattio · Answer 3 · Fri Nov 27 2020 17:05:55 GMT+0800 (China Standard Time)

Yes - I'll update the instructions to install the master version 👍