From db76d02ebe33dc3da435df75e06dcaa8704cccd46fa93d766b7beea3563c61d4 Mon Sep 17 00:00:00 2001 From: Jan Engelhardt Date: Sat, 26 Oct 2024 15:15:24 +0000 Subject: [PATCH 1/2] [info=9517aed51698c1117bba45f1436ffdfb4de6dbacaca6f8f22c81d84887429f20] OBS-URL: https://build.opensuse.org/package/show/science/pplite?expand=0&rev=7 --- .gitattributes | 23 +++++++++++ .gitignore | 1 + _scmsync.obsinfo | 4 ++ build.specials.obscpio | 3 ++ pplite-0.11.tar.gz | 3 ++ pplite.changes | 28 +++++++++++++ pplite.spec | 89 ++++++++++++++++++++++++++++++++++++++++++ 7 files changed, 151 insertions(+) create mode 100644 .gitattributes create mode 100644 .gitignore create mode 100644 _scmsync.obsinfo create mode 100644 build.specials.obscpio create mode 100644 pplite-0.11.tar.gz create mode 100644 pplite.changes create mode 100644 pplite.spec diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..9b03811 --- /dev/null +++ b/.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 diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..57affb6 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.osc diff --git a/_scmsync.obsinfo b/_scmsync.obsinfo new file mode 100644 index 0000000..6ca1141 --- /dev/null +++ b/_scmsync.obsinfo @@ -0,0 +1,4 @@ +mtime: 1700078896 +commit: 9517aed51698c1117bba45f1436ffdfb4de6dbacaca6f8f22c81d84887429f20 +url: https://src.opensuse.org/jengelh/pplite +revision: master diff --git a/build.specials.obscpio b/build.specials.obscpio new file mode 100644 index 0000000..64521c4 --- /dev/null +++ b/build.specials.obscpio @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2ed5b032367c949cea0b3b97c5c7404349f02a28db19215b7af00969ec8ac052 +size 256 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.changes b/pplite.changes new file mode 100644 index 0000000..d69c357 --- /dev/null +++ b/pplite.changes @@ -0,0 +1,28 @@ +------------------------------------------------------------------- +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 + +- 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 + +- Initial package (version 0.6) for build.opensuse.org diff --git a/pplite.spec b/pplite.spec new file mode 100644 index 0000000..ba24a4c --- /dev/null +++ b/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 From 4f377a90632a8e0bea5eebabb9565ff87872ef4a059a6ba0e984761e7174eb2e Mon Sep 17 00:00:00 2001 From: OBS User unknown Date: Sat, 26 Oct 2024 15:29:17 +0000 Subject: [PATCH 2/2] [info=439b22db519208e246e6c7813d88853fe16e5bccc84eaacd2a56754d44b35f21] OBS-URL: https://build.opensuse.org/package/show/science/pplite?expand=0&rev=8 --- _scmsync.obsinfo | 4 ++-- build.specials.obscpio | 2 +- pplite-0.11.tar.gz | 3 --- pplite-0.12.tar.gz | 3 +++ pplite.changes | 10 ++++++++++ pplite.spec | 9 ++++----- 6 files changed, 20 insertions(+), 11 deletions(-) delete mode 100644 pplite-0.11.tar.gz create mode 100644 pplite-0.12.tar.gz diff --git a/_scmsync.obsinfo b/_scmsync.obsinfo index 6ca1141..aeffd4f 100644 --- a/_scmsync.obsinfo +++ b/_scmsync.obsinfo @@ -1,4 +1,4 @@ -mtime: 1700078896 -commit: 9517aed51698c1117bba45f1436ffdfb4de6dbacaca6f8f22c81d84887429f20 +mtime: 1729956543 +commit: 439b22db519208e246e6c7813d88853fe16e5bccc84eaacd2a56754d44b35f21 url: https://src.opensuse.org/jengelh/pplite revision: master diff --git a/build.specials.obscpio b/build.specials.obscpio index 64521c4..bcfef9e 100644 --- a/build.specials.obscpio +++ b/build.specials.obscpio @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:2ed5b032367c949cea0b3b97c5c7404349f02a28db19215b7af00969ec8ac052 +oid sha256:48d60b5f18def26a90bf6dc38ab62a861eef7eada5eb78aa1758077c563cf8e0 size 256 diff --git a/pplite-0.11.tar.gz b/pplite-0.11.tar.gz deleted file mode 100644 index 6038bdf..0000000 --- a/pplite-0.11.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:e884b9cd569bf17fa09e12bcfea6cf1f914e0c5686eaf22c206f534c4a5f1c42 -size 918634 diff --git a/pplite-0.12.tar.gz b/pplite-0.12.tar.gz new file mode 100644 index 0000000..b12512f --- /dev/null +++ b/pplite-0.12.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:f6aba554421944f1d5e469d59a9eb99ccac6ad4c111a447c8bc3916cb7476f51 +size 930783 diff --git a/pplite.changes b/pplite.changes index d69c357..4bc1da5 100644 --- a/pplite.changes +++ b/pplite.changes @@ -1,3 +1,13 @@ +------------------------------------------------------------------- +Sat Oct 26 15:26:42 UTC 2024 - Jan Engelhardt + +- Update to release 0.12 + * The library no longer depends on the C++ interface of GMP + (this change mainly affects classes ``pplite::Integer`` and + ``pplite::Rational``). + * The support for conditional thread safety is now enabled by + default. + ------------------------------------------------------------------- Sun Nov 12 16:56:10 UTC 2023 - Jan Engelhardt diff --git a/pplite.spec b/pplite.spec index ba24a4c..9d0ed68 100644 --- a/pplite.spec +++ b/pplite.spec @@ -1,7 +1,7 @@ # # spec file for package pplite # -# Copyright (c) 2023 SUSE LLC +# Copyright (c) 2024 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -16,10 +16,10 @@ # -%define lname libpplite4 +%define lname libpplite5 %define _lto_cflags %nil Name: pplite -Version: 0.11 +Version: 0.12 Release: 0 Summary: Computations with polyhedra License: GPL-3.0-or-later @@ -74,8 +74,7 @@ if ! %make_build check; then : fi -%post -n %lname -p /sbin/ldconfig -%postun -n %lname -p /sbin/ldconfig +%ldconfig_scriptlets -n %lname %files -n %lname %license COPYING