[info=9517aed51698c1117bba45f1436ffdfb4de6dbacaca6f8f22c81d84887429f20]

OBS-URL: https://build.opensuse.org/package/show/science/pplite?expand=0&rev=7

.gitattributes

@@ -0,0 +1,23 @@
+## Default LFS
+*.7z filter=lfs diff=lfs merge=lfs -text
+*.bsp filter=lfs diff=lfs merge=lfs -text
+*.bz2 filter=lfs diff=lfs merge=lfs -text
+*.gem filter=lfs diff=lfs merge=lfs -text
+*.gz filter=lfs diff=lfs merge=lfs -text
+*.jar filter=lfs diff=lfs merge=lfs -text
+*.lz filter=lfs diff=lfs merge=lfs -text
+*.lzma filter=lfs diff=lfs merge=lfs -text
+*.obscpio filter=lfs diff=lfs merge=lfs -text
+*.oxt filter=lfs diff=lfs merge=lfs -text
+*.pdf filter=lfs diff=lfs merge=lfs -text
+*.png filter=lfs diff=lfs merge=lfs -text
+*.rpm filter=lfs diff=lfs merge=lfs -text
+*.tbz filter=lfs diff=lfs merge=lfs -text
+*.tbz2 filter=lfs diff=lfs merge=lfs -text
+*.tgz filter=lfs diff=lfs merge=lfs -text
+*.ttf filter=lfs diff=lfs merge=lfs -text
+*.txz filter=lfs diff=lfs merge=lfs -text
+*.whl filter=lfs diff=lfs merge=lfs -text
+*.xz filter=lfs diff=lfs merge=lfs -text
+*.zip filter=lfs diff=lfs merge=lfs -text
+*.zst filter=lfs diff=lfs merge=lfs -text

.gitignore

@@ -0,0 +1 @@
+.osc

_scmsync.obsinfo

@@ -0,0 +1,4 @@
+mtime: 1700078896
+commit: 9517aed51698c1117bba45f1436ffdfb4de6dbacaca6f8f22c81d84887429f20
+url: https://src.opensuse.org/jengelh/pplite
+revision: master

pplite.changes

@@ -0,0 +1,28 @@
+-------------------------------------------------------------------
+Sun Nov 12 16:56:10 UTC 2023 - Jan Engelhardt <jengelh@inai.de>
+
+- 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 <jengelh@inai.de>
+
+- Update to release 0.7
+  * This version also adds a C++ polymorphic interface allowing to
+    experiment with several variants of the domain of convex
+    polyhedra: Poly, U_Poly, F_Poly, UF_Poly and their XXX_Stats
+    versions, computing timing information for abstract operators.
+
+-------------------------------------------------------------------
+Wed Sep 30 08:01:33 UTC 2020 - Jan Engelhardt <jengelh@inai.de>
+
+- Initial package (version 0.6) for build.opensuse.org

pplite.spec

@@ -0,0 +1,89 @@
+#
+# spec file for package pplite
+#
+# 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
+# upon. The license for this file, and modifications and additions to the
+# file, is the same license as for the pristine package itself (unless the
+# license for the pristine package is not an Open Source License, in which
+# case the license is the MIT License). An "Open Source License" is a
+# license that conforms to the Open Source Definition (Version 1.9)
+# published by the Open Source Initiative.
+
+# Please submit bugfixes or comments via https://bugs.opensuse.org/
+#
+
+
+%define lname   libpplite4
+%define _lto_cflags %nil
+Name:           pplite
+Version:        0.11
+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
+BuildRequires:  flint-devel
+BuildRequires:  gcc-c++
+BuildRequires:  gmp-devel
+
+%description
+PPLite is a C++ library implementing the abstract domain of convex polyhedra,
+to be used in tools for static analysis and verification.
+
+%package -n %lname
+Summary:        Library for computations with polyhedra
+Group:          System/Libraries
+
+%description -n %lname
+PPLite is a C++ library implementing the abstract domain of convex polyhedra,
+to be used in tools for static analysis and verification.
+
+%package devel
+Summary:        Headers and generators for pplite
+Group:          Development/Libraries/C and C++
+Requires:       %lname = %version
+
+%description devel
+PPLite is a C++ library implementing the abstract domain of convex polyhedra,
+to be used in tools for static analysis and verification.
+The main characteristics of PPLite:
+
+  * Both closed and NNC rational convex polyhedra are supported.
+  * Exact computations are based on FLINT.
+
+%prep
+%autosetup -p1
+
+%build
+%configure --disable-static
+%make_build
+
+%install
+%make_install
+rm -f "%buildroot/%_libdir"/*.la
+
+%check
+if ! %make_build check; then
+%ifnarch ppc64le
+	exit 1
+%endif
+	:
+fi
+
+%post   -n %lname -p /sbin/ldconfig
+%postun -n %lname -p /sbin/ldconfig
+
+%files -n %lname
+%license COPYING
+%_libdir/libpplite.so.*
+
+%files devel
+%_bindir/pplite_lcdd
+%_libdir/libpplite.so
+%_includedir/pplite/
+
+%changelog