I'm just running out the door right now but if what I'm saying doesn't make sense I can push a reproducible setup onto github later tonight.<br><div class="gmail_quote">On Sun, May 10, 2015 at 1:23 PM Trevor Smith <<a href="mailto:trevorsummerssmith@gmail.com">trevorsummerssmith@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Thomas,<div><br></div><div>Consider two packages: lib and program. program depends upon lib.</div><div><br></div><div>opam pin add --dev-repo lib # This points to a git repo (no branch or commit info)</div><div>opam install lib</div><div># Make a new commit to lib and push it</div><div># Lib is now one commit newer</div><div># NB I am making _no_ changes to the internal opam repo</div><div>opam install program</div><div><br></div><div>lib does _not_ get recompiled.</div><div><br></div><div>Is that the information you wanted?</div><div><br></div><div>Also: I just tried opam update program and that also did not pick up the fact that lib is git pinned.</div><div><br></div><div>Thoughts? Thanks.</div></div><div dir="ltr"><div><br></div><div>Trevor</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, May 10, 2015 at 1:17 PM, Thomas Gazagnaire <span dir="ltr"><<a href="mailto:thomas@gazagnaire.org" target="_blank">thomas@gazagnaire.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span><blockquote type="cite"><div><div dir="ltr">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><br></div><div>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><br></div><div>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></div></span><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><span><font color="#888888"><div><br></div><div>Thomas</div></font></span><span><div><br><blockquote type="cite"><div><div dir="ltr"><div><br></div><div>Thanks.</div><div><br></div><div>Trevor</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 8, 2015 at 2:24 PM, Daniel Bünzli <span dir="ltr"><<a href="mailto:daniel.buenzli@erratique.ch" target="_blank">daniel.buenzli@erratique.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>Le vendredi, 8 mai 2015 à 20:09, Ashish Agarwal a écrit :<br>
> 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>
<br>
</span>This is not opam tags this is depexts tags (that correspond to platform). You can do for example:<br>
<br>
  opam search -s org:erratique<br>
<br>
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>
<br>
Best,<br>
<br>
Daniel<br>
<div><div><br>
<br>
_______________________________________________<br>
Platform mailing list<br>
<a href="mailto:Platform@lists.ocaml.org" target="_blank">Platform@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/platform" target="_blank">http://lists.ocaml.org/listinfo/platform</a><br>
</div></div></blockquote></div><br></div>
_______________________________________________<br>Platform mailing list<br><a href="mailto:Platform@lists.ocaml.org" target="_blank">Platform@lists.ocaml.org</a><br><a href="http://lists.ocaml.org/listinfo/platform" target="_blank">http://lists.ocaml.org/listinfo/platform</a><br></div></blockquote></div><br></span></div></blockquote></div><br></div>
</blockquote></div>