Re: [isabelle] dependency graph on Cygwin

Thanks, Gerwin.

It is the normal distribution, though I'm using it under Cygwin/Windows.

Tried your suggestion but I get

   make: Nothing to be done for `all'.

In fact, all files seem to be there

   $ ls -R
GraphBrowser  GraphBrowser.jar  Makefile  awtUtilities




Quoting Gerwin Klein <gerwin.klein at>:

> giamp at wrote:
> > Isabelle2005 seems to be working fine with SMLNJ and Cygwin/Windows.
> However, I
> > can't build the graph of theory dependencies.
> >
> > $ isatool usedir -g true -d document HOL Myproofs
> > Running HOL-Myproofs ...
> > java.lang.NoClassDefFoundError: GraphBrowser/Console
> > Exception in thread "main" Error:
> /tmp/isabelle-giamp3680/session_graph.eps:
> > does not exist
> > Failed to produce pdf output
> >
> > A Java VM is available under Cygwin. Can you help, thanks!
> It seems that you need to run "make" in (Distribution)/lib/browser to
> generate the necessary Java classes.
> This should not be necessary for the normal distribution. Are you
> running from CVS?
> Cheers,
> Gerwin

This message was sent using IMP, the Internet Messaging Program.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.