On Tue, 30 Oct 2012, Lars Noschinski wrote:
I deleted and reverted $ISABELLE_HOME/lib. Now everything seems to work
again. As a data point: While executing the first "isa build", another
instance of this Isabelle instance was running.
This should already be sufficient to explain it: the build process
silently assumes sequentialism, like many other administrative scripts in
Isabelle.
I have been applying the "Clint Eastwood approach" to sequential things in
regular Isabelle user space in the past couple of years: shooting first
when they show their face, and then ask questions. For non-user-space
things like online build of certain components, I don't have any such
ambitions. You are supposed to take care of it yourself, like you did
here already. It is just one of these difference in comfort of official
releases compared to self-build repository snapshots.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
