diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md index 795f877557f4d3a2eb1ad1793ca849640215d889..6b0cfdcea06dc9b70f5d2adf68dbb4bd2fc6c402 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 da236cbba3dc7f7386b0a909ee5ecf6a5e926a89..87963d8aaf173619e029fc15cb00bcf1d0ebb4de 100644 --- a/hadrian/src/Flavour/Type.hs +++ b/hadrian/src/Flavour/Type.hs @@ -28,9 +28,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 245c9d079a099000fdfe18605215cd8722ed19b4..b03c5f6de355eb533db3af58a3893300e6810987 100644 --- a/hadrian/src/Settings/Default.hs +++ b/hadrian/src/Settings/Default.hs @@ -248,7 +248,6 @@ defaultFlavour = Flavour , libraryWays = defaultLibraryWays , rtsWays = defaultRtsWays , dynamicGhcPrograms = defaultDynamicGhcPrograms - , ghciWithDebugger = const False , ghcProfiled = const False , ghcDebugged = const False , ghcThreaded = const True