Rolf -- Let's add the libtool issue back on the agenda for next Tuesday:
https://github.com/open-mpi/ompi/issues/311 There are now 2 PRs that can fix the issue, reflecting two different ways of working around the underlying problem. See the description here: https://github.com/open-mpi/ompi/issues/311#issuecomment-73980132 -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/