From d6b5ff12ecf58b4ab502be96ebbc7d74b33c0692 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sun, 2 Jun 2024 21:10:19 +0200
Subject: MiniCI configuration and cabal flag

---
 minici.cabal | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)

(limited to 'minici.cabal')

diff --git a/minici.cabal b/minici.cabal
index f295d2b..a361cd3 100644
--- a/minici.cabal
+++ b/minici.cabal
@@ -20,9 +20,24 @@ maintainer:         roman.smrz@seznam.cz
 extra-doc-files:
     CHANGELOG.md
 
+flag ci
+    description:    Options for CI testing
+    default: False
+    manual: True
+
 executable minici
     main-is:          Main.hs
-    ghc-options:      -Wall -threaded
+
+    ghc-options:
+        -Wall
+        -threaded
+        -fdefer-typed-holes
+
+    if flag(ci)
+        ghc-options:
+            -Werror
+            -- sometimes needed for backward/forward compatibility:
+            -Wno-error=unused-imports
 
     -- Modules included in this executable, other than Main.
     other-modules:
-- 
cgit v1.2.3