26 lines
1.2 KiB
Plaintext
26 lines
1.2 KiB
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 .* ((S|s)atisfiability|datatypes)')
|
||
|
|
|
||
|
|
# Shared objects in the python arch directory are not devel files
|
||
|
|
addFilter(r'python3-z3\.[^:]+: W: devel-file-in-non-devel-package .*libz3\.so')
|
||
|
|
|
||
|
|
# The documentation is in the -doc subpackage
|
||
|
|
addFilter(r'W: no-documentation')
|
||
|
|
|
||
|
|
# Oh yes, we have no manual page
|
||
|
|
addFilter(r'W: no-manual-page-for-binary z3')
|
||
|
|
|
||
|
|
# The configure script is not an autotools-generated script
|
||
|
|
addFilter(r'z3\.spec:[^:]*: W: configure-without-libdir-spec')
|
||
|
|
|
||
|
|
# The spec file moves the shared object from /usr/lib to /usr/lib64 on 64-bit
|
||
|
|
# systems, the opposite of the problem this warning is intended to catch.
|
||
|
|
addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/libz3\.so\*')
|
||
|
|
|
||
|
|
# This is where JAR files are supposed to go when there is a binary interface.
|
||
|
|
addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/\*\.jar')
|
||
|
|
addFilter(r'z3\.spec:[^:]+: E: hardcoded-library-path in %{_prefix}/lib/lib%{name}java\.so')
|