Re: [isabelle-dev] Isabelle/jEdit build

Wed, 28 Mar 2012 06:29:55 -0700 

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



_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to