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

Matthew Fernandez matthew.fernandez at nicta.com.au
Mon Feb 11 21:33:09 CET 2013

Blindly spraying "-Xmax-classfile-name 130" everywhere scalac is called
as attached fixes this problem. I leave it to you to decide whether this
is an appropriate solution to commit.

On 12/02/13 06:44, Makarius wrote:
> On Tue, 12 Feb 2013, Matthew Fernandez wrote:
>> Somewhere in the mess of error output is "File name too long."
> That is scalac complaining.  A quick Google search "scalac encrypted
> home" yields https://issues.scala-lang.org/browse/SI-3623
> I did not spend more than 5 min on that -- presently I am still engaged
> in getting Isabelle2013 released, and I am not following the Isabelle
> repository (which always requires substantial extra time).
> If you find out more about what the Scala guys managed to do there 1 or
> 2 years ago, you are welcome to report the findings here.  There is a
> natural inflow of problems from the greater Scala/JVM world that cannot
> be avoided, but sometimes it is possible to dodge them nonetheless.
>      Makarius


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: isabelle-scalac-gen-paths.patch
Type: text/x-patch
Size: 2141 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130212/959c8416/attachment-0002.bin>

More information about the isabelle-dev mailing list