From a8a2f3feda46e6fd71680dc258f804e39beb82d9 Mon Sep 17 00:00:00 2001
From: ralfulrich <ralf.ulrich@kit.edu>
Date: Wed, 8 Jul 2020 14:11:14 +0200
Subject: [PATCH] dynamic -> static

---
 ThirdParty/CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ThirdParty/CMakeLists.txt b/ThirdParty/CMakeLists.txt
index 979d960e6..b8a1f1681 100644
--- a/ThirdParty/CMakeLists.txt
+++ b/ThirdParty/CMakeLists.txt
@@ -280,7 +280,7 @@ else ()
 
   set_target_properties (
     C8::ext::conex PROPERTIES
-    IMPORTED_LOCATION ${CONEX_PREFIX}/lib/${CMAKE_SYSTEM_NAME}/libCONEXsibyll.so
+    IMPORTED_LOCATION ${CONEX_PREFIX}/lib/${CMAKE_SYSTEM_NAME}/libCONEXsibyll.a
     IMPORTED_NO_SONAME 1
     SKIP_BUILD_RPATH FALSE
     INTERFACE_INCLUDE_DIRECTORIES
-- 
GitLab