Bug#734096: libopenmpi-dev: Please install pkg-config files (*.pc) into /usr/lib/pkgconfig

[Gilles Filippini]

tags 734096 + patch
thanks

Gilles Filippini a écrit , Le 03/01/2014 19:25:

Package: libopenmpi-dev
Version: 1.6.5-8
Severity: normal

Dear maintainer,

The .pc files for libopenmpi should be installed into /usr/lib/pkgconfig
instead of /usr/lib/openmpi/lib/pkgconfig.

Hi,

Please find attached a patch proposal.

Thanks,

_g.

diff -Nru openmpi-1.6.5/debian/changelog openmpi-1.6.5/debian/changelog
--- openmpi-1.6.5/debian/changelog      2013-12-26 14:36:20.000000000 +0100
+++ openmpi-1.6.5/debian/changelog      2014-01-05 16:48:11.000000000 +0100
@@ -1,3 +1,11 @@
+openmpi (1.6.5-8.1) UNRELEASED; urgency=medium
+
+  * Non-maintainer upload.
+  * Install pkg-config .pc files into /usr/lib/pkgconfig instead of
+    /usr/lib/openmpi/lib/pkgconfig (closes: #734096). 
+
+ -- Gilles Filippini <p...@debian.org>  Sun, 05 Jan 2014 16:46:15 +0100
+
 openmpi (1.6.5-8) unstable; urgency=low
 
   [ Dimitri John Ledkov ]
diff -Nru openmpi-1.6.5/debian/libopenmpi-dev.install 
openmpi-1.6.5/debian/libopenmpi-dev.install
--- openmpi-1.6.5/debian/libopenmpi-dev.install 2013-06-05 12:27:11.000000000 
+0200
+++ openmpi-1.6.5/debian/libopenmpi-dev.install 2014-01-05 16:50:47.000000000 
+0100
@@ -32,4 +32,4 @@
 ## .so symlinks
 usr/lib/openmpi/lib/*.so
 ## pkg-config .pc files
-usr/lib/openmpi/lib/pkgconfig/*.pc
+usr/lib/openmpi/lib/pkgconfig/*.pc usr/lib/pkgconfig