> Consider two packages: lib and program. program depends upon lib.

> 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?

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.

Thomas

> 
> 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] 
> <mailto:[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] 
>> <mailto:[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] <mailto:[email protected]>
>> http://lists.ocaml.org/listinfo/platform 
>> <http://lists.ocaml.org/listinfo/platform>
>> 
>> _______________________________________________
>> Platform mailing list
>> [email protected] <mailto:[email protected]>
>> http://lists.ocaml.org/listinfo/platform 
>> <http://lists.ocaml.org/listinfo/platform>
> 
> 

_______________________________________________
Platform mailing list
[email protected]
http://lists.ocaml.org/listinfo/platform

Reply via email to