On Fri, Feb 26, 2016 at 5:21 PM, Emmanuel Thomé <emmanuel.th...@gmail.com> wrote: > happens to have an openmpi-1.6.5 installation in /usr, as well as .
Sorry for copy-paste failure. 1.6.5 is only in /usr, of course. E.
On Fri, Feb 26, 2016 at 5:21 PM, Emmanuel Thomé <emmanuel.th...@gmail.com> wrote: > happens to have an openmpi-1.6.5 installation in /usr, as well as .
Sorry for copy-paste failure. 1.6.5 is only in /usr, of course. E.