ocaml-menhir/ocaml-menhir.rpmlintrc

18 lines
751 B
Plaintext

# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON
# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors
# The dictionary is missing some technical terms
addFilter(r'W: spelling-error .* (parsers|validator)')
# OCaml does this to us. We have no control over it.
addFilter(r'ocaml-menhir[^:]+: E: missing-call-to-chdir-with-chroot')
# This package is a coq addon, hence it lacks the "ocaml-" prefix
addFilter(r'coq-menhirlib.[^:]+: W: ocaml-naming-policy-not-applied')
# The main menhir package really is a devel package
addFilter(r'ocaml-menhir.[^:]+: W: devel-file-in-non-devel-package')
# Documentation is in the doc package.
addFilter(r'ocaml-menhirlib(-devel)?\.[^:]+: W: no-documentation')