[isabelle-dev] isabelle build glitch

Lars Noschinski noschinl at in.tum.de
Tue Oct 30 09:09:51 CET 2012


Hi!

Today, I updated to Isabelle 4de92b4aa74a. Then I did

--------------------------------------------------------------------------
$ isa build -b -d ~/P/afp/thys/ Simpl
### Building Isabelle/Scala ...
Changed files:
   General/pretty.scala
   System/build.scala
   System/options.scala
rm: Entfernen von „classes/isabelle“ nicht möglich: Das Verzeichnis ist 
nicht leer
--------------------------------------------------------------------------

I wondered about the error message, aborted with Ctrl-C and tried again:

--------------------------------------------------------------------------
$ isa build -b -d ~/P/afp/thys/ Simpl
Exception in thread "main" java.lang.NoClassDefFoundError: isabelle/Path
         at java.lang.Class.getDeclaredMethods0(Native Method)
         at java.lang.Class.privateGetDeclaredMethods(Class.java:2442)
         at java.lang.Class.getMethod0(Class.java:2685)
         at java.lang.Class.getMethod(Class.java:1620)
         at 
sun.launcher.LauncherHelper.getMainMethod(LauncherHelper.java:492)
         at 
sun.launcher.LauncherHelper.checkAndLoadMain(LauncherHelper.java:484)
Caused by: java.lang.ClassNotFoundException: isabelle.Path
         at java.net.URLClassLoader$1.run(URLClassLoader.java:366)
         at java.net.URLClassLoader$1.run(URLClassLoader.java:355)
         at java.security.AccessController.doPrivileged(Native Method)
         at java.net.URLClassLoader.findClass(URLClassLoader.java:354)
         at java.lang.ClassLoader.loadClass(ClassLoader.java:423)
         at java.lang.ClassLoader.loadClass(ClassLoader.java:356)
         ... 6 more
0:00:00 elapsed time, 0:00:00 cpu time
--------------------------------------------------------------------------

I deleted and reverted $ISABELLE_HOME/lib. Now everything seems to work 
again. As a data point: While executing the first "isa build", another 
instance of this Isabelle instance was running.


More information about the isabelle-dev mailing list