From c6e5fd3d29219f69935eb117648e4eeab16bba13 Mon Sep 17 00:00:00 2001
From: Cheng Shao <terrorjack@type.dance>
Date: Mon, 7 Oct 2024 08:06:34 +0000
Subject: [PATCH] hadrian: remove unused ghciWithDebugger field from flavour
config
This patch removes the ghciWithDebugger field from flavour config
since it's actually not used anywhere.
---
hadrian/doc/user-settings.md | 3 ---
hadrian/src/Flavour/Type.hs | 3 ---
hadrian/src/Settings/Default.hs | 1 -
3 files changed, 7 deletions(-)
diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md
index 480d6be3966..7a66212bbb0 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 b5be48904e0..da2940f076b 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 16bfde01831..0b743788ec3 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
--
GitLab