diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-09-24 23:32:03 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-09 08:43:49 -0400 |
| commit | e48cab2a57f2342891f985bcb44817e17e985275 (patch) | |
| tree | 27a70bf35a93161ffa3bb8f8e76588e7476ce342 /docs | |
| parent | d360f3438da7f6eb51e217c6697db6fb338c6fd7 (diff) | |
| download | haskell-e48cab2a57f2342891f985bcb44817e17e985275.tar.gz | |
Add a flag to indicate that gcc supports -no-pie
Fixes #17919.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/phases.rst | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/docs/users_guide/phases.rst b/docs/users_guide/phases.rst index 74b7bd0f40..d96af3adf1 100644 --- a/docs/users_guide/phases.rst +++ b/docs/users_guide/phases.rst @@ -180,6 +180,20 @@ the following flags: Pass ⟨option⟩ to the C compiler. +.. ghc-flag:: -pgmc-supports-no-pie + :shortdesc: Indicate that the C compiler supports ``-no-pie`` + :type: dynamic + :category: phase-options + + When ``-pgmc`` is used, GHC by default will never pass the ``-no-pie`` + command line flag. The rationale is that it is not known whether the + specified compiler will support it. This flag can be used to indicate + that ``-no-pie`` is supported. It has to be passed after ``-pgmc``. + + This flag is not neccessary when ``-pgmc`` is not used, since GHC + remembers whether the default C compiler supports ``-no-pie`` in + an internal settings file. + .. ghc-flag:: -optcxx ⟨option⟩ :shortdesc: pass ⟨option⟩ to the C++ compiler :type: dynamic |