745a0fac8a
This splits optimization on providers, and puts selection of default compilers at lower priority wrt selection of e.g. mpi or lapack provider. This is so that, on systems where 2 or more compilers are used (e.g. macOS), clingo would not make weird choices for mpi or lapack, in order to minimize compiler penalty due to using different compilers on the same node. |
||
|---|---|---|
| .. | ||
| spack | ||