2020-05-26 03:31:29 +03:00
|
|
|
cabal-version: 2.2
|
|
|
|
|
2020-05-23 00:02:27 +03:00
|
|
|
name: splint
|
2020-09-15 15:10:50 +03:00
|
|
|
version: 1.0.1.2
|
2020-05-23 00:02:27 +03:00
|
|
|
|
2020-05-24 15:22:13 +03:00
|
|
|
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.
|
|
|
|
|
2020-05-23 00:02:27 +03:00
|
|
|
build-type: Simple
|
|
|
|
category: Development
|
2020-05-23 05:50:38 +03:00
|
|
|
extra-source-files: README.markdown
|
2020-05-23 00:02:27 +03:00
|
|
|
license-file: LICENSE.markdown
|
|
|
|
license: ISC
|
|
|
|
maintainer: Taylor Fausak
|
|
|
|
|
2020-05-24 15:07:02 +03:00
|
|
|
source-repository head
|
|
|
|
location: https://github.com/tfausak/splint
|
|
|
|
type: git
|
|
|
|
|
2020-05-26 03:31:29 +03:00
|
|
|
common basics
|
2020-05-23 00:02:27 +03:00
|
|
|
default-language: Haskell2010
|
|
|
|
ghc-options:
|
|
|
|
-Weverything
|
2020-05-26 03:31:29 +03:00
|
|
|
-Wno-all-missed-specialisations
|
2020-05-23 00:02:27 +03:00
|
|
|
-Wno-implicit-prelude
|
2020-05-26 03:31:29 +03:00
|
|
|
-Wno-missing-exported-signatures
|
|
|
|
-Wno-missing-import-lists
|
|
|
|
-Wno-safe
|
2020-05-23 00:02:27 +03:00
|
|
|
-Wno-unsafe
|
2020-05-26 03:31:29 +03:00
|
|
|
|
|
|
|
if impl(ghc >= 8.8)
|
|
|
|
ghc-options:
|
|
|
|
-Wno-missing-deriving-strategies
|
|
|
|
|
|
|
|
if impl(ghc >= 8.10)
|
|
|
|
ghc-options:
|
|
|
|
-Wno-missing-safe-haskell-mode
|
|
|
|
-Wno-prepositive-qualified-module
|
|
|
|
|
|
|
|
library
|
|
|
|
import: basics
|
|
|
|
|
|
|
|
build-depends:
|
|
|
|
base >= 4.12.0 && < 4.15
|
2020-05-29 14:29:32 +03:00
|
|
|
, containers >= 0.6.0 && < 0.7
|
2020-05-26 03:31:29 +03:00
|
|
|
, ghc >= 8.6.1 && < 8.11
|
2020-09-15 15:09:31 +03:00
|
|
|
, hlint >= 3.0 && < 3.3
|
2020-05-29 14:29:32 +03:00
|
|
|
, stm >= 2.5.0 && < 2.6
|
2020-05-26 03:31:29 +03:00
|
|
|
exposed-modules: Splint
|
2020-05-23 00:02:27 +03:00
|
|
|
hs-source-dirs: src/lib
|
2020-05-26 03:31:29 +03:00
|
|
|
other-modules: Splint.Parser
|
|
|
|
|
|
|
|
if impl(ghc == 8.10.*)
|
|
|
|
other-modules: Splint.Parser.Native
|
|
|
|
else
|
|
|
|
other-modules: Splint.Parser.Fallback
|