hadrian: remove unused ghciWithDebugger field from flavour config

This patch removes the ghciWithDebugger field from flavour config
since it's actually not used anywhere.

(cherry picked from commit c6e5fd3d)
(cherry picked from commit 022d7565)

hadrian/doc/user-settings.md

@@ -33,9 +33,6 @@ data Flavour = Flavour {
     rtsWays :: Ways,
     -- | Build dynamic GHC programs.
     dynamicGhcPrograms :: Action Bool,
-    -- | Enable GHCi debugger.
-    ghciWithDebugger :: Stage -- ^ stage of the /built/ compiler
-                     -> Bool,
     -- | Build profiled GHC.
     ghcProfiled :: Stage -- ^ stage of the /built/ compiler
                 -> Bool,

hadrian/src/Flavour/Type.hs

@@ -29,9 +29,6 @@ data Flavour = Flavour {
     rtsWays :: Ways,
     -- | Build dynamic GHC programs.
     dynamicGhcPrograms :: Action Bool,
-    -- | Enable GHCi debugger.
-    ghciWithDebugger :: Stage -- ^ stage of the /built/ compiler
-                     -> Bool,
     -- | Build profiled GHC.
     ghcProfiled :: Stage -- ^ stage of the /built/ compiler
                 -> Bool,

hadrian/src/Settings/Default.hs

@@ -250,7 +250,6 @@ defaultFlavour = Flavour
     , libraryWays        = defaultLibraryWays
     , rtsWays            = defaultRtsWays
     , dynamicGhcPrograms = defaultDynamicGhcPrograms
-    , ghciWithDebugger   = const False
     , ghcProfiled        = const False
     , ghcDebugged        = const False
     , ghcThreaded        = const True