another attempt to fix build

This commit is contained in:
Steffen Jost 2023-01-20 08:42:35 +01:00
parent 33a8dfdda1
commit 7f0a45fa4a

View File

@ -256,21 +256,25 @@ ghc-options:
- -fno-max-relevant-binds - -fno-max-relevant-binds
- -j - -j
- -freduction-depth=0 - -freduction-depth=0
- +RTS -K0 -RTS
when: when:
- condition: flag(pedantic) - condition: flag(pedantic)
ghc-options: ghc-options:
- -Werror - -Werror
- -fwarn-tabs - -fwarn-tabs
- -O0
- condition: flag(dev) - condition: flag(dev)
then: then:
ghc-options: ghc-options:
- -O0 - -O0
- -ddump-splices - -ddump-splices
- -ddump-to-file - -ddump-to-file
- -Wderiving-typeable
cpp-options: -DDEVELOPMENT cpp-options: -DDEVELOPMENT
else: else:
ghc-options: ghc-options:
- -O - -O0
# -fllvm
data-files: data-files:
- testdata/** - testdata/**
library: library: