<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 dir="ltr" class=""><div class="">Consider two packages: lib and program. program depends upon lib.</div></div></blockquote><br class=""><blockquote type="cite" class=""><div dir="ltr" class=""><div class="">opam install lib</div><div class=""># Make a new commit to lib and push it</div><div class=""># Lib is now one commit newer</div><div class=""># NB I am making _no_ changes to the internal opam repo</div><div class="">opam install program</div><div class=""><br class=""></div><div class="">lib does _not_ get recompiled.</div><div class=""><br class=""></div><div class="">Is that the information you wanted?</div></div></blockquote><div><br class=""></div>yes, when pin/dev packages are modified, you need to tell opam that you want to use the updated version (if available), so you need to run `opam update -u` before `opam install program`. Opam will check if there are new commits and recompile what needs to be recompiled.</div><div><br class=""></div><div>Thomas</div><div><br class=""><blockquote type="cite" class=""><div dir="ltr" class=""><div class=""><br class=""></div><div class="">Also: I just tried opam update program and that also did not pick up the fact that lib is git pinned.</div><div class=""><br class=""></div><div class="">Thoughts? Thanks.</div><div class=""><br class=""></div><div class="">Trevor</div></div><div class="gmail_extra"><br class=""><div class="gmail_quote">On Sun, May 10, 2015 at 1:17 PM, Thomas Gazagnaire <span dir="ltr" class=""><<a href="mailto:thomas@gazagnaire.org" target="_blank" class="">thomas@gazagnaire.org</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class=""><div class=""><span class=""><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 class=""><br class=""></div></span><div class="">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><span class="HOEnZb"><font color="#888888" class=""><div class=""><br class=""></div><div class="">Thomas</div></font></span><span class=""><div class=""><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=""><div class=""><br class="">
<br class="">
_______________________________________________<br class="">
Platform mailing list<br class="">
<a href="mailto:Platform@lists.ocaml.org" target="_blank" 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" target="_blank" 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></blockquote></div><br class=""></span></div></blockquote></div><br class=""></div>
</blockquote></div><br class=""></body></html>