Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[ptp-dev] Re: ORTE Proxy build errors

Hi Greg,

Thanks for the timely response, sorry I must have forgotten to mention that I did configure openmpi with --with-devel-headers option.

Mike

Back to the top