Re: [isabelle] afp_build in RC2
This probably just depends on if you have built HOL with browser_info on before or not, i.e. if the session file exists or not.
(afp_build just sets browser_info and document options)
I've hit this as well today, but I'm not sure which way is better: failing the build or not. If HOL has not been built with browser_info before, it doesn't really make sense to generate html that links to it.
On 02.02.2013, at 8:50 PM, Christian Sternagel <c.sternagel at gmail.com> wrote:
> Dear list,
> it is now the second time that I got
> ### I/O error: /home/griff/.isabelle/Isabelle2013-RC2/browser_info/HOL/.session/entries (No such file or directory)
> ### Browser info: failed to update session index of "$ISABELLE_BROWSER_INFO/HOL"
> when starting "isabelle afp_build some-session". But this error is nondeterministic. Both times, when issuing the command again, it succeeded (and most of the time when I use afp_build, I do not get this error at all).
> Just reporting something odd.
> PS: It might be just a coincidence that I got this with afp_build, maybe it can also happen with plain build.
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
This archive was generated by a fusion of
Pipermail (Mailman edition) and