mirror of
https://github.com/tfausak/splint.git
synced 2024-10-26 18:19:31 +03:00
60 lines
1.5 KiB
Plaintext
60 lines
1.5 KiB
Plaintext
cabal-version: >= 1.10
|
|
|
|
name: splint
|
|
version: 1.0.1.3
|
|
|
|
synopsis: HLint as a GHC source plugin.
|
|
description:
|
|
Splint makes HLint 3 available as a GHC source plugin. To use it, pass
|
|
@-fplugin=Splint@ to GHC. Any options passed to Splint are passed through to
|
|
HLint. For example you can use @-fplugin-opt=Splint:'--ignore=Use concatMap'@
|
|
to ignore the "Use @concatMap@" suggestion.
|
|
|
|
build-type: Simple
|
|
category: Development
|
|
extra-source-files: README.markdown
|
|
license-file: LICENSE.markdown
|
|
license: ISC
|
|
maintainer: Taylor Fausak
|
|
|
|
source-repository head
|
|
location: https://github.com/tfausak/splint
|
|
type: git
|
|
|
|
library
|
|
build-depends:
|
|
base >= 4.13.0 && < 4.16
|
|
, containers >= 0.6.2 && < 0.7
|
|
, ghc >= 8.8.4 && < 8.11 || >= 9.0.1 && < 9.1
|
|
, hlint >= 3.1.6 && < 3.4
|
|
, stm >= 2.5.0 && < 2.6
|
|
default-language: Haskell2010
|
|
exposed-modules: Splint
|
|
ghc-options:
|
|
-Weverything
|
|
-Wno-implicit-prelude
|
|
-Wno-missing-deriving-strategies
|
|
-Wno-missing-export-lists
|
|
-Wno-missing-exported-signatures
|
|
-Wno-missing-import-lists
|
|
-Wno-unsafe
|
|
hs-source-dirs: src/lib
|
|
other-modules:
|
|
Splint.GHC.Bag
|
|
Splint.GHC.Error
|
|
Splint.GHC.Plugins
|
|
Splint.Parser
|
|
|
|
if impl(ghc >= 9.0)
|
|
hs-source-dirs: src/ghc-9.0
|
|
else
|
|
if impl(ghc >= 8.10)
|
|
hs-source-dirs: src/ghc-8.10
|
|
else
|
|
hs-source-dirs: src/ghc-8.8
|
|
|
|
if impl(ghc >= 8.10)
|
|
ghc-options:
|
|
-Wno-missing-safe-haskell-mode
|
|
-Wno-prepositive-qualified-module
|