Hi, On 2013-01-10, Simon King <simon.k...@uni-jena.de> wrote: > I tried > > sudo ln -s ccache /usr/local/bin/gcc
It should have been > sudo ln -s /usr/bin/ccache /usr/local/bin/gcc etc. Doing so solved the problem. Now, after doing some compilations, the cache is non-empty. Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.