Add a link-time flag to en/disable the RTS options
authorIan Lynagh <igloo@earth.li>
Sat, 13 Mar 2010 15:45:55 +0000 (15:45 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 13 Mar 2010 15:45:55 +0000 (15:45 +0000)
commit929d166932ee207871e66cc305059f356241c06b
treea8eec6032460dafe24abfdaa233b56c6bbf26cd5
parent1e31c2960f7a9fc61119237d8a35b0516d6accca
Add a link-time flag to en/disable the RTS options
If RTS options are disabled then:
* The ghc_rts_opts C code variable is processed as normal
* The GHCRTS environment variable is ignored and, if it is defined, a
  warning is emitted
* The +RTS flag gives an error and terminates the program
compiler/main/DriverPipeline.hs
compiler/main/DynFlags.hs
rts/RtsFlags.c
rts/RtsOpts.h [new file with mode: 0644]
rts/hooks/RtsOptsEnabled.c [new file with mode: 0644]