Skip to content

GitLab

Closed
Created by Mattijs Janssens@MattijsMaintainer

makeOPENMPI with openmpi-2.1.1 gives configure warning

configure: WARNING: unrecognized options: --disable-mpi-profile