From a63f0ee9f5cd749c35b0bb8878f90d394cfd578a Mon Sep 17 00:00:00 2001
From: Phil de Joux <philderbeast@gmail.com>
Date: Fri, 29 Dec 2023 14:21:59 -0500
Subject: [PATCH] Delete cabal.project.doctest

- Adding --ghc-options="-Wwarn" is sufficient to avoid the numerous <interactive> failures seen otherwise
- write-ghc-environment-files has a default of never
---
 Makefile              | 2 +-
 cabal.project.doctest | 3 ---
 2 files changed, 1 insertion(+), 4 deletions(-)
 delete mode 100644 cabal.project.doctest

diff --git a/Makefile b/Makefile
index 30fed8ba4b1..fa998e448a3 100644
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@
 
 CABALBUILD := cabal build
 CABALRUN   := cabal run
-DOCTEST    := cabal repl --with-ghc=doctest --repl-options="-w" --project-file=cabal.project.doctest
+DOCTEST    := cabal repl --with-ghc=doctest --repl-options="-w" --ghc-options="-Wwarn"
 
 # default rules
 
diff --git a/cabal.project.doctest b/cabal.project.doctest
deleted file mode 100644
index 25df334aec5..00000000000
--- a/cabal.project.doctest
+++ /dev/null
@@ -1,3 +0,0 @@
-import: cabal.project
-
-write-ghc-environment-files: never
\ No newline at end of file