On May 6, 2014, at 9:40 AM, Imran Ali <imranal_at_[hidden]> 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.
For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/