[isabelle-dev] Problems building Isabelle/Scala
lp15 at cam.ac.uk
Fri Apr 5 12:30:45 CEST 2019
Probably not relevant, but anyway: for a while, builds of Isabelle used to hang at quite a precise point during the build process, with CPU utilisation of 0%, indicating that something was waiting for something. This always happens a precise time (about three minutes of processor runtime), and if the job got past three minutes I could be confident that it would terminate. But this doesn’t sound like your issue if your machine is running hot. Still it might be worth checking which process is making Matthew.
This was on one of my machines, a Mac running the latest version of OS X (possibly not Mojave when I was getting it).
> On 5 Apr 2019, at 10:06, Jasmin Blanchette <jasmin.blanchette at gmail.com> wrote:
> 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