Modifying auto generated kernels - firedrakeproject/firedrake GitHub Wiki

  1. look in .cache
  2. delete the .so
  3. edit the C file
  4. run the compile command from the log file
  5. move the XXX_p2131290.so.tmp to XXX.so