Request pkgconfig(cddgmp)

lrslib-0.7.3.diff

@@ -0,0 +1,21 @@
+From: Jan Engelhardt <jengelh@inai.de>
+Date: 2025-03-04 13:32:24.899798142 +0100
+References: https://github.com/tremlin/SymPol/issues/6
+
+---
+ sympol/raycomputationlrs.cpp |    2 +-
+ 1 file changed, 1 insertion(+), 1 deletion(-)
+
+Index: SymPol-0.1.9/sympol/raycomputationlrs.cpp
+===================================================================
+--- SymPol-0.1.9.orig/sympol/raycomputationlrs.cpp
++++ SymPol-0.1.9/sympol/raycomputationlrs.cpp
+@@ -243,7 +243,7 @@ bool RayComputationLRS::determineRedunda
+     for (ulong index = lastdv + 1; index <= m + d; index++) {
+         ineq = Q->inequality[index - lastdv]; /* the input inequality number corr. to this index */
+ 
+-        redineq[ineq] = checkindex (P, Q, index);
++        redineq[ineq] = checkindex (P, Q, index, 0);
+     }  /* end for index ..... */
+     
+     std::list<ulong> redundancies;

sympol.changes

@@ -1,3 +1,13 @@
+-------------------------------------------------------------------
+Thu Sep 11 20:16:25 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Specifically request pkgconfig(cddgmp) now that it exists.
+
+-------------------------------------------------------------------
+Tue Mar  4 11:07:12 UTC 2025 - Jan Engelhardt <jengelh@inai.de>
+
+- Add lrslib-0.7.3.diff
+
 -------------------------------------------------------------------
 Thu Apr 21 08:46:14 UTC 2022 - Jan Engelhardt <jengelh@inai.de>
 

sympol.spec

@@ -1,7 +1,7 @@
 #
 # spec file for package sympol
 #
-# Copyright (c) 2022 SUSE LLC
+# Copyright (c) 2025 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
@@ -30,6 +30,7 @@ Source:         https://github.com/tremlin/SymPol/archive/refs/tags/v%version.ta
 Patch1:         unbundle.diff
 Patch2:         cddlib.diff
 Patch3:         bliss-0.77.diff
+Patch4:         lrslib-0.7.3.diff
 BuildRequires:  bliss-devel
 BuildRequires:  c++_compiler
 BuildRequires:  cmake >= 2.6
@@ -39,7 +40,7 @@ BuildRequires:  libboost_program_options-devel >= 1.34.1
 BuildRequires:  libboost_test-devel >= 1.34.1
 BuildRequires:  lrslib-devel >= 0.4.2c
 BuildRequires:  permlib-devel >= 0.2.8
-BuildRequires:  pkgconfig(cddlib) >= 0.94f
+BuildRequires:  pkgconfig(cddgmp) >= 0.94f
 BuildRequires:  pkgconfig(eigen3) >= 3.0
 
 %description
@@ -81,8 +82,7 @@ rm -Rf external/cdd* external/lrs* external/permlib
 ln -s . "%buildroot/%_includedir/sympol/yal"
 perl -i -lpe 's{#include ".*/}{#include "}g' "%buildroot/%_includedir/sympol"/*.h
 
-%post   -n %lname -p /sbin/ldconfig
-%postun -n %lname -p /sbin/ldconfig
+%ldconfig_scriptlets -n %lname
 
 %files
 %_bindir/sympol