[isabelle-dev] Isabelle repository won't build in an encrypted directory

Makarius makarius at sketis.net
Tue Feb 12 12:11:53 CET 2013

On Tue, 12 Feb 2013, Matthew Fernandez wrote:

> Blindly spraying "-Xmax-classfile-name 130" everywhere scalac is called
> as attached fixes this problem.

So what is the problem and why does the above work? Can you give some 
references on the web?

Whenever there is unexpected behavour one needs to find out the deeper 
reasons, to learn how to avoid problems in the future.

For isabelle scalac invocation there is also ISABELLE_SCALA_BUILD_OPTIONS 
which can be changed in $ISABELLE_HOME_USER/etc/settings, although that 
might not be used in all place that are required here.


More information about the isabelle-dev mailing list