diff options
| author | roland <rsx@bluewin.ch> | 2018-08-21 16:05:45 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-08-21 18:56:12 -0400 |
| commit | dcf27e6f78529e7e471a4be64ca47398eb1b6b52 (patch) | |
| tree | 227bd782b285325d034e7eb28239bc28e368a43d /docs | |
| parent | ddffa0cd8da568c97011007fc6470c61cd4447e5 (diff) | |
| download | haskell-dcf27e6f78529e7e471a4be64ca47398eb1b6b52.tar.gz | |
Show -with-rtsopts options in runtime's --info (#15261)
Add an additional line to the output of +RTS --info. It shows the value
of the flag -with-rtsopts provided at compile/link time.
Test Plan: make test TESTS="T15261a T15261b"
Reviewers: hvr, erikd, dfeuer, thomie, austin, bgamari, simonmar, osa1,
monoidal
Reviewed By: osa1, monoidal
Subscribers: osa1, rwbarton, carter
GHC Trac Issues: #15261
Differential Revision: https://phabricator.haskell.org/D5053
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/phases.rst | 3 | ||||
| -rw-r--r-- | docs/users_guide/runtime_control.rst | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst index f8fe8d1857..531f8c0bf6 100644 --- a/docs/users_guide/phases.rst +++ b/docs/users_guide/phases.rst @@ -1004,6 +1004,9 @@ for example). change RTS options at run-time, in which case ``-with-rtsopts`` would be the *only* way to set them.) + Use the runtime flag :rts-flag:`--info` on the executable program + to see the options set with ``-with-rtsopts``. + Note that ``-with-rtsopts`` has no effect when used with ``-no-hs-main``; see :ref:`using-own-main` for details. diff --git a/docs/users_guide/runtime_control.rst b/docs/users_guide/runtime_control.rst index 797c7e26e4..0c38ac5919 100644 --- a/docs/users_guide/runtime_control.rst +++ b/docs/users_guide/runtime_control.rst @@ -1219,6 +1219,7 @@ Getting information about the RTS ,("Word size", "64") ,("Compiler unregisterised", "NO") ,("Tables next to code", "YES") + ,("Flag -with-rtsopts", "") ] The information is formatted such that it can be read as a of type @@ -1269,3 +1270,6 @@ Getting information about the RTS performance optimisation that is not available on all platforms. This field tells you whether the program has been compiled with this optimisation. (Usually yes, except on unusual platforms.) + + ``Flag -with-rtsopts`` + The value of the GHC flag :ghc-flag:`-with-rtsopts=⟨opts⟩` at compile/link time. |