[isabelle-dev] Isabelle repository won't build in an encrypted directory
makarius at sketis.net
Mon Feb 11 20:44:57 CET 2013
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"
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.
More information about the isabelle-dev