From 8cfdcc9eb0256292bbf16b44bfce7cd30c80c6f6 Mon Sep 17 00:00:00 2001
From: Matthias Volk <m.volk@tue.nl>
Date: Mon, 26 Aug 2024 17:31:20 +0200
Subject: [PATCH] Disable static CLN build

---
 Dockerfile          | 2 +-
 resources/cln.cmake | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 9720aee3..2467079d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -8,7 +8,7 @@
 # Set base image
 ARG BASE_IMAGE=movesrwth/storm-basesystem:latest
 FROM $BASE_IMAGE
-MAINTAINER Matthias Volk <m.volk@tue.nl>
+LABEL org.opencontainers.image.authors="dev@stormchecker.org"
 
 
 # Configuration arguments
diff --git a/resources/cln.cmake b/resources/cln.cmake
index a126501e..7eff6a48 100644
--- a/resources/cln.cmake
+++ b/resources/cln.cmake
@@ -6,7 +6,7 @@ ExternalProject_Add(
 	#GIT_REPOSITORY "git://www.ginac.de/cln.git"
 	#GIT_TAG "cln_${CLN_TAG}"
 	DOWNLOAD_NO_PROGRESS 1
-	CONFIGURE_COMMAND <SOURCE_DIR>/configure --prefix=<INSTALL_DIR>
+	CONFIGURE_COMMAND <SOURCE_DIR>/configure --prefix=<INSTALL_DIR> --disable-static
 	#CMAKE_ARGS -DCMAKE_INSTALL_PREFIX=<INSTALL_DIR>
 	#BUILD_COMMAND ${CMAKE_COMMAND} --build <BINARY_DIR> --config ${CMAKE_BUILD_TYPE} --target cln
 	BUILD_COMMAND ${CMAKE_MAKE_PROGRAM}