3 Commits

Author SHA256 Message Date
228287e79a brial 1.2.15 2025-10-02 07:55:32 +02:00
4aee9f9431 brial 1.2.14 2025-05-22 10:20:50 +02:00
f7e1d6dbd4 brial 1.2.13 2025-05-20 23:03:41 +02:00
4 changed files with 25 additions and 8 deletions

Binary file not shown.

BIN
brial-1.2.15.tar.bz2 LFS Normal file

Binary file not shown.

View File

@@ -1,3 +1,17 @@
-------------------------------------------------------------------
Thu Oct 2 05:52:09 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.15
* Build system updates only: Allow to give an explicit prefix for
boost, and make sure m4ri cflags are properly correctly
propagated.
-------------------------------------------------------------------
Tue May 20 17:37:30 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.14
* Add pkgconfig file
-------------------------------------------------------------------
Sun Jan 15 10:28:41 UTC 2023 - Jan Engelhardt <jengelh@inai.de>

View File

@@ -1,7 +1,7 @@
#
# spec file for package brial
#
# Copyright (c) 2023 SUSE LLC
# Copyright (c) 2025 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -18,18 +18,20 @@
%define lname libbrial3
Name: brial
Version: 1.2.12
Version: 1.2.15
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: pkgconfig(m4ri)
BuildRequires: libtool
BuildRequires: pkgconfig(m4ri) >= 20250128
Provides: bundled(cudd) = 2.5.0
%description
@@ -72,6 +74,7 @@ developing with polybori/brial libraries.
%autosetup -p1
%build
autoreconf -fi
%configure --disable-static
%make_build
@@ -79,8 +82,7 @@ developing with polybori/brial libraries.
%make_install
find %buildroot -type f -name "*.la" -delete -print
%post -n %lname -p /sbin/ldconfig
%postun -n %lname -p /sbin/ldconfig
%ldconfig_scriptlets -n %lname
%files -n %lname
%_libdir/libbrial.so.3*
@@ -92,5 +94,6 @@ find %buildroot -type f -name "*.la" -delete -print
%_includedir/polybori.h
%_libdir/libbrial.so
%_libdir/libbrial_groebner.so
%_libdir/pkgconfig/*.pc
%changelog