[isabelle-dev] Feature Request for ISABELLE_BUILD_OPTIONS: Support "isabelle build" Options

Makarius 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 
release again.

> Ceterum censeo: Isabelle needs an issue tracker.

I count this as trolling on this mailing list.


More information about the isabelle-dev mailing list