On 19/08/17 21:14, Manuel Eberl wrote:
>
> As for Scala, could a problem in the Scala compiler really lead to the
> JVM segfaulting? I would have thought if the JVM segfaults, that's a bug
> in the JVM. (unless it's a hardware-related issue, of course)
>
> So, all in all, my money would be on the JVM.
The JVM is indeed the weakest link in the chain, but I've seen
situations in the past where the Scala compiler has triggered a JVM
problem by producing certain byte code: the problem disappeared again
after another update of Scala.
I propose to try the previous Scala release locally, e.g. as follows in
$ISABELLE_HOME_USER/etc/settings:
init_component "$HOME/.isabelle/contrib/scala-2.12.2"
If that crashes again, we can be quite sure that it is jdk-8u144.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
