[isabelle-dev] JEdit FAILED

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Sat Jun 28 16:07:13 CEST 2014


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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140628/82cd2e83/attachment.asc>


More information about the isabelle-dev mailing list