X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fphases.xml;h=b48ebe8aa69c0df1c91a05b1dc4e285bcba65cb6;hb=163d12852002a67c5b661b4b3e7e3c5bb6faa5f3;hp=d1086d8f0ac5cfff1e7ccee19c69b277135d8d3a;hpb=28879d9b3afe1812810d42f14eda6dfa4aa6dc73;p=ghc-hetmet.git
diff --git a/docs/users_guide/phases.xml b/docs/users_guide/phases.xml
index d1086d8..b48ebe8 100644
--- a/docs/users_guide/phases.xml
+++ b/docs/users_guide/phases.xml
@@ -991,6 +991,86 @@ $ cat foo.hspp
+
+
+
+
+
+ This option affects the processing of RTS control options given either
+ on the command line or via the GHCRTS environment variable.
+ There are three possibilities:
+
+
+
+
+
+
+ Disable all processing of RTS options.
+ If appears anywhere on the command
+ line, then the program will abort with an error message.
+ If the GHCRTS environment variable is
+ set, then the program will emit a warning message,
+ GHCRTS will be ignored, and the program
+ will run as normal.
+
+
+
+
+
+
+ [this is the default setting] Enable
+ only the "safe" RTS options: (Currently
+ only
+ and .) Any other RTS options
+ on the command line or in the GHCRTS
+ environment variable causes the program with to abort
+ with an error message.
+
+
+
+
+ , or
+ just
+
+
+ Enable all RTS option
+ processing, both on the command line and through
+ the GHCRTS environment variable.
+
+
+
+
+
+ In GHC 6.12.3 and earlier, the default was to process all
+ RTS options. However, since RTS options can be used to
+ write logging data to arbitrary files under the security
+ context of the running program, there is a potential
+ security problem. For this reason, GHC 7.0.1 and later
+ default to .
+
+
+
+
+
+
+
+
+
+
+
+ This option allows you to set the default RTS options at link-time. For example,
+ sets the default heap size to 128MB.
+ This will always be the default heap size for this program, unless the user overrides it.
+ (Depending on the setting of the option, the user might
+ not have the ability to change RTS options at run-time, in which case
+ would be the only way to set
+ them.)
+
+
+
+
+
+