diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2018-05-04 16:27:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-04 16:27:54 +0200 |
| commit | 0570b075d4793f0e137f70d9ff741c95bd6d9053 (patch) | |
| tree | f85a701fe6152094631d54bb329e7b96cfabaf59 /lib | |
| parent | 593ad23a9f4f51e3ff4231a894ba1998e212fdc4 (diff) | |
| download | spack-0570b075d4793f0e137f70d9ff741c95bd6d9053.tar.gz spack-0570b075d4793f0e137f70d9ff741c95bd6d9053.tar.bz2 spack-0570b075d4793f0e137f70d9ff741c95bd6d9053.tar.xz spack-0570b075d4793f0e137f70d9ff741c95bd6d9053.zip | |
openmpi: don't build static libraries if slurm is activated (#8021)
According to this comment:
https://github.com/open-mpi/ompi/issues/4338#issuecomment-383982008
on an OpenMPI issue, using `--enable-static` silently disable slurm
support.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions