diff options
Diffstat (limited to 'docs/users_guide/using.rst')
-rw-r--r-- | docs/users_guide/using.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/users_guide/using.rst b/docs/users_guide/using.rst index 59b89d1348..2184946571 100644 --- a/docs/users_guide/using.rst +++ b/docs/users_guide/using.rst @@ -345,6 +345,14 @@ The available mode flags are: compile source files one at a time, or link objects together into an executable. See :ref:`options-order`. +.. ghc-flag:: -merge-objs + :shortdesc: Merge a set of objects into a GHCi library. + :type: mode + :category: phases + + Merge a set of static object files into a library optimised for loading in + GHCi. See :ref:`building-ghci-libraries`. + .. ghc-flag:: -M :shortdesc: generate dependency information suitable for use in a ``Makefile``; see :ref:`makefile-dependencies` for details. |