Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Build of session JEdit requires previous b...

view this post on Zulip Email Gateway (Jan 23 2021 at 09:24):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
JEdit FAILED
(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).

Florian
signature.asc

view this post on Zulip Email Gateway (Jan 23 2021 at 12:51):

From: Makarius <makarius@sketis.net>
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.

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Jul 15 2022 at 23:21 UTC