You can controll this by setting the environment variable: INSTANT_CACHE_DIR
to different directories for the different DOLFIN builds. If you use different conf files for the different DOLFIN builds you can easily controll the instant cache dir from within these. We once included the dolfin version in the cache id, but it was removed as it the ufc python module is not dependent on anything in dolfin. Not sure how true this is in reality though. What kind of troubles have you encountered? Johan On Thursday May 27 2010 14:55:53 Kent Andre wrote: > 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 > > > _______________________________________________ > Mailing list: https://launchpad.net/~dolfin > Post to : [email protected] > Unsubscribe : https://launchpad.net/~dolfin > More help : https://help.launchpad.net/ListHelp _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
