From 3e4d7caa6976575715d0a71fb07d98c8b3255b29 Mon Sep 17 00:00:00 2001
From: Robin Manhaeve <robin.manhaeve@kuleuven.be>
Date: Fri, 13 Dec 2024 08:46:53 +0000
Subject: [PATCH] BUILD: Add CMake option -DSWIPL_SO_VERSIONS to remove
 SOVERSION properties.

---
 CMakeLists.txt     |  3 +++
 src/CMakeLists.txt | 17 +++++++++++------
 2 files changed, 14 insertions(+), 6 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 43af88c5e8..37dc7de72c 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -46,6 +46,9 @@ endif()
 option(SWIPL_SHARED_LIB
        "Put kernel in a shared library"
        ON)
+option(SWIPL_SO_VERSIONS
+       "Set the version properties of libswipl"
+       ON)
 option(SWIPL_VERSIONED_DIR
        "Install into a versioned directory"
        OFF)
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index d933dae51a..c1dc548cf0 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -466,12 +466,17 @@ function(libswipl_properties lib outname)
   else()
     set(LIB_PREFIX)
   endif()
-
-  set_target_properties(${lib} PROPERTIES
-			OUTPUT_NAME ${LIB_PREFIX}${outname}
-			VERSION ${SWIPL_VERSION_STRING}
-			SOVERSION ${SWIPL_VERSION_MAJOR}
-			GNUtoMS ON)
+  if(SWIPL_SO_VERSIONS)
+    set_target_properties(${lib} PROPERTIES
+                          OUTPUT_NAME ${LIB_PREFIX}${outname}
+                          VERSION ${SWIPL_VERSION_STRING}
+                          SOVERSION ${SWIPL_VERSION_MAJOR}
+                          GNUtoMS ON)
+  else()
+    set_target_properties(${lib} PROPERTIES
+                          OUTPUT_NAME ${LIB_PREFIX}${outname}
+                          GNUtoMS ON)
+  endif()
   target_include_directories(${lib} INTERFACE
     $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}>
     $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/os>