On May 6, 2014, at 9:40 AM, Imran Ali <imra...@student.matnat.uio.no> wrote:
> My install was in my user directory (i.e $HOME). I managed to locate the > source directory and successfully run make uninstall. FWIW, I usually install Open MPI into its own subdir. E.g., $HOME/installs/openmpi-x.y.z. Then if I don't want that install any more, I can just "rm -rf $HOME/installs/openmpi-x.y.z" -- no need to "make uninstall". Specifically: if there's nothing else installed in the same tree as Open MPI, you can just rm -rf its installation tree. -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
