diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md index 480d6be396645e2fdb0c46939bada0d00fc4bf17..7a66212bbb03f98500435ac3f325016510020cac 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 b5be48904e0c98364cf419d6fc641310286cec21..da2940f076b5b96388ea4060337cdda86a208dce 100644 --- a/hadrian/src/Flavour/Type.hs +++ b/hadrian/src/Flavour/Type.hs @@ -32,9 +32,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 16bfde01831b8e87ccad0ebc10d077bf3096008f..0b743788ec389aba090dd14d5c31b410d4bb8b41 100644 --- a/hadrian/src/Settings/Default.hs +++ b/hadrian/src/Settings/Default.hs @@ -276,7 +276,6 @@ defaultFlavour = Flavour , libraryWays = defaultLibraryWays , rtsWays = defaultRtsWays , dynamicGhcPrograms = defaultDynamicGhcPrograms - , ghciWithDebugger = const False , ghcProfiled = const False , ghcDebugged = const False , ghcThreaded = const True