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> 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.
> cheers
> chris
> 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 MHonArc.