On Sun, 2007-09-02 at 01:53 +0100, Ross Paterson wrote:

On Sat, Sep 01, 2007 at 05:33:26PM -0700, Duncan Coutts wrote:

...

Sat Sep 1 17:33:34 PDT 2007 Duncan Coutts * Change --configure-option= to --configure-arg= For consitency with other flags.

Also --ghc-option for build and makefile. These are used by GHC only; I wonder if the configure option would be a substitute.

Or configure's --ghc-arg flag. I'll ask Ian if we still need those build/makefile --ghc-option flags.

I forgot that the file format includes XXX-options fields, which might be a source of confusion.

Mm, good point. We can't change those of course. What do you think we should do? Duncan

On Sun, 2007-09-02 at 14:09 +0100, Ross Paterson wrote:

...

...

I forgot that the file format includes XXX-options fields, which might be a source of confusion.

Mm, good point. We can't change those of course. What do you think we should do?

I think it argues for --PROG-option(s). The -args options weren't documented, so they didn't exist.

Right. Duncan