On 20 October 2008 at 00:47, Sylvestre Ledru wrote: | | > | 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.
Sounds good to me, especially if you manage to test it and its -dev package against something. Thanks for working on this! Dirk -- Three out of two people have difficulties with fractions. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
