On install action, reinstall if test/doc dependencies are not present #4514
Conversation
|
Current state : it filters according |
|
Dev meeting: Pushing this out to 2.1.1, we can make sure the right variables are all accounted for. There is a workaround for |
There was a problem hiding this comment.
Hm, this should make the issue less pregnant, but isn't a complete solution: indeed, if you opam install foo --with-doc and doc-deps were missing, it will install them, and then recompile foo (you don't even need to add to reinstall in this case, the dependency change will trigger it already ; just removing from pkg_skip would have been enough) : you get the doc for foo installed as expected. But if the doc dependencies happened to be installed already, you will still get a nothing to do without a recompilation with docs enabled.
We don't really have a way to fix this since we don't record (atm) the flags that were set when foo was initially installed, so the only options would be to always reinstall when --with-x is set (that sounds dangerous ; but it does actually make complete sense in the case of tests ? Maybe after a question like for opam reinstall <not-installed-pkg> ?) ; or just advise to use reinstall instead ?
| @@ -1103,6 +1103,29 @@ let install_t t ?ask ?(ignore_conflicts=false) ?(depext_only=false) | |||
| if assume_built then OpamPackage.Set.of_list pkg_skip | |||
| else Lazy.force t.reinstall %% OpamPackage.Set.of_list pkg_skip | |||
| in | |||
| let pkg_skip, pkg_reinstall = | |||
| if OpamStateConfig.(!r.build_test || !r.build_doc) then | |||
| let to_reinstall = | |||
There was a problem hiding this comment.
Wouldn't it be a bit simpler here to just resolve the dependencies in the current context (i.e. following the OpamStateConfig.r.build_* values), and check that everything is installed ?
fix #4507