Recently, mira test runs (e.g. http://isabelle.in.tum.de/reports/Isabelle/report/029386c2f6af4a1b9d716f5e9eb3728c) show an interesting behaviour:
Any idea what is going on here? Maybe jar cannot be found due to a bad
PATH?
Florian
>
> 1961 JEdit FAILED
>
> 1962 (see also
> /tmp/mira/workbench/65337-139664965887744/Isabelle/heaps/polyml-5.5.2_x86_64-linux/log/JEdit)
>
> 1963
>
> 1964 val commit = fn: unit -> bool
>
> 1965 val it = (): unit
>
> 1966 Loading theory "Base" (required by "JEdit")
>
> 1967 structure Antiquote_Setup : sig end
>
> 1968 Loading theory "JEdit"
>
> 1969 *** Cannot unzip jedit.jar
>
> 1970 *** return code = 9
>
> 1971 *** At command "text" (line 1021 of "~~/src/Doc/JEdit/JEdit.thy")
>
--
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
