<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class=""><div dir="ltr" class="">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.<div class=""><br class=""></div><div class="">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".</div><div class=""><br class=""></div><div class="">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"?</div></div></div></blockquote><div><br class=""></div><div>did you run `opam update -u <package>`? If a or dev or pinned package changes it should normally trigger a recompilation of all the reverse dependencies. how did you specify the packages in your repo?</div></div><div><br class=""></div><div>Thomas</div><div><br class=""><blockquote type="cite" class=""><div class=""><div dir="ltr" class=""><div class=""><br class=""></div><div class="">Thanks.</div><div class=""><br class=""></div><div class="">Trevor</div></div><div class="gmail_extra"><br class=""><div class="gmail_quote">On Fri, May 8, 2015 at 2:24 PM, Daniel Bünzli <span dir="ltr" class=""><<a href="mailto:daniel.buenzli@erratique.ch" target="_blank" class="">daniel.buenzli@erratique.ch</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">Le vendredi, 8 mai 2015 à 20:09, Ashish Agarwal a écrit :<br class="">
> 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.<br class="">
<br class="">
</span>This is not opam tags this is depexts tags (that correspond to platform). You can do for example:<br class="">
<br class="">
  opam search -s org:erratique<br class="">
<br class="">
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).<br class="">
<br class="">
Best,<br class="">
<br class="">
Daniel<br class="">
<div class="HOEnZb"><div class="h5"><br class="">
<br class="">
_______________________________________________<br class="">
Platform mailing list<br class="">
<a href="mailto:Platform@lists.ocaml.org" class="">Platform@lists.ocaml.org</a><br class="">
<a href="http://lists.ocaml.org/listinfo/platform" target="_blank" class="">http://lists.ocaml.org/listinfo/platform</a><br class="">
</div></div></blockquote></div><br class=""></div>
_______________________________________________<br class="">Platform mailing list<br class=""><a href="mailto:Platform@lists.ocaml.org" class="">Platform@lists.ocaml.org</a><br class="">http://lists.ocaml.org/listinfo/platform<br class=""></div></blockquote></div><br class=""></body></html>