Hi,
On Fri, Aug 17, 2012 at 4:32 AM, Thomas Tuegel
There's no particular reason _not_ to save the ConfigExFlags in a separate file, except this: At one time (and this may still be true, I'm not the authority on this) there was a plan to move all the Simple build system stuff out of Cabal and into cabal-install, at which time the ConfigFlags and ConfigExFlags would presumably be merged, solving the problem "for free," essentially.
Thanks for the clarification.
If this is no longer the plan, or if the desired time frame for fixing this bug is shorter than this plan's time-to-completion, then we should probably do as you suggest.
I'm not the authority on this either :) We should wait for Duncan or Andres to weigh in. -- () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments