[isabelle-dev] jar: command not found
makarius at sketis.net
Mon Mar 26 13:07:45 CEST 2012
On Thu, 22 Mar 2012, Sascha Boehme wrote:
> 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.
date: Sat Mar 24 20:24:16 2012 +0100
files: Admin/java/README Admin/java/etc/settings NEWS etc/settings
lib/Tools/java lib/browser/build src/Pure/System/gui_setup.scala
description: ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
update for prospective jdk1.7.x component;
In practice, it means that people hooked in the repository version of
Isabelle/Scala and jEdit need to have JAVA_HOME or ISABELLE_JDK_HOME set
explicitly! I think Mac OS X does that by default, but probably not Linux
It also means that the next release will have to bundle full JDK on Linux
as well, not just JRE as in Isabelle2011-1. (I have updated some README
concerning that for jdk1.7.x, although it is not wrapped up as Isabelle
More information about the isabelle-dev