search

andriusvelykis / isabelle-eclipse

Eclipse integration for Isabelle proof assistant.
http://andriusvelykis.github.io/isabelle-eclipse
Eclipse Public License 1.0
12 stars 4 forks source link

Report Java 7 missing #69

Closed andriusvelykis closed 11 years ago

andriusvelykis commented 11 years ago

Provide some way of indicating that Java 7 is not available in Eclipse.

Isabelle/Eclipse plugins set this requirement as Bundle-RequiredExecutionEnvironment: JavaSE-1.7 in plug-in manifest. However, Eclipse silently avoids load the plug-in if the execution environment is not available, which means that Isabelle perspective and views are not available, even though errors are not reported.

Add some other way of reporting to the user about Java 7 missing. For example, add some plug-in with Java 6 requirements that checks for Java 7 and opens a dialog if it is missing..

Necoro commented 11 years ago

Make it a Java 5 requirement, just to be sure :)

andriusvelykis commented 11 years ago

Fixed in 8d0491f0e3624d7b6274b7fc490f8fdfa0995c9e

Created a low-requirement plug-in isabelle.eclipse.diagnostic, which auto-starts and checks the Java runtime version. If bad version is found, a dialog is displayed with this information.

bad-java-version-dialog