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"
Subject: isabelle dist build failed
Date: 22 July 2015 23:56:57 BST
To: l...@cam.ac.uk
Could not build isabelle distribution. Log file available at
lxbroy10:/home/isatest/log/isatest-makedist-2015-07-23.log
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.
Makarius___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
