Hi,
When the JDK is not given in the PATH variable, the command "isabelle
jedit" may fail with
./build-jars: line 189: jar: command not found
This is at least the case for hg id 08c22e8ffe70.
The problem occurs with Cygwin where the JDK is provided as a
component in the Isabelle bundle and is hence typically not mentioned
in the PATH. Proper prefixing of invocations of jar with the JDK's
path might solve this issue.
Cheers,
Sascha
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
