On Sat, 2007-09-01 at 18:41 +0100, Ross Paterson wrote:

On Sat, Sep 01, 2007 at 10:32:09AM -0700, Duncan Coutts wrote:

...

Sat Sep 1 10:31:47 PDT 2007 Duncan Coutts * Pass --configure-option= options to configure in the right order in the same order as they were passed to cabal configure on the command line

Can we standardize on either -arg or -option (I don't care which)?

Yep, let's change --configure-option to --configure-arg, --configure-option is new in Cabal-1.1.7 and we've had --foo-args= flags before so that's the better established convention I think. Duncan