diff options
| author | Ludovic Courtès <[email protected]> | 2024-11-18 14:33:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2024-11-25 11:22:24 +0100 |
| commit | a7d6a79a98496f87f577bf5edfa4024e1a39665e (patch) | |
| tree | 2c4498650ccfeb1d815a853fe8a353996b6ff22d /configure.ac | |
| parent | f0d400fd2a8bf343923ad44133f3d050b7a6f282 (diff) | |
gnu: openmpi: Disable static libraries.
* gnu/packages/mpi.scm (openmpi-4)[arguments]: Pass “--disable-static”.
* gnu/packages/mpi.scm (openmpi-5)[arguments]: Likewise.
Change-Id: Ia6a8bc8a88d12a37878a45eed380262759bd4565
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions