Hi Alastair, On Wed, Nov 22, 2017 at 10:20:17AM +0000, Alastair McKinstry wrote: > Yes, this would be my preferred solution. Shipping: > libpmi-pmix-dev > libpmi-slurm-dev > > and then providing alternatives.
great! Shouldn't we provide alternatives for the library package too? They does not conflict at the moment, but they could in the future. $ apt-file list libpmi2-0 | grep libpmi2.so libpmi2-0: /usr/lib/x86_64-linux-gnu/libpmi2.so.0 libpmi2-0: /usr/lib/x86_64-linux-gnu/libpmi2.so.0.0.0 $ apt-file list libpmix2 | grep libpmi2.so libpmix2: /usr/lib/x86_64-linux-gnu/libpmi2.so.1 libpmix2: /usr/lib/x86_64-linux-gnu/libpmi2.so.1.0.0 What do you think? Regards -- Gennaro Oliva
