From 022d7565b0f2dfd262e61ef14e7ed236b279bd40 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.
(cherry picked from commit c6e5fd3d29219f69935eb117648e4eeab16bba13)
---
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 5616d871be2..c5ec189e38f 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 a84ae77e79a..a2d0d574676 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 41f744e7b4a..f006b710d0c 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
--
GitLab