[isabelle-dev] jar: command not found
boehmes at in.tum.de
Thu Mar 22 21:10:40 CET 2012
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.
More information about the isabelle-dev