[isabelle-dev] Problems building Isabelle/Scala

Traytel Dmitriy traytel at inf.ethz.ch
Fri Apr 5 17:30:25 CEST 2019

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.


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 <makarius at sketis.net<mailto:makarius at sketis.net>> 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:
-- 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).

isabelle-dev mailing list
isabelle-dev at in.tum.de<mailto:isabelle-dev at in.tum.de>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20190405/df0e6185/attachment-0002.html>

More information about the isabelle-dev mailing list