lrslib 7.3a

lrs-compile.diff

@@ -1,58 +0,0 @@
-From: Jan Engelhardt <jengelh@inai.de>
-Date: 2016-03-31 10:22:47.574917659 +0200
-
-Attempt to fix really bad code (return-without-value and pre-ANSI function heads).
-
-lrsnashlib.c:55:5: warning: 'return' with no value, in function returning non-void
-	return; [multiple instances]
-lrslib.cpp:1485:54: error: invalid conversion from 'void (*)()' to '__sighandler_t {aka void (*)(int)}' [-fpermissive]
-        errcheck ("signal", signal (SIGALRM, timecheck)); [multiple]
-
----
- lrslib.c |   12 ++++++------
- 1 file changed, 6 insertions(+), 6 deletions(-)
-
-Index: lrslib-071/lrslib.c
-===================================================================
---- lrslib-071.orig/lrslib.c
-+++ lrslib-071/lrslib.c
-@@ -72,10 +72,10 @@ static double get_time(void);
- /* signals handling            */
- /*******************************/
- #ifndef SIGNALS
--static void checkpoint ();
--static void die_gracefully ();
-+static void checkpoint (int);
-+static void die_gracefully (int);
- static void setup_signals (void);
--static void timecheck ();
-+static void timecheck (int);
- #endif
- 
- /*******************************/
-@@ -5365,7 +5365,7 @@ setup_signals ()
- }
- 
- static void
--timecheck ()
-+timecheck (int s)
- {
-   lrs_dump_state ();
-   errcheck ("signal", signal (SIGALRM, timecheck));
-@@ -5373,14 +5373,14 @@ timecheck ()
- }
- 
- static void
--checkpoint ()
-+checkpoint (int s)
- {
-   lrs_dump_state ();
-   errcheck ("signal", signal (SIGUSR1, checkpoint));
- }
- 
- static void
--die_gracefully ()
-+die_gracefully (int s)
- {
-   lrs_dump_state ();
- 

lrslib.changes

@@ -1,3 +1,34 @@
+-------------------------------------------------------------------
+Tue Feb  3 15:43:29 UTC 2026 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 7.3a
+  * Compiler fixes for e.g. gcc15
+- Delete lrs-compile.diff (merged)
+
+-------------------------------------------------------------------
+Wed Oct  1 22:26:33 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Remove deprecated buildrequire on libboost_system-devel
+  for Tumbleweed.
+
+-------------------------------------------------------------------
+Sun Feb  9 22:24:17 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Update to release 7.3
+  * lrs is now multithreaded with limited parallelization on a
+    shared memory machine using OpenMP. lrs now evaluates in
+    parallel all children of the root in the search tree.
+  * minrep finds any hidden linearities and removes redundancy
+    giving a H/V description with minimum number of rows.
+  * `mplrs -minrep`: Fully parallelized version of minrep,
+    replaces `mplrs -redund`.
+  * `mplrs -fel` Does a fully parallel LP redundancy removal in
+    one step of Fourier-Motzin elimination.
+  * New features:
+  * Checks equivalency between H/V representations (possibly
+    after projections) using SMT solvers, see the polyv man page
+    for details.
+
 -------------------------------------------------------------------
 Sat Jul 16 20:21:34 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
 

lrslib.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package lrslib
 #
-# Copyright (c) 2022 SUSE LLC
+# Copyright (c) 2026 SUSE LLC and contributors
 #
 # All modifications and additions to the file contributed by third parties
 # remain the property of their copyright owners, unless otherwise agreed
@@ -16,11 +16,10 @@
 #
 
 
-%define dullver	072
-%define dullver2 072
+%define dullver	073a
 %define lname   liblrs1
 Name:           lrslib
-Version:        7.2
+Version:        7.3a
 Release:        0
 Summary:        Reverse Search Vertex Enumeration program
 License:        GPL-2.0-or-later
@@ -28,11 +27,12 @@ Group:          Productivity/Scientific/Math
 URL:            http://cgm.cs.mcgill.ca/~avis/C/lrs.html
 Source:         http://cgm.cs.mcgill.ca/~avis/C/lrslib/archive/%name-%dullver.tar.gz
 Patch1:         lrs-128.diff
-Patch2:         lrs-compile.diff
 Patch3:         lrs-types.diff
 BuildRequires:  gcc-c++
 BuildRequires:  gmp-devel
+%if 0%{?suse_version} && 0%{?suse_version} < 1690
 BuildRequires:  libboost_system-devel
+%endif
 BuildRequires:  libboost_thread-devel
 BuildRequires:  libtool >= 2
 
@@ -73,7 +73,7 @@ applications that want to make use of lrslib.
 %autosetup -n %name-%dullver -p1
 
 %build
-%make_build CFLAGS="%optflags" CXXFLAGS="%optflags" \
+%make_build CFLAGS="%optflags -Ilrsarith-011" CXXFLAGS="%optflags -Ilrsarith-011" \
 	PACKAGE_VERSION="%version" all-shared
 
 %install
@@ -85,8 +85,7 @@ if [ "%_lib" != lib ]; then
 fi
 chmod a-x COPYING README "%buildroot/%_includedir/lrslib"/*.h
 
-%post   -n %lname -p /sbin/ldconfig
-%postun -n %lname -p /sbin/ldconfig
+%ldconfig_scriptlets -n %lname
 
 %files
 %_bindir/*