[isabelle-dev] Problems building Isabelle/Scala
jasmin.blanchette at inria.fr
Fri Apr 5 10:59:35 CEST 2019
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?
More information about the isabelle-dev