[Pkg-openmpi-maintainers] Bug#752785: openmpi: Please add mpi.pc
Alastair McKinstry
mckinstry at debian.org
Thu Jun 26 15:04:17 UTC 2014
Package: openmpi
Version: 1.6.5-8 (git)
Severity: wishlist
Tags: patch
Both openmpi and mpich now provide pkg-config files.
Please add mpi.pc as an alternative, to enable mpicc and friends to be replaced:
ndex c6111a3..c017fe9 100644
--- a/debian/libopenmpi-dev.postinst
+++ b/debian/libopenmpi-dev.postinst
@@ -19,7 +19,8 @@ update-alternatives \
--slave /usr/share/man/man1/mpicxx.1.gz mpicxx.1.gz /usr/share/man/man1/mpicxx.openmpi.1.gz \
--slave /usr/share/man/man1/mpiCC.1.gz mpiCC.1.gz /usr/share/man/man1/mpiCC.openmpi.1.gz \
--slave /usr/share/man/man1/mpif77.1.gz mpif77.1.gz /usr/share/man/man1/mpif77.openmpi.1.gz \
- --slave /usr/share/man/man1/mpif90.1.gz mpif90.1.gz /usr/share/man/man1/mpif90.openmpi.1.gz
+ --slave /usr/share/man/man1/mpif90.1.gz mpif90.1.gz /usr/share/man/man1/mpif90.openmpi.1.gz \
+ --slave /usr/lib/pkgconfig/mpi.pc mpi.pc /usr/lib/pkgconfig/ompi.pc
This will really help with packages such as hdf5, netcdf5, etc. that may or may not need
to be compiled with mpicc depending on whether sub-dependencies were built against mpi.
We could then just include "Requires: mpi" in their pkg-config files.Both openmpi and mpich now provide pkg-config files.
Please add mpi.pc as an alternative, to enable mpicc and friends to be replaced:
-- System Information:
Debian Release: 7.4
APT prefers stable
APT policy: (500, 'stable')
Architecture: powerpc (ppc)
Kernel: Linux 2.6.32-5-powerpc
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/bash
More information about the Pkg-openmpi-maintainers
mailing list