[isabelle-dev] Isabelle repository won't build in an encrypted directory
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.
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...
Size: 2141 bytes
Desc: not available
More information about the isabelle-dev