[firedrake] Does anybody have experience of installing on RedHat?

Hi, I am trying to install Firedrake on RedHat Fedoraand am having all sorts of wows. Does anybody have experience of doing this or a recipe that I can try? Best, david