From 317c9f66693a8341a07ba45fe158e8699cc1cd19 Mon Sep 17 00:00:00 2001
From: Maciej Barć <xgqt@gentoo.org>
Date: Mon, 27 Dec 2021 14:08:03 +0100
Subject: sci-mathematics/stp: multiple fixes
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- add missing test submodules
- add optional cryptominisat dependency (USE=dependency)
- add the Gentoo Mathematics Project to co-maintainers
- change python to optional dependency (USE=python)
- install PDF documentation
- patch CMakeLists.txt to fix CFLAGS
- patch stp.py to fix python module

Closes: https://bugs.gentoo.org/759457
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 sci-mathematics/stp/metadata.xml | 51 +++++++++++++++++++++++-----------------
 1 file changed, 29 insertions(+), 22 deletions(-)

(limited to 'sci-mathematics/stp/metadata.xml')

diff --git a/sci-mathematics/stp/metadata.xml b/sci-mathematics/stp/metadata.xml
index 511b06e39e35..5054ed8fec27 100644
--- a/sci-mathematics/stp/metadata.xml
+++ b/sci-mathematics/stp/metadata.xml
@@ -1,26 +1,33 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
 <pkgmetadata>
-	<maintainer type="person" proxied="yes">
-		<email>jeffrey@icurse.nl</email>
-		<name>Jeffrey Lin</name>
-	</maintainer>
-	<maintainer type="project" proxied="proxy">
-		<email>proxy-maint@gentoo.org</email>
-		<name>Proxy Maintainers</name>
-	</maintainer>
-	<longdescription lang="en">
-		STP is a constraint solver (or SMT solver) aimed at solving
-		constraints of bitvectors and arrays. These types of
-		constraints can be generated by program analysis tools, theorem
-		provers, automated bug finders, cryptographic attack tools,
-		intelligent fuzzers, model checkers, and by many other
-		applications.
-	</longdescription>
-	<upstream>
-		<remote-id type="github">stp/stp</remote-id>
-	</upstream>
-	<use>
-		<flag name="python">Enable building the Python interface</flag>
-	</use>
+  <maintainer type="person" proxied="yes">
+    <email>jeffrey@icurse.nl</email>
+    <name>Jeffrey Lin</name>
+  </maintainer>
+  <maintainer type="project">
+    <email>sci-mathematics@gentoo.org</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
+  <longdescription>
+    STP is a constraint solver (or SMT solver) aimed at solving
+    constraints of bitvectors and arrays. These types of
+    constraints can be generated by program analysis tools, theorem
+    provers, automated bug finders, cryptographic attack tools,
+    intelligent fuzzers, model checkers, and by many other
+    applications.
+  </longdescription>
+  <upstream>
+    <bugs-to>https://github.com/stp/stp/issues/</bugs-to>
+    <remote-id type="github">stp/stp</remote-id>
+  </upstream>
+  <use>
+    <flag name="cryptominisat">
+      Enable <pkg>sci-mathematics/cryptominisat</pkg> support
+    </flag>
+    <flag name="python">
+      Enable building the Python interface
+    </flag>
+  </use>
 </pkgmetadata>
-- 
cgit v1.2.3-65-gdbad