Change install libdir to openmpi3
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 12 Oct 2022 11:52:34 +0000 (12:52 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 12 Oct 2022 11:52:34 +0000 (12:52 +0100)
commitc1ecad490f47ad2b3cef91443fa514cf555d4455
tree773a63c02ac8c4fc9179051dd5c12f41dc3f4c5e
parentb552137ca7554a21230b3484251cd9acfac495da
Change install libdir to openmpi3

Last-Updated: 2019-03-09
Forwarded: no

This is needed to ensure that libopenmpi2, libopenmpi3 do not collide.

Gbp-Pq: Name libdir.patch
configure.ac