projects / openmpi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3f6dce) | patch
Don't ship lib
authorAlastair McKinstry <mckinstry@debian.org>
Wed, 8 Sep 2021 13:07:52 +0000 (14:07 +0100)
committerAlastair McKinstry <mckinstry@debian.org>
Wed, 8 Sep 2021 13:07:52 +0000 (14:07 +0100)
commit50cae26518b0e1427b0dcc2bbd02ccd7785f3fa4
treee2e85fdb8caefa7b13e2c8f468b011884e03a1b8tree | snapshot
parenta3f6dcec29a7190eaae608c35a4f8be690970f88commit | diff
Don't ship lib

Bug-Origin: https://github.com/open-mpi/ompi/pull/8892/commits/952328c3827b9d9b0b54d0a0a068d494bfef1974
Last-Updated: 2021-09-02
Forwarded: not-needed

The orted-mpir library was split to avoid global CFLAGS, which might
optimize out MPIR functionality. The library has been made a `noinst`
libtool convenience library to prevent its installation or appearance as
a  dependency of other libraries.

Gbp-Pq: Name no-ship-orted-mpir.patch
orte/orted/orted-mpir/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.