Disable static CLN build

moves-rwth · Aug 26, 2024 · 8cfdcc9 · 8cfdcc9
1 parent e2287cb
commit 8cfdcc9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -8,7 +8,7 @@
 # Set base image
 ARG BASE_IMAGE=movesrwth/storm-basesystem:latest
 FROM $BASE_IMAGE
-MAINTAINER Matthias Volk <[email protected]>
+LABEL org.opencontainers.image.authors="[email protected]"
 
 
 # Configuration arguments

diff --git 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}