Dear Aaron,
there is indeed a simple fix. There is a prebundled Isabelle component
for Java, which can be installed (together with all other required
components) via
isabelle components -a
from a command line.
See also
https://isabelle.in.tum.de/community/Working_with_the_repository_version_of_Isabelle
for how to setup the development version. The official documentation for
doing so is
http://isabelle.in.tum.de/repos/isabelle/file/tip/README_REPOSITORY
Remark: Finding the right combination of packages (Poly/ML, Java, Scala,
...) to make Isabelle run is delicate (some even call it an arcane
discipline ;)). That is why everything was bundled into Isabelle
components, which save the user a lot of work.
cheers
chris
On 12/09/2012 09:49 AM, Aaron Gray wrote:
Hi,
I am new to Isabelle/HOL but am wanting to use the development version
on Windows and if not Linux.
I have tried Windows and copying the existing stable release 'contrib'
files across but am getting a message presumably from jEdit that it
requires Java 1.7.
I could not find a Cygwin Java 1.7 build anywhere and have asked on the
Cygwin mailing list, but not received a reply yet.
Also tried Oracle (Sun) Java 1.7 with JDK but am getting the message :-
Launch4j - "This application was configured to use bundled JRE but
the runtime is missing or corrupted."
On Fedora 17 the Isabelle/HOL stable release ran okay after installing
Java-1.7.0-openjdk for i686.
But with the development version I am getting the message :-
Unknown ISABELLE_JDK_HOME -- Java tools unavailable.
Not got my debugging head on so hope you do not mind me posing the
question here.
Hoping there is a simple fix for one or both of these problems.
Many thanks in advance,
Aaron
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
