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

[Tjark Weber]

On Fri, 2012-08-17 at 15:15 +0200, Makarius wrote:
> 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.

Sure, but wouldn't the same argument apply to ISABELLE_BUILD_OPTIONS?
After all, one could use "isabelle build -o ..." instead.

I guess I don't quite see why on the one hand you consider it useful to
provide a convenient way to set default options for isabelle.Build,
while on the other hand you don't think it would be an improvement if
the same mechanism also worked for options to "isabelle build". Are
end-users even aware of the distinction (and should they have to be)?

Anyway, your call.

> > Ceterum censeo: Isabelle needs an issue tracker.
> 
> I count this as trolling on this mailing list.

It is not my intention to emotionally upset you (or anyone else). A
signature seemed sufficiently non-obtrusive to me. Many email clients
automatically discard it at some point.

In fact, I'd be happy to discuss the topic (although I doubt that you
need me to argue the benefits of issue tracking for collaborative
software development), to investigate trackers, or even to take on
long-term maintenance. But any tracker only makes sense with a certain
degree of developer acceptance.

Best regards,
Tjark