[isabelle-dev] Isabelle/jEdit build

Viorel Preoteasa viorel.preoteasa at abo.fi
Wed Mar 28 15:29:22 CEST 2012 

Hi,

I managed to get it working with the latest version of jedit_build.
However, I could only get it using scala-2.8.2.final and not with
scala-2.9.1-1.

Using scala-2.9.1-1 on OS X Lion generates the error:

### Building Isabelle/jEdit ...
4:18:55 PM [main] [error] PluginJAR: Error while starting plugin 
isabelle.jedit.Plugin
4:18:55 PM [main] [error] PluginJAR: java.lang.NoClassDefFoundError: 
scala/Serializable
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClass1(Native Method)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClassCond(ClassLoader.java:631)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClass(ClassLoader.java:615)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClass(ClassLoader.java:465)
4:18:55 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:439)
4:18:55 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
4:18:55 PM [main] [error] PluginJAR:  at 
isabelle.jedit.Plugin.<init>(plugin.scala:385)
4:18:55 PM [main] [error] PluginJAR:  at 
sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
4:18:55 PM [main] [error] PluginJAR:  at 
sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:39)
4:18:55 PM [main] [error] PluginJAR:  at 
sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:27)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.reflect.Constructor.newInstance(Constructor.java:513)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.Class.newInstance0(Class.java:355)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.Class.newInstance(Class.java:308)
4:18:55 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:735)
4:18:55 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:823)
4:18:55 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.jEdit.main(jEdit.java:486)
4:18:55 PM [main] [error] PluginJAR: Caused by: 
java.lang.ClassNotFoundException: scala.Serializable
4:18:55 PM [main] [error] PluginJAR:  at 
java.net.URLClassLoader$1.run(URLClassLoader.java:202)
4:18:55 PM [main] [error] PluginJAR:  at 
java.security.AccessController.doPrivileged(Native Method)
4:18:55 PM [main] [error] PluginJAR:  at 
java.net.URLClassLoader.findClass(URLClassLoader.java:190)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:306)
4:18:55 PM [main] [error] PluginJAR:  at 
sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
4:18:55 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:522)
4:18:55 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87)
4:18:55 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
4:18:55 PM [main] [error] PluginJAR:  ... 17 more
4:18:55 PM [main] [error] ErrorListDialog$ErrorEntry: 
/Users/viorel/Work/isabelle-dev/isabelle/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar:
4:18:55 PM [main] [error] ErrorListDialog$ErrorEntry: Cannot start: 
java.lang.NoClassDefFoundError: scala/Serializable
4:18:55 PM [main] [error] ErrorListDialog$ErrorEntry: Try updating to a 
newer version of the plugin.
lemon:isabelle viorel$ bin/isabelle jedit
4:21:20 PM [main] [error] PluginJAR: Error while starting plugin 
isabelle.jedit.Plugin
4:21:20 PM [main] [error] PluginJAR: java.lang.NoClassDefFoundError: 
scala/Serializable
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClass1(Native Method)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClassCond(ClassLoader.java:631)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClass(ClassLoader.java:615)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.defineClass(ClassLoader.java:465)
4:21:20 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader._loadClass(JARClassLoader.java:439)
4:21:20 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:109)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
4:21:20 PM [main] [error] PluginJAR:  at 
isabelle.jedit.Plugin.<init>(plugin.scala:385)
4:21:20 PM [main] [error] PluginJAR:  at 
sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
4:21:20 PM [main] [error] PluginJAR:  at 
sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:39)
4:21:20 PM [main] [error] PluginJAR:  at 
sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:27)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.reflect.Constructor.newInstance(Constructor.java:513)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.Class.newInstance0(Class.java:355)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.Class.newInstance(Class.java:308)
4:21:20 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.PluginJAR.activatePlugin(PluginJAR.java:735)
4:21:20 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.PluginJAR.activatePluginIfNecessary(PluginJAR.java:823)
4:21:20 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.jEdit.main(jEdit.java:486)
4:21:20 PM [main] [error] PluginJAR: Caused by: 
java.lang.ClassNotFoundException: scala.Serializable
4:21:20 PM [main] [error] PluginJAR:  at 
java.net.URLClassLoader$1.run(URLClassLoader.java:202)
4:21:20 PM [main] [error] PluginJAR:  at 
java.security.AccessController.doPrivileged(Native Method)
4:21:20 PM [main] [error] PluginJAR:  at 
java.net.URLClassLoader.findClass(URLClassLoader.java:190)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:306)
4:21:20 PM [main] [error] PluginJAR:  at 
sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:301)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
4:21:20 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader.loadFromParent(JARClassLoader.java:522)
4:21:20 PM [main] [error] PluginJAR:  at 
org.gjt.sp.jedit.JARClassLoader.loadClass(JARClassLoader.java:87)
4:21:20 PM [main] [error] PluginJAR:  at 
java.lang.ClassLoader.loadClass(ClassLoader.java:247)
4:21:20 PM [main] [error] PluginJAR:  ... 17 more
4:21:20 PM [main] [error] ErrorListDialog$ErrorEntry: 
/Users/viorel/Work/isabelle-dev/isabelle/src/Tools/jEdit/dist/jars/Isabelle-jEdit.jar:
4:21:20 PM [main] [error] ErrorListDialog$ErrorEntry: Cannot start: 
java.lang.NoClassDefFoundError: scala/Serializable
4:21:20 PM [main] [error] ErrorListDialog$ErrorEntry: Try updating to a 
newer version of the plugin

Viorel


On 3/28/12 3:31 PM, Makarius wrote:
> This is a summary of the current situation with instantaneous building 
> of Isabelle/jEdit from the repository (version 300fa46fd081).
>
> * http://www4.in.tum.de/~wenzelm/test/jedit_build-20120327.tar.gz
>   provides the auxiliary jedit_build component, which is now using
>   jedit-4.5.1 (there is an improved treatment of > 16bit Unicode, as
>   requested last year by myself on the jEdit tracker).
>
>   The component is installed as usual, e.g. via this in
>   ~/.isabelle/etc/settings:
>
>     init_component ".../jedit_build-20120327"
>
>   Where "..." is expanded to the relative or absolute location of the
>   unpacked component.
>
> * ISABELLE_JDK_HOME needs to point to a genuine JDK installation, with 
> the
>   proper directory layout (the standard one of Oracle, not the one of
>   Debian). Mac OS users can set it like this in ~/.isabelle/etc/settings:
>
>     ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)"
>
> * SCALA_HOME needs to point to genuine Scala according to EPFL, not
>   Debian.  The variable can be set in regular shell startup 
> environment or
>   Isabelle settings.
>
>
> I have also tried everything with latest Mac OS X Lion -- it works for 
> me.
>
> There is no need to change anything if it works for you already.  In 
> the coming release everything will be bundled again to work out-of-the 
> box, including full JDK components for the usual platforms.  (This 
> investment of 100-200 MB disk space saves a lot of worries for anybody.)
>
>
> Adventurous beta testers are encouraged to try latest JDK 1.7.x and 
> Scala 2.10.x release candidates.  Both should also work quite well 
> already.
>
>
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev 
>
>

More information about the isabelle-dev mailing list