[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