[firedrake] Firedrake on supercomputers

Hi all, I'm running my code on TACC Stampede and I have a couple of questions: How can I setup Firedrake/PyOP2 for the target machine, for example to use Intel compilers, target architecture (sandybridge) instruction set, or Intel MKL libraries? Until now I've only used MPI. What do I need to do to run with openmp or cuda for instance? I've got the PyOP2 dependencies in place, as they are listed on the Firedrake website. Also, does anyone have experience on using Intel MIC coprocessors with Firedrake? Cheers, Tuomas