[isabelle-dev] Isabelle2012 post-release mode

[Lukas Bulwahn]

On 05/23/2012 01:28 PM, Makarius wrote:
> Dear All,
>
> the current situation is as follows:
>
>   * As of Isabelle/c5f7be4a1734 the
>     http://isabelle.in.tum.de/repos/isabelle-release branch is merged
>     again with the main line.
>
>   * isatest is back testing http://isabelle.in.tum.de/repos/isabelle

With the mira testing, Isabelle-makeall on lxbroy10 seems to be not 
terminating after the release branch was merged back.
I killed the processes now throughout the days, but I cannot tell what 
the error is.

It seems as if the script "perl -w /lib/scripts/feeder.pl" is doing 
something wrong.

The report on 
https://isabelle.in.tum.de/testboard/Isabelle/report/113b081700754f768fe458e15cd460a1 
and
http://isabelle.in.tum.de/testboard/Isabelle/report/7950b174d6e340aba223611991c32ec6 
show some error messages, but they are not very informative.

Any hints are welcome.


Lukas