I tried setting up the "option 1" -- using a repo url. This works fine for clean installs, however it does not work for my use case for updates. I didn't realize until I tried it out that this won't update upon any dependent installation. As noted by Louis, pinning also does not reinstall from a repo url when a dependent install happens -- it only updates the meta-data.
What I would like is a way (ideally within opam) to say "when this package dependend-upon it should always be checked for update and upgrade". Am I correct in stating that currently there is no way to mark a package as "update and upgrade this package whenever something that depends upon it is installed"? Thanks. Trevor On Fri, May 8, 2015 at 2:24 PM, Daniel Bünzli <[email protected]> wrote: > Le vendredi, 8 mai 2015 à 20:09, Ashish Agarwal a écrit : > > Louis, thanks for your suggestions. I'm trying them out, but one quick > question: how can you query with tags. I tried `opam list -e foobar`, and I > seem to get the same output no matter what I write for foobar. > > This is not opam tags this is depexts tags (that correspond to platform). > You can do for example: > > opam search -s org:erratique > > But it may not be entirely precise since opam-search matches not only in > tags. I think opam-list should be able to filter by tags (I actually > thought this was possible). > > Best, > > Daniel > > > _______________________________________________ > Platform mailing list > [email protected] > http://lists.ocaml.org/listinfo/platform >
_______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
