I notice firedrake has dependency on open-mpi.  But, I want to use other mpi implementation.

I already have impi installed on my machine. 

What should I do to make this change happen ?

Thanks,

Tao