Hi Makarius, I have the same problem as Jasmin (on a MacBook Pro running macOS 10.14.3).
I can build Isabelle2018 (also from the repository via hg update -r Isabelle2018). I tried adding either of init_component "$HOME/.isabelle/contrib/jdk-8u181" init_component "$HOME/.isabelle/contrib/jdk-11" to my etc/settings to no effect. I.e., with either JVM the build gets stuck. In the JMC console I see that the main thread is stuck with the below stack trace. I have no idea what this means, though. Dmitriy Stack Trace main [1] (RUNNABLE) scala.tools.nsc.ast.Trees.newStrictTreeCopier line: 108 scala.tools.nsc.ast.Trees.newStrictTreeCopier$ line: 108 scala.tools.nsc.Global.newStrictTreeCopier line: 44 scala.tools.nsc.Global.newStrictTreeCopier line: 44 scala.reflect.internal.Trees$LazyTreeCopier.<init> line: 775 scala.tools.nsc.ast.Trees$LazyTreeCopier.<init> line: 123 scala.tools.nsc.ast.Trees.newLazyTreeCopier line: 109 scala.tools.nsc.ast.Trees.newLazyTreeCopier$ line: 109 scala.tools.nsc.Global.newLazyTreeCopier line: 44 scala.tools.nsc.Global.newLazyTreeCopier line: 44 scala.reflect.api.Trees.$init$ line: 2241 scala.reflect.api.Universe.<init> line: 73 scala.reflect.macros.Universe.<init> line: 33 scala.reflect.internal.SymbolTable.<init> line: 27 scala.tools.nsc.symtab.SymbolTable.<init> line: 16 scala.tools.nsc.Global.<init> line: 45 scala.tools.nsc.Global$.apply line: 1714 scala.tools.nsc.MainClass.newCompiler line: 28 scala.tools.nsc.Driver.process line: 59 scala.tools.nsc.Driver.main line: 80 scala.tools.nsc.Main.main line: not available On 5 Apr 2019, at 11:54, Makarius <[email protected]<mailto:[email protected]>> wrote: On 05/04/2019 11:06, Jasmin Blanchette wrote: Hi all, I recently installed Isabelle on two new laptops and am running into the same on both. One is a MacBook Air, the other a MacBook Pro. Both are running macOS Mojave 10.4.4. What happens is simple. After cloning the Isabelle repository (350acd36) and installed the necessary components, I type ./bin/isabelle jedit -b -f as suggested in "README_REPOSITORY" and then it answers ### Building Isabelle/Scala Things remain like this for over 20 minutes, at which point I give up. The CPU generates a lot of heat, though. Has anyone any idea of what's going on? Do you manage to build Isabelle2018 on that machine? E.g. after "hg up -r Isabelle2018" and "isabelle components -a". There could be something wrong in the interaction of Apple HW / OS versus Java, Scala, Isabelle Java/Scala options. The latter are provided via the following settings: https://isabelle.in.tum.de/repos/isabelle/annotate/5b75480f371a/etc/settings#l11 -- you should check that your $ISABELLE_HOME_USER/etc/settings somehow fit to that. You can shuffle jdk components in local settings like this: init_component "$HOME/.isabelle/contrib/jdk-8u181" init_component "$HOME/.isabelle/contrib/jdk-11" This jdk-11 is the OpenJDK from Oracle. We are now using a different one from https://adoptopenjdk.net<https://adoptopenjdk.net/> (e.g. current jdk-11.0.2+9). Makarius _______________________________________________ isabelle-dev mailing list [email protected]<mailto:[email protected]> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
