I am trying to install Open MPI. I downloaded the archive and extracted the folder to /home/
. I cded there and entered ./configure --prefix="/opt/openmpi"
and got this error:
./configure: line 4840: config.log: Permission denied
./configure: line 4850: config.log: Permission denied
I tried the following:
ls -l configure
which gives-rwxrwxr-x 1 root root ... configure
df -h .
. I'm on/dev/sda6
grep '\s/home/\s.*noexec' /proc/mounts
yields no results- Prepend the command with
sh
I try to avoid using sudo
to install this. What can I do?
As suggested by @Lillox I needed to
chwon
the directory (e.g./home/openmpi-1.10.1
).(After the
:
the user-group is left out so this command uses the default user group.)After that I continued installation with these commands: