diff options
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/separate_compilation.rst | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/docs/users_guide/separate_compilation.rst b/docs/users_guide/separate_compilation.rst index a140d46341..0c981d5775 100644 --- a/docs/users_guide/separate_compilation.rst +++ b/docs/users_guide/separate_compilation.rst @@ -1188,13 +1188,14 @@ generation are: .. ghc-flag:: -dep-suffix <suf> - Make extra dependencies that declare that files with suffix - ``.<suf>_<osuf>`` depend on interface files with suffix - ``.<suf>_hi``, or (for ``{-# SOURCE #-}`` imports) on ``.hi-boot``. + Make dependencies that declare that files with suffix + ``.<suf><osuf>`` depend on interface files with suffix + ``.<suf>hi``, or (for ``{-# SOURCE #-}`` imports) on ``.hi-boot``. Multiple ``-dep-suffix`` flags are permitted. For example, - ``-dep-suffix a -dep-suffix b`` will make dependencies for ``.hs`` + ``-dep-suffix a_ -dep-suffix b_`` will make dependencies for ``.hs`` on ``.hi``, ``.a_hs`` on ``.a_hi``, and ``.b_hs`` on ``.b_hi``. - (Useful in conjunction with NoFib "ways".) + Note that you must provide at least one suffix; if you do not want a suffix + then pass ``-dep-suffix ''``. .. ghc-flag:: --exclude-module=<file> |