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. On Sun, May 10, 2015 at 1:23 PM Trevor Smith <[email protected]> wrote:
> Thomas, > > Consider two packages: lib and program. program depends upon lib. > > opam pin add --dev-repo lib # This points to a git repo (no branch or > commit info) > opam install lib > # Make a new commit to lib and push it > # Lib is now one commit newer > # NB I am making _no_ changes to the internal opam repo > opam install program > > lib does _not_ get recompiled. > > Is that the information you wanted? > > Also: I just tried opam update program and that also did not pick up the > fact that lib is git pinned. > > Thoughts? Thanks. > > Trevor > > On Sun, May 10, 2015 at 1:17 PM, Thomas Gazagnaire <[email protected]> > wrote: > >> 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"? >> >> >> 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? >> >> Thomas >> >> >> 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 >> >> >> >
_______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
