Clean .instant cache on version upgrade

Issue #294 wontfix
Mike Sussman created an issue

Upgrading Ubuntu releases leaves the .instant cache in the user's directory. If the version of swig is also upgraded, then the version mismatch causes dolfin to fail.

The instructions for upgrading Ubuntu releases already mention re-installing the ppa. In addition, they should explain that the .instant directory should be removed or cleaned out.

Comments (5)

  1. Prof Garth Wells

    Instant dependency will be removed by #897.

    For information, my understanding is that there are Debian/Ubuntu policy issues around cleaning out caches automatically.

  2. Log in to comment