[isabelle] Problems with elder Isabelle Versions under Ma... · Archive Mirror: Isabelle Users Mailing List

Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Problems with elder Isabelle Versions under Ma...

Email Gateway (Aug 19 2022 at 12:15):

From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
Dear all,

I recently installed Mac OS X 10.9 called Maverick and have
understandably problems with running elder Isabelle Versions
(Isabelle12-1 downwards …)

/usr/local/isabelle/Isabelle2012/bin/isabelle jedit -l HOL Testing_Example.thy
Unable to find any JVMs matching version "1.6".
No Java runtime present, try --request to install.

Is there a known workaround ?
(I experimented a bit with the —request option, no avail).

Email Gateway (Aug 19 2022 at 12:15):

From: Luca Ciciriello <luca_ciciriello@hotmail.com>
Same problem.
Mavericks is distributed without any JDK.
No workaround. You have to install the required JDK to solve the problem.

Luca.

All problems in computer science can be solved by another level of indirection, except for the problem of too many layers of indirection.

– David J. Wheeler

Email Gateway (Aug 19 2022 at 12:31):

From: Makarius <makarius@sketis.net>
I think that situation was the same on Lion and Mountain Lion already. It
is merely how Apple phases out Java 1.6 slowly, and it is in fact really
old now.