[Pkg-openmpi-maintainers] Options for building OpenMPI on Raspberry Pi?

[Jeff Layton]

Hello,

I'm trying to build Open MPI on my own on a Raspberry Pi 2
but I'm running into troubles. Is it possible to share the
configure options that were used to build the .deb?

Thanks!

Jeff