Re: Bug#1064810: transition: mpi-defaults

[Adrian Bunk <bunk@debian.org>]

On Mon, Oct 21, 2024 at 07:40:29AM +0200, Paul Gevers wrote:
>...
> And looking at the content of libopenmpi3t64, I'm wondering if you're not
> violating Policy 8.1 [1] (the names of the files suggest the libraries don't
> have the same SONAME):
> """
> If you have several shared libraries built from the same source tree, you
> may lump them all together into a single shared library package provided
> that all of their SONAMEs will always change together.
> """

Funnily that does not even cover the problem at hand,
which is dropping of one of the same-SONAME libraries.

You are thinking towards splitting libopenmpi into 9 library packages
(one package per library).

A relevant question would be whether they are independent, or whether
mixing libraries from different OpenMPI versions in one binary might 
break. 

If libmpi_cxx from OpenMPI 4 does not work with libmpi from OpenMPI 5,
then co-installability is anyway not an option and having them in one
package is the easiest solution.

> Paul
>...

cu
Adrian