diff options
| author | Ziyang Liu <unsafeFixIO@gmail.com> | 2021-09-14 23:57:24 -0700 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-17 09:38:56 -0400 |
| commit | 01e07ab13dcff69cd9a88ab56cc83f0a50ec63ae (patch) | |
| tree | 7d13825e5b5251451ac69f26d3d92391092747d0 /docs | |
| parent | bce230c20eb04c0b557f4a7e4650b009281e717b (diff) | |
| download | haskell-01e07ab13dcff69cd9a88ab56cc83f0a50ec63ae.tar.gz | |
Ensure .dyn_hi doesn't overwrite .hi
This commit fixes the following bug: when `outputHi` is set, and
both `.dyn_hi` and `.hi` are needed, both would be written to
`outputHi`, causing `.dyn_hi` to overwrite `.hi`. This causes
subsequent `readIface` to fail - "mismatched interface file profile
tag (wanted "", got "dyn")" - triggering unnecessary rebuild.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/separate_compilation.rst | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst index 64e6590942..b1f792d389 100644 --- a/docs/users_guide/separate_compilation.rst +++ b/docs/users_guide/separate_compilation.rst @@ -283,6 +283,14 @@ Redirecting the compilation output(s) to redirect the interface into the bit bucket: ``-ohi /dev/null``, for example. +.. ghc-flag:: -dynohi ⟨file⟩ + :shortdesc: set the filename in which to put the dynamic interface + :type: dynamic + :category: + + When using ``-dynamic-too``, option ``-dynohi`` ⟨file⟩ is the counterpart + of ``-ohi``. It redirects the dynamic interface output to ⟨file⟩. + .. ghc-flag:: -hidir ⟨dir⟩ :shortdesc: set directory for interface files :type: dynamic @@ -333,7 +341,7 @@ Redirecting the compilation output(s) :category: The ``-outputdir`` option is shorthand for the combination of - :ghc-flag:`-odir ⟨dir⟩`, :ghc-flag:`-hidir ⟨dir⟩`, :ghc-flag:`-hiedir ⟨dir⟩`, + :ghc-flag:`-odir ⟨dir⟩`, :ghc-flag:`-hidir ⟨dir⟩`, :ghc-flag:`-hiedir ⟨dir⟩`, :ghc-flag:`-stubdir ⟨dir⟩` and :ghc-flag:`-dumpdir ⟨dir⟩`. .. ghc-flag:: -osuf ⟨suffix⟩ |