diff options
Diffstat (limited to 'ghc-rpmlintrc')
| -rw-r--r-- | ghc-rpmlintrc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/ghc-rpmlintrc b/ghc-rpmlintrc new file mode 100644 index 0000000..885a3d9 --- /dev/null +++ b/ghc-rpmlintrc @@ -0,0 +1,8 @@ +addFilter("devel-file-in-non-devel-package") +addFilter("static-library-without-debuginfo") +# ghc-compiler has devel-dependency +addFilter("devel-dependency") +# Regrettably, upstream does not provide man pages for all executables +addFilter("no-manual-page-for-binary") +# Prevent warning about ghc containing no binary (it is a metapackage) +addFilter("no-binary") |