[Pkg-openmpi-maintainers] Bug#502232: [Pkg-openmpi-commits] r141 - in /openmpi/trunk/debian: libopenmpi-dev.install rules
Sylvestre Ledru
sylvestre.ledru at inria.fr
Sun Oct 19 22:47:41 UTC 2008
> | usr/lib/openmpi/lib/*.so
> | -usr/lib/openmpi/lib/*.a
> | -usr/lib/openmpi/lib/*.la
>
> Don't we want the .a file?
We do have them.
It is done in the debian/rules
The procedure is now:
# do the configure twice (with and without the option)
# launch the build for each configure (vpath)
# for the "normal build", "make install" will install in the same
directory as before (debian/openmpi)
# for the "static build", "make install" will install in the
debian/libopenmpi-dev/ directory
# debian/rules removes everything but the static libs
# all the other stuff for libopenmpi-dev is installed by
libopenmpi-dev.install
Works for me. If you agree, I upload it.
Sylvestre
More information about the Pkg-openmpi-maintainers
mailing list