[isabelle-dev] what's wrong with my system?
lp15 at cam.ac.uk
Mon Mar 1 12:54:22 CET 2010
I'm not sure what has gone wrong with my system. I don't think I have changed anything. It may be that I downloaded and recompiled poly/ML. Now I can't build Isabelle any more:
Loading theory "Complex_Main"
val it = () : unit
Error occurred during initialization of VM
Unable to load native library: libjava.jnilib
*** Failed to prepare dependency graph
I assume that this has something to do with the graph browser, so I tried rebuilding that:
Missing Isabelle settings environment
What does this message mean? My ~/.isabelle/etc/settings file is the same as ever.
More information about the isabelle-dev