Johan Hake <[email protected]> writes:

> On 05/30/2013 03:08 PM, Joachim Berdal Haga wrote:
>> No, at least not with the make backend.

Anything that uses file modification time will need to rebuild.  Setting
mtime back to some earlier point is totally non-workable.  A system
using SHA1 instead of mtime could speed up the rebuild, but that comes
with its own can of worms.

>> 1) Install ccache (and set CCACHE_BASEDIR=$HOME [1]), so that at least
>> the rebuild is fast.
>
> I have not set CCACHE_BASEDIR=$HOME but ccache is used and the cache is in
>
>   $HOME/.ccache
>
> even with ccache it is pretty time consuming.

What scale is "pretty time consuming"?  My laptop takes 6 seconds to
recompile PETSc with ccache after switching between disparate branches.
This hasn't been slow enough to motivate me to find an alternative.
_______________________________________________
fenics mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics

Reply via email to