From 7b55a1ae432b226be18592f6f2e7f8980c8df9ce Mon Sep 17 00:00:00 2001
From: waqar-ukaea <waqar.butt@ukaea.uk>
Date: Thu, 14 May 2026 12:03:02 +0100
Subject: [PATCH] Ensure that GPRT builds libgprt as a shared library when
 GPRT_BUILD_SHARED=ON

---
 gprt/CMakeLists.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gprt/CMakeLists.txt b/gprt/CMakeLists.txt
index bfbc1570..92b47cd3 100644
--- a/gprt/CMakeLists.txt
+++ b/gprt/CMakeLists.txt
@@ -22,9 +22,11 @@
 
 add_subdirectory(math)
 
-add_library(gprt)
 if (GPRT_BUILD_SHARED)
+  add_library(gprt SHARED)
   set_property(TARGET gprt PROPERTY POSITION_INDEPENDENT_CODE ON)
+else()
+  add_library(gprt STATIC)
 endif()
 include(cmake/embed_devicecode.cmake)