Package: openmpi
Severity: wishlist
Tags: patch
Hi,
please consider adding an openmpi-dbg package, containing the debugging
symbols for gdb & Co - something I use at my local site, and other users
might be interested in as well.
A patch for doing this is attached.
Cheers, Til
=== debian/control
==================================================================
--- debian/control (revision 7)
+++ debian/control (local)
@@ -69,3 +69,17 @@
and computer science researchers.
.
This package contains platform independent files for Open MPI.
+
+Package: openmpi-dbg
+Section: devel
+Architecture: any
+Depends: openmpi-bin (= ${Source-Version}), openmpi-libs0 (= ${Source-Version})
+Description: high performance message passing library
+ Open MPI is a project combining technologies and resources from several other
+ projects (FT-MPI, LA-MPI, LAM/MPI, and PACX-MPI) in order to build the best
+ MPI library available. A completely new MPI-2 compliant implementation, Open
+ MPI offers advantages for system and software vendors, application developers
+ and computer science researchers.
+ .
+ This package contains debugging symbols for Open MPI.
+
=== debian/rules
==================================================================
--- debian/rules (revision 7)
+++ debian/rules (local)
@@ -86,7 +86,7 @@
dh_installexamples -a
dh_installman -a
dh_link -a
- dh_strip -a
+ dh_strip -a --dbg-package=openmpi-dbg
dh_compress -a
dh_fixperms -a
dh_makeshlibs -a
