dolfin team mailing list archive

[Kent Andre <kent-and@xxxxxxxxx>]

Hi, just realized that (thanks to Kristian V-S) that there is a problem
with the jit compiling in Dolfin / Instant. If you have several Dolfin
instances compiled in different ways you may run into trouble as the 
caching mechanism does not recognize the differences. Either Instant 
should include compiling options in the checksum or Dolfin should
uniquely represent itself with an "id". Opinions ? 

Kent