[isabelle-dev] Fwd: isabelle dist build failed
makarius at sketis.net
Thu Jul 23 13:40:42 CEST 2015
On Thu, 23 Jul 2015, Larry Paulson wrote:
> I pushed some changes on Monday, and although they seemed to go okay, I
> was looking out for problems. But I don’t know what this one signifies.
>> Begin forwarded message:
>> From: "Account Isatest" <isatest at lxbroy10.informatik.tu-muenchen.de>
>> Subject: isabelle dist build failed
>> Date: 22 July 2015 23:56:57 BST
>> To: lp15 at cam.ac.uk
>> Could not build isabelle distribution. Log file available at
I keep trying to get back to isatest runs that work routinely, but there
are various problems, like the lack of proper test machines -- there have
not been any significant upgrades in 5 years.
The present plan is to move more jobs on lxbroy10, see also b8170925c848.
The LaTeX failure above seems to be specific to the installation on
lxbroy10: I have addressed that in f47bd91fdc75.
More information about the isabelle-dev