[isabelle-dev] what's wrong with my system?
makarius at sketis.net
Mon Mar 1 18:32:38 CET 2010
On Mon, 1 Mar 2010, Lawrence Paulson wrote:
> 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
This looks more like a general problem with the Java installation, nothing
from our side.
> I assume that this has something to do with the graph browser, so I
> tried rebuilding that:
> ~/isabelle/Repos/lib/browser: ./build
> Missing Isabelle settings environment
> What does this message mean?
It means the script requires a proper Isabelle settings environment to run
(cf. its internal description). You can provide that via "isabelle env",
but here it actually means you normally do not invoke the script directly:
the browser already takes care of recompiling the required jars on demand.
More information about the isabelle-dev