web: note hackage warning
[ci skip]
This commit is contained in:
parent
1e8e97f63c
commit
439dcd2dea
@ -65,6 +65,9 @@ ghc-options:
|
|||||||
when:
|
when:
|
||||||
- condition: (flag(dev)) || (flag(library-only))
|
- condition: (flag(dev)) || (flag(library-only))
|
||||||
cpp-options: -DDEVELOPMENT
|
cpp-options: -DDEVELOPMENT
|
||||||
|
# This causes a warning when uploading to hackage:
|
||||||
|
#Package check reported the following warnings:
|
||||||
|
# 'ghc-options: -O0' is not needed. Use the --disable-optimization configure flag.
|
||||||
- condition: flag(dev)
|
- condition: flag(dev)
|
||||||
ghc-options: -O0
|
ghc-options: -O0
|
||||||
- condition: impl(ghc >=8)
|
- condition: impl(ghc >=8)
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user