Re: [isabelle-dev] Isabelle/jEdit build
The -bf option did the trick. Earlier I tried to remove things to get it rebuild. Obviously I did not manage to remove everything. Thank you. Viorel On 3/28/12 4:56 PM, Makarius wrote: On Wed, 28 Mar 2012, Viorel Preoteasa wrote: 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: I think I did try it with scala-2.9.1-1 on OS X Lion as well, presently back on good old Snow Leopard. When you get strange class loader errors, it can mean that there are some old jars hanging around from a different build, say in ~/.isabelle/jedit/jars or ISABELLE_HOME/lib/classes You can try "isabelle jedit -bf" to force a fresh build. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle/jEdit build
On Wed, 28 Mar 2012, Viorel Preoteasa wrote: 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: I think I did try it with scala-2.9.1-1 on OS X Lion as well, presently back on good old Snow Leopard. When you get strange class loader errors, it can mean that there are some old jars hanging around from a different build, say in ~/.isabelle/jedit/jars or ISABELLE_HOME/lib/classes You can try "isabelle jedit -bf" to force a fresh build. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Isabelle/jEdit build
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.(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.(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(DelegatingConstructorAccessorImp