From fde328aafb46ed258acfac414191383accf477db Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Fri, 3 Apr 2026 10:16:25 -0600
Subject: [PATCH] Version 3.7.1

---
 sources            |  2 +-
 zimpl-shared.patch | 27 ++++++++++++++-------------
 zimpl.spec         |  7 ++++++-
 3 files changed, 21 insertions(+), 15 deletions(-)

diff --git a/sources b/sources
index 3ae7de5..e98ee2e 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (zimpl-3.7.0.tar.gz) = 1bdf3255ffd453b2d885c7dc7faa9ff70491fafb72c57d054ab1e673ea634475c62c6ecc39713b67f1591e6323fe6a771c309225bcd1dd2c0192f38fe0e95887
+SHA512 (zimpl-3.7.1.tar.gz) = a94eba1ec9d7947d30c948599092100f5f1d6be509967f947154141a7718e054e398860fbfba34bb2e0dd129f58fd168d1087023ffe3215f7d498e829e38afc9
diff --git a/zimpl-shared.patch b/zimpl-shared.patch
index 9670439..8183dbf 100644
--- a/zimpl-shared.patch
+++ b/zimpl-shared.patch
@@ -1,5 +1,5 @@
---- zimpl-3.7.0/CMakeLists.txt.orig	2025-11-23 05:19:53.000000000 -0700
-+++ zimpl-3.7.0/CMakeLists.txt	2025-11-23 13:14:26.606931058 -0700
+--- zimpl-3.7.1/CMakeLists.txt.orig	2026-03-31 18:33:37.000000000 -0600
++++ zimpl-3.7.1/CMakeLists.txt	2026-04-03 09:07:34.324781686 -0600
 @@ -49,8 +49,6 @@ endif()
  
  # use C99 standard
@@ -8,10 +8,10 @@
 -set(CMAKE_VISIBILITY_INLINES_HIDDEN 1)
  
  option(ZLIB "use ZLIB" ON)
- option(SANITIZE_ADDRESS "should the address sanitizer be enabled in debug mode if available" OFF)
---- zimpl-3.7.0/src/CMakeLists.txt.orig	2025-11-23 05:19:53.000000000 -0700
-+++ zimpl-3.7.0/src/CMakeLists.txt	2025-11-23 13:15:22.276583290 -0700
-@@ -119,12 +119,10 @@ if(MSVC)
+ option(SANITIZE "should sanitizers be enabled if available" OFF)
+--- zimpl-3.7.1/src/CMakeLists.txt.orig	2026-03-31 18:33:37.000000000 -0600
++++ zimpl-3.7.1/src/CMakeLists.txt	2026-04-03 09:10:52.288477757 -0600
+@@ -118,12 +118,10 @@ if(MSVC)
  endif()
  
  #create zimpl with pic
@@ -24,11 +24,11 @@
 +add_library(libzimpl SHARED ${libsources})
 +set_target_properties(libzimpl PROPERTIES
 +        POSITION_INDEPENDENT_CODE on
-+	VERSION 0.0.0 SOVERSION 0)
++        VERSION 0.0.0 SOVERSION 0)
  target_link_libraries(libzimpl ${libs})
  
  #create zimpl binary
-@@ -141,16 +139,13 @@ endif()
+@@ -138,9 +136,6 @@ endif()
  set_target_properties(libzimpl PROPERTIES
      OUTPUT_NAME "zimpl")
  
@@ -38,7 +38,8 @@
  include(GNUInstallDirs)
  
  # install the header files of zimpl
- install(FILES ${headers} DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}/zimpl)
+@@ -150,7 +145,7 @@ if(MSVC)
+ endif()
  
  # install the binary and the library to appropriate locations and add them to an export group
 -install(TARGETS libzimpl zimpl libzimpl-pic EXPORT zimpl-targets
@@ -55,8 +56,8 @@
    FILE "${CMAKE_BINARY_DIR}/zimpl-targets.cmake")
  
  #configure the config file for the build tree
---- zimpl-3.7.0/src/zimpl/zimpllib.c.orig	2025-11-23 05:19:53.000000000 -0700
-+++ zimpl-3.7.0/src/zimpl/zimpllib.c	2025-11-23 13:14:26.607519615 -0700
+--- zimpl-3.7.1/src/zimpl/zimpllib.c.orig	2026-03-31 18:33:37.000000000 -0600
++++ zimpl-3.7.1/src/zimpl/zimpllib.c	2026-04-03 09:07:34.325265327 -0600
 @@ -455,3 +455,66 @@ bool zpl_read_with_args(char** argv, int
  
     return ret;
@@ -124,8 +125,8 @@
 +{
 +   abort();
 +}
---- zimpl-3.7.0/zimpl-config.cmake.in.orig	2025-11-23 05:19:53.000000000 -0700
-+++ zimpl-3.7.0/zimpl-config.cmake.in	2025-11-23 13:14:26.607724336 -0700
+--- zimpl-3.7.1/zimpl-config.cmake.in.orig	2026-03-31 18:33:37.000000000 -0600
++++ zimpl-3.7.1/zimpl-config.cmake.in	2026-04-03 09:07:34.325434322 -0600
 @@ -3,7 +3,7 @@ if(NOT TARGET libzimpl)
  endif()
  
diff --git a/zimpl.spec b/zimpl.spec
index 1523ceb..37bb313 100644
--- a/zimpl.spec
+++ b/zimpl.spec
@@ -1,7 +1,7 @@
 %global giturl  https://github.com/scipopt/zimpl
 
 Name:           zimpl
-Version:        3.7.0
+Version:        3.7.1
 Release:        %autorelease
 Summary:        Zuse Institut Mathematical Programming Language
 
@@ -98,6 +98,11 @@ cp -p doc/zimpl.man %{buildroot}%{_mandir}/man1/zimpl.1
 # We do this in %%files with the %%license macro
 rm -fr %{buildroot}%{_datadir}/licenses
 
+# Help the debuginfo generator find source files
+mkdir -p %{_vpath_builddir}/zimpl
+ln -s ../../src/zimpl/mmlscan.l %{_vpath_builddir}/zimpl
+ln -s ../../src/zimpl/mmlparse2.y %{_vpath_builddir}/zimpl
+
 # FIXME: Test qubo.zpl (qbo: lp) fails on ppc64le
 %ifnarch %{power64}
 %check