# 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')