[isabelle-dev] JEdit FAILED
florian.haftmann at informatik.tu-muenchen.de
Sat Jun 28 17:08:06 CEST 2014
> The problem here is the missing unzip executable on the test machine.
After a second look at the return code 9, I end up with the unzip man
page (on lxbroy10):
> 9 the specified zipfiles were not found.
Having a look at the code
> val jedit_actions =
> Lazy.lazy (fn () =>
> (case Isabelle_System.bash_output
> "unzip -p \"$JEDIT_HOME/dist/jedit.jar\" org/gjt/sp/jedit/actions.xml" of
> (txt, 0) =>
> (case XML.parse txt of
> XML.Elem (("ACTIONS", _), body) => maps (parse_named "ACTION") body
> | _ => )
> | (_, rc) => error ("Cannot unzip jedit.jar\nreturn code = " ^ string_of_int rc)));
suggests that something is bad with $JEDIT_HOME in the mira build
Maybe someone of the TUM guys can have a look at that.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 263 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev