From a1e6998ff2d2c91032f754f4a4fac371a8ade4f03a6999b22a79cc9ae02e01e3 Mon Sep 17 00:00:00 2001 From: Atri Bhattacharya Date: Mon, 21 Jun 2021 15:34:12 +0000 Subject: [PATCH] Accepting request 901158 from home:jengelh:branches:science OBS-URL: https://build.opensuse.org/request/show/901158 OBS-URL: https://build.opensuse.org/package/show/science/pplite?expand=0&rev=1 --- .gitattributes | 23 +++++++++++++ .gitignore | 1 + pplite-0.7.tar.gz | 3 ++ pplite.changes | 13 ++++++++ pplite.spec | 84 +++++++++++++++++++++++++++++++++++++++++++++++ 5 files changed, 124 insertions(+) create mode 100644 .gitattributes create mode 100644 .gitignore create mode 100644 pplite-0.7.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/pplite-0.7.tar.gz b/pplite-0.7.tar.gz new file mode 100644 index 0000000..4624fa7 --- /dev/null +++ b/pplite-0.7.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:66f5a3371fa6e91d93713f3f4eb31e1d07cc3742826565d93fff41326ffaa3cb +size 864792 diff --git a/pplite.changes b/pplite.changes new file mode 100644 index 0000000..ad5fa87 --- /dev/null +++ b/pplite.changes @@ -0,0 +1,13 @@ +------------------------------------------------------------------- +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..ef651b8 --- /dev/null +++ b/pplite.spec @@ -0,0 +1,84 @@ +# +# spec file for package pplite +# +# Copyright (c) 2020 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 libpplite1 +%define _lto_cflags %nil +Name: pplite +Version: 0.7 +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 +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 +%make_build check + +%post -n %lname -p /sbin/ldconfig +%postun -n %lname -p /sbin/ldconfig + +%files -n %lname +%_libdir/libpplite.so.* + +%files devel +%_bindir/pplite_lcdd +%_libdir/libpplite.so +%_includedir/pplite/ +%license COPYING + +%changelog