> |  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






-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to