[isabelle-dev] getting development version to work (was: newbie Q's getting for development version working on Windows and on Fedora 17.)

[Christian Sternagel]

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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>