-
Ross Paterson authored
Added options used for building in the GHC tree: setup configure --configure-option=STR setup build --ghc-option=STR setup makefile --ghc-option=STR These were formerly scattered across Setup.hs files.
10eaa9b6
Added options used for building in the GHC tree: setup configure --configure-option=STR setup build --ghc-option=STR setup makefile --ghc-option=STR These were formerly scattered across Setup.hs files.