[isabelle-dev] Feature Request for ISABELLE_BUILD_OPTIONS: Support "isabelle build" Options
makarius at sketis.net
Fri Aug 17 15:15:58 CEST 2012
On Fri, 17 Aug 2012, Tjark Weber wrote:
> I had expected that ISABELLE_BUILD_OPTIONS would allow me to specify
> default options for the "isabelle build" tool, for instance "-v" for
> verbose output.
None of the regular tools ever had such a feature, for usedir it was
merely a historical accident.
If you need shortcuts, use existing shell alias or scripting facilities.
You can even make your private Isabelle tools by augmenting ISABELLE_TOOLS
and *not* pushing anything like that on the official repository.
> In reality, ISABELLE_BUILD_OPTIONS are merely passed on to
> isabelle.Build, which has its own idea of valid options.
There is in fact a much more versatile notion of "system options" behind
that. It is not fully active yet, and the documentation not there yet.
This is not a bug, but merely a consequence of what development of the
repository version means: it is the construction area, where parts are fit
together until something of decent quality can be shipped as official
> Ceterum censeo: Isabelle needs an issue tracker.
I count this as trolling on this mailing list.
More information about the isabelle-dev