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 7d87d79e2d41d8384c2fbcb4106e357912c83009..d84532cb689eb6a5547313952a6472da5407447a 100644 --- a/hadrian/src/Settings/Default.hs +++ b/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