d562401933
Add coq-menhirlib subpackage, without which coq support is rather pointless.
16 lines
643 B
Plaintext
16 lines
643 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')
|
|
|
|
# Documentation is in the main package.
|
|
addFilter(r'ocaml-menhir-devel\.[^:]+: W: no-documentation')
|
|
|
|
# This package has no binary bits, but must be installed in an arch-specific
|
|
# location.
|
|
addFilter(r'coq-menhirlib\.[^:]+: W: only-non-binary-in-usr-lib')
|