From 220d1db4409f1fdfcc44bde167a04c704c8ccb3a Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Apr 09 2020 03:14:29 +0000
Subject: Filter out Requires for private interfaces we do not Provide.


---

diff --git a/alt-ergo.rpmlintrc b/alt-ergo.rpmlintrc
new file mode 100644
index 0000000..7a6e1a4
--- /dev/null
+++ b/alt-ergo.rpmlintrc
@@ -0,0 +1,14 @@
+# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON
+# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors
+
+# The dictionary lacks some technical words
+addFilter(r'W: spelling-error .* (arithmetics|equational|instantiation|parameterized|prover)')
+
+# Caused by ocaml; this package cannot fix it
+addFilter(r'alt-ergo(-gui)?\.[^:]+: E: missing-call-to-chdir-with-chroot')
+
+# Documentation is in the main package
+addFilter(r'alt-ergo-gui\.[^:]+: W: no-documentation')
+
+# There is no man page for the graphical launcher
+addFilter(r'alt-ergo-gui\.[^:]+: W: no-manual-page-for-binary altgr-ergo')
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 7d95357..b018424 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -8,7 +8,7 @@
 
 Name:		alt-ergo
 Version:	2.0.0
-Release:	12%{?dist}
+Release:	13%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	ASL 2.0
 
@@ -36,6 +36,9 @@ BuildRequires:	ocaml-ocplib-simplex-devel
 BuildRequires:	ocaml-zarith-devel
 BuildRequires:	ocaml-zip-devel
 
+# Do not Require private ocaml interfaces that we don't Provide
+%global __requires_exclude ocamlx?\\\((Ccx|Com(bine|mands)|Ex(ception|planation)|F(ormula|un_sat)|H(consing|string)|In(equalities|stances)|L(iteral|oc)|Matching_types|Numbers(Interface)?|Options|P(arsed|olynome|rofiling)|S(at_solver(_sig)?|ig|ymbols)|T(erm|heory|imers|y(ped)?)|U(f|se|til))\\\)
+
 %description
 Alt-Ergo is an automated theorem prover implemented in OCaml. It is
 based on CC(X) - a congruence closure algorithm parameterized by an
@@ -141,6 +144,9 @@ done
 %{_datadir}/icons/hicolor/*/apps/%{name}.png
 
 %changelog
+* Wed Apr  8 2020 Jerry James <loganjerry@gmail.com> - 2.0.0-13
+- Filter out Requires for private interfaces we do not Provide
+
 * Fri Apr 03 2020 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-12
 - Update all OCaml dependencies for RPM 4.16.