[Pkg-openmpi-maintainers] 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.
-------------- next part --------------
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 <pini at 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