From b9d1dae0c0ee0bd3b7e9be3c83ce932d837944f1 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Thu, 11 May 2017 16:49:54 -0400 Subject: users-guide: Document requirement of at least one -dep-suffix This requirement was introduced around 7.8 but was never documented. Resolves #9287. --- docs/users_guide/separate_compilation.rst | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'docs/users_guide') 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 - Make extra dependencies that declare that files with suffix - ``._`` depend on interface files with suffix - ``._hi``, or (for ``{-# SOURCE #-}`` imports) on ``.hi-boot``. + Make dependencies that declare that files with suffix + ``.`` depend on interface files with suffix + ``.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= -- cgit v1.2.1