From cc4f08ee9d139049853645cceacb6eb9b71688f1b153f53349102c1fb1a42402 Mon Sep 17 00:00:00 2001 From: Jan Engelhardt Date: Sun, 12 Nov 2023 17:21:57 +0000 Subject: [PATCH 1/2] - Update to release 0.11 OBS-URL: https://build.opensuse.org/package/show/science/pplite?expand=0&rev=4 --- pplite-0.11.tar.gz | 3 +++ pplite-0.7.tar.gz | 3 --- pplite.changes | 15 +++++++++++++++ pplite.spec | 10 +++++----- 4 files changed, 23 insertions(+), 8 deletions(-) create mode 100644 pplite-0.11.tar.gz delete mode 100644 pplite-0.7.tar.gz diff --git a/pplite-0.11.tar.gz b/pplite-0.11.tar.gz new file mode 100644 index 0000000..6038bdf --- /dev/null +++ b/pplite-0.11.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:e884b9cd569bf17fa09e12bcfea6cf1f914e0c5686eaf22c206f534c4a5f1c42 +size 918634 diff --git a/pplite-0.7.tar.gz b/pplite-0.7.tar.gz deleted file mode 100644 index 4624fa7..0000000 --- a/pplite-0.7.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:66f5a3371fa6e91d93713f3f4eb31e1d07cc3742826565d93fff41326ffaa3cb -size 864792 diff --git a/pplite.changes b/pplite.changes index ad5fa87..d69c357 100644 --- a/pplite.changes +++ b/pplite.changes @@ -1,3 +1,18 @@ +------------------------------------------------------------------- +Sun Nov 12 16:56:10 UTC 2023 - Jan Engelhardt + +- Update to release 0.11 + * Adds a prototype implementation of the finite powerset of Poly + elements (PSet). + * Provides an efficiency-improved version of the F_Poly domain. + * The finite powerset domain is now a class template: + pre-generated instances, include finite sets of boxed polyhedra + (P_Set) and finite sets of Cartesian factored boxed polyhedra + (FP_Set). + * Added support for the integral split operator. + * Added new method `Index_Set get_unconstrained` to polyhedra + domains, returning the set of unconstrained space dimensions. + ------------------------------------------------------------------- Mon Jun 21 11:23:39 UTC 2021 - Jan Engelhardt diff --git a/pplite.spec b/pplite.spec index 080fabb..4b9d093 100644 --- a/pplite.spec +++ b/pplite.spec @@ -1,7 +1,7 @@ # # spec file for package pplite # -# Copyright (c) 2020 SUSE LLC +# Copyright (c) 2023 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -16,16 +16,16 @@ # -%define lname libpplite1 +%define lname libpplite4 %define _lto_cflags %nil Name: pplite -Version: 0.7 +Version: 0.11 Release: 0 Summary: Computations with polyhedra License: GPL-3.0-or-later Group: Productivity/Scientific/Math -URL: https://www.cs.unipr.it/~zaffanella/PPLite/ -Source: https://www.cs.unipr.it/~zaffanella/PPLite/releases/%name-%version.tar.gz +URL: https://github.com/ezaffanella/PPLite/ +Source: https://github.com/ezaffanella/PPLite/raw/main/releases/%name-%version.tar.gz BuildRequires: flint-devel BuildRequires: gcc-c++ BuildRequires: gmp-devel From 5907b2516b285152c7d364b314b11fbe07c01e173d4ed2cf96b441deb19f8b65 Mon Sep 17 00:00:00 2001 From: Jan Engelhardt Date: Sun, 12 Nov 2023 20:55:40 +0000 Subject: [PATCH 2/2] OBS-URL: https://build.opensuse.org/package/show/science/pplite?expand=0&rev=5 --- pplite.spec | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/pplite.spec b/pplite.spec index 4b9d093..ba24a4c 100644 --- a/pplite.spec +++ b/pplite.spec @@ -67,7 +67,12 @@ The main characteristics of PPLite: rm -f "%buildroot/%_libdir"/*.la %check -%make_build check +if ! %make_build check; then +%ifnarch ppc64le + exit 1 +%endif + : +fi %post -n %lname -p /sbin/ldconfig %postun -n %lname -p /sbin/ldconfig