> 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
environment.
Maybe someone of the TUM guys can have a look at that.
Florian
--
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
