summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--erebos-tester.cabal11
-rw-r--r--minici.yaml8
2 files changed, 4 insertions, 15 deletions
diff --git a/erebos-tester.cabal b/erebos-tester.cabal
index 32f1934..0709d70 100644
--- a/erebos-tester.cabal
+++ b/erebos-tester.cabal
@@ -21,11 +21,6 @@ extra-doc-files:
README.md
CHANGELOG.md
-flag ci
- description: Options for CI testing
- default: False
- manual: True
-
source-repository head
type: git
location: https://code.erebosprotocol.net/tester
@@ -37,12 +32,6 @@ executable erebos-tester
-threaded
-no-hs-main
- if flag(ci)
- ghc-options:
- -Werror
- -- sometimes needed for backward/forward compatibility:
- -Wno-error=unused-imports
-
main-is:
Main.hs
diff --git a/minici.yaml b/minici.yaml
index 0813962..d381817 100644
--- a/minici.yaml
+++ b/minici.yaml
@@ -1,8 +1,8 @@
job build:
- shell:
- - cabal build -fci --constraint='megaparsec >= 9.7.0'
- - mkdir build
- - cp $(cabal list-bin erebos-tester) build/erebos-tester
+ shell: |
+ cabal build --ghc-options='-Werror -Wno-error=unused-imports' --constraint='megaparsec >= 9.7.0'
+ mkdir build
+ cp $(cabal list-bin erebos-tester) build/erebos-tester
artifact bin:
path: build/erebos-tester