Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Unknown JAVA_HOME -- Java unavailable


view this post on Zulip Email Gateway (Nov 30 2020 at 12:12):

From: Kawin Worrasangasilpa <kw448@cam.ac.uk>
Hi,

I have a problem using the Isabelle2018 document preparation command in my
new MacBook pro (macOs Catalina version 10.15.7). I use Isabelle 2018
installed from this website: https://isabelle.in.tum.de/website-Isabelle2018 (I
do not use the current version just because there have been some changes in
operators' precedences and do not have time to change all instances yet),
then I tried using simply command "isabelle mkroot" and the terminal showed
this:
[image: Screenshot 2020-11-30 at 11.58.13.png]

So I tried fixing java_home path & version issues online, but it is still
happening, does anyone know what the problem is and how to fix it?

Regards,
Kawin
Screenshot 2020-11-30 at 11.58.13.png

view this post on Zulip Email Gateway (Nov 30 2020 at 13:06):

From: Makarius <makarius@sketis.net>
On 30/11/2020 13:12, Kawin Worrasangasilpa wrote:

I have a problem using the Isabelle2018 document preparation command in my new
MacBook pro (macOs Catalina version 10.15.7). I use Isabelle 2018
installed from this
website: https://isabelle.in.tum.de/website-Isabelle2018

That is a rather old version of Isabelle on recent macOS, which often causes
problems: Apple requires to update applications frequently.

Nonetheless, Isabelle2018 happens to work for me on Catalina 10.15.17: I
merely had to convince the "Security & Privacy" subsystem to admit an
independent applicatio, as explained on
https://isabelle.in.tum.de/website-Isabelle2019/installation.html for macOS.

So I tried fixing java_home path & version issues online, but it is still
happening, does anyone know what the problem is and how to fix it?

I always translate "fix" as "tinker without plan or understanding, in the vain
hope to improve the situation".

Isabelle comes with its own bundled Java distribution. Whatever the OS
installation provides in addition should not matter.

There is some chance that the Apple defense system has destroyed the Java
within Isabelle2018.app.

Makarius


Last updated: Dec 05 2021 at 22:18 UTC