pplite 0.13

0001-build-fix-build-error-with-flint-3.2.0.patch

@@ -1,38 +0,0 @@
-From 92e340333ebaf1e5628ccff2dd42b1cc18950e1c Mon Sep 17 00:00:00 2001
-From: Jan Engelhardt <jengelh@inai.de>
-Date: Fri, 14 Mar 2025 09:57:19 +0100
-Subject: [PATCH] build: fix build error with flint 3.2.0
-References: https://github.com/ezaffanella/PPLite/pull/1
-
-```
-$ make V=0
-  CXX      FLINT_Integer.lo
-In file included from FLINT_Integer.cc:22:
-FLINT_Integer.hh: In constructor 'pplite::FLINT_Integer::FLINT_Integer(const __mpz_struct*)':
-FLINT_Integer.hh:110:25: error: 'fmpz_set_mpz' was not declared in this scope; did you mean 'fmpz_get_mpn'?
-  110 |     : FLINT_Integer() { fmpz_set_mpz(mp, z); }
-```
-
-fmpz.h / fmpq.h evaluate the presence of the gmp-internal macro ``__GMP_H__``,
-so there is a mandatory order for header files :-/
----
- src/FLINT_Integer.hh | 2 +-
- 1 file changed, 1 insertion(+), 1 deletion(-)
-
-diff --git a/src/FLINT_Integer.hh b/src/FLINT_Integer.hh
-index 1d9914f..981d101 100644
---- a/src/FLINT_Integer.hh
-+++ b/src/FLINT_Integer.hh
-@@ -22,8 +22,8 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.
- 
- #include "globals.hh"
- 
--#include <flint/fmpz.h>
- #include <gmp.h>
-+#include <flint/fmpz.h>
- #include <cassert>
- #include <cstdlib>
- #include <iostream>
--- 
-2.48.1
-

pplite.changes

@@ -1,3 +1,12 @@
+-------------------------------------------------------------------
+Wed Feb  4 17:05:16 UTC 2026 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 0.13
+  * Define stream output operator for PolySet.
+  * Fixed latent UB in Bits helper function shifted_copy.
+  * Added option -s to allow for sorting the input description.
+- Delete 0001-build-fix-build-error-with-flint-3.2.0.patch (merged)
+
 -------------------------------------------------------------------
 Fri Mar 14 09:11:52 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
 

pplite.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package pplite
 #
-# Copyright (c) 2025 SUSE LLC
+# Copyright (c) 2026 SUSE LLC and contributors
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,19 +16,18 @@
 #
 
 
-%define lname   libpplite5
+%define lname   libpplite6
 Name:           pplite
-Version:        0.12
+Version:        0.13
 Release:        0
 Summary:        Computations with polyhedra
 License:        GPL-3.0-or-later
 Group:          Productivity/Scientific/Math
 URL:            https://github.com/ezaffanella/PPLite/
 Source:         https://github.com/ezaffanella/PPLite/raw/main/releases/%name-%version.tar.gz
-Patch1:         0001-build-fix-build-error-with-flint-3.2.0.patch
-BuildRequires:  pkgconfig(flint)
 BuildRequires:  gcc-c++
 BuildRequires:  gmp-devel
+BuildRequires:  pkgconfig(flint)
 
 %description
 PPLite is a C++ library implementing the abstract domain of convex polyhedra,