[isabelle-dev] jar: command not found

Sascha Boehme 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 mailing list