2021-02-07 20:24:53 +03:00
|
|
|
cabal-version: >= 1.10
|
2020-05-26 03:31:29 +03:00
|
|
|
|
2020-05-23 00:02:27 +03:00
|
|
|
name: splint
|
2022-08-28 15:21:40 +03:00
|
|
|
version: 1.0.2.1
|
2020-05-23 00:02:27 +03:00
|
|
|
|
2020-05-24 15:22:13 +03:00
|
|
|
synopsis: HLint as a GHC source plugin.
|
|
|
|
|
description:
|
2022-08-28 15:21:40 +03:00
|
|
|
Warning: This package is not maintained anymore.
|
|
|
|
|
.
|
2022-06-20 04:00:33 +03:00
|
|
|
Splint makes HLint available as a GHC source plugin. To use it, pass
|
2020-05-24 15:22:13 +03:00
|
|
|
@-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
|
|
|
|
|
|
2021-02-07 20:24:53 +03:00
|
|
|
library
|
|
|
|
|
build-depends:
|
2022-06-20 04:00:33 +03:00
|
|
|
base >= 4.14 && < 4.17
|
|
|
|
|
, containers >= 0.6 && < 0.7
|
|
|
|
|
, ghc >= 8.10 && < 8.11 || >= 9.0 && < 9.3
|
2022-05-07 15:01:17 +03:00
|
|
|
, hlint
|
2022-06-20 04:00:33 +03:00
|
|
|
, stm >= 2.5 && < 2.6
|
2020-05-23 00:02:27 +03:00
|
|
|
default-language: Haskell2010
|
2022-06-20 04:00:33 +03:00
|
|
|
exposed-modules:
|
|
|
|
|
Splint
|
|
|
|
|
Splint.RemoteData
|
|
|
|
|
Splint.Settings
|
2020-05-23 00:02:27 +03:00
|
|
|
ghc-options:
|
|
|
|
|
-Weverything
|
|
|
|
|
-Wno-implicit-prelude
|
2021-02-07 20:24:53 +03:00
|
|
|
-Wno-missing-deriving-strategies
|
2021-03-23 15:07:10 +03:00
|
|
|
-Wno-missing-export-lists
|
2020-05-26 03:31:29 +03:00
|
|
|
-Wno-missing-exported-signatures
|
2021-03-23 15:07:10 +03:00
|
|
|
-Wno-missing-import-lists
|
2022-05-07 15:24:51 +03:00
|
|
|
-Wno-missing-safe-haskell-mode
|
|
|
|
|
-Wno-prepositive-qualified-module
|
2022-06-20 04:00:33 +03:00
|
|
|
-Wno-safe
|
2020-05-23 00:02:27 +03:00
|
|
|
-Wno-unsafe
|
|
|
|
|
hs-source-dirs: src/lib
|
2020-05-26 03:31:29 +03:00
|
|
|
|
2022-06-20 04:00:33 +03:00
|
|
|
if impl(ghc >= 9.2)
|
|
|
|
|
build-depends: hlint >= 3.4 && < 3.5
|
|
|
|
|
ghc-options: -Wno-missing-kind-signatures
|
|
|
|
|
hs-source-dirs: src/ghc-9.2
|
2020-05-26 03:31:29 +03:00
|
|
|
else
|
2022-06-20 04:00:33 +03:00
|
|
|
if impl(ghc >= 9.0)
|
|
|
|
|
build-depends: hlint >= 3.3 && < 3.4
|
|
|
|
|
hs-source-dirs: src/ghc-9.0
|
|
|
|
|
else
|
|
|
|
|
build-depends: hlint >= 3.2 && < 3.3
|
|
|
|
|
hs-source-dirs: src/ghc-8.10
|
