Drew Parsons a écrit le 06/11/2020 à 04:02 : > On 2020-11-06 02:09, Gilles Filippini wrote: >>> >>> But we should document (or fix if possible) that this alternatives >>> mechanism is a little fragile, and sometimes the link needs to be >>> refresh with >>> sudo dpkg-reconfigure libhdf5-openmpi-dev >>> >>> What I mean is that sometimes the link seem to just disappear, so we get >>> $ pkg-config --libs hdf5-mpi >>> Package hdf5-mpi was not found in the pkg-config search path. > ... >> >> Do you have a scenario leading to this alternative disparition? >> > > > It's not completely clear to me. But my suspicion is that it happens > when there is an upgrade to openmpi. Evidently then hdf5 needs to update > its alternatives against the updated openmpi. > > It's a little strange though, since a simple openmpi update is not an > ABI update. The alternatives links would be the same after running > dpkg-reconfigure libhdf5-openmpi-dev. Not obvious why an openmpi update > would cause them to disappear.
After a test into a clean chroot I can now confirm this hypothesis. Thanks, _g.
signature.asc
Description: OpenPGP digital signature