From ac55c1dae021f806c4d7060b140c82a949a1dcd7 Mon Sep 17 00:00:00 2001 From: Thomas Tuegel <ttuegel@gmail.com> Date: Sat, 25 Apr 2015 11:37:10 -0500 Subject: [PATCH] document default ghc-prof-options settings --- Cabal/doc/developing-packages.markdown | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Cabal/doc/developing-packages.markdown b/Cabal/doc/developing-packages.markdown index b91352ccb5..49e26dea30 100644 --- a/Cabal/doc/developing-packages.markdown +++ b/Cabal/doc/developing-packages.markdown @@ -1370,7 +1370,12 @@ values for these fields. `ghc-prof-options:` _token list_ : Additional options for GHC when the package is built with profiling - enabled. + enabled. For libraries, `-fprof-auto-exported` is enabled by + default, automatically adding cost center annotations to all + exported bindings. For executables, `-fprof-auto-top` is enabled + by default, automatically adding cost center annotations to all + top-level bindings. In either case, set `-fno-prof-auto` to + override the default. `ghc-shared-options:` _token list_ : Additional options for GHC when the package is built as shared library. -- GitLab