commit 0d43d98ff33e79aba825a4ec721095891760a960e2842412f330ad4f5c4362cc Author: Atri Bhattacharya Date: Thu Sep 10 15:19:07 2020 +0000 Accepting request 833061 from home:jengelh:branches:science OBS-URL: https://build.opensuse.org/request/show/833061 OBS-URL: https://build.opensuse.org/package/show/science/brial?expand=0&rev=1 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/brial-1.2.8.tar.bz2 b/brial-1.2.8.tar.bz2 new file mode 100644 index 0000000..2761b59 --- /dev/null +++ b/brial-1.2.8.tar.bz2 @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:deb95fc1a99b6f9324f1278fcb676a605b77d59f24683d6af87f573cb46d0a4f +size 1228732 diff --git a/brial.changes b/brial.changes new file mode 100644 index 0000000..d8ce322 --- /dev/null +++ b/brial.changes @@ -0,0 +1,5 @@ +------------------------------------------------------------------- +Tue Sep 8 13:00:37 UTC 2020 - Jan Engelhardt + +- Initial package (version 1.2.8) for build.opensuse.org, + this replaces polybori-0.8.3. diff --git a/brial.spec b/brial.spec new file mode 100644 index 0000000..a6d9669 --- /dev/null +++ b/brial.spec @@ -0,0 +1,99 @@ +# +# spec file for package brial +# +# 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 libbrial3 +Name: brial +Version: 1.2.8 +Release: 0 +Summary: The Polynomials over Boolean Rings Computer Algebra System +License: GPL-2.0-or-later +Group: Productivity/Scientific/Math +URL: https://github.com/BRiAl/BRiAl +Source: https://github.com/BRiAl/BRiAl/releases/download/%version/%name-%version.tar.bz2 +BuildRequires: automake +BuildRequires: gcc-c++ +BuildRequires: libboost_headers-devel >= 1.58 +BuildRequires: libboost_test-devel >= 1.58 +BuildRequires: libpng-devel +BuildRequires: libtool +BuildRequires: pkgconfig(m4ri) +Provides: bundled(cudd) = 2.5.0 + +%description +PolyBoRi/BRiAl is a special purpose computer algebra system for +computations in Boolean Rings. The core is a C++ library, which +provides high-level data types for Boolean polynomials and related +structures. As a unique approach, binary decision diagrams are used +as internal storage type for polynomial structures. + +%package -n %lname +Summary: The Polynomials over Boolean Rings Computer Algebra System library +Group: System/Libraries + +%description -n %lname +The core of PolyBoRi/BRiAl is a C++ library, which provides +high-level data types for Boolean polynomials and monomials, exponent +vectors, as well as for the underlying polynomial rings and subsets +of the powerset of the Boolean variables. As a unique approach, +binary decision diagrams are used as internal storage type for +polynomial structures. + +%package devel +Summary: Development files for polybori, a CAS for Boolean Polynomials +Group: Development/Libraries/C and C++ +Requires: %lname = %version +Requires: boost-devel + +%description devel +The core of PolyBoRi/BRiAl is a C++ library, which provides +high-level data types for Boolean polynomials and monomials, exponent +vectors, as well as for the underlying polynomial rings and subsets +of the powerset of the Boolean variables. As a unique approach, +binary decision diagrams are used as internal storage type for +polynomial structures. + +This subpackage contains the include files and library links for +developing with polybori/brial libraries. + +%prep +%autosetup -p1 + +%build +autoreconf -fi +%configure --disable-static +%make_build + +%install +%make_install +find %buildroot -type f -name "*.la" -delete -print + +%post -n %lname -p /sbin/ldconfig +%postun -n %lname -p /sbin/ldconfig + +%files -n %lname +%_libdir/libbrial.so.3* +%_libdir/libbrial_groebner.so.3* + +%files devel +%license LICENSE +%_includedir/polybori/ +%_includedir/polybori.h +%_libdir/libbrial.so +%_libdir/libbrial_groebner.so + +%changelog