[Pkg-openmpi-maintainers] Bug#502232: Bug#502232: Bug#502232: Bug#502232: Bug#502232: Bug#502232: libopenmpi-dev: No static libraries in the package
Gary Hennigan
glhenni at sandia.gov
Wed Oct 15 15:15:40 UTC 2008
Dirk Eddelbuettel wrote:
> On 15 October 2008 at 08:43, Dirk Eddelbuettel wrote:
> | We had request by a Gary from Sandia about providing static libs, which we
>
> Yeepers. Not sure how that pejorative 'a' landed in there. My apologies to Gary!
>
Well, while I consider myself important I'd feel even worse if you had
written *THE*. ;) No worries!
One other thing, while it would be convenient for me to have this
feature in the Debian package it is by no means a show stopper. As you
pointed out I can easily build the static libraries myself and get my
work done. That's also why I filed it as a "wishlist" item. I didn't
want you guys prioritizing this because of one whiny guy. I just wanted
to bring it to your attention and let you decide how you wanted to
prioritize it.
That said, I appreciate all the work you've already done on packaging
OpenMPI for Debian and for the time you've spent bouncing my request
around. Thanks!
Gary
More information about the Pkg-openmpi-maintainers
mailing list