diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md index 5616d871be2f91c3cc866cd82fa31269aba6b1fa..c5ec189e38faf13830aef885cdde154d79d4c2f4 100644 --- a/hadrian/doc/user-settings.md +++ b/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, diff --git a/hadrian/src/Flavour/Type.hs b/hadrian/src/Flavour/Type.hs index a84ae77e79a28435818c5b7d7955465d45ebf45e..a2d0d574676468d6a9acbf60afdbdf8f51de3d6d 100644 --- a/hadrian/src/Flavour/Type.hs +++ b/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, diff --git a/hadrian/src/Settings/Default.hs b/hadrian/src/Settings/Default.hs index 41f744e7b4ab3a2a7d7b3a4eb824720b1c8d4f9d..f006b710d0c6512d00d8c604e30168eabe5ea588 100644 --- a/hadrian/src/Settings/Default.hs +++ b/hadrian/src/Settings/Default.hs @@ -272,7 +272,6 @@ defaultFlavour = Flavour , libraryWays = defaultLibraryWays , rtsWays = defaultRtsWays , dynamicGhcPrograms = defaultDynamicGhcPrograms - , ghciWithDebugger = const False , ghcProfiled = const False , ghcDebugged = const False , ghcThreaded = const True