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 (e.g. current jdk-11.0.2+9). Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
