diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2024-03-23 17:12:28 +0100 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-03-23 17:49:50 +0100 |
commit | d684bc2b012e23e3cc0dfa1195a74abac661b926 (patch) | |
tree | 2c00f6e065219adcc609a3ee83fa241a8785ca01 /erebos.cabal | |
parent | a168d79d757c28cd328b9c9cd0fb5033c57a4ee7 (diff) |
Enable -Werror for CI testing
Diffstat (limited to 'erebos.cabal')
-rw-r--r-- | erebos.cabal | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/erebos.cabal b/erebos.cabal index b824e03..f099719 100644 --- a/erebos.cabal +++ b/erebos.cabal @@ -33,12 +33,25 @@ Extra-Source-Files: Flag ice Description: Enable peer discovery with ICE support using pjproject +Flag ci + description: Options for CI testing + default: False + manual: True + source-repository head type: git location: git://erebosprotocol.net/erebos common common - ghc-options: -Wall + ghc-options: + -Wall + -fdefer-typed-holes + + if flag(ci) + ghc-options: + -Werror + -- sometimes needed for backward/forward compatibility: + -Wno-error=unused-imports build-depends: base >=4.13 && <4.19, |