[firedrake] firedrake's open-mpi dependency

Hi, all 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