[Pkg-openmpi-maintainers] Bug#502232: Bug#502232: Bug#502232: libopenmpi-dev: No static libraries in the package

[Sylvestre Ledru]

Le mercredi 15 octobre 2008 à 20:04 -0500, Dirk Eddelbuettel a écrit :
> 
> | Indeed, if you build twice, once with --enable-static + --disable- 
> | shared and then again with --disable-static + --enable-shared,
> then  
> | you'll get a libmpi.a with all plugins slurped, and a libmpi.so with
> a  
> | $pkglibdir full of all the plugins.  If these are both installed
> under  
> 
> We could do that instead, but it requires rejigging of the package
> build
> process.  I for one don't have the energy for it.
It seems that it is not much work.

I am trying to apply the same technique as in gromacs (thanks Manuel for
the info) and as they are pretty similar in the construction, we might
be able to do something here without too many risky changes.

Sylvestre