patch applied (cabal): Change --configure-option= to --configure-arg=

Duncan Coutts duncan.coutts at
Sun Sep 2 08:56:45 EDT 2007

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 <duncan at>
> >   * 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?


More information about the cabal-devel mailing list