[isabelle-dev] getting development version to work (was: newbie Q's getting for development version working on Windows and on Fedora 17.)
c-sterna at jaist.ac.jp
Sun Dec 9 02:22:00 CET 2012
there is indeed a simple fix. There is a prebundled Isabelle component
for Java, which can be installed (together with all other required
isabelle components -a
from a command line.
for how to setup the development version. The official documentation for
doing so is
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.
On 12/09/2012 09:49 AM, Aaron Gray wrote:
> 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,
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev