it is for MOFED now and probably OFED later.
will rename to contrib/dist/mofed tomorrow.
On Thu, Nov 7, 2013 at 9:08 PM, Jeff Squyres (jsquyres)
> On Nov 7, 2013, at 10:21 AM, Mike Dubman <miked_at_[hidden]> wrote:
> > sorry, I though it was mentioned:
> > motivation is to build .deb OMPI package as part of debian/ubuntu ofed
> Ah, this is a fairly critical piece of information that was not supplied.
> Is this OFED or MOFED? I thought OFED stopped shipping MPI's a while
> How about having a contrib/dist/[m]ofed directory, and put all this stuff
> in there? (you may even want contrib/dist/ofed/rhel and
> contrib/dist/ofed/debian, ...etc.).
> Jeff Squyres
> For corporate legal information go to:
> devel mailing list