On 3/27/12 11:59 PM, Makarius wrote:
On Tue, 27 Mar 2012, Viorel Preoteasa wrote:
I am trying to use jedit with the Isabelle development version
I have scala-2.9.1-1 and I downloaded jedit_build-20120313.
I set the paths
export
SCALA_HOME=/Users/viorel/Work/isabelle-dev/isabelle/contrib/scala-2.9.1-1
export
ISABELLE_JEDIT_BUILD_HOME=/Users/viorel/Work/isabelle-dev/isabelle/contrib/jedit_build-20120313
The file src/Tools/jEdit/README_BUILD says to set
ISABELLE_JEDIT_BUILD_HOME
via "init_component .../jedit_build...", but I don't know how to do it.
Isabelle settings are configured via etc/settings, either directly
e.g. in your ~/.isabelle/etc/settings (for repository versions) or by
initializing some Isabelle component. The Isabelle System manual
explains the general principles behind etc/settings and etc/components.
The jedit_build-20120313 directory is already such a component, so if
you say init_component .../jedit_build-20120313 in your settings it
should work.
I managed to get this setting working. I have used the file
../isabelle/etc/settings.
I was afraid that using the local .isabelle will overwrite the settings
for the
release version of Isabelle (Isabelle2011-1).
After setting init_component .../jedit_build-20120313 I managed to
compile jedit,
however I run into another problem. When starting isabelle jedit, I get
an error
that some class is not found.
I am using OS X Lion (10.7.3). Both JAVA_HOME and ISABELLE_JDK_HOME are
set to:
/System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home
using the script:
export JAVA_HOME="$(/usr/libexec/java_home -v 1.6)"
export ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)"
The error I get is:
12:04:21 AM [main] [error] PluginJAR: Error while starting plugin
isabelle.jedit.Plugin
12:04:21 AM [main] [error] PluginJAR: java.lang.NoClassDefFoundError:
scala/Serializable
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.defineClass1(Native Method)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.defineClassCond(ClassLoader.java:631)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.defineClass(ClassLoader.java:615)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.defineClass(ClassLoader.java:465)
12:04:21 AM [main] [error] PluginJAR: at
org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:439)
12:04:21 AM [main] [error] PluginJAR: at
org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
12:04:21 AM [main] [error] PluginJAR: at
isabelle.jedit.Plugin.<init>(plugin.scala:385)
12:04:21 AM [main] [error] PluginJAR: at
sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
12:04:21 AM [main] [error] PluginJAR: at
sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:39)
12:04:21 AM [main] [error] PluginJAR: at
sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:27)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.reflect.Constructor.newInstance(Constructor.java:513)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.Class.newInstance0(Class.java:355)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.Class.newInstance(Class.java:308)
12:04:21 AM [main] [error] PluginJAR: at
org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:735)
12:04:21 AM [main] [error] PluginJAR: at
org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:823)
12:04:21 AM [main] [error] PluginJAR: at
org.gjt.sp.jedit.jEdit.main(jEdit.java:486)
12:04:21 AM [main] [error] PluginJAR: Caused by:
java.lang.ClassNotFoundException: scala.Serializable
12:04:21 AM [main] [error] PluginJAR: at
java.net.URLClassLoader$1.run(URLClassLoader.java:202)
12:04:21 AM [main] [error] PluginJAR: at
java.security.AccessController.doPrivileged(Native Method)
12:04:21 AM [main] [error] PluginJAR: at
java.net.URLClassLoader.findClass(URLClassLoader.java:190)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.loadClass(ClassLoader.java:306)
12:04:21 AM [main] [error] PluginJAR: at
sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
12:04:21 AM [main] [error] PluginJAR: at
org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:522)
12:04:21 AM [main] [error] PluginJAR: at
org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87)
12:04:21 AM [main] [error] PluginJAR: at
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
12:04:21 AM [main] [error] PluginJAR: ... 17 more
12:04:21 AM [main] [error] ErrorListDialog$ErrorEntry:
/Users/viorel/Work/isabelle-dev/isabelle/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar:
12:04:21 AM [main] [error] ErrorListDialog$ErrorEntry: Cannot start:
java.lang.NoClassDefFoundError: scala/Serializable
12:04:21 AM [main] [error] ErrorListDialog$ErrorEntry: Try updating to a
newer version of the plugin
There is some chance though that in more recent latest versions of
Isabelle, say 89b13238d7f2, you get another problem if JAVA_HOME does
not point to a proper JDK installation -- say the one of the
Isabelle2011-1/contrib in the Linux bundle. Here you need to set
JAVA_HOME *outside* of the Isabelle environment or ISABELLE_JDK_HOME
*inside* as settings.
I am in the course of refining that again soon ...
Maybe the error from above is related to this comment.
Viorel
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
