patch applied (ghc): Change how the libraries Makefile adds --configure-option= flags; fixes #1431

Ian Lynagh igloo at earth.li
Fri Jun 22 12:16:03 EDT 2007


Fri Jun 22 09:09:51 PDT 2007  Ian Lynagh <igloo at earth.li>
  * Change how the libraries Makefile adds --configure-option= flags; fixes #1431
  We now assume that each configure option is quoted with '', and thus
  replace " '" with " --configure-option='".

    M ./libraries/Makefile -1 +7



More information about the Cvs-ghc mailing list