chore(build): fix ghc options
This commit is contained in:
parent
fd1271517c
commit
c7f8663f71
@ -256,6 +256,8 @@ ghc-options:
|
|||||||
- -fno-max-relevant-binds
|
- -fno-max-relevant-binds
|
||||||
- -j
|
- -j
|
||||||
- -freduction-depth=0
|
- -freduction-depth=0
|
||||||
|
- -prof
|
||||||
|
- -fprof-auto
|
||||||
when:
|
when:
|
||||||
- condition: flag(pedantic)
|
- condition: flag(pedantic)
|
||||||
ghc-options:
|
ghc-options:
|
||||||
@ -345,8 +347,6 @@ tests:
|
|||||||
ghc-options:
|
ghc-options:
|
||||||
- -fno-warn-orphans
|
- -fno-warn-orphans
|
||||||
- -threaded -rtsopts "-with-rtsopts=-N -T"
|
- -threaded -rtsopts "-with-rtsopts=-N -T"
|
||||||
- -prof
|
|
||||||
- -fprof-auto
|
|
||||||
hlint:
|
hlint:
|
||||||
main: Hlint.hs
|
main: Hlint.hs
|
||||||
other-modules: []
|
other-modules: []
|
||||||
|
|||||||
Reference in New Issue
Block a user