In my infinite wisdom, I deleted the file 'mpicc.openmpi' file in my /usr/bin/ folder by mistake.
I tried installing OpenMPI as well as GCC. But don't know how to get back to normalcy.
Can anyone please help me out.
Thanks.
You can check which package provides the file like this:
dpkg -S mpicc.openmpi
which indicates it is in the openmpi-bin
package. Then reinstall that package like this:
sudo apt reinstall openmpi-bin
After that, the file should be there again.
EDIT: forgot to add that this was for Ubuntu 19.04 -- the package name could be different for other Ubuntu versions.
dpkg -S mpicc.openmpi
does not say that it provides the missing file.
– karel
Oct 18 '19 at 11:33
sudo apt install libopenmpi-dev
). – karel Oct 18 '19 at 11:12