Como sugerido por @Lillox, precisei chwon
do diretório (por exemplo, /home/openmpi-1.10.1
).
sudo chown -R user: .
(Depois que o :
do grupo de usuários é deixado de fora, esse comando usa o grupo de usuários padrão.)
Depois disso, continuei a instalação com estes comandos:
./configure --prefix="/opt/openmpi"
make all install