[isabelle-dev] Build of session JEdit requires previous build of Isabelle/jEdit itself

Makarius makarius at sketis.net
Sat Jan 23 13:51:27 CET 2021

On 23/01/2021 10:24, Florian Haftmann wrote:
> (see also
> /home/haftmann/data/tum/isabelle/devel/heaps/polyml-5.8.2_x86_64_32-linux/log/JEdit)
> *** Cannot unzip jedit.jar
> *** return code = 9
> *** At command "text" (line 162 of "~~/src/Doc/JEdit/JEdit.thy")
> (This applies to 0398f18ec76c, but very likely also to the RC, but the
> issues seems not pressing enought to me there).

The same happens in Isabelle2020, and earlier.

Note that this is only relevant to bootstrap a distribution. The standard
procedure for that is to sprinkle "isabelle jedit -b" generously into various
build scripts.

Next time, I could just make Isabelle/jEdit an integral part of
Isabelle/Scala: like Isabelle/VSCode and other add-ons are already today.


More information about the isabelle-dev mailing list