[isabelle-dev] mira disk usage
makarius at sketis.net
Mon Sep 3 14:01:08 CEST 2012
On Sat, 1 Sep 2012, Gerwin Klein wrote:
> Would it be a viable alternative to control image building via an option
> in the ROOT file? That would still allow command line override, and
> could use the standard options interface for defaults etc.
I count the hardwired image or non-image mode as a historical artifact of
the past make system. It was difficult to determine that on the spot, so
it had to be made persistent. Over the years this has lead to various
people committing their preferences on Isabelle sessions and imposing
their own image to everybody else.
Now that it is trivial to say "build -b", the hardwired approach is no
longer there to cause any arguments about its state.
More information about the isabelle-dev