[isabelle-dev] Isabelle repository won't build in an encrypted directory
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